Data.Semigroup
| Авторские права | (C) 2011-2015 Edward Kmett |
|---|---|
| Лицензия | BSD-стиля (см. файл LICENSE) |
| Поддержка | libraries@haskell.org |
| Устойчивость | предварительная |
| Переносимость | переносимый |
| Безопасный Haskell | Надежный |
| Язык | Haskell2010 |
Описание
Тип a является Semigroup, если он предоставляет ассоциативную функцию (<>), которая позволяет объединять любые два значения типа a в одно. Ассоциативность означает, что следующее всегда должно выполняться:
(a <> b) <> c == a <> (b <> c)
Примеры
Пример Min Semigroup для Int определен так, чтобы всегда выбирать меньшее число:
>>> Min 1 <> Min 2 <> Min 3 <> Min 4 :: Min Int
Min {getMin = 1}
Если нам нужно объединить несколько значений, мы можем использовать функцию sconcat, чтобы сделать это. Однако, нам необходимо убедиться, что у нас есть как минимум одно значение для обработки, так как в противном случае наш результат будет неопределённым. Именно поэтому sconcat использует Data.List.NonEmpty.NonEmpty — список, который никогда не может быть пустым:
>>> (1 :| []) 1 :| []
- - эквивалентно [1], но гарантированно непусто.
>>> (1 :| [2, 3, 4]) 1 :| [2,3,4]
- - эквивалентно [1,2,3,4], но гарантированно непусто.
Вооружившись этой гарантированно непустой структурой данных, мы можем объединить значения с помощью sconcat и Semigroup по нашему выбору. Мы можем попробовать Min и Max экземпляры Int, которые выбирают наименьшее или наибольшее число соответственно:
>>> sconcat (1 :| [2, 3, 4]) :: Min Int
Min {getMin = 1}
>>> sconcat (1 :| [2, 3, 4]) :: Max Int
Max {getMax = 4}
Конкатенация строк — ещё один пример экземпляра Semigroup.
>>> "foo" <> "bar" "foobar"
Полугруппа — обобщение моноида. В отличие от моноида, полугруппа требует наличия нейтрального элемента (mempty) помимо ассоциативного оператора. Требование нейтрального элемента предотвращает многие типы от того, чтобы являться полным моноидом, как Data.List.NonEmpty.NonEmpty.
Обратите внимание, что использование (<>) в этом модуле конфликтует с оператором с тем же именем, который экспортируется из Data.Monoid. Однако этот пакет реэкспортирует (большую часть) содержимого Data.Monoid, так что для использования полугрупп и моноидов в одном пакете просто
import Data.Semigroup
С момента: base-4.9.0.0
class Semigroup a where Источник
Класс полугрупп (типов с ассоциативной бинарной операцией).
Экземпляры должны удовлетворять следующим требованиям:
Вы можете альтернативно определить sconcat вместо (<>), в этом случае законы будут:
С момента: base-4.9.0.0
Методы
(<>) :: a -> a -> a infixr 6 Источник
Ассоциативная операция.
Примеры
>>> [1,2,3] <> [4,5,6] [1,2,3,4,5,6]
>>> Just [1, 2, 3] <> Just [4, 5, 6] Just [1,2,3,4,5,6]
>>> putStr "Hello, " <> putStrLn "World!" Hello, World!
sconcat :: NonEmpty a -> a Источник
Свести непустой список с помощью <>
По умолчанию определение должно быть достаточным, но его можно переопределить для повышения эффективности.
Примеры
Для следующих примеров мы предположим, что у нас есть:
>>> import Data.List.NonEmpty (NonEmpty (..))
>>> sconcat $ "Hello" :| [" ", "Haskell", "!"] "Hello Haskell!"
>>> sconcat $ Just [1, 2, 3] :| [Nothing, Just [4, 5, 6]] Just [1,2,3,4,5,6]
>>> sconcat $ Left 1 :| [Right 2, Left 3, Right 4] Right 2
stimes :: Integral b => b -> a -> a Источник
Повторить значение n раз.
По умолчанию определение выбросит исключение для множителя, который <= 0. Это можно переопределить с помощью реализации, которая является полной. Для моноидов предпочтительнее использовать stimesMonoid.
Делая это членом класса, идемпотентные полугруппы и моноиды могут улучшить это, чтобы выполнять операции за \(\mathcal{O}(1)\) путём выбора stimes = stimesIdempotent или stimes =
stimesIdempotentMonoid соответственно.
Примеры
>>> stimes 4 [1] [1,1,1,1]
>>> stimes 5 (putStr "hi!") hi!hi!hi!hi!hi!
>>> stimes 3 (Right ":)") Right ":)"
Примеры
| Semigroup Lifetime Source | С момента: base-4.10.0.0 |
| Semigroup Контекст исключения Source | |
Определено в GHC.Internal.Exception.Context Методы(<>) :: Контекст исключения -> Контекст исключения -> Контекст исключения Source sconcat :: Непустой список Контекст исключения -> Контекст исключения Source stimes :: Целочисленный b => b -> Контекст исключения -> Контекст исключения Source | |
| Semigroup Порядок Source | С момента: base-4.9.0.0 |
| Semigroup () Source | С момента: base-4.9.0.0 |
Определено в GHC.Internal.Base | |
| Semigroup (Сравнение a) Source |
(<>) :: Comparison a -> Comparison a -> Comparison a Comparison cmp <> Comparison cmp' = Comparison a a' -> cmp a a' <> cmp a a' |
| Semigroup (Эквивалентность a) Source |
(<>) :: Equivalence a -> Equivalence a -> Equivalence a Equivalence equiv <> Equivalence equiv' = Equivalence a b -> equiv a b && equiv' a b |
Определено в GHC.Internal.TH.Syntax Методы(<>) :: Q a -> Q a -> Q a Исходный код sconcat :: NonEmpty (Q a) -> Q a Исходный код stimes :: Integral b => b -> Q a -> Q a Исходный код | |
| Semigroup a => Semigroup (IO a) Исходный код | С момента: base-4.10.0.0 |
Определено в GHC.Internal.Base Методы(<>) :: IO a -> IO a -> IO a Исходный код sconcat :: NonEmpty (IO a) -> IO a Исходный код stimes :: Integral b => b -> IO a -> IO a Исходный код | |
| Semigroup a => Semigroup (Maybe a) Исходный код | С момента: base-4.9.0.0 |
Определено в GHC.Internal.Base Методы(<>) :: Maybe a -> Maybe a -> Maybe a Исходный код sconcat :: NonEmpty (Maybe a) -> Maybe a Исходный код stimes :: Integral b => b -> Maybe a -> Maybe a Исходный код | |
| Semigroup a => Semigroup (Solo a) Исходный код | С момента: base-4.15 |
Определено в GHC.Internal.Base Методы(<>) :: Solo a -> Solo a -> Solo a Исходный код sconcat :: NonEmpty (Solo a) -> Solo a Исходный код stimes :: Integral b => b -> Solo a -> Solo a Исходный код | |
| Semigroup [a] Исходный код | С момента: base-4.9.0.0 |
Определено в GHC.Internal.Base Методы(<>) :: [a] -> [a] -> [a] Исходный код sconcat :: NonEmpty [a] -> [a] Исходный код stimes :: Integral b => b -> [a] -> [a] Исходный код | |
| Semigroup a => Semigroup (Op a b) Исходный код |
(<>) :: Op a b -> Op a b -> Op a b Op f <> Op g = Op a -> f a <> g a |
| Semigroup (f p) => Semigroup (Rec1 f p) Source | Since: base-4.12.0.0 |
| (Semigroup a, Semigroup b, Semigroup c) => Semigroup (a, b, c) Source | Since: base-4.9.0.0 |
| (Semigroup (f a), Semigroup (g a)) => Semigroup (Product f g a) Source | Since: base-4.16.0.0 |
| (Semigroup (f p), Semigroup (g p)) => Semigroup ((f :*: g) p) Source | Since: base-4.12.0.0 |
| Semigroup c => Semigroup (K1 i c p) Source | Since: base-4.12.0.0 |
| (Semigroup a, Semigroup b, Semigroup c, Semigroup d) => Semigroup (a, b, c, d) Source | Since: base-4.9.0.0 |
Определено в GHC.Internal.Base Методы(<>) :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Исходный код sconcat :: NonEmpty (a, b, c, d) -> (a, b, c, d) Исходный код stimes :: Integral b0 => b0 -> (a, b, c, d) -> (a, b, c, d) Исходный код | |
| Semigroup (f (g a)) => Semigroup (Compose f g a) Исходный код | С момента: base-4.16.0.0 |
Определено в Data.Functor.Compose Методы(<>) :: Compose f g a -> Compose f g a -> Compose f g a Исходный код sconcat :: NonEmpty (Compose f g a) -> Compose f g a Исходный код stimes :: Integral b => b -> Compose f g a -> Compose f g a Исходный код | |
| Semigroup (f (g p)) => Semigroup ((f :.: g) p) Исходный код | С момента: base-4.12.0.0 |
Определено в GHC.Internal.Generics Методы(<>) :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p Исходный код sconcat :: NonEmpty ((f :.: g) p) -> (f :.: g) p Исходный код stimes :: Integral b => b -> (f :.: g) p -> (f :.: g) p Исходный код | |
| Semigroup (f p) => Semigroup (M1 i c f p) Исходный код | С момента: base-4.12.0.0 |
Определено в GHC.Internal.Generics Методы(<>) :: M1 i c f p -> M1 i c f p -> M1 i c f p Исходный код sconcat :: NonEmpty (M1 i c f p) -> M1 i c f p Исходный код stimes :: Integral b => b -> M1 i c f p -> M1 i c f p Исходный код | |
| (Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e) => Semigroup (a, b, c, d, e) Исходный код | С момента: base-4.9.0.0 |
Определено в GHC.Internal.Base Методы(<>) :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) Исходный код sconcat :: NonEmpty (a, b, c, d, e) -> (a, b, c, d, e) Исходный код stimes :: Integral b0 => b0 -> (a, b, c, d, e) -> (a, b, c, d, e) Исходный код | |
stimesMonoid :: (Integral b, Monoid a) => b -> a -> a Исходный код
Это допустимое определение stimes для Monoid.
В отличие от стандартного определения stimes, оно определено для 0, поэтому его следует предпочитать в случае возможности.
stimesIdempotent :: Integral b => b -> a -> a Исходный код
Это допустимое определение stimes для идемпотентного Semigroup.
В случае x <> x = x, это определение следует предпочесть, так как оно работает за время \(\mathcal{O}(1)\), а не \(\mathcal{O}(\log n)\).
stimesIdempotentMonoid :: (Integral b, Monoid a) => b -> a -> a Исходный код
Это допустимое определение stimes для идемпотентного Monoid.
Когда x <> x = x, это определение следует предпочитать, потому что оно работает за \(\mathcal{O}(1)\), а не \(\mathcal{O}(\log n)\).
mtimesDefault :: (Integral b, Monoid a) => b -> a -> a Источник
Повторить значение n раз.
mtimesDefault n a = a <> a <> ... <> a -- using <> (n-1) times
Во многих случаях, stimes 0 a для Monoid приведет к mempty. Однако существуют ситуации, когда это невозможно. В частности, довольно распространён следующий случай:
data T a = ... class Constraint1 a class Constraint1 a => Constraint2 a
instance Constraint1 a => Semigroup (T a) instance Constraint2 a => Monoid (T a)
Поскольку Constraint1 недостаточно для реализации mempty, stimes для T a не может этого сделать.
При работе с таким типом или при полиморфной работе с Semigroup экземплярами, mtimesDefault следует использовать, когда множитель может быть нулём. Оно реализуется с помощью stimes когда множитель ненулевой и mempty когда он нулевой.
Примеры
>>> mtimesDefault 0 "bark" ""
>>> mtimesDefault 3 "meow" "meowmeowmeow"
Полугруппы
Тип Min Monoid и Semigroup всегда выбирают меньший элемент, согласно Ord экземпляру и min содержамого типа.
Примеры
>>> Min 42 <> Min 3
Min {getMin = 3}
>>> sconcat $ Min 1 :| [ Min n | n <- [2 .. 100]]
Min {getMin = 1}
Экземпляры
| Foldable1 Min Source | Since: base-4.18.0.0 |
Defined in Data.Foldable1 Методыfold1 :: Semigroup m => Min m -> m Source foldMap1 :: Semigroup m => (a -> m) -> Min a -> m Source foldMap1' :: Semigroup m => (a -> m) -> Min a -> m Source toNonEmpty :: Min a -> NonEmpty a Source maximum :: Ord a => Min a -> a Source minimum :: Ord a => Min a -> a Source foldrMap1 :: (a -> b) -> (a -> b -> b) -> Min a -> b Source foldlMap1' :: (a -> b) -> (b -> a -> b) -> Min a -> b Source foldlMap1 :: (a -> b) -> (b -> a -> b) -> Min a -> b Source foldrMap1' :: (a -> b) -> (a -> b -> b) -> Min a -> b Source | |
| Applicative Min Source | Since: base-4.9.0.0 |
| Functor Min Source | Since: base-4.9.0.0 |
| Monad Min Source | Since: base-4.9.0.0 |
| MonadFix Min Source | Since: base-4.9.0.0 |
Defined in Data.Semigroup | |
| Foldable Min Source | Since: base-4.9.0.0 |
Определено в Data.Semigroup Методыfold :: Monoid m => Min m -> m Исходный код foldMap :: Monoid m => (a -> m) -> Min a -> m Исходный код foldMap' :: Monoid m => (a -> m) -> Min a -> m Исходный код foldr :: (a -> b -> b) -> b -> Min a -> b Исходный код foldr' :: (a -> b -> b) -> b -> Min a -> b Исходный код foldl :: (b -> a -> b) -> b -> Min a -> b Исходный код foldl' :: (b -> a -> b) -> b -> Min a -> b Исходный код foldr1 :: (a -> a -> a) -> Min a -> a Исходный код foldl1 :: (a -> a -> a) -> Min a -> a Исходный код toList :: Min a -> [a] Исходный код null :: Min a -> Bool Исходный код length :: Min a -> Int Исходный код elem :: Eq a => a -> Min a -> Bool Исходный код maximum :: Ord a => Min a -> a Исходный код minimum :: Ord a => Min a -> a Исходный код sum :: Num a => Min a -> a Исходный код product :: Num a => Min a -> a Исходный код | |||||
| Traversable Min Исходный код | С момента: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методыtraverse :: Applicative f => (a -> f b) -> Min a -> f (Min b) Исходный код sequenceA :: Applicative f => Min (f a) -> f (Min a) Исходный код mapM :: Monad m => (a -> m b) -> Min a -> m (Min b) Исходный код sequence :: Monad m => Min (m a) -> m (Min a) Исходный код | |||||
| Generic1 Min Исходный код | |||||
Определено в Data.Semigroup Связанные типы
| |||||
| (Ord a, Bounded a) => Monoid (Min a) Source | Since: base-4.9.0.0 |
| Ord a => Semigroup (Min a) Source | Since: base-4.9.0.0 |
| Data a => Data (Min a) Source | Since: base-4.9.0.0 |
Defined in Data.Semigroup Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Min a -> c (Min a) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Min a) Source toConstr :: Min a -> Constr Source dataTypeOf :: Min a -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Min a)) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Min a)) Source gmapT :: (forall b. Data b => b -> b) -> Min a -> Min a Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Min a -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Min a -> r Source gmapQ :: (forall d. Data d => d -> u) -> Min a -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Min a -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Min a -> m (Min a) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Min a -> m (Min a) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Min a -> m (Min a) Source | |
| Bounded a => Bounded (Min a) Source | Since: base-4.9.0.0 |
Определено в Data.Semigroup МетодыreadsPrec :: Int -> ReadS (Min a) Исходный код readList :: ReadS [Min a] Исходный код readPrec :: ReadPrec (Min a) Исходный код readListPrec :: ReadPrec [Min a] Исходный код | |
| Show a => Show (Min a) Исходный код | С момента: base-4.9.0.0 |
Определено в Data.Semigroup МетодыshowsPrec :: Int -> Min a -> ShowS Исходный код show :: Min a -> String Исходный код showList :: [Min a] -> ShowS Исходный код | |
| Eq a => Eq (Min a) Исходный код | С момента: base-4.9.0.0 |
Определено в Data.Semigroup | |
| Ord a => Ord (Min a) Исходный код | С момента: base-4.9.0.0 |
Определено в Data.Semigroup Методыcompare :: Min a -> Min a -> Ordering Исходный код (<) :: Min a -> Min a -> Bool Исходный код (<=) :: Min a -> Min a -> Bool Исходный код (>) :: Min a -> Min a -> Bool Исходный код (>=) :: Min a -> Min a -> Bool Исходный код max :: Min a -> Min a -> Min a Исходный код min :: Min a -> Min a -> Min a Исходный код | |
| type Rep1 Min Исходный код | С момента: base-4.9.0.0 |
Определено в Data.Semigroup | |
| type Rep (Min a) Исходный код | С момента: base-4.9.0.0 |
Определено в Data.Semigroup |
Элемент Max Monoid и Semigroup всегда выбирают больший элемент, как указано в экземпляре Ord и max содержащего типа.
Примеры
>>> Max 42 <> Max 3
Max {getMax = 42}
>>> sconcat $ Max 1 :| [ Max n | n <- [2 .. 100]]
Max {getMax = 100}
Экземпляры
| Foldable1 Max Source | Since: base-4.18.0.0 |
Defined in Data.Foldable1 Методыfold1 :: Semigroup m => Max m -> m Source foldMap1 :: Semigroup m => (a -> m) -> Max a -> m Source foldMap1' :: Semigroup m => (a -> m) -> Max a -> m Source toNonEmpty :: Max a -> NonEmpty a Source maximum :: Ord a => Max a -> a Source minimum :: Ord a => Max a -> a Source foldrMap1 :: (a -> b) -> (a -> b -> b) -> Max a -> b Source foldlMap1' :: (a -> b) -> (b -> a -> b) -> Max a -> b Source foldlMap1 :: (a -> b) -> (b -> a -> b) -> Max a -> b Source foldrMap1' :: (a -> b) -> (a -> b -> b) -> Max a -> b Source | |
| Applicative Max Source | Since: base-4.9.0.0 |
| Functor Max Source | Since: base-4.9.0.0 |
| Monad Max Source | Since: base-4.9.0.0 |
| MonadFix Max Source | Since: base-4.9.0.0 |
Defined in Data.Semigroup | |
| Foldable Max Source | Since: base-4.9.0.0 |
Определено в Data.Semigroup Методыfold :: Monoid m => Max m -> m Исходный код foldMap :: Monoid m => (a -> m) -> Max a -> m Исходный код foldMap' :: Monoid m => (a -> m) -> Max a -> m Исходный код foldr :: (a -> b -> b) -> b -> Max a -> b Исходный код foldr' :: (a -> b -> b) -> b -> Max a -> b Исходный код foldl :: (b -> a -> b) -> b -> Max a -> b Исходный код foldl' :: (b -> a -> b) -> b -> Max a -> b Исходный код foldr1 :: (a -> a -> a) -> Max a -> a Исходный код foldl1 :: (a -> a -> a) -> Max a -> a Исходный код toList :: Max a -> [a] Исходный код null :: Max a -> Bool Исходный код length :: Max a -> Int Исходный код elem :: Eq a => a -> Max a -> Bool Исходный код maximum :: Ord a => Max a -> a Исходный код minimum :: Ord a => Max a -> a Исходный код sum :: Num a => Max a -> a Исходный код product :: Num a => Max a -> a Исходный код | |||||
| Traversable Max Исходный код | С момента: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методыtraverse :: Applicative f => (a -> f b) -> Max a -> f (Max b) Исходный код sequenceA :: Applicative f => Max (f a) -> f (Max a) Исходный код mapM :: Monad m => (a -> m b) -> Max a -> m (Max b) Исходный код sequence :: Monad m => Max (m a) -> m (Max a) Исходный код | |||||
| Generic1 Max Исходный код | |||||
Определено в Data.Semigroup Связанные типы
| |||||
| (Ord a, Bounded a) => Monoid (Max a) Source | Since: base-4.9.0.0 |
| Ord a => Semigroup (Max a) Source | Since: base-4.9.0.0 |
| Data a => Data (Max a) Source | Since: base-4.9.0.0 |
Defined in Data.Semigroup Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Max a -> c (Max a) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Max a) Source toConstr :: Max a -> Constr Source dataTypeOf :: Max a -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Max a)) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Max a)) Source gmapT :: (forall b. Data b => b -> b) -> Max a -> Max a Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Max a -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Max a -> r Source gmapQ :: (forall d. Data d => d -> u) -> Max a -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Max a -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Max a -> m (Max a) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Max a -> m (Max a) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Max a -> m (Max a) Source | |
| Bounded a => Bounded (Max a) Source | Since: base-4.9.0.0 |
Определено в Data.Semigroup | |||||
| Enum a => Enum (Max a) Исходный код | С версии: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методыsucc :: Max a -> Max a Исходный код pred :: Max a -> Max a Исходный код toEnum :: Int -> Max a Исходный код fromEnum :: Max a -> Int Исходный код enumFrom :: Max a -> [Max a] Исходный код enumFromThen :: Max a -> Max a -> [Max a] Исходный код enumFromTo :: Max a -> Max a -> [Max a] Исходный код enumFromThenTo :: Max a -> Max a -> Max a -> [Max a] Исходный код | |||||
| Generic (Max a) Исходный код | |||||
Определено в Data.Semigroup Связанные типы
| |||||
| Num a => Num (Max a) Исходный код | С версии: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методы(+) :: Max a -> Max a -> Max a Исходный код (-) :: Max a -> Max a -> Max a Исходный код (*) :: Max a -> Max a -> Max a Исходный код negate :: Max a -> Max a Исходный код abs :: Max a -> Max a Исходный код signum :: Max a -> Max a Исходный код fromInteger :: Integer -> Max a Исходный код | |||||
| Read a => Read (Max a) Исходный код | С версии: base-4.9.0.0 |
||||
Определено в Data.Semigroup МетодыreadsPrec :: Int -> ReadS (Max a) Исходный код readList :: ReadS [Max a] Исходный код readPrec :: ReadPrec (Max a) Исходный код readListPrec :: ReadPrec [Max a] Исходный код | |
| Show a => Show (Max a) Исходный код | С версии: base-4.9.0.0 |
Определено в Data.Semigroup МетодыshowsPrec :: Int -> Max a -> ShowS Исходный код show :: Max a -> String Исходный код showList :: [Max a] -> ShowS Исходный код | |
| Eq a => Eq (Max a) Исходный код | С версии: base-4.9.0.0 |
Определено в Data.Semigroup | |
| Ord a => Ord (Max a) Исходный код | С версии: base-4.9.0.0 |
Определено в Data.Semigroup Методыcompare :: Max a -> Max a -> Ordering Исходный код (<) :: Max a -> Max a -> Bool Исходный код (<=) :: Max a -> Max a -> Bool Исходный код (>) :: Max a -> Max a -> Bool Исходный код (>=) :: Max a -> Max a -> Bool Исходный код max :: Max a -> Max a -> Max a Исходный код min :: Max a -> Max a -> Max a Исходный код | |
| type Rep1 Max Исходный код | С версии: base-4.9.0.0 |
Определено в Data.Semigroup | |
| type Rep (Max a) Исходный код | С версии: base-4.9.0.0 |
Определено в Data.Semigroup |
Обратите внимание, что Data.Semigroup.First отличается от Data.Monoid.First. Первый просто возвращает первое значение, поэтому Data.Semigroup.First Nothing <> x = Data.Semigroup.First Nothing. Последний возвращает первое ненулевое значение, таким образом Data.Monoid.First Nothing <> x = x.
Примеры
>>> First 0 <> First 10
First {getFirst = 0}
>>> sconcat $ First 1 :| [ First n | n <- [2 ..] ]
First {getFirst = 1}
Экземпляры
| Foldable1 First Источник | С версии: base-4.18.0.0 |
Определено в Data.Foldable1 Методыfold1 :: Semigroup m => First m -> m Источник foldMap1 :: Semigroup m => (a -> m) -> First a -> m Источник foldMap1' :: Semigroup m => (a -> m) -> First a -> m Источник toNonEmpty :: First a -> NonEmpty a Источник maximum :: Ord a => First a -> a Источник minimum :: Ord a => First a -> a Источник foldrMap1 :: (a -> b) -> (a -> b -> b) -> First a -> b Источник foldlMap1' :: (a -> b) -> (b -> a -> b) -> First a -> b Источник foldlMap1 :: (a -> b) -> (b -> a -> b) -> First a -> b Источник foldrMap1' :: (a -> b) -> (a -> b -> b) -> First a -> b Источник | |
| Applicative First Источник | С версии: base-4.9.0.0 |
| Functor First Источник | С версии: base-4.9.0.0 |
| Monad First Источник | С версии: base-4.9.0.0 |
| MonadFix First Источник | С версии: base-4.9.0.0 |
Определено в Data.Semigroup | |
| Foldable First Source | С момента: base-4.9.0.0 |
Определено в Data.Semigroup Методыfold :: Monoid m => First m -> m Source foldMap :: Monoid m => (a -> m) -> First a -> m Source foldMap' :: Monoid m => (a -> m) -> First a -> m Source foldr :: (a -> b -> b) -> b -> First a -> b Source foldr' :: (a -> b -> b) -> b -> First a -> b Source foldl :: (b -> a -> b) -> b -> First a -> b Source foldl' :: (b -> a -> b) -> b -> First a -> b Source foldr1 :: (a -> a -> a) -> First a -> a Source foldl1 :: (a -> a -> a) -> First a -> a Source toList :: First a -> [a] Source null :: First a -> Bool Source length :: First a -> Int Source elem :: Eq a => a -> First a -> Bool Source maximum :: Ord a => First a -> a Source minimum :: Ord a => First a -> a Source | |
| Traversable First Source | С момента: base-4.9.0.0 |
| Generic1 First Source | |
Определено в Data.Semigroup Связанные типы
| |||||
| Semigroup (First a) Исходный код | С тех пор как: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методы(<>) :: First a -> First a -> First a Исходный код sconcat :: NonEmpty (First a) -> First a Исходный код stimes :: Integral b => b -> First a -> First a Исходный код | |||||
| Data a => Data (First a) Исходный код | С тех пор как: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> First a -> c (First a) Источник gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (First a) Источник toConstr :: First a -> Constr Источник dataTypeOf :: First a -> DataType Источник dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (First a)) Источник dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (First a)) Источник gmapT :: (forall b. Data b => b -> b) -> First a -> First a Источник gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> First a -> r Источник gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> First a -> r Источник gmapQ :: (forall d. Data d => d -> u) -> First a -> [u] Источник gmapQi :: Int -> (forall d. Data d => d -> u) -> First a -> u Источник gmapM :: Monad m => (forall d. Data d => d -> m d) -> First a -> m (First a) Источник gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> First a -> m (First a) Источник gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> First a -> m (First a) Источник | |
| Bounded a => Bounded (First a) Источник | С момента: base-4.9.0.0 |
| Enum a => Enum (First a) Источник | С момента: base-4.9.0.0 |
Определено в Data.Semigroup Методыsucc :: First a -> First a Источник pred :: First a -> First a Источник toEnum :: Int -> First a Источник fromEnum :: First a -> Int Источник enumFrom :: First a -> [First a] Источник enumFromThen :: First a -> First a -> [First a] Источник enumFromTo :: First a -> First a -> [First a] Источник enumFromThenTo :: First a -> First a -> First a -> [First a] Источник | |
| Generic (First a) Source | |||||
Определено в Data.Semigroup Связанные типы
| |||||
| Read a => Read (First a) Source | С момента: base-4.9.0.0 |
||||
| Show a => Show (First a) Source | С момента: base-4.9.0.0 |
||||
| Eq a => Eq (First a) Source | С момента: base-4.9.0.0 |
||||
| Ord a => Ord (First a) Source | С момента: base-4.9.0.0 |
||||
Определено в Data.Semigroup | |
| type Rep1 First Источник | С момента: base-4.9.0.0 |
Определено в Data.Semigroup | |
| type Rep (First a) Источник | С момента: base-4.9.0.0 |
Определено в Data.Semigroup | |
Обратите внимание, что Data.Semigroup.Last отличается от Data.Monoid.Last. Первый просто возвращает последнее значение, поэтому x <> Data.Semigroup.Last Nothing = Data.Semigroup.Last Nothing. Последний возвращает последнее не-Nothing, таким образом x <> Data.Monoid.Last Nothing = x.
Примеры
>>> Last 0 <> Last 10
Last {getLast = 10}
>>> sconcat $ Last 1 :| [ Last n | n <- [2..]] * Hangs forever *
Экземпляры
| Foldable1 Last Источник | С версии: base-4.18.0.0 |
Определено в Data.Foldable1 Методыfold1 :: Semigroup m => Last m -> m Источник foldMap1 :: Semigroup m => (a -> m) -> Last a -> m Источник foldMap1' :: Semigroup m => (a -> m) -> Last a -> m Источник toNonEmpty :: Last a -> NonEmpty a Источник maximum :: Ord a => Last a -> a Источник minimum :: Ord a => Last a -> a Источник foldrMap1 :: (a -> b) -> (a -> b -> b) -> Last a -> b Источник foldlMap1' :: (a -> b) -> (b -> a -> b) -> Last a -> b Источник foldlMap1 :: (a -> b) -> (b -> a -> b) -> Last a -> b Источник foldrMap1' :: (a -> b) -> (a -> b -> b) -> Last a -> b Источник | |
| Applicative Last Источник | С версии: base-4.9.0.0 |
| Functor Last Источник | С версии: base-4.9.0.0 |
| Monad Last Источник | С версии: base-4.9.0.0 |
| MonadFix Last Источник | С версии: base-4.9.0.0 |
Определено в Data.Semigroup | |
| Foldable Last Source | С момента: base-4.9.0.0 |
Определено в Data.Semigroup Методыfold :: Monoid m => Last m -> m Source foldMap :: Monoid m => (a -> m) -> Last a -> m Source foldMap' :: Monoid m => (a -> m) -> Last a -> m Source foldr :: (a -> b -> b) -> b -> Last a -> b Source foldr' :: (a -> b -> b) -> b -> Last a -> b Source foldl :: (b -> a -> b) -> b -> Last a -> b Source foldl' :: (b -> a -> b) -> b -> Last a -> b Source foldr1 :: (a -> a -> a) -> Last a -> a Source foldl1 :: (a -> a -> a) -> Last a -> a Source toList :: Last a -> [a] Source null :: Last a -> Boolean Source length :: Last a -> Целое Source elem :: Eq a => a -> Last a -> Boolean Source maximum :: Ord a => Last a -> a Source minimum :: Ord a => Last a -> a Source | |
| Traversable Last Source | С момента: base-4.9.0.0 |
| Generic1 Last Source | |
Определено в Data.Semigroup Связанные типы
| |||||
| Semigroup (Last a) Исходный код | С версии: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методы(<>) :: Last a -> Last a -> Last a Исходный код sconcat :: NonEmpty (Last a) -> Last a Исходный код stimes :: Integral b => b -> Last a -> Last a Исходный код | |||||
| Data a => Data (Last a) Исходный код | С версии: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Last a -> c (Last a) Исходный код gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Last a) Исходный код toConstr :: Last a -> Constr Исходный код dataTypeOf :: Last a -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Last a)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Last a)) Исходный код gmapT :: (forall b. Data b => b -> b) -> Last a -> Last a Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Last a -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Last a -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> Last a -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> Last a -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Исходный код | |||||
| Ограниченный a => Ограниченный (Последний a) Источник | С версии: base-4.9.0.0 |
||||
| Перечисление a => Перечисление (Последний a) Источник | С версии: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методыsucc :: Последний a -> Последний a Источник pred :: Последний a -> Последний a Источник toEnum :: Целое -> Последний a Источник fromEnum :: Последний a -> Целое Источник enumFrom :: Последний a -> [Последний a] Источник enumFromThen :: Последний a -> Последний a -> [Последний a] Источник enumFromTo :: Последний a -> Последний a -> [Последний a] Источник enumFromThenTo :: Последний a -> Последний a -> Последний a -> [Последний a] Источник | |||||
| Обобщённый (Последний a) Источник | |||||
Определено в Data.Semigroup Связанные типы
| |||||
| Чтение a => Чтение (Последний a) Источник | С версии: base-4.9.0.0 |
||||
| Вывод a => Вывод (Последний a) Источник | С версии: base-4.9.0.0 |
||||
| Eq a => Eq (Last a) Source | Since: base-4.9.0.0 |
| Ord a => Ord (Last a) Source | Since: base-4.9.0.0 |
| type Rep1 Last Source | Since: base-4.9.0.0 |
Определено в Data.Semigroup | |
| type Rep (Last a) Source | Since: base-4.9.0.0 |
Определено в Data.Semigroup | |
newtype WrappedMonoid m Source
Обеспечивает Semigroup для произвольного Monoid.
ЗАМЕЧАНИЕ: Это больше не нужно, так как Semigroup стал суперклассом Monoid в base-4.11, и этот newtype будет устаревшим в будущем.
Краткое описание конструкторов
| WrapMonoid | |
Краткое описание полей
| |
Примеры
| Generic1 WrappedMonoid Источник | |||||
Определено в Data.Semigroup Связанные типы
Методыfrom1 :: WrappedMonoid a -> Rep1 WrappedMonoid a Источник to1 :: Rep1 WrappedMonoid a -> WrappedMonoid a Источник | |||||
| Monoid m => Monoid (WrappedMonoid m) Источник | С момента: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методыmempty :: WrappedMonoid m Источник mappend :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m Источник mconcat :: [WrappedMonoid m] -> WrappedMonoid m Источник | |||||
| Monoid m => Semigroup (WrappedMonoid m) Источник | С момента: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методы(<>) :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m Источник sconcat :: NonEmpty (WrappedMonoid m) -> WrappedMonoid m Источник stimes :: Integral b => b -> WrappedMonoid m -> WrappedMonoid m Источник | |||||
| Data m => Data (WrappedMonoid m) Источник | С момента: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WrappedMonoid m -> c (WrappedMonoid m) Исходный код gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (WrappedMonoid m) Исходный код toConstr :: WrappedMonoid m -> Constr Исходный код dataTypeOf :: WrappedMonoid m -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (WrappedMonoid m)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (WrappedMonoid m)) Исходный код gmapT :: (forall b. Data b => b -> b) -> WrappedMonoid m -> WrappedMonoid m Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WrappedMonoid m -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WrappedMonoid m -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> WrappedMonoid m -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> WrappedMonoid m -> u Исходный код gmapM :: Monad m0 => (forall d. Data d => d -> m0 d) -> WrappedMonoid m -> m0 (WrappedMonoid m) Исходный код gmapMp :: MonadPlus m0 => (forall d. Data d => d -> m0 d) -> WrappedMonoid m -> m0 (WrappedMonoid m) Исходный код gmapMo :: MonadPlus m0 => (forall d. Data d => d -> m0 d) -> WrappedMonoid m -> m0 (WrappedMonoid m) Исходный код | |
| Bounded m => Bounded (WrappedMonoid m) Исходный код | С момента: base-4.9.0.0 |
Определено в Data.Semigroup | |
| Enum a => Enum (WrappedMonoid a) Исходный код | С момента: base-4.9.0.0 |
Определено в Data.Semigroup Методыsucc :: WrappedMonoid a -> WrappedMonoid a Исходный код pred :: WrappedMonoid a -> WrappedMonoid a Исходный код toEnum :: Int -> WrappedMonoid a Исходный код fromEnum :: WrappedMonoid a -> Int Исходный код enumFrom :: WrappedMonoid a -> [WrappedMonoid a] Исходный код enumFromThen :: WrappedMonoid a -> WrappedMonoid a -> [WrappedMonoid a] Исходный код enumFromTo :: WrappedMonoid a -> WrappedMonoid a -> [WrappedMonoid a] Исходный код enumFromThenTo :: WrappedMonoid a -> WrappedMonoid a -> WrappedMonoid a -> [WrappedMonoid a] Исходный код | |||||
| Generic (WrappedMonoid m) Исходный код | |||||
Определено в Data.Semigroup Связанные типы
Методыfrom :: WrappedMonoid m -> Rep (WrappedMonoid m) x Исходный код to :: Rep (WrappedMonoid m) x -> WrappedMonoid m Исходный код | |||||
| Read m => Read (WrappedMonoid m) Исходный код | С момента: base-4.9.0.0 |
||||
Определено в Data.Semigroup МетодыreadsPrec :: Int -> ReadS (WrappedMonoid m) Исходный код readList :: ReadS [WrappedMonoid m] Исходный код | |||||
| Show m => Show (WrappedMonoid m) Исходный код | С момента: base-4.9.0.0 |
||||
Определено в Data.Semigroup МетодыshowsPrec :: Int -> WrappedMonoid m -> ShowS Исходный код show :: WrappedMonoid m -> String Исходный код showList :: [WrappedMonoid m] -> ShowS Исходный код | |||||
| Eq m => Eq (WrappedMonoid m) Исходный код | С момента: base-4.9.0.0 |
||||
Определено в Data.Semigroup Методы== :: WrappedMonoid m -> WrappedMonoid m -> Bool Источник /= :: WrappedMonoid m -> WrappedMonoid m -> Bool Источник | |
| Ord m => Ord (WrappedMonoid m) Источник | С момента: base-4.9.0.0 |
Определено в Data.Semigroup Методыcompare :: WrappedMonoid m -> WrappedMonoid m -> Ordering Источник < :: WrappedMonoid m -> WrappedMonoid m -> Bool Источник <= :: WrappedMonoid m -> WrappedMonoid m -> Bool Источник > :: WrappedMonoid m -> WrappedMonoid m -> Bool Источник >= :: WrappedMonoid m -> WrappedMonoid m -> Bool Источник max :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m Источник min :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m Источник | |
| type Rep1 WrappedMonoid Источник | С момента: base-4.9.0.0 |
Определено в Data.Semigroup type Rep1 WrappedMonoid = D1 ('MetaData "WrappedMonoid" "Data.Semigroup" "base-4.21.0.0-8e62" 'True) (C1 ('MetaCons "WrapMonoid" 'PrefixI 'True) (S1 ('MetaSel ('Just "unwrapMonoid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)) | |
| type Rep (WrappedMonoid m) Источник | С момента: base-4.9.0.0 |
Определено в Data.Semigroup type Rep (WrappedMonoid m) = D1 ('MetaData "WrappedMonoid" "Data.Semigroup" "base-4.21.0.0-8e62" 'True) (C1 ('MetaCons "WrapMonoid" 'PrefixI 'True) (S1 ('MetaSel ('Just "unwrapMonoid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 m))) | |
Переэкспортированные моноиды
Двойник Monoid, полученный путём перестановки аргументов (<>).
Dual a <> Dual b == Dual (b <> a)
Примеры
>>> Dual "Hello" <> Dual "World"
Dual {getDual = "WorldHello"}
>>> Dual (Dual "Hello") <> Dual (Dual "World")
Dual {getDual = Dual {getDual = "HelloWorld"}}
Экземпляры
| Foldable1 Dual Источник | С версии: base-4.18.0.0 |
Определено в Data.Foldable1 Методыfold1 :: Semigroup m => Dual m -> m Источник foldMap1 :: Semigroup m => (a -> m) -> Dual a -> m Источник foldMap1' :: Semigroup m => (a -> m) -> Dual a -> m Источник toNonEmpty :: Dual a -> NonEmpty a Источник maximum :: Ord a => Dual a -> a Источник minimum :: Ord a => Dual a -> a Источник foldrMap1 :: (a -> b) -> (a -> b -> b) -> Dual a -> b Источник foldlMap1' :: (a -> b) -> (b -> a -> b) -> Dual a -> b Источник foldlMap1 :: (a -> b) -> (b -> a -> b) -> Dual a -> b Источник foldrMap1' :: (a -> b) -> (a -> b -> b) -> Dual a -> b Источник | |
| Applicative Dual Источник | С версии: base-4.8.0.0 |
| Functor Dual Источник | С версии: base-4.8.0.0 |
| Monad Dual Источник | С версии: base-4.8.0.0 |
| MonadFix Dual Источник | С версии: base-4.8.0.0 |
Определено в GHC.Internal.Control.Monad.Fix | |
| MonadZip Dual Source | Since: ghc-internal-4.8.0.0 |
| Foldable Dual Source | Since: base-4.8.0.0 |
Определено в GHC.Internal.Data.Foldable Методыfold :: Monoid m => Dual m -> m Source foldMap :: Monoid m => (a -> m) -> Dual a -> m Source foldMap' :: Monoid m => (a -> m) -> Dual a -> m Source foldr :: (a -> b -> b) -> b -> Dual a -> b Source foldr' :: (a -> b -> b) -> b -> Dual a -> b Source foldl :: (b -> a -> b) -> b -> Dual a -> b Source foldl' :: (b -> a -> b) -> b -> Dual a -> b Source foldr1 :: (a -> a -> a) -> Dual a -> a Source foldl1 :: (a -> a -> a) -> Dual a -> a Source toList :: Dual a -> [a] Source length :: Dual a -> Int Source elem :: Eq a => a -> Dual a -> Bool Source maximum :: Ord a => Dual a -> a Source minimum :: Ord a => Dual a -> a Source | |
| Traversable Dual Source | Since: base-4.8.0.0 |
Определено в GHC.Internal.Data.Traversable Методыtraverse :: Applicative f => (a -> f b) -> Dual a -> f (Dual b) Исходный код sequenceA :: Applicative f => Dual (f a) -> f (Dual a) Исходный код mapM :: Monad m => (a -> m b) -> Dual a -> m (Dual b) Исходный код sequence :: Monad m => Dual (m a) -> m (Dual a) Исходный код | |||||
| Generic1 Dual Исходный код | |||||
Определено в GHC.Internal.Data.Semigroup.Internal Связанные типы
| |||||
| Monoid a => Monoid (Dual a) Исходный код | С момента: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методыmempty :: Dual a Исходный код mappend :: Dual a -> Dual a -> Dual a Исходный код mconcat :: [Dual a] -> Dual a Исходный код | |||||
| Semigroup a => Semigroup (Dual a) Исходный код | С момента: base-4.9.0.0 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методы(<>) :: Dual a -> Dual a -> Dual a Исходный код sconcat :: NonEmpty (Dual a) -> Dual a Исходный код stimes :: Integral b => b -> Dual a -> Dual a Исходный код | |||||
| Data a => Data (Dual a) Исходный код | С момента: base-4.8.0.0 |
||||
Определено в GHC.Internal.Data.Data Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Dual a -> c (Dual a) Исходный код gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Dual a) Исходный код toConstr :: Dual a -> Constr Исходный код dataTypeOf :: Dual a -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Dual a)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Dual a)) Исходный код gmapT :: (forall b. Data b => b -> b) -> Dual a -> Dual a Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Dual a -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Dual a -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> Dual a -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> Dual a -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> Dual a -> m (Dual a) Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Dual a -> m (Dual a) Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Dual a -> m (Dual a) Исходный код | |||||
| Bounded a => Bounded (Dual a) Исходный код | С тех пор как: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal | |||||
| Generic (Dual a) Исходный код | |||||
Определено в GHC.Internal.Data.Semigroup.Internal Связанные типы
| |||||
| Read a => Read (Dual a) Source | С момента: base-2.1 |
| Show a => Show (Dual a) Source | С момента: base-2.1 |
| Eq a => Eq (Dual a) Source | С момента: base-2.1 |
| Ord a => Ord (Dual a) Source | С момента: base-2.1 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
| type Rep1 Dual Source | С момента: base-4.7.0.0 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
| type Rep (Dual a) Source | Since: base-4.7.0.0 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
Моноид эндоморфизмов при композиции.
Endo f <> Endo g == Endo (f . g)
Примеры
>>> let computation = Endo ("Hello, " ++) <> Endo (++ "!")
>>> appEndo computation "Haskell"
"Hello, Haskell!"
>>> let computation = Endo (*3) <> Endo (+1) >>> appEndo computation 1 6
Примеры реализации
| Моноид (Endo a) Исходный код | С версии: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методыmempty :: Endo a Исходный код mappend :: Endo a -> Endo a -> Endo a Исходный код mconcat :: [Endo a] -> Endo a Исходный код | |||||
| Полугруппа (Endo a) Исходный код | С версии: base-4.9.0.0 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методы(<>) :: Endo a -> Endo a -> Endo a Исходный код sconcat :: Непустой список (Endo a) -> Endo a Исходный код stimes :: Целочисленное b => b -> Endo a -> Endo a Исходный код | |||||
| Обобщённый (Endo a) Исходный код | |||||
Определено в GHC.Internal.Data.Semigroup.Internal Связанные типы
Методыfrom :: Endo a -> Представление (Endo a) x Исходный код to :: Представление (Endo a) x -> Endo a Исходный код | |||||
| type Представление (Endo a) Исходный код | С версии: base-4.7.0.0 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal type Представление (Endo a) = D1 ('Метаданные "Endo" "GHC.Internal.Data.Semigroup.Internal" "ghc-internal" 'True) (C1 ('MetaCons "Endo" 'PrefixI 'True) (S1 ('MetaSel ('Just "appEndo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (a -> a)))) | |||||
newtype Все Исходный код
Булевый моноид по сопряжению (&&).
All x <> All y = All (x && y)
Примеры
>>> All True <> mempty <> All False)
All {getAll = False}
>>> mconcat (map (\x -> All (even x)) [2,4,6,7,8])
All {getAll = False}
>>> All True <> mempty
All {getAll = True}
Экземпляры
| Monoid All Источник | С версии: base-2.1 |
| Semigroup All Источник | С версии: base-4.9.0.0 |
| Data All Источник | С версии: base-4.8.0.0 |
Определено в GHC.Internal.Data.Data Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> All -> c All Источник gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c All Источник toConstr :: All -> Constr Источник dataTypeOf :: All -> DataType Источник dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c All) Источник dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c All) Источник gmapT :: (forall b. Data b => b -> b) -> All -> All Источник gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> All -> r Источник gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> All -> r Источник gmapQ :: (forall d. Data d => d -> u) -> All -> [u] Источник gmapQi :: Int -> (forall d. Data d => d -> u) -> All -> u Источник gmapM :: Monad m => (forall d. Data d => d -> m d) -> All -> m All Источник gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> All -> m All Источник gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> All -> m All Источник | |
| Bounded All Источник | С версии: base-2.1 |
| Generic All Источник | |||||
Определено в GHC.Internal.Data.Semigroup.Internal Связанные типы
| |||||
| Read All Источник | С момента: base-2.1 |
||||
| Show All Источник | С момента: base-2.1 |
||||
| Eq All Источник | С момента: base-2.1 |
||||
| Ord All Источник | С момента: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методыcompare :: All -> All -> Ordering Исходный код (<) :: All -> All -> Bool Исходный код (<=) :: All -> All -> Bool Исходный код (>) :: All -> All -> Bool Исходный код (>=) :: All -> All -> Bool Исходный код max :: All -> All -> All Исходный код min :: All -> All -> All Исходный код | |
| type Rep All Исходный код | С момента: base-4.7.0.0 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
newtype Any Исходный код
Булевый моноид по дизъюнкции (||).
Any x <> Any y = Any (x || y)
Примеры
>>> Any True <> mempty <> Any False
Any {getAny = True}
>>> mconcat (map (\x -> Any (even x)) [2,4,6,7,8])
Any {getAny = True}
>>> Any False <> mempty
Any {getAny = False}
Экземпляры
| Monoid Any Источник | С версии: base-2.1 |
| Semigroup Any Источник | С версии: base-4.9.0.0 |
| Data Any Источник | С версии: base-4.8.0.0 |
Определено в GHC.Internal.Data.Data Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Any -> c Any Источник gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Any Источник toConstr :: Any -> Constr Источник dataTypeOf :: Any -> DataType Источник dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Any) Источник dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Any) Источник gmapT :: (forall b. Data b => b -> b) -> Any -> Any Источник gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Any -> r Источник gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Any -> r Источник gmapQ :: (forall d. Data d => d -> u) -> Any -> [u] Источник gmapQi :: Int -> (forall d. Data d => d -> u) -> Any -> u Источник gmapM :: Monad m => (forall d. Data d => d -> m d) -> Any -> m Any Источник gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Any -> m Any Источник gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Any -> m Any Источник | |
| Bounded Any Источник | С версии: base-2.1 |
Определено в GHC.Internal.Data.Semigroup.Internal | |||||
| Generic Any Исходный код | |||||
Определено в GHC.Internal.Data.Semigroup.Internal Связанные типы
| |||||
| Read Any Исходный код | С версии: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal МетодыreadsPrec :: Int -> ReadS Any Исходный код readList :: ReadS [Any] Исходный код | |||||
| Show Any Исходный код | С версии: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal МетодыshowsPrec :: Int -> Any -> ShowS Исходный код show :: Any -> String Исходный код showList :: [Any] -> ShowS Исходный код | |||||
| Eq Any Исходный код | С версии: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal | |||||
| Ord Any Исходный код | С версии: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методыcompare :: Any -> Any -> Ordering Исходный код (<) :: Any -> Any -> Bool Исходный код (<=) :: Any -> Any -> Bool Исходный код (>) :: Any -> Any -> Bool Исходный код (>=) :: Any -> Any -> Bool Исходный код max :: Any -> Any -> Any Исходный код min :: Any -> Any -> Any Исходный код | |
| type Rep Any Исходный код | Since: base-4.7.0.0 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
newtype Sum a Исходный код
Моноид относительно сложения.
Sum a <> Sum b = Sum (a + b)
Примеры
>>> Sum 1 <> Sum 2 <> mempty
Sum {getSum = 3}
>>> mconcat [ Sum n | n <- [3 .. 9]]
Sum {getSum = 42}
Экземпляры
| Foldable1 Sum Источник | С версии: base-4.18.0.0 |
Определено в Data.Foldable1 Методыfold1 :: Semigroup m => Sum m -> m Источник foldMap1 :: Semigroup m => (a -> m) -> Sum a -> m Источник foldMap1' :: Semigroup m => (a -> m) -> Sum a -> m Источник toNonEmpty :: Sum a -> NonEmpty a Источник maximum :: Ord a => Sum a -> a Источник minimum :: Ord a => Sum a -> a Источник foldrMap1 :: (a -> b) -> (a -> b -> b) -> Sum a -> b Источник foldlMap1' :: (a -> b) -> (b -> a -> b) -> Sum a -> b Источник foldlMap1 :: (a -> b) -> (b -> a -> b) -> Sum a -> b Источник foldrMap1' :: (a -> b) -> (a -> b -> b) -> Sum a -> b Источник | |
| Applicative Sum Источник | С версии: base-4.8.0.0 |
| Functor Sum Источник | С версии: base-4.8.0.0 |
| Monad Sum Источник | С версии: base-4.8.0.0 |
| MonadFix Sum Источник | С версии: base-4.8.0.0 |
Определено в GHC.Internal.Control.Monad.Fix | |
| MonadZip Sum Source | Since: ghc-internal-4.8.0.0 |
| Foldable Sum Source | Since: base-4.8.0.0 |
Определено в GHC.Internal.Data.Foldable Методыfold :: Monoid m => Sum m -> m Source foldMap :: Monoid m => (a -> m) -> Sum a -> m Source foldMap' :: Monoid m => (a -> m) -> Sum a -> m Source foldr :: (a -> b -> b) -> b -> Sum a -> b Source foldr' :: (a -> b -> b) -> b -> Sum a -> b Source foldl :: (b -> a -> b) -> b -> Sum a -> b Source foldl' :: (b -> a -> b) -> b -> Sum a -> b Source foldr1 :: (a -> a -> a) -> Sum a -> a Source foldl1 :: (a -> a -> a) -> Sum a -> a Source elem :: Eq a => a -> Sum a -> Bool Source maximum :: Ord a => Sum a -> a Source minimum :: Ord a => Sum a -> a Source | |
| Traversable Sum Source | Since: base-4.8.0.0 |
Определено в GHC.Internal.Data.Traversable Методыtraverse :: Applicative f => (a -> f b) -> Sum a -> f (Sum b) Исходный код sequenceA :: Applicative f => Sum (f a) -> f (Sum a) Исходный код mapM :: Monad m => (a -> m b) -> Sum a -> m (Sum b) Исходный код sequence :: Monad m => Sum (m a) -> m (Sum a) Исходный код | |||||
| Generic1 Sum Исходный код | |||||
Определено в GHC.Internal.Data.Semigroup.Internal Связанные типы
| |||||
| Num a => Monoid (Sum a) Исходный код | С момента: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методыmempty :: Sum a Исходный код mappend :: Sum a -> Sum a -> Sum a Исходный код mconcat :: [Sum a] -> Sum a Исходный код | |||||
| Num a => Semigroup (Sum a) Исходный код | С момента: base-4.9.0.0 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методы(<>) :: Sum a -> Sum a -> Sum a Исходный код sconcat :: NonEmpty (Sum a) -> Sum a Исходный код stimes :: Integral b => b -> Sum a -> Sum a Исходный код | |||||
| Data a => Data (Sum a) Исходный код | С момента: base-4.8.0.0 |
||||
Определено в GHC.Internal.Data.Data Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sum a -> c (Sum a) Исходный код gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Sum a) Исходный код toConstr :: Sum a -> Constr Исходный код dataTypeOf :: Sum a -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Sum a)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Sum a)) Исходный код gmapT :: (forall b. Data b => b -> b) -> Sum a -> Sum a Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sum a -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sum a -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> Sum a -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> Sum a -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sum a -> m (Sum a) Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sum a -> m (Sum a) Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sum a -> m (Sum a) Исходный код | |||||
| Bounded a => Bounded (Sum a) Исходный код | С тех пор как: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal | |||||
| Generic (Sum a) Исходный код | |||||
Определено в GHC.Internal.Data.Semigroup.Internal Связанные типы
| |||||
Определено в GHC.Internal.Data.Semigroup.Internal | |
| type Rep1 Sum Источник | С версии: base-4.7.0.0 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
| type Rep (Sum a) Источник | С версии: base-4.7.0.0 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
Моноид при умножении.
Product x <> Product y == Product (x * y)
Примеры
>>> Product 3 <> Product 4 <> mempty
Product {getProduct = 12}
>>> mconcat [ Product n | n <- [2 .. 10]]
Product {getProduct = 3628800}
Конструкторы
| Product | |
Поля
| |
Примеры
| Foldable1 Product Исходный код | С момента: base-4.18.0.0 |
Определено в Data.Foldable1 Методыfold1 :: Semigroup m => Product m -> m Исходный код foldMap1 :: Semigroup m => (a -> m) -> Product a -> m Исходный код foldMap1' :: Semigroup m => (a -> m) -> Product a -> m Исходный код toNonEmpty :: Product a -> NonEmpty a Исходный код maximum :: Ord a => Product a -> a Исходный код minimum :: Ord a => Product a -> a Исходный код head :: Product a -> a Исходный код last :: Product a -> a Исходный код foldrMap1 :: (a -> b) -> (a -> b -> b) -> Product a -> b Исходный код foldlMap1' :: (a -> b) -> (b -> a -> b) -> Product a -> b Исходный код foldlMap1 :: (a -> b) -> (b -> a -> b) -> Product a -> b Исходный код foldrMap1' :: (a -> b) -> (a -> b -> b) -> Product a -> b Исходный код | |
| Applicative Product Исходный код | С момента: base-4.8.0.0 |
Определено в GHC.Internal.Data.Semigroup.Internal Методыpure :: a -> Product a Исходный код (<*>) :: Product (a -> b) -> Product a -> Product b Исходный код liftA2 :: (a -> b -> c) -> Product a -> Product b -> Product c Исходный код (*>) :: Product a -> Product b -> Product b Исходный код (<*) :: Product a -> Product b -> Product a Исходный код | |
| Functor Product Исходный код | С момента: base-4.8.0.0 |
Определено в GHC.Internal.Data.Semigroup.Internal Методыfmap :: (a -> b) -> Product a -> Product b Исходный код (<$) :: a -> Product b -> Product a Исходный код | |
| Monad Product Исходный код | С момента: base-4.8.0.0 |
Определено в GHC.Internal.Data.Semigroup.Internal Методы(>>=) :: Product a -> (a -> Product b) -> Product b Исходный код (>>) :: Product a -> Product b -> Product b Исходный код return :: a -> Product a Исходный код | |
| MonadFix Product Исходный код | С момента: base-4.8.0.0 |
Определено в GHC.Internal.Control.Monad.Fix | |
| MonadZip Product Source | Since: ghc-internal-4.8.0.0 |
| Foldable Product Source | Since: base-4.8.0.0 |
Определено в GHC.Internal.Data.Foldable Методыfold :: Monoid m => Product m -> m Source foldMap :: Monoid m => (a -> m) -> Product a -> m Source foldMap' :: Monoid m => (a -> m) -> Product a -> m Source foldr :: (a -> b -> b) -> b -> Product a -> b Source foldr' :: (a -> b -> b) -> b -> Product a -> b Source foldl :: (b -> a -> b) -> b -> Product a -> b Source foldl' :: (b -> a -> b) -> b -> Product a -> b Source foldr1 :: (a -> a -> a) -> Product a -> a Source foldl1 :: (a -> a -> a) -> Product a -> a Source toList :: Product a -> [a] Source null :: Product a -> Bool Source length :: Product a -> Int Source elem :: Eq a => a -> Product a -> Bool Source maximum :: Ord a => Product a -> a Source minimum :: Ord a => Product a -> a Source | |
| Traversable Product Source | Since: base-4.8.0.0 |
Определено в GHC.Internal.Data.Traversable Методыtraverse :: Applicative f => (a -> f b) -> Product a -> f (Product b) Исходный код sequenceA :: Applicative f => Product (f a) -> f (Product a) Исходный код mapM :: Monad m => (a -> m b) -> Product a -> m (Product b) Исходный код sequence :: Monad m => Product (m a) -> m (Product a) Исходный код | |||||
| Generic1 Product Исходный код | |||||
Определено в GHC.Internal.Data.Semigroup.Internal Связанные типы
Методыfrom1 :: Product a -> Rep1 Product a Исходный код to1 :: Rep1 Product a -> Product a Исходный код | |||||
| Num a => Monoid (Product a) Исходный код | С момента: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методыmempty :: Product a Исходный код mappend :: Product a -> Product a -> Product a Исходный код mconcat :: [Product a] -> Product a Исходный код | |||||
| Num a => Semigroup (Product a) Исходный код | С момента: base-4.9.0.0 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методы(<>) :: Product a -> Product a -> Product a Исходный код sconcat :: NonEmpty (Product a) -> Product a Исходный код stimes :: Integral b => b -> Product a -> Product a Исходный код | |||||
| Data a => Data (Product a) Исходный код | С момента: base-4.8.0.0 |
||||
Определено в GHC.Internal.Data.Data Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Product a -> c (Product a) Исходный код gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Product a) Исходный код toConstr :: Product a -> Constr Исходный код dataTypeOf :: Product a -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Product a)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Product a)) Исходный код gmapT :: (forall b. Data b => b -> b) -> Product a -> Product a Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Product a -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Product a -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> Product a -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> Product a -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> Product a -> m (Product a) Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Product a -> m (Product a) Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Product a -> m (Product a) Исходный код | |
| Bounded a => Bounded (Product a) Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
| Generic (Product a) Исходный код | |
Определено в GHC.Internal.Data.Semigroup.Internal Связанные типы
| |||||
| Num a => Num (Product a) Source | Since: base-4.7.0.0 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методы(+) :: Product a -> Product a -> Product a Source (-) :: Product a -> Product a -> Product a Source (*) :: Product a -> Product a -> Product a Source negate :: Product a -> Product a Source abs :: Product a -> Product a Source signum :: Product a -> Product a Source fromInteger :: Integer -> Product a Source | |||||
| Read a => Read (Product a) Source | Since: base-2.1 |
||||
| Show a => Show (Product a) Source | Since: base-2.1 |
||||
| Eq a => Eq (Product a) Source | Since: base-2.1 |
||||
Определено в GHC.Internal.Data.Semigroup.Internal Методы(==) :: Product a -> Product a -> Bool Исходный код (/=) :: Product a -> Product a -> Bool Исходный код | |
| Ord a => Ord (Product a) Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Data.Semigroup.Internal Методыcompare :: Product a -> Product a -> Ordering Исходный код (<) :: Product a -> Product a -> Bool Исходный код (<=) :: Product a -> Product a -> Bool Исходный код (>) :: Product a -> Product a -> Bool Исходный код (>=) :: Product a -> Product a -> Bool Исходный код max :: Product a -> Product a -> Product a Исходный код min :: Product a -> Product a -> Product a Исходный код | |
| type Rep1 Product Исходный код | С момента: base-4.7.0.0 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
| type Rep (Product a) Исходный код | С момента: base-4.7.0.0 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
Списки различий полугруппы
diff :: Semigroup m => m -> Endo m Исходный код
Это позволяет использовать список различий Semigroup в качестве Monoid.
Примеры
>>> let hello = diff "Hello, "
>>> appEndo hello "World!" "Hello, World!"
>>> appEndo (hello <> mempty) "World!" "Hello, World!"
>>> appEndo (mempty <> hello) "World!" "Hello, World!"
>>> let world = diff "World" >>> let excl = diff "!"
>>> appEndo (hello <> (world <> excl)) mempty "Hello, World!"
>>> appEndo ((hello <> world) <> excl) mempty "Hello, World!"
cycle1 :: Semigroup m => m -> m Исходный код
Обобщение cycle на произвольную Semigroup. Может не завершиться для некоторых значений в некоторых полугруппах.
Примеры
>>> take 10 $ cycle1 [1, 2, 3] [1,2,3,1,2,3,1,2,3,1]
>>> cycle1 (Right 1) Right 1
>>> cycle1 (Left 1) * Hangs forever *
ArgMin, ArgMax
data Arg a b Исходный код
Arg само по себе не является Semigroup, но его можно разместить внутри Min и Max для вычисления arg min или arg max. В случае совпадения выбирается самое левое Arg; в отличие от поведения minimum и maximum для многих других типов, где ничьи разрываются, рассматривая элементы слева, как меньшие, чем элементы справа.
Примеры
>>> minimum [ Arg (x * x) x | x <- [-10 .. 10] ] Arg 0 0
>>> maximum [ Arg (-0.2*x^2 + 1.5*x + 1) x | x <- [-10 .. 10] ] Arg 3.8 4.0
>>> minimum [ Arg (-0.2*x^2 + 1.5*x + 1) x | x <- [-10 .. 10] ] Arg (-34.0) (-10.0)
Конструкторы
| Arg | |
Экземпляры
| Bifoldable Arg Источник | С версии: base-4.10.0.0 |
||||
| Bifoldable1 Arg Источник | |||||
Определено в Data.Bifoldable1 | |||||
| Bifunctor Arg Источник | С версии: base-4.9.0.0 |
||||
| Bitraversable Arg Источник | С версии: base-4.10.0.0 |
||||
Определено в Data.Semigroup Методыbitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Arg a b -> f (Arg c d) Источник | |||||
| Generic1 (Arg a :: Type -> Type) Источник | |||||
Определено в Data.Semigroup Связанные типы
| |||||
| Functor (Arg a) Источник | С версии: base-4.9.0.0 |
||||
| Foldable (Arg a) Source | Since: base-4.9.0.0 |
Определено в Data.Semigroup Краткое описание методовfold :: Monoid m => Arg a m -> m Source foldMap :: Monoid m => (a0 -> m) -> Arg a a0 -> m Source foldMap' :: Monoid m => (a0 -> m) -> Arg a a0 -> m Source foldr :: (a0 -> b -> b) -> b -> Arg a a0 -> b Source foldr' :: (a0 -> b -> b) -> b -> Arg a a0 -> b Source foldl :: (b -> a0 -> b) -> b -> Arg a a0 -> b Source foldl' :: (b -> a0 -> b) -> b -> Arg a a0 -> b Source foldr1 :: (a0 -> a0 -> a0) -> Arg a a0 -> a0 Source foldl1 :: (a0 -> a0 -> a0) -> Arg a a0 -> a0 Source toList :: Arg a a0 -> [a0] Source null :: Arg a a0 -> Bool Source length :: Arg a a0 -> Int Source elem :: Eq a0 => a0 -> Arg a a0 -> Bool Source maximum :: Ord a0 => Arg a a0 -> a0 Source minimum :: Ord a0 => Arg a a0 -> a0 Source | |
| Traversable (Arg a) Source | Since: base-4.9.0.0 |
Определено в Data.Semigroup | |
| (Data a, Data b) => Data (Arg a b) Source | Since: base-4.9.0.0 |
Определено в Data.Semigroup Методыgfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Arg a b -> c (Arg a b) Source gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Arg a b) Source toConstr :: Arg a b -> Constr Source dataTypeOf :: Arg a b -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Arg a b)) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Arg a b)) Source gmapT :: (forall b0. Data b0 => b0 -> b0) -> Arg a b -> Arg a b Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Arg a b -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Arg a b -> r Source gmapQ :: (forall d. Data d => d -> u) -> Arg a b -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Arg a b -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Arg a b -> m (Arg a b) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg a b -> m (Arg a b) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg a b -> m (Arg a b) Source | |||||
| Generic (Arg a b) Source | |||||
Определено в Data.Semigroup Связанные типы
| |||||
| (Read a, Read b) => Read (Arg a b) Source | Since: base-4.9.0.0 |
||||
| (Show a, Show b) => Show (Arg a b) Источник | С момента: base-4.9.0.0 |
| Eq a => Eq (Arg a b) Источник |
Обратите внимание, что >>> Arg 0 0 == Arg 0 1 True >>> let f (Arg _ x) = x in f (Arg 0 0) == f (Arg 0 1) False С момента: base-4.9.0.0 |
| Ord a => Ord (Arg a b) Источник |
Обратите внимание, что С момента: base-4.9.0.0 |
Определено в Data.Semigroup | |
| type Rep1 (Arg a :: Type -> Type) Источник | С момента: base-4.9.0.0 |
Определено в Data.Semigroup type Rep1 (Arg a :: Тип -> Тип) = D1 ('MetaData "Arg" "Data.Semigroup" "base-4.21.0.0-8e62" 'False) (C1 ('MetaCons "Arg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)) | |
| type Rep (Arg a b) Исходный код | С версии: base-4.9.0.0 |
Определено в Data.Semigroup type Rep (Arg a b) = D1 ('MetaData "Arg" "Data.Semigroup" "base-4.21.0.0-8e62" 'False) (C1 ('MetaCons "Arg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b))) | |
type ArgMin a b = Min (Arg a b) Исходный код
Примеры
>>> Min (Arg 0 ()) <> Min (Arg 1 ())
Min {getMin = Arg 0 ()}
>>> minimum [ Arg (length name) name | name <- ["violencia", "lea", "pixie"]] Arg 3 "lea"
type ArgMax a b = Max (Arg a b) Исходный код
Примеры
>>> Max (Arg 0 ()) <> Max (Arg 1 ())
Max {getMax = Arg 1 ()}
>>> maximum [ Arg (length name) name | name <- ["violencia", "lea", "pixie"]] Arg 9 "violencia"
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/base-4.21.0.0-8e62/Data-Semigroup.html
