Library with some useful Monoid
instances.
newtype All
Boolean monoid under (&&)
Constructor:
All
:: Bool -> All
Fields:
getAll
:: Bool
Known instances:
newtype Any
Boolean monoid under (||)
Constructor:
Any
:: Bool -> Any
Fields:
getAny
:: Bool
Known instances:
newtype Sum a
Monoid under addition.
Constructor:
Sum
:: a -> Sum a
Fields:
getSum
:: a
Known instances:
Num a => Monoid (Sum a)
Functor Sum
Applicative Sum
Monad Sum
Eq a => Eq (Sum a)
Ord a => Ord (Sum a)
Show a => Show (Sum a)
Read a => Read (Sum a)
newtype Product a
Monoid under multiplication.
Constructor:
Product
:: a -> Product a
Fields:
getProduct
:: a
Known instances:
Num a => Monoid (Product a)
Functor Product
Applicative Product
Monad Product
Eq a => Eq (Product a)
Ord a => Ord (Product a)
Show a => Show (Product a)
Read a => Read (Product a)
newtype First a
Maybe monoid returning the leftmost Just value.
Constructor:
First
:: (Maybe a) -> First a
Fields:
getFirst
:: (Maybe a)
Known instances:
Functor First
Applicative First
Monad First
Monoid (First a)
Eq a => Eq (First a)
Ord a => Ord (First a)
Show a => Show (First a)
Read a => Read (First a)
newtype Last a
Maybe monoid returning the rightmost Just value.
Constructor:
Last
:: (Maybe a) -> Last a
Fields:
getLast
:: (Maybe a)
Known instances:
Monoid (Last a)
Functor Last
Applicative Last
Monad Last
Eq a => Eq (Last a)
Ord a => Ord (Last a)
Show a => Show (Last a)
Read a => Read (Last a)