Copyright | (c) Edward Kmett 2014 |
---|---|
License | BSD3 |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
- class Functor f => Foldable f where
- newtype WrapMonoid m = WrapMonoid {
- runWrapMonoid :: m
- foldMapHask :: (Foldable f, Monoid m) => (a -> m) -> f a -> m
- class Functor f => Traversable f where
- newtype WrapMonoidal f a = WrapMonoidal {
- runWrapMonoidal :: f a
- _WrapMonoidal :: (Functor * k2 (p (Any *)), Contravariant (* -> k2) * p, Category k2 (Hom k2 *)) => (~>) k2 (p (f a) (f1 a1)) (p (WrapMonoidal k f a) (WrapMonoidal k1 f1 a1))
- fmapDefault :: (Traversable k f, Monoidal k k (Id k), Identity k (Id k), (~) k (I k (Copower k k)) (One k)) => (~>) k a b -> (~>) k (f a) (f b)
- foldMapDefault :: (Traversable k f, Constant k k (Const k k), Monoidal k k (Const k k b), (~) k (I k (Copower k k)) (One k)) => (~>) k a b -> (~>) k (f a) b
- traverseHask :: (Traversable f, Monoidal m) => (a -> m b) -> f a -> m (f b)
Foldable
class Functor f => Foldable f where Source
Foldable * * [] | |
Foldable * * Maybe | |
Foldable * * (Either a) | |
Foldable * * ((,) e) | |
Foldable Constraint Constraint ((&) e) | |
Foldable * (* -> *) Either | |
Foldable * (* -> *) (,) | |
Foldable (k -> *) (k -> *) (Lift1 * * k Either e) | |
Foldable (k -> *) (k -> *) (Lift1 * * k (,) e) | |
Foldable (k -> k -> *) (k -> k -> *) (Lift2 (k -> *) (k -> *) k k (Lift1 * * k Either) e) | |
Foldable (k -> k -> *) (k -> k -> *) (Lift2 (k -> *) (k -> *) k k (Lift1 * * k (,)) e) |
foldMapHask :: (Foldable f, Monoid m) => (a -> m) -> f a -> m Source
Traversable
class Functor f => Traversable f where Source
Traversable * [] | |
Traversable * Maybe | |
Traversable * (Either a) | |
Traversable * ((,) e) |
newtype WrapMonoidal f a Source
WrapMonoidal | |
|
Functor * * f => Functor (WrapMonoidal * f) | |
Monoidal * * f => Applicative (WrapMonoidal * f) |
_WrapMonoidal :: (Functor * k2 (p (Any *)), Contravariant (* -> k2) * p, Category k2 (Hom k2 *)) => (~>) k2 (p (f a) (f1 a1)) (p (WrapMonoidal k f a) (WrapMonoidal k1 f1 a1)) Source
fmapDefault :: (Traversable k f, Monoidal k k (Id k), Identity k (Id k), (~) k (I k (Copower k k)) (One k)) => (~>) k a b -> (~>) k (f a) (f b) Source
foldMapDefault :: (Traversable k f, Constant k k (Const k k), Monoidal k k (Const k k b), (~) k (I k (Copower k k)) (One k)) => (~>) k a b -> (~>) k (f a) b Source
traverseHask :: (Traversable f, Monoidal m) => (a -> m b) -> f a -> m (f b) Source