Data.Monoid

Авторские права	(с) Andy Gill 2001 (с) Oregon Graduate Institute of Science and Technology 2001
Лицензия	BSD-стиль (см. файл libraries/base/LICENSE)
Поддержка	libraries@haskell.org
Стабильность	экспериментальная
Переносимость	переносимая
Safe Haskell	Надежная
Язык	Haskell2010

Содержание

Monoid тип
Bool обертки
Num обертки
Maybe обертки
Alternative обертка
Applicative обертка

Описание

Тип a является Monoid, если он предоставляет ассоциативную функцию (<>), которая позволяет объединить любые два значения типа a в одно, и нейтральный элемент (mempty), такой что

a <> mempty == mempty <> a == a

Monoid является Semigroup с дополнительным требованием нейтрального элемента. Таким образом, любой Monoid является Semigroup, но не наоборот.

Примеры

Развернуть

Моноид Sum определяется операцией числового сложения и `0` как нейтральным элементом:

>>> mempty :: Sum Int
Sum 0
>>> Sum 1 <> Sum 2 <> Sum 3 <> Sum 4 :: Sum Int
Sum {getSum = 10}

Мы можем объединить несколько значений в списке в одно значение, используя функцию mconcat. Обратите внимание, что нам нужно указать тип здесь, поскольку Int является моноидом по нескольким различным операциям:

>>> mconcat [1,2,3,4] :: Sum Int
Sum {getSum = 10}
>>> mconcat [] :: Sum Int
Sum {getSum = 0}

Другой допустимый пример моноида для Int — Product. Он определяется умножением и `1` как нейтральным элементом:

>>> Product 1 <> Product 2 <> Product 3 <> Product 4 :: Product Int
Product {getProduct = 24}
>>> mconcat [1,2,3,4] :: Product Int
Product {getProduct = 24}
>>> mconcat [] :: Product Int
Product {getProduct = 1}

Класс типов Monoid

class Semigroup a => Monoid a where Источник

Класс моноидов (типов с ассоциативной бинарной операцией, имеющей тождество). Экземпляры должны удовлетворять следующим условиям:

Тождество справа: x <> mempty = x
Тождество слева: mempty <> x = x
Ассоциативность: x <> (y <> z) = (x <> y) <> z (Semigroup закон)
Конкатенация: mconcat = foldr (<>) mempty

Имена методов относятся к моноиду списков при конкатенации, но существует множество других экземпляров.

Некоторые типы могут рассматриваться как моноиды более чем одним способом, например, сложение и умножение на числах. В таких случаях мы часто определяем newtype и делаем их экземплярами Monoid, например Sum и Product.

ПРИМЕЧАНИЕ: Semigroup является суперклассом Monoid начиная с base-4.11.0.0.

Минимальное полное определение

mempty

Методы

mempty :: a Источник

Тождество mappend

>>> "Hello world" <> mempty
"Hello world"

mappend :: a -> a -> a Источник

Ассоциативная операция

ПРИМЕЧАНИЕ: Этот метод избыточен и имеет реализацию по умолчанию mappend = (<>) начиная с base-4.11.0.0. Если он реализован вручную, так как mappend является синонимом для (<>), ожидается, что эти две функции определены одинаково. В будущих версиях GHC mappend будет удален из Monoid.

mconcat :: [a] -> a Источник

Свертка списка с использованием моноида.

Для большинства типов будет использоваться определение по умолчанию для mconcat, но функция включена в определение класса, чтобы можно было предоставить оптимизированную версию для конкретных типов.

>>> mconcat ["Hello", " ", "Haskell", "!"]
"Hello Haskell!"

Экземпляры

Подробности экземпляров

Monoid Ordering	С версии: base-2.1
Подробности экземпляра Определено в GHC.Base Методы mempty :: Ordering Исходный код mappend :: Ordering -> Ordering -> Ordering Исходный код mconcat :: [Ordering] -> Ordering Исходный код
Monoid ()	С версии: base-2.1
Подробности экземпляра Определено в GHC.Base Методы mempty :: () Исходный код mappend :: () -> () -> () Исходный код mconcat :: [()] -> () Исходный код
Monoid Any	С версии: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: Any Исходный код mappend :: Any -> Any -> Any Исходный код mconcat :: [Any] -> Any Исходный код
Monoid All	С версии: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: All Исходный код mappend :: All -> All -> All Исходный код mconcat :: [All] -> All Исходный код
Monoid Lifetime	`mappend` берёт больший из двух периодов жизни. С версии: base-4.8.0.0
Подробности экземпляра Определено в GHC.Event.Internal Методы mempty :: Lifetime Исходный код mappend :: Lifetime -> Lifetime -> Lifetime Исходный код mconcat :: [Lifetime] -> Lifetime Исходный код
Monoid Event	С версии: base-4.4.0.0
Подробности экземпляра Определено в GHC.Event.Internal Методы mempty :: Event Исходный код mappend :: Event -> Event -> Event Исходный код mconcat :: [Event] -> Event Исходный код
Monoid [a]	С версии: base-2.1
Подробности экземпляра Определено в GHC.Base Методы mempty :: [a] Исходный код mappend :: [a] -> [a] -> [a] Исходный код mconcat :: [[a]] -> [a] Исходный код
Semigroup a => Monoid (Maybe a)	Поднимает полугруппу в `Maybe` формируя `Monoid` согласно http://en.wikipedia.org/wiki/Monoid: "Любая полугруппа `S` может быть преобразована в моноид простым добавлением элемента `e` не входящего в `S` и определения `ee = e` и `es = s = s*e` для всех `s ∈ S`." С версии 4.11.0: ограничение на внутреннее `a` значение обобщено с `Monoid` до `Semigroup`. С версии: base-2.1
Подробности экземпляра Определено в GHC.Base Методы mempty :: Maybe a Исходный код mappend :: Maybe a -> Maybe a -> Maybe a Исходный код mconcat :: [Maybe a] -> Maybe a Исходный код

Monoid a => Monoid (IO a)	Since: base-4.9.0.0
Подробности экземпляра Определено в GHC.Base Методы mempty :: IO a Source mappend :: IO a -> IO a -> IO a Source mconcat :: [IO a] -> IO a Source
Monoid p => Monoid (Par1 p)	Since: base-4.12.0.0
Подробности экземпляра Определено в GHC.Generics Методы mempty :: Par1 p Source mappend :: Par1 p -> Par1 p -> Par1 p Source mconcat :: [Par1 p] -> Par1 p Source
Monoid a => Monoid (Down a)	Since: base-4.11.0.0
Подробности экземпляра Определено в Data.Ord Методы mempty :: Down a Source mappend :: Down a -> Down a -> Down a Source mconcat :: [Down a] -> Down a Source
Num a => Monoid (Product a)	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: Product a Source mappend :: Product a -> Product a -> Product a Source mconcat :: [Product a] -> Product a Source
Num a => Monoid (Sum a)	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: Sum a Source mappend :: Sum a -> Sum a -> Sum a Source mconcat :: [Sum a] -> Sum a Source
Monoid (Endo a)	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: Endo a Source mappend :: Endo a -> Endo a -> Endo a Source mconcat :: [Endo a] -> Endo a Source
Monoid a => Monoid (Dual a)	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: Dual a Source mappend :: Dual a -> Dual a -> Dual a Source mconcat :: [Dual a] -> Dual a Source
Monoid (Last a)	Since: base-2.1

