hask-0: Categories

Copyright(c) Edward Kmett 2014
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Hask.Foldable

Contents

Description

 

Synopsis

Foldable

class Functor f => Foldable f where Source

Methods

foldMap :: Monoid (m :: j) => (a m) ~> (f a m) Source

Instances

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) 

newtype WrapMonoid m Source

Constructors

WrapMonoid 

Fields

runWrapMonoid :: m
 

Instances

Monoid * m => Monoid (WrapMonoid m) 

foldMapHask :: (Foldable f, Monoid m) => (a -> m) -> f a -> m Source

Traversable

class Functor f => Traversable f where Source

Methods

traverse :: Monoidal m => (a ~> m b) -> f a ~> m (f b) Source

Instances

newtype WrapMonoidal f a Source

Constructors

WrapMonoidal 

Fields

runWrapMonoidal :: f a
 

Instances

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