Подробности экземпляра Определено в Data.Monoid Методы mempty :: Last a Исходный код mappend :: Last a -> Last a -> Last a Исходный код mconcat :: [Last a] -> Last a Исходный код
Monoid (First a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Monoid Методы mempty :: First a Исходный код mappend :: First a -> First a -> First a Исходный код mconcat :: [First a] -> First a Исходный код
Monoid a => Monoid (Identity a)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Identity Методы mempty :: Identity a Исходный код mappend :: Identity a -> Identity a -> Identity a Исходный код mconcat :: [Identity a] -> Identity a Исходный код
Semigroup a => Monoid (Option a)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Semigroup Методы mempty :: Option a Исходный код mappend :: Option a -> Option a -> Option a Исходный код mconcat :: [Option a] -> Option 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 Исходный код
(Ord a, Bounded a) => Monoid (Max a)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Semigroup Методы mempty :: Max a Исходный код mappend :: Max a -> Max a -> Max a Исходный код mconcat :: [Max a] -> Max a Исходный код
(Ord a, Bounded a) => Monoid (Min a)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Semigroup Методы mempty :: Min a Исходный код mappend :: Min a -> Min a -> Min a Исходный код mconcat :: [Min a] -> Min a Исходный код
Monoid (Equivalence a)

Подробности экземпляра Определено в Data.Functor.Contravariant Методы mempty :: Equivalence a Источник mappend :: Equivalence a -> Equivalence a -> Equivalence a Источник mconcat :: [Equivalence a] -> Equivalence a Источник
Monoid (Comparison a)
Подробности экземпляра Определено в Data.Functor.Contravariant Методы mempty :: Comparison a Источник mappend :: Comparison a -> Comparison a -> Comparison a Источник mconcat :: [Comparison a] -> Comparison a Источник
Monoid (Predicate a)
Подробности экземпляра Определено в Data.Functor.Contravariant Методы mempty :: Predicate a Источник mappend :: Predicate a -> Predicate a -> Predicate a Источник mconcat :: [Predicate a] -> Predicate a Источник
Monoid b => Monoid (a -> b)	С момента: base-2.1
Подробности экземпляра Определено в GHC.Base Методы mempty :: a -> b Источник mappend :: (a -> b) -> (a -> b) -> a -> b Источник mconcat :: [a -> b] -> a -> b Источник
Monoid (U1 p)	С момента: base-4.12.0.0
Подробности экземпляра Определено в GHC.Generics Методы mempty :: U1 p Источник mappend :: U1 p -> U1 p -> U1 p Источник mconcat :: [U1 p] -> U1 p Источник
(Monoid a, Monoid b) => Monoid (a, b)	С момента: base-2.1
Подробности экземпляра Определено в GHC.Base Методы mempty :: (a, b) Источник mappend :: (a, b) -> (a, b) -> (a, b) Источник mconcat :: [(a, b)] -> (a, b) Источник
Monoid a => Monoid (ST s a)	С момента: base-4.11.0.0
Подробности экземпляра Определено в GHC.ST Методы mempty :: ST s a Источник mappend :: ST s a -> ST s a -> ST s a Источник mconcat :: [ST s a] -> ST s a Источник
Monoid (Proxy s)	С момента: base-4.7.0.0

Подробности экземпляра Определено в Data.Proxy Методы mempty :: Proxy s Исходный код mappend :: Proxy s -> Proxy s -> Proxy s Исходный код mconcat :: [Proxy s] -> Proxy s Исходный код
Monoid a => Monoid (Op a b)
Подробности экземпляра Определено в Data.Functor.Contravariant Методы mempty :: Op a b Исходный код mappend :: Op a b -> Op a b -> Op a b Исходный код mconcat :: [Op a b] -> Op a b Исходный код
Monoid (f p) => Monoid (Rec1 f p)	С момента: base-4.12.0.0
Подробности экземпляра Определено в GHC.Generics Методы mempty :: Rec1 f p Исходный код mappend :: Rec1 f p -> Rec1 f p -> Rec1 f p Исходный код mconcat :: [Rec1 f p] -> Rec1 f p Исходный код
(Monoid a, Monoid b, Monoid c) => Monoid (a, b, c)	С момента: base-2.1
Подробности экземпляра Определено в GHC.Base Методы mempty :: (a, b, c) Исходный код mappend :: (a, b, c) -> (a, b, c) -> (a, b, c) Исходный код mconcat :: [(a, b, c)] -> (a, b, c) Исходный код
Alternative f => Monoid (Alt f a)	С момента: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: Alt f a Исходный код mappend :: Alt f a -> Alt f a -> Alt f a Исходный код mconcat :: [Alt f a] -> Alt f a Исходный код
(Applicative f, Monoid a) => Monoid (Ap f a)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Monoid Методы mempty :: Ap f a Исходный код mappend :: Ap f a -> Ap f a -> Ap f a Исходный код mconcat :: [Ap f a] -> Ap f a Исходный код
Monoid a => Monoid (Const a b)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Const Методы mempty :: Const a b Исходный код mappend :: Const a b -> Const a b -> Const a b Исходный код mconcat :: [Const a b] -> Const a b Исходный код
Monoid c => Monoid (K1 i c p)	С момента: base-4.12.0.0

Instance details Defined in GHC.Generics Методы mempty :: K1 i c p Source mappend :: K1 i c p -> K1 i c p -> K1 i c p Source mconcat :: [K1 i c p] -> K1 i c p Source
(Monoid (f p), Monoid (g p)) => Monoid ((f :*: g) p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Методы mempty :: (f :: g) p Source mappend :: (f :: g) p -> (f :: g) p -> (f :: g) p Source mconcat :: [(f :: g) p] -> (f :: g) p Source
(Monoid a, Monoid b, Monoid c, Monoid d) => Monoid (a, b, c, d)	Since: base-2.1
Instance details Defined in GHC.Base Методы mempty :: (a, b, c, d) Source mappend :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Source mconcat :: [(a, b, c, d)] -> (a, b, c, d) Source
Monoid (f p) => Monoid (M1 i c f p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Методы mempty :: M1 i c f p Source mappend :: M1 i c f p -> M1 i c f p -> M1 i c f p Source mconcat :: [M1 i c f p] -> M1 i c f p Source
Monoid (f (g p)) => Monoid ((f :.: g) p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Методы mempty :: (f :.: g) p Source mappend :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p Source mconcat :: [(f :.: g) p] -> (f :.: g) p Source
(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Monoid (a, b, c, d, e)	Since: base-2.1
Instance details Defined in GHC.Base Методы mempty :: (a, b, c, d, e) Source mappend :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) Source mconcat :: [(a, b, c, d, e)] -> (a, b, c, d, e) Source

(<>) :: Semigroup a => a -> a -> a infixr 6 Source

Ассоциативная операция.

>>> [1,2,3] <> [4,5,6]
[1,2,3,4,5,6]

newtype Dual a Source

Дуал Monoid, полученный путем перестановки аргументов mappend.

>>> getDual (mappend (Dual "Hello") (Dual "World"))
"WorldHello"

Конструкторы

Dual
Поля getDual :: a

Экземпляры

Подробная информация об экземплярах

Monad Dual	Since: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (>>=) :: Dual a -> (a -> Dual b) -> Dual b Source (>>) :: Dual a -> Dual b -> Dual b Source return :: a -> Dual a Source
Functor Dual	Since: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы fmap :: (a -> b) -> Dual a -> Dual b Source (<$) :: a -> Dual b -> Dual a Source
MonadFix Dual	Since: base-4.8.0.0
Подробности экземпляра Определено в Control.Monad.Fix Методы mfix :: (a -> Dual a) -> Dual a Source
Applicative Dual	Since: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы pure :: a -> Dual a Source (<>) :: Dual (a -> b) -> Dual a -> Dual b Source liftA2 :: (a -> b -> c) -> Dual a -> Dual b -> Dual c Source (>) :: Dual a -> Dual b -> Dual b Source (<*) :: Dual a -> Dual b -> Dual a Source
Foldable Dual	Since: base-4.8.0.0
Подробности экземпляра Определено в 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 null :: Dual a -> Bool 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 sum :: Num a => Dual a -> a Source product :: Num a => Dual a -> a Source

Traversable Dual	Since: base-4.8.0.0
Подробности экземпляра Определено в 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) Исходный код
MonadZip Dual	Since: base-4.8.0.0
Подробности экземпляра Определено в Control.Monad.Zip Методы mzip :: Dual a -> Dual b -> Dual (a, b) Исходный код mzipWith :: (a -> b -> c) -> Dual a -> Dual b -> Dual c Исходный код munzip :: Dual (a, b) -> (Dual a, Dual b) Исходный код
Bounded a => Bounded (Dual a)	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы minBound :: Dual a Исходный код maxBound :: Dual a Исходный код
Eq a => Eq (Dual a)	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (==) :: Dual a -> Dual a -> Bool Исходный код (/=) :: Dual a -> Dual a -> Bool Исходный код
Data a => Data (Dual a)	Since: base-4.8.0.0

Подробности экземпляра Определено в 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) Исходный код
Ord a => Ord (Dual a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы compare :: Dual a -> Dual a -> Ordering Исходный код (<) :: Dual a -> Dual a -> Bool Исходный код (<=) :: Dual a -> Dual a -> Bool Исходный код (>) :: Dual a -> Dual a -> Bool Исходный код (>=) :: Dual a -> Dual a -> Bool Исходный код max :: Dual a -> Dual a -> Dual a Исходный код min :: Dual a -> Dual a -> Dual a Исходный код
Read a => Read (Dual a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы readsPrec :: Int -> ReadS (Dual a) Исходный код readList :: ReadS [Dual a] Исходный код readPrec :: ReadPrec (Dual a) Исходный код readListPrec :: ReadPrec [Dual a] Исходный код
Show a => Show (Dual a)	С момента: base-2.1

Подробности экземпляра Определено в Data.Semigroup.Internal Методы showsPrec :: Int -> Dual a -> ShowS Источник show :: Dual a -> String Источник showList :: [Dual a] -> ShowS Источник
Generic (Dual a)	С момента: base-4.7.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Связанные типы type Rep (Dual a) :: Type -> Type Источник Методы from :: Dual a -> Rep (Dual a) x Источник to :: Rep (Dual a) x -> Dual a Источник
Semigroup a => Semigroup (Dual a)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (<>) :: Dual a -> Dual a -> Dual a Источник sconcat :: NonEmpty (Dual a) -> Dual a Источник stimes :: Integral b => b -> Dual a -> Dual a Источник
Monoid a => Monoid (Dual a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: Dual a Источник mappend :: Dual a -> Dual a -> Dual a Источник mconcat :: [Dual a] -> Dual a Источник
Generic1 Dual	С момента: base-4.7.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Связанные типы type Rep1 Dual :: k -> Type Источник Методы from1 :: forall (a :: k). Dual a -> Rep1 Dual a Источник to1 :: forall (a :: k). Rep1 Dual a -> Dual a Источник
type Rep (Dual a)
Подробности экземпляра Определено в Data.Semigroup.Internal type Rep (Dual a) = D1 ('MetaData "Dual" "Data.Semigroup.Internal" "base" 'True) (C1 ('MetaCons "Dual" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDual") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))
type Rep1 Dual
Подробности экземпляра Определено в Data.Semigroup.Internal type Rep1 Dual = D1 ('MetaData "Dual" "Data.Semigroup.Internal" "base" 'True) (C1 ('MetaCons "Dual" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDual") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

newtype Endo a Источник

Моноид эндоморфизмов при композиции.

>>> let computation = Endo ("Hello, " ++) <> Endo (++ "!")
>>> appEndo computation "Haskell"
"Hello, Haskell!"

Конструкторы

Endo
Поля appEndo :: a -> a

Примеры

Подробности примеров

Generic (Endo a)	С момента: base-4.7.0.0
Подробности примера Определено в Data.Semigroup.Internal Связанные типы type Rep (Endo a) :: Тип -> Тип Исходный код Методы from :: Endo a -> Rep (Endo a) x Исходный код to :: Rep (Endo a) x -> Endo a Исходный код
Полугруппа (Endo a)	С момента: base-4.9.0.0
Подробности примера Определено в Data.Semigroup.Internal Методы (<>) :: Endo a -> Endo a -> Endo a Исходный код sconcat :: Непустой список (Endo a) -> Endo a Исходный код stimes :: Целочисленный b => b -> Endo a -> Endo a Исходный код
Моноид (Endo a)	С момента: base-2.1
Подробности примера Определено в Data.Semigroup.Internal Методы mempty :: Endo a Исходный код mappend :: Endo a -> Endo a -> Endo a Исходный код mconcat :: [Endo a] -> Endo a Исходный код
type Rep (Endo a)
Подробности примера Определено в Data.Semigroup.Internal type Rep (Endo a) = D1 ('MetaData "Endo" "Data.Semigroup.Internal" "base" 'True) (C1 ('MetaCons "Endo" 'PrefixI 'True) (S1 ('MetaSel ('Just "appEndo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (a -> a))))

Оборачивания Bool

newtype All Исходный код

Булевой моноид по конъюнкции (&&).

>>> getAll (All True <> mempty <> All False)
False

>>> getAll (mconcat (map (\x -> All (even x)) [2,4,6,7,8]))
False

Конструкторы

All
Поля getAll :: Bool

Примеры

Подробности экземпляров

Bounded All	С версии: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы minBound :: All Source maxBound :: All Source
Eq All	С версии: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (==) :: All -> All -> Bool Source (/=) :: All -> All -> Bool Source
Data All	С версии: base-4.8.0.0
Подробности экземпляра Определено в Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> All -> c All Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c All Source toConstr :: All -> Constr Source dataTypeOf :: All -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c All) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c All) Source gmapT :: (forall b. Data b => b -> b) -> All -> All Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> All -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> All -> r Source gmapQ :: (forall d. Data d => d -> u) -> All -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> All -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> All -> m All Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> All -> m All Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> All -> m All Source
Ord All	С версии: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы compare :: All -> All -> Ordering Source (<) :: All -> All -> Bool Source (<=) :: All -> All -> Bool Source (>) :: All -> All -> Bool Source (>=) :: All -> All -> Bool Source max :: All -> All -> All Source min :: All -> All -> All Source

Read All	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы readsPrec :: Int -> ReadS All Source readList :: ReadS [All] Source readPrec :: ReadPrec All Source readListPrec :: ReadPrec [All] Source
Show All	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы showsPrec :: Int -> All -> ShowS Source show :: All -> String Source showList :: [All] -> ShowS Source
Generic All	Since: base-4.7.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Связанные типы type Rep All :: Type -> Type Source Методы from :: All -> Rep All x Source to :: Rep All x -> All Source
Semigroup All	Since: base-4.9.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (<>) :: All -> All -> All Source sconcat :: NonEmpty All -> All Source stimes :: Integral b => b -> All -> All Source
Monoid All	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: All Source mappend :: All -> All -> All Source mconcat :: [All] -> All Source
type Rep All
Подробности экземпляра Определено в Data.Semigroup.Internal type Rep All = D1 ('MetaData "All" "Data.Semigroup.Internal" "base" 'True) (C1 ('MetaCons "All" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAll") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype Any Source

Булевый моноид при дизъюнкции (||).

>>> getAny (Any True <> mempty <> Any False)
True

>>> getAny (mconcat (map (\x -> Any (even x)) [2,4,6,7,8]))
True

Конструкторы

Any
Поля getAny :: Bool

Экземпляры

Подробности экземпляров

Bounded Any	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы minBound :: Any Source maxBound :: Any Source
Eq Any	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (==) :: Any -> Any -> Bool Source (/=) :: Any -> Any -> Bool Source
Data Any	Since: base-4.8.0.0
Подробности экземпляра Определено в Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Any -> c Any Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Any Source toConstr :: Any -> Constr Source dataTypeOf :: Any -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Any) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Any) Source gmapT :: (forall b. Data b => b -> b) -> Any -> Any Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Any -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Any -> r Source gmapQ :: (forall d. Data d => d -> u) -> Any -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Any -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Any -> m Any Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Any -> m Any Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Any -> m Any Source
Ord Any	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы compare :: Any -> Any -> Ordering Source (<) :: Any -> Any -> Bool Source (<=) :: Any -> Any -> Bool Source (>) :: Any -> Any -> Bool Source (>=) :: Any -> Any -> Bool Source max :: Any -> Any -> Any Source min :: Any -> Any -> Any Source

Read Any	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы readsPrec :: Int -> ReadS Any Источник readList :: ReadS [Any] Источник readPrec :: ReadPrec Any Источник readListPrec :: ReadPrec [Any] Источник
Show Any	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы showsPrec :: Int -> Any -> ShowS Источник show :: Any -> String Источник showList :: [Any] -> ShowS Источник
Generic Any	Since: base-4.7.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Связанные типы type Rep Any :: Type -> Type Источник Методы from :: Any -> Rep Any x Источник to :: Rep Any x -> Any Источник
Semigroup Any	Since: base-4.9.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (<>) :: Any -> Any -> Any Источник sconcat :: NonEmpty Any -> Any Источник stimes :: Integral b => b -> Any -> Any Источник
Monoid Any	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: Any Источник mappend :: Any -> Any -> Any Источник mconcat :: [Any] -> Any Источник
type Rep Any
Подробности экземпляра Определено в Data.Semigroup.Internal type Rep Any = D1 ('MetaData "Any" "Data.Semigroup.Internal" "base" 'True) (C1 ('MetaCons "Any" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAny") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Обёртки Num

newtype Sum a Источник

Моноид по сложению.

>>> getSum (Sum 1 <> Sum 2 <> mempty)
3

Конструкторы

Sum
Поля getSum :: a

Экземпляры

Подробности экземпляров

Monad Sum	Since: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (>>=) :: Sum a -> (a -> Sum b) -> Sum b Source (>>) :: Sum a -> Sum b -> Sum b Source return :: a -> Sum a Source
Functor Sum	Since: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы fmap :: (a -> b) -> Sum a -> Sum b Source (<$) :: a -> Sum b -> Sum a Source
MonadFix Sum	Since: base-4.8.0.0
Подробности экземпляра Определено в Control.Monad.Fix Методы mfix :: (a -> Sum a) -> Sum a Source
Applicative Sum	Since: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы pure :: a -> Sum a Source (<>) :: Sum (a -> b) -> Sum a -> Sum b Source liftA2 :: (a -> b -> c) -> Sum a -> Sum b -> Sum c Source (>) :: Sum a -> Sum b -> Sum b Source (<*) :: Sum a -> Sum b -> Sum a Source
Foldable Sum	Since: base-4.8.0.0
Подробности экземпляра Определено в 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 toList :: Sum a -> [a] Source null :: Sum a -> Bool Source length :: Sum a -> Int Source elem :: Eq a => a -> Sum a -> Bool Source maximum :: Ord a => Sum a -> a Source minimum :: Ord a => Sum a -> a Source sum :: Num a => Sum a -> a Source product :: Num a => Sum a -> a Source

Traversable Sum	Since: base-4.8.0.0
Подробности экземпляра Определено в 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) Исходный код
MonadZip Sum	Since: base-4.8.0.0
Подробности экземпляра Определено в Control.Monad.Zip Методы mzip :: Sum a -> Sum b -> Sum (a, b) Исходный код mzipWith :: (a -> b -> c) -> Sum a -> Sum b -> Sum c Исходный код munzip :: Sum (a, b) -> (Sum a, Sum b) Исходный код
Bounded a => Bounded (Sum a)	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы minBound :: Sum a Исходный код maxBound :: Sum a Исходный код
Eq a => Eq (Sum a)	Since: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (==) :: Sum a -> Sum a -> Bool Исходный код (/=) :: Sum a -> Sum a -> Bool Исходный код
Data a => Data (Sum a)	Since: base-4.8.0.0

Подробности экземпляра Определено в 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) Исходный код
Num a => Num (Sum a)	С момента: base-4.7.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (+) :: Sum a -> Sum a -> Sum a Исходный код (-) :: Sum a -> Sum a -> Sum a Исходный код (*) :: Sum a -> Sum a -> Sum a Исходный код negate :: Sum a -> Sum a Исходный код abs :: Sum a -> Sum a Исходный код signum :: Sum a -> Sum a Исходный код fromInteger :: Integer -> Sum a Исходный код
Ord a => Ord (Sum a)	С момента: base-2.1

Подробности экземпляра Определено в Data.Semigroup.Internal Методы compare :: Sum a -> Sum a -> Ordering Исходный код (<) :: Sum a -> Sum a -> Bool Исходный код (<=) :: Sum a -> Sum a -> Bool Исходный код (>) :: Sum a -> Sum a -> Bool Исходный код (>=) :: Sum a -> Sum a -> Bool Исходный код max :: Sum a -> Sum a -> Sum a Исходный код min :: Sum a -> Sum a -> Sum a Исходный код
Read a => Read (Sum a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы readsPrec :: Int -> ReadS (Sum a) Исходный код readList :: ReadS [Sum a] Исходный код readPrec :: ReadPrec (Sum a) Исходный код readListPrec :: ReadPrec [Sum a] Исходный код
Show a => Show (Sum a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы showsPrec :: Int -> Sum a -> ShowS Исходный код show :: Sum a -> String Исходный код showList :: [Sum a] -> ShowS Исходный код
Generic (Sum a)	С момента: base-4.7.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Связанные типы type Rep (Sum a) :: Type -> Type Исходный код Методы from :: Sum a -> Rep (Sum a) x Исходный код to :: Rep (Sum a) x -> Sum a Исходный код
Num a => Semigroup (Sum a)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (<>) :: Sum a -> Sum a -> Sum a Исходный код sconcat :: NonEmpty (Sum a) -> Sum a Исходный код stimes :: Integral b => b -> Sum a -> Sum a Исходный код
Num a => Monoid (Sum a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: Sum a Исходный код mappend :: Sum a -> Sum a -> Sum a Исходный код mconcat :: [Sum a] -> Sum a Исходный код
Generic1 Sum	С момента: base-4.7.0.0

Подробности экземпляра Определено в Data.Semigroup.Internal Связанные типы type Rep1 Sum :: k -> Type Исходный код Методы from1 :: forall (a :: k). Sum a -> Rep1 Sum a Исходный код to1 :: forall (a :: k). Rep1 Sum a -> Sum a Исходный код
type Rep (Sum a)
Подробности экземпляра Определено в Data.Semigroup.Internal type Rep (Sum a) = D1 ('MetaData "Sum" "Data.Semigroup.Internal" "base" 'True) (C1 ('MetaCons "Sum" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))
type Rep1 Sum
Подробности экземпляра Определено в Data.Semigroup.Internal type Rep1 Sum = D1 ('MetaData "Sum" "Data.Semigroup.Internal" "base" 'True) (C1 ('MetaCons "Sum" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

newtype Product a Исходный код

Множество по умножению.

>>> getProduct (Product 3 <> Product 4 <> mempty)
12

Конструкторы

Product
Поля getProduct :: a

Примеры

Подробности примеров

Монад Продукт	С момента: base-4.8.0.0
Подробности примера Определено в Data.Semigroup.Internal Методы (>>=) :: Продукт a -> (a -> Продукт b) -> Продукт b Исходный код (>>) :: Продукт a -> Продукт b -> Продукт b Исходный код return :: a -> Продукт a Исходный код
Функтор Продукт	С момента: base-4.8.0.0
Подробности примера Определено в Data.Semigroup.Internal Методы fmap :: (a -> b) -> Продукт a -> Продукт b Исходный код (<$) :: a -> Продукт b -> Продукт a Исходный код
MonadFix Продукт	С момента: base-4.8.0.0
Подробности примера Определено в Control.Monad.Fix Методы mfix :: (a -> Продукт a) -> Продукт a Исходный код
Применимый Продукт	С момента: base-4.8.0.0
Подробности примера Определено в Data.Semigroup.Internal Методы pure :: a -> Продукт a Исходный код (<>) :: Продукт (a -> b) -> Продукт a -> Продукт b Исходный код liftA2 :: (a -> b -> c) -> Продукт a -> Продукт b -> Продукт c Исходный код (>) :: Продукт a -> Продукт b -> Продукт b Исходный код (<*) :: Продукт a -> Продукт b -> Продукт a Исходный код
Сворачиваемый Продукт	С момента: base-4.8.0.0

Подробности экземпляра Определено в Data.Foldable Методы fold :: Monoid m => Product m -> m Исходный код foldMap :: Monoid m => (a -> m) -> Product a -> m Исходный код foldMap' :: Monoid m => (a -> m) -> Product a -> m Исходный код foldr :: (a -> b -> b) -> b -> Product a -> b Исходный код foldr' :: (a -> b -> b) -> b -> Product a -> b Исходный код foldl :: (b -> a -> b) -> b -> Product a -> b Исходный код foldl' :: (b -> a -> b) -> b -> Product a -> b Исходный код foldr1 :: (a -> a -> a) -> Product a -> a Исходный код foldl1 :: (a -> a -> a) -> Product a -> a Исходный код toList :: Product a -> [a] Исходный код null :: Product a -> Bool Исходный код length :: Product a -> Int Исходный код elem :: Eq a => a -> Product a -> Bool Исходный код maximum :: Ord a => Product a -> a Исходный код minimum :: Ord a => Product a -> a Исходный код sum :: Num a => Product a -> a Исходный код product :: Num a => Product a -> a Исходный код
Traversable Product	С момента: base-4.8.0.0
Подробности экземпляра Определено в 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) Исходный код
MonadZip Product	С момента: base-4.8.0.0
Подробности экземпляра Определено в Control.Monad.Zip Методы mzip :: Product a -> Product b -> Product (a, b) Исходный код mzipWith :: (a -> b -> c) -> Product a -> Product b -> Product c Исходный код munzip :: Product (a, b) -> (Product a, Product b) Исходный код
Bounded a => Bounded (Product a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы minBound :: Product a Исходный код maxBound :: Product a Исходный код
Eq a => Eq (Product a)	С момента: base-2.1

Instance details Defined in Data.Semigroup.Internal Методы (==) :: Product a -> Product a -> Bool Source (/=) :: Product a -> Product a -> Bool Source
Data a => Data (Product a)	Since: base-4.8.0.0
Instance details Defined in Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Product a -> c (Product a) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Product a) Source toConstr :: Product a -> Constr Source dataTypeOf :: Product a -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Product a)) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Product a)) Source gmapT :: (forall b. Data b => b -> b) -> Product a -> Product a Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Product a -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Product a -> r Source gmapQ :: (forall d. Data d => d -> u) -> Product a -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Product a -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Product a -> m (Product a) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Product a -> m (Product a) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Product a -> m (Product a) Source
Num a => Num (Product a)	Since: base-4.7.0.0
Instance details Defined in 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
Ord a => Ord (Product a)	Since: base-2.1

Подробности экземпляра Определено в 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 Источник
Read a => Read (Product a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы readsPrec :: Int -> ReadS (Product a) Источник readList :: ReadS [Product a] Источник readPrec :: ReadPrec (Product a) Источник readListPrec :: ReadPrec [Product a] Источник
Show a => Show (Product a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Semigroup.Internal Методы showsPrec :: Int -> Product a -> ShowS Источник show :: Product a -> String Источник showList :: [Product a] -> ShowS Источник
Generic (Product a)	С момента: base-4.7.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Связанные типы type Rep (Product a) :: Type -> Type Источник Методы from :: Product a -> Rep (Product a) x Источник to :: Rep (Product a) x -> Product a Источник
Num a => Semigroup (Product a)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (<>) :: Product a -> Product a -> Product a Источник sconcat :: NonEmpty (Product a) -> Product a Источник stimes :: Integral b => b -> Product a -> Product a Источник
Num a => Monoid (Product a)	С момента: base-2.1

Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: Product a Источник mappend :: Product a -> Product a -> Product a Источник mconcat :: [Product a] -> Product a Источник
Generic1 Product	С версии: base-4.7.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Связанные типы type Rep1 Product :: k -> Type Источник Методы from1 :: forall (a :: k). Product a -> Rep1 Product a Источник to1 :: forall (a :: k). Rep1 Product a -> Product a Источник
type Rep (Product a)
Подробности экземпляра Определено в Data.Semigroup.Internal type Rep (Product a) = D1 ('MetaData "Product" "Data.Semigroup.Internal" "base" 'True) (C1 ('MetaCons "Product" 'PrefixI 'True) (S1 ('MetaSel ('Just "getProduct") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))
type Rep1 Product
Подробности экземпляра Определено в Data.Semigroup.Internal type Rep1 Product = D1 ('MetaData "Product" "Data.Semigroup.Internal" "base" 'True) (C1 ('MetaCons "Product" 'PrefixI 'True) (S1 ('MetaSel ('Just "getProduct") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

Обёртки Maybe

Для реализации find или findLast для любого Foldable:

findLast :: Foldable t => (a -> Bool) -> t a -> Maybe a
findLast pred = getLast . foldMap (x -> if pred x
                                           then Last (Just x)
                                           else Last Nothing)

Большая часть интерфейса Map может быть реализована с помощью alter. Остальное можно реализовать с помощью новой функции alterF и либо First, либо Last:

alterF :: (Functor f, Ord k) =>
          (Maybe a -> f (Maybe a)) -> k -> Map k a -> f (Map k a)

instance Monoid a => Functor ((,) a)  -- from Data.Functor

insertLookupWithKey :: Ord k => (k -> v -> v -> v) -> k -> v
                    -> Map k v -> (Maybe v, Map k v)
insertLookupWithKey combine key value =
  Arrow.first getFirst . alterF doChange key
  where
  doChange Nothing = (First Nothing, Just value)
  doChange (Just oldValue) =
    (First (Just oldValue),
     Just (combine key value oldValue))

newtype First a Источник

Монада Maybe, возвращающая самое левое ненулевое значение.

First a изоморфна Alt Maybe a, но исторически предшествует ей.

>>> getFirst (First (Just "hello") <> First Nothing <> First (Just "world"))
Just "hello"

Использование этого типа не рекомендуется. Обратите внимание на следующее равенство:

Data.Monoid.First x === Maybe (Data.Semigroup.First x)

Помимо структурного эквивалента, у них также есть экземпляры Monoid, которые ведут себя одинаково. Этот тип будет помечен как устаревший в GHC 8.8 и удален в GHC 8.10. Пользователям рекомендуется использовать вариант из Data.Semigroup и обернуть его в Maybe.

Конструкторы

First
Поля getFirst :: Maybe a

Примеры

Подробности примеров

Monad First	С момента: base-4.8.0.0
Подробности примера Определено в Data.Monoid Методы (>>=) :: First a -> (a -> First b) -> First b Исходный код (>>) :: First a -> First b -> First b Исходный код return :: a -> First a Исходный код
Functor First	С момента: base-4.8.0.0
Подробности примера Определено в Data.Monoid Методы fmap :: (a -> b) -> First a -> First b Исходный код (<$) :: a -> First b -> First a Исходный код
MonadFix First	С момента: base-4.8.0.0
Подробности примера Определено в Control.Monad.Fix Методы mfix :: (a -> First a) -> First a Исходный код
Applicative First	С момента: base-4.8.0.0
Подробности примера Определено в Data.Monoid Методы pure :: a -> First a Исходный код (<>) :: First (a -> b) -> First a -> First b Исходный код liftA2 :: (a -> b -> c) -> First a -> First b -> First c Исходный код (>) :: First a -> First b -> First b Исходный код (<*) :: First a -> First b -> First a Исходный код
Foldable First	С момента: base-4.8.0.0

Подробности экземпляра Определено в Data.Foldable Методы fold :: Monoid m => First m -> m Исходный код foldMap :: Monoid m => (a -> m) -> First a -> m Исходный код foldMap' :: Monoid m => (a -> m) -> First a -> m Исходный код foldr :: (a -> b -> b) -> b -> First a -> b Исходный код foldr' :: (a -> b -> b) -> b -> First a -> b Исходный код foldl :: (b -> a -> b) -> b -> First a -> b Исходный код foldl' :: (b -> a -> b) -> b -> First a -> b Исходный код foldr1 :: (a -> a -> a) -> First a -> a Исходный код foldl1 :: (a -> a -> a) -> First a -> a Исходный код toList :: First a -> [a] Исходный код null :: First a -> Bool Исходный код length :: First a -> Int Исходный код elem :: Eq a => a -> First a -> Bool Исходный код maximum :: Ord a => First a -> a Исходный код minimum :: Ord a => First a -> a Исходный код sum :: Num a => First a -> a Исходный код product :: Num a => First a -> a Исходный код
Traversable First	С: base-4.8.0.0
Подробности экземпляра Определено в Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> First a -> f (First b) Исходный код sequenceA :: Applicative f => First (f a) -> f (First a) Исходный код mapM :: Monad m => (a -> m b) -> First a -> m (First b) Исходный код sequence :: Monad m => First (m a) -> m (First a) Исходный код
MonadZip First	С: base-4.8.0.0
Подробности экземпляра Определено в Control.Monad.Zip Методы mzip :: First a -> First b -> First (a, b) Исходный код mzipWith :: (a -> b -> c) -> First a -> First b -> First c Исходный код munzip :: First (a, b) -> (First a, First b) Исходный код
Eq a => Eq (First a)	С: base-2.1
Подробности экземпляра Определено в Data.Monoid Методы (==) :: First a -> First a -> Bool Исходный код (/=) :: First a -> First a -> Bool Исходный код
Data a => Data (First a)	С: base-4.8.0.0

Информация об экземпляре Определено в Data.Data Краткое описание методов gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> First a -> c (First a) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (First a) Source toConstr :: First a -> Constr Source dataTypeOf :: First a -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (First a)) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (First a)) Source gmapT :: (forall b. Data b => b -> b) -> First a -> First a Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> First a -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> First a -> r Source gmapQ :: (forall d. Data d => d -> u) -> First a -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> First a -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> First a -> m (First a) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> First a -> m (First a) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> First a -> m (First a) Source
Ord a => Ord (First a)	С версии: base-2.1
Информация об экземпляре Определено в Data.Monoid Краткое описание методов compare :: First a -> First a -> Ordering Source (<) :: First a -> First a -> Bool Source (<=) :: First a -> First a -> Bool Source (>) :: First a -> First a -> Bool Source (>=) :: First a -> First a -> Bool Source max :: First a -> First a -> First a Source min :: First a -> First a -> First a Source
Read a => Read (First a)	С версии: base-2.1
Информация об экземпляре Определено в Data.Monoid Краткое описание методов readsPrec :: Int -> ReadS (First a) Source readList :: ReadS [First a] Source readPrec :: ReadPrec (First a) Source readListPrec :: ReadPrec [First a] Source

Show a => Show (First a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Monoid Методы showsPrec :: Int -> First a -> ShowS Исходный код show :: First a -> String Исходный код showList :: [First a] -> ShowS Исходный код
Generic (First a)	С момента: base-4.7.0.0
Подробности экземпляра Определено в Data.Monoid Связанные типы type Rep (First a) :: Тип -> Тип Исходный код Методы from :: First a -> Rep (First a) x Исходный код to :: Rep (First a) x -> First a Исходный код
Semigroup (First a)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Monoid Методы (<>) :: First a -> First a -> First a Исходный код sconcat :: NonEmpty (First a) -> First a Исходный код stimes :: Integral b => b -> First a -> First a Исходный код
Monoid (First a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Monoid Методы mempty :: First a Исходный код mappend :: First a -> First a -> First a Исходный код mconcat :: [First a] -> First a Исходный код
Generic1 First	С момента: base-4.7.0.0
Подробности экземпляра Определено в Data.Monoid Связанные типы type Rep1 First :: k -> Тип Исходный код Методы from1 :: forall (a :: k). First a -> Rep1 First a Исходный код to1 :: forall (a :: k). Rep1 First a -> First a Исходный код
type Rep (First a)
Подробности экземпляра Определено в Data.Monoid type Rep (First a) = D1 ('MetaData "First" "Data.Monoid" "base" 'True) (C1 ('MetaCons "First" 'PrefixI 'True) (S1 ('MetaSel ('Just "getFirst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))
type Rep1 First
Подробности экземпляра Определено в Data.Monoid type Rep1 First = D1 ('MetaData "First" "Data.Monoid" "base" 'True) (C1 ('MetaCons "First" 'PrefixI 'True) (S1 ('MetaSel ('Just "getFirst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 Maybe)))

newtype Last a Исходный код

Возможность моноида, возвращающая правое крайнее значение, отличное от Nothing.

Last a изоморфно Dual (First a), а значит и Dual (Alt Maybe a)

>>> getLast (Last (Just "hello") <> Last Nothing <> Last (Just "world"))
Just "world"

Использование этого типа не рекомендуется. Обратите внимание на следующее соответствие:

Data.Monoid.Last x === Maybe (Data.Semigroup.Last x)

Помимо структурного соответствия, эти два типа также имеют Monoid реализации, которые ведут себя одинаково. Этот тип будет помечен как устаревший в GHC 8.8 и удален в GHC 8.10. Пользователям рекомендуется использовать вариант из Data.Semigroup и обернуть его в Maybe.

Конструкторы

Last
Поля getLast :: Maybe a

Реализации

Подробности о экземплярах

Monad Last	Since: base-4.8.0.0
Подробности о экземпляре Определено в Data.Monoid Методы (>>=) :: Last a -> (a -> Last b) -> Last b Source (>>) :: Last a -> Last b -> Last b Source return :: a -> Last a Source
Functor Last	Since: base-4.8.0.0
Подробности о экземпляре Определено в Data.Monoid Методы fmap :: (a -> b) -> Last a -> Last b Source (<$) :: a -> Last b -> Last a Source
MonadFix Last	Since: base-4.8.0.0
Подробности о экземпляре Определено в Control.Monad.Fix Методы mfix :: (a -> Last a) -> Last a Source
Applicative Last	Since: base-4.8.0.0
Подробности о экземпляре Определено в Data.Monoid Методы pure :: a -> Last a Source (<>) :: Last (a -> b) -> Last a -> Last b Source liftA2 :: (a -> b -> c) -> Last a -> Last b -> Last c Source (>) :: Last a -> Last b -> Last b Source (<*) :: Last a -> Last b -> Last a Source
Foldable Last	Since: base-4.8.0.0
Подробности о экземпляре Определено в Data.Foldable Методы 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 -> Bool Source length :: Last a -> Int Source elem :: Eq a => a -> Last a -> Bool Source maximum :: Ord a => Last a -> a Source minimum :: Ord a => Last a -> a Source sum :: Num a => Last a -> a Source product :: Num a => Last a -> a Source

Traversable Last	Since: base-4.8.0.0
Instance details Defined in Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> Last a -> f (Last b) Source sequenceA :: Applicative f => Last (f a) -> f (Last a) Source mapM :: Monad m => (a -> m b) -> Last a -> m (Last b) Source sequence :: Monad m => Last (m a) -> m (Last a) Source
MonadZip Last	Since: base-4.8.0.0
Instance details Defined in Control.Monad.Zip Методы mzip :: Last a -> Last b -> Last (a, b) Source mzipWith :: (a -> b -> c) -> Last a -> Last b -> Last c Source munzip :: Last (a, b) -> (Last a, Last b) Source
Eq a => Eq (Last a)	Since: base-2.1
Instance details Defined in Data.Monoid Методы (==) :: Last a -> Last a -> Bool Source (/=) :: Last a -> Last a -> Bool Source
Data a => Data (Last a)	Since: base-4.8.0.0
Instance details Defined in Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Last a -> c (Last a) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Last a) Source toConstr :: Last a -> Constr Source dataTypeOf :: Last a -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Last a)) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Last a)) Source gmapT :: (forall b. Data b => b -> b) -> Last a -> Last a Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Last a -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Last a -> r Source gmapQ :: (forall d. Data d => d -> u) -> Last a -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Last a -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Source

Ord a => Ord (Last a)	Since: base-2.1
Подробности экземпляра Определено в Data.Monoid Методы compare :: Last a -> Last a -> Ordering Источник (<) :: Last a -> Last a -> Bool Источник (<=) :: Last a -> Last a -> Bool Источник (>) :: Last a -> Last a -> Bool Источник (>=) :: Last a -> Last a -> Bool Источник max :: Last a -> Last a -> Last a Источник min :: Last a -> Last a -> Last a Источник
Read a => Read (Last a)	Since: base-2.1
Подробности экземпляра Определено в Data.Monoid Методы readsPrec :: Int -> ReadS (Last a) Источник readList :: ReadS [Last a] Источник readPrec :: ReadPrec (Last a) Источник readListPrec :: ReadPrec [Last a] Источник
Show a => Show (Last a)	Since: base-2.1
Подробности экземпляра Определено в Data.Monoid Методы showsPrec :: Int -> Last a -> ShowS Источник show :: Last a -> String Источник showList :: [Last a] -> ShowS Источник
Generic (Last a)	Since: base-4.7.0.0
Подробности экземпляра Определено в Data.Monoid Связанные типы type Rep (Last a) :: Type -> Type Источник Методы from :: Last a -> Rep (Last a) x Источник to :: Rep (Last a) x -> Last a Источник
Semigroup (Last a)	Since: base-4.9.0.0
Подробности экземпляра Определено в Data.Monoid Методы (<>) :: Last a -> Last a -> Last a Источник sconcat :: NonEmpty (Last a) -> Last a Источник stimes :: Integral b => b -> Last a -> Last a Источник
Monoid (Last a)	Since: base-2.1
Подробности экземпляра Определено в Data.Monoid Методы mempty :: Last a Источник mappend :: Last a -> Last a -> Last a Источник mconcat :: [Last a] -> Last a Источник

Generic1 Last	Since: base-4.7.0.0
Подробности экземпляра Определено в Data.Monoid Связанные типы type Rep1 Last :: k -> Type Исходный код Методы from1 :: forall (a :: k). Last a -> Rep1 Last a Исходный код to1 :: forall (a :: k). Rep1 Last a -> Last a Исходный код
type Rep (Last a)
Подробности экземпляра Определено в Data.Monoid type Rep (Last a) = D1 ('MetaData "Last" "Data.Monoid" "base" 'True) (C1 ('MetaCons "Last" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLast") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))
type Rep1 Last
Подробности экземпляра Определено в Data.Monoid type Rep1 Last = D1 ('MetaData "Last" "Data.Monoid" "base" 'True) (C1 ('MetaCons "Last" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLast") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 Maybe)))

Альтернативный обертка

newtype Alt f a Исходный код

Моноид в соответствии с <|>.

>>> getAlt (Alt (Just 12) <> Alt (Just 24))
Just 12

>>> getAlt $ Alt Nothing <> Alt (Just 24)
Just 24

Since: base-4.8.0.0

Конструкторы

Alt
Поля getAlt :: f a

Примеры

Подробности примеров

Generic1 (Alt f :: k -> Тип)	С момента: base-4.8.0.0
Подробности примера Определено в Data.Semigroup.Internal Связанные типы type Rep1 (Alt f) :: k -> Тип Исходный код Методы from1 :: forall (a :: k0). Alt f a -> Rep1 (Alt f) a Исходный код to1 :: forall (a :: k0). Rep1 (Alt f) a -> Alt f a Исходный код
Монад f => Монад (Alt f)	С момента: base-4.8.0.0
Подробности примера Определено в Data.Semigroup.Internal Методы (>>=) :: Alt f a -> (a -> Alt f b) -> Alt f b Исходный код (>>) :: Alt f a -> Alt f b -> Alt f b Исходный код return :: a -> Alt f a Исходный код
Функтор f => Функтор (Alt f)	С момента: base-4.8.0.0
Подробности примера Определено в Data.Semigroup.Internal Методы fmap :: (a -> b) -> Alt f a -> Alt f b Исходный код (<$) :: a -> Alt f b -> Alt f a Исходный код
MonadFix f => MonadFix (Alt f)	С момента: base-4.8.0.0
Подробности примера Определено в Control.Monad.Fix Методы mfix :: (a -> Alt f a) -> Alt f a Исходный код
Прикладной f => Прикладной (Alt f)	С момента: base-4.8.0.0
Подробности примера Определено в Data.Semigroup.Internal Методы pure :: a -> Alt f a Исходный код (<>) :: Alt f (a -> b) -> Alt f a -> Alt f b Исходный код liftA2 :: (a -> b -> c) -> Alt f a -> Alt f b -> Alt f c Исходный код (>) :: Alt f a -> Alt f b -> Alt f b Исходный код (<*) :: Alt f a -> Alt f b -> Alt f a Исходный код
Foldable f => Foldable (Alt f)	С момента: base-4.12.0.0

Подробности экземпляра Определено в Data.Foldable Методы fold :: Monoid m => Alt f m -> m Источник foldMap :: Monoid m => (a -> m) -> Alt f a -> m Источник foldMap' :: Monoid m => (a -> m) -> Alt f a -> m Источник foldr :: (a -> b -> b) -> b -> Alt f a -> b Источник foldr' :: (a -> b -> b) -> b -> Alt f a -> b Источник foldl :: (b -> a -> b) -> b -> Alt f a -> b Источник foldl' :: (b -> a -> b) -> b -> Alt f a -> b Источник foldr1 :: (a -> a -> a) -> Alt f a -> a Источник foldl1 :: (a -> a -> a) -> Alt f a -> a Источник toList :: Alt f a -> [a] Источник null :: Alt f a -> Bool Источник length :: Alt f a -> Int Источник elem :: Eq a => a -> Alt f a -> Bool Источник maximum :: Ord a => Alt f a -> a Источник minimum :: Ord a => Alt f a -> a Источник sum :: Num a => Alt f a -> a Источник product :: Num a => Alt f a -> a Источник
Traversable f => Traversable (Alt f)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Traversable Методы traverse :: Applicative f0 => (a -> f0 b) -> Alt f a -> f0 (Alt f b) Источник sequenceA :: Applicative f0 => Alt f (f0 a) -> f0 (Alt f a) Источник mapM :: Monad m => (a -> m b) -> Alt f a -> m (Alt f b) Источник sequence :: Monad m => Alt f (m a) -> m (Alt f a) Источник
MonadPlus f => MonadPlus (Alt f)	С момента: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mzero :: Alt f a Источник mplus :: Alt f a -> Alt f a -> Alt f a Источник
Alternative f => Alternative (Alt f)	С момента: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы empty :: Alt f a Источник (<\|>) :: Alt f a -> Alt f a -> Alt f a Источник some :: Alt f a -> Alt f [a] Источник many :: Alt f a -> Alt f [a] Источник
MonadZip f => MonadZip (Alt f)	С момента: base-4.8.0.0

Подробности экземпляра Определено в Control.Monad.Zip Методы mzip :: Alt f a -> Alt f b -> Alt f (a, b) Исходный код mzipWith :: (a -> b -> c) -> Alt f a -> Alt f b -> Alt f c Исходный код munzip :: Alt f (a, b) -> (Alt f a, Alt f b) Исходный код
Contravariant f => Contravariant (Alt f)
Подробности экземпляра Определено в Data.Functor.Contravariant Методы contramap :: (a -> b) -> Alt f b -> Alt f a Исходный код (>$) :: b -> Alt f b -> Alt f a Исходный код
Enum (f a) => Enum (Alt f a)	С версии: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы succ :: Alt f a -> Alt f a Исходный код pred :: Alt f a -> Alt f a Исходный код toEnum :: Int -> Alt f a Исходный код fromEnum :: Alt f a -> Int Исходный код enumFrom :: Alt f a -> [Alt f a] Исходный код enumFromThen :: Alt f a -> Alt f a -> [Alt f a] Исходный код enumFromTo :: Alt f a -> Alt f a -> [Alt f a] Исходный код enumFromThenTo :: Alt f a -> Alt f a -> Alt f a -> [Alt f a] Исходный код
Eq (f a) => Eq (Alt f a)	С версии: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (==) :: Alt f a -> Alt f a -> Bool Исходный код (/=) :: Alt f a -> Alt f a -> Bool Исходный код
(Data (f a), Data a, Typeable f) => Data (Alt f a)	С версии: base-4.8.0.0

Подробности экземпляра Определено в Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Alt f a -> c (Alt f a) Исходный код gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Alt f a) Исходный код toConstr :: Alt f a -> Constr Исходный код dataTypeOf :: Alt f a -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Alt f a)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Alt f a)) Исходный код gmapT :: (forall b. Data b => b -> b) -> Alt f a -> Alt f a Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Alt f a -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Alt f a -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> Alt f a -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> Alt f a -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> Alt f a -> m (Alt f a) Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Alt f a -> m (Alt f a) Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Alt f a -> m (Alt f a) Исходный код
Num (f a) => Num (Alt f a)	С версии: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (+) :: Alt f a -> Alt f a -> Alt f a Исходный код (-) :: Alt f a -> Alt f a -> Alt f a Исходный код (*) :: Alt f a -> Alt f a -> Alt f a Исходный код negate :: Alt f a -> Alt f a Исходный код abs :: Alt f a -> Alt f a Исходный код signum :: Alt f a -> Alt f a Исходный код fromInteger :: Integer -> Alt f a Исходный код
Ord (f a) => Ord (Alt f a)	С версии: base-4.8.0.0

Подробности экземпляра Определено в Data.Semigroup.Internal Методы compare :: Alt f a -> Alt f a -> Ordering Источник (<) :: Alt f a -> Alt f a -> Bool Источник (<=) :: Alt f a -> Alt f a -> Bool Источник (>) :: Alt f a -> Alt f a -> Bool Источник (>=) :: Alt f a -> Alt f a -> Bool Источник max :: Alt f a -> Alt f a -> Alt f a Источник min :: Alt f a -> Alt f a -> Alt f a Источник
Read (f a) => Read (Alt f a)	С момента: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы readsPrec :: Int -> ReadS (Alt f a) Источник readList :: ReadS [Alt f a] Источник readPrec :: ReadPrec (Alt f a) Источник readListPrec :: ReadPrec [Alt f a] Источник
Show (f a) => Show (Alt f a)	С момента: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы showsPrec :: Int -> Alt f a -> ShowS Источник show :: Alt f a -> String Источник showList :: [Alt f a] -> ShowS Источник
Generic (Alt f a)	С момента: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Связанные типы type Rep (Alt f a) :: Type -> Type Источник Методы from :: Alt f a -> Rep (Alt f a) x Источник to :: Rep (Alt f a) x -> Alt f a Источник
Alternative f => Semigroup (Alt f a)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы (<>) :: Alt f a -> Alt f a -> Alt f a Источник sconcat :: NonEmpty (Alt f a) -> Alt f a Источник stimes :: Integral b => b -> Alt f a -> Alt f a Источник
Alternative f => Monoid (Alt f a)	С момента: base-4.8.0.0
Подробности экземпляра Определено в Data.Semigroup.Internal Методы mempty :: Alt f a Источник mappend :: Alt f a -> Alt f a -> Alt f a Источник mconcat :: [Alt f a] -> Alt f a Источник

type Rep1 (Alt f :: k -> Type)
Подробности экземпляра Определено в Data.Semigroup.Internal type Rep1 (Alt f :: k -> Type) = D1 ('MetaData "Alt" "Data.Semigroup.Internal" "base" 'True) (C1 ('MetaCons "Alt" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAlt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))
type Rep (Alt f a)
Подробности экземпляра Определено в Data.Semigroup.Internal type Rep (Alt f a) = D1 ('MetaData "Alt" "Data.Semigroup.Internal" "base" 'True) (C1 ('MetaCons "Alt" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAlt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

Обертка Applicative

newtype Ap f a Source

Этот тип данных свидетельствует о подъёме Monoid в точку Applicative поэлементно.

С: base-4.12.0.0

Конструкторы

Ap
Поля getAp :: f a

Экземпляры

Подробности об экземплярах

Generic1 (Ap f :: k -> Type)	С версии: base-4.12.0.0
Подробности об экземпляре Определено в Data.Monoid Связанные типы type Rep1 (Ap f) :: k -> Type Источник Методы from1 :: forall (a :: k0). Ap f a -> Rep1 (Ap f) a Источник to1 :: forall (a :: k0). Rep1 (Ap f) a -> Ap f a Источник
Monad f => Monad (Ap f)	С версии: base-4.12.0.0
Подробности об экземпляре Определено в Data.Monoid Методы (>>=) :: Ap f a -> (a -> Ap f b) -> Ap f b Источник (>>) :: Ap f a -> Ap f b -> Ap f b Источник return :: a -> Ap f a Источник
Functor f => Functor (Ap f)	С версии: base-4.12.0.0
Подробности об экземпляре Определено в Data.Monoid Методы fmap :: (a -> b) -> Ap f a -> Ap f b Источник (<$) :: a -> Ap f b -> Ap f a Источник
MonadFix f => MonadFix (Ap f)	С версии: base-4.12.0.0
Подробности об экземпляре Определено в Control.Monad.Fix Методы mfix :: (a -> Ap f a) -> Ap f a Источник
MonadFail f => MonadFail (Ap f)	С версии: base-4.12.0.0
Подробности об экземпляре Определено в Data.Monoid Методы fail :: String -> Ap f a Источник
Applicative f => Applicative (Ap f)	С версии: base-4.12.0.0
Подробности об экземпляре Определено в Data.Monoid Методы pure :: a -> Ap f a Источник (<>) :: Ap f (a -> b) -> Ap f a -> Ap f b Источник liftA2 :: (a -> b -> c) -> Ap f a -> Ap f b -> Ap f c Источник (>) :: Ap f a -> Ap f b -> Ap f b Источник (<*) :: Ap f a -> Ap f b -> Ap f a Источник
Foldable f => Foldable (Ap f)	С версии: base-4.12.0.0

Подробности экземпляра Определено в Data.Foldable Методы fold :: Monoid m => Ap f m -> m Источник foldMap :: Monoid m => (a -> m) -> Ap f a -> m Источник foldMap' :: Monoid m => (a -> m) -> Ap f a -> m Источник foldr :: (a -> b -> b) -> b -> Ap f a -> b Источник foldr' :: (a -> b -> b) -> b -> Ap f a -> b Источник foldl :: (b -> a -> b) -> b -> Ap f a -> b Источник foldl' :: (b -> a -> b) -> b -> Ap f a -> b Источник foldr1 :: (a -> a -> a) -> Ap f a -> a Источник foldl1 :: (a -> a -> a) -> Ap f a -> a Источник toList :: Ap f a -> [a] Источник null :: Ap f a -> Bool Источник length :: Ap f a -> Int Источник elem :: Eq a => a -> Ap f a -> Bool Источник maximum :: Ord a => Ap f a -> a Источник minimum :: Ord a => Ap f a -> a Источник sum :: Num a => Ap f a -> a Источник product :: Num a => Ap f a -> a Источник
Traversable f => Traversable (Ap f)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Traversable Методы traverse :: Applicative f0 => (a -> f0 b) -> Ap f a -> f0 (Ap f b) Источник sequenceA :: Applicative f0 => Ap f (f0 a) -> f0 (Ap f a) Источник mapM :: Monad m => (a -> m b) -> Ap f a -> m (Ap f b) Источник sequence :: Monad m => Ap f (m a) -> m (Ap f a) Источник
MonadPlus f => MonadPlus (Ap f)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Monoid Методы mzero :: Ap f a Источник mplus :: Ap f a -> Ap f a -> Ap f a Источник
Alternative f => Alternative (Ap f)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Monoid Методы empty :: Ap f a Источник (<\|>) :: Ap f a -> Ap f a -> Ap f a Источник some :: Ap f a -> Ap f [a] Источник many :: Ap f a -> Ap f [a] Источник
(Applicative f, Bounded a) => Bounded (Ap f a)	С момента: base-4.12.0.0

Подробности экземпляра Определено в Data.Monoid Методы minBound :: Ap f a Источник maxBound :: Ap f a Источник
Enum (f a) => Enum (Ap f a)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Monoid Методы succ :: Ap f a -> Ap f a Источник pred :: Ap f a -> Ap f a Источник toEnum :: Int -> Ap f a Источник fromEnum :: Ap f a -> Int Источник enumFrom :: Ap f a -> [Ap f a] Источник enumFromThen :: Ap f a -> Ap f a -> [Ap f a] Источник enumFromTo :: Ap f a -> Ap f a -> [Ap f a] Источник enumFromThenTo :: Ap f a -> Ap f a -> Ap f a -> [Ap f a] Источник
Eq (f a) => Eq (Ap f a)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Monoid Методы (==) :: Ap f a -> Ap f a -> Bool Источник (/=) :: Ap f a -> Ap f a -> Bool Источник
(Data (f a), Data a, Typeable f) => Data (Ap f a)	С момента: base-4.12.0.0

Подробности экземпляра Определено в Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ap f a -> c (Ap f a) Исходный код gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Ap f a) Исходный код toConstr :: Ap f a -> Constr Исходный код dataTypeOf :: Ap f a -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Ap f a)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Ap f a)) Исходный код gmapT :: (forall b. Data b => b -> b) -> Ap f a -> Ap f a Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ap f a -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ap f a -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> Ap f a -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> Ap f a -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ap f a -> m (Ap f a) Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ap f a -> m (Ap f a) Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ap f a -> m (Ap f a) Исходный код
(Applicative f, Num a) => Num (Ap f a)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Monoid Методы (+) :: Ap f a -> Ap f a -> Ap f a Исходный код (-) :: Ap f a -> Ap f a -> Ap f a Исходный код (*) :: Ap f a -> Ap f a -> Ap f a Исходный код negate :: Ap f a -> Ap f a Исходный код abs :: Ap f a -> Ap f a Исходный код signum :: Ap f a -> Ap f a Исходный код fromInteger :: Integer -> Ap f a Исходный код
Ord (f a) => Ord (Ap f a)	С момента: base-4.12.0.0

Подробности экземпляра Определено в Data.Monoid Методы compare :: Ap f a -> Ap f a -> Ordering Исходный код (<) :: Ap f a -> Ap f a -> Bool Исходный код (<=) :: Ap f a -> Ap f a -> Bool Исходный код (>) :: Ap f a -> Ap f a -> Bool Исходный код (>=) :: Ap f a -> Ap f a -> Bool Исходный код max :: Ap f a -> Ap f a -> Ap f a Исходный код min :: Ap f a -> Ap f a -> Ap f a Исходный код
Read (f a) => Read (Ap f a)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Monoid Методы readsPrec :: Int -> ReadS (Ap f a) Исходный код readList :: ReadS [Ap f a] Исходный код readPrec :: ReadPrec (Ap f a) Исходный код readListPrec :: ReadPrec [Ap f a] Исходный код
Show (f a) => Show (Ap f a)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Monoid Методы showsPrec :: Int -> Ap f a -> ShowS Исходный код show :: Ap f a -> String Исходный код showList :: [Ap f a] -> ShowS Исходный код
Generic (Ap f a)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Monoid Связанные типы type Rep (Ap f a) :: Type -> Type Исходный код Методы from :: Ap f a -> Rep (Ap f a) x Исходный код to :: Rep (Ap f a) x -> Ap f a Исходный код
(Applicative f, Semigroup a) => Semigroup (Ap f a)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Monoid Методы (<>) :: Ap f a -> Ap f a -> Ap f a Исходный код sconcat :: NonEmpty (Ap f a) -> Ap f a Исходный код stimes :: Integral b => b -> Ap f a -> Ap f a Исходный код
(Applicative f, Monoid a) => Monoid (Ap f a)	С момента: base-4.12.0.0
Подробности экземпляра Определено в Data.Monoid Методы mempty :: Ap f a Исходный код mappend :: Ap f a -> Ap f a -> Ap f a Исходный код mconcat :: [Ap f a] -> Ap f a Исходный код

type Rep1 (Ap f :: k -> Type)
Подробности экземпляра Определено в Data.Monoid type Rep1 (Ap f :: k -> Type) = D1 ('MetaData "Ap" "Data.Monoid" "base" 'True) (C1 ('MetaCons "Ap" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))
type Rep (Ap f a)
Подробности экземпляра Определено в Data.Monoid type Rep (Ap f a) = D1 ('MetaData "Ap" "Data.Monoid" "base" 'True) (C1 ('MetaCons "Ap" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/base-4.14.1.0/Data-Monoid.html

Data.Monoid

Содержание

Описание

Примеры

Класс типов Monoid

Минимальное полное определение

Методы

Экземпляры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Конструкторы

Поля

Экземпляры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Связанные типы

Методы

Методы

Методы

Связанные типы

Методы

Конструкторы

Поля

Примеры

Связанные типы

Методы

Методы

Методы

Оборачивания Bool