Modulefree-5.2Haskell2010

Control.Comonad.Trans.Cofree

The cofree comonad transformer

Synopsis

newtype CofreeT
type Cofree
value cofree
value runCofree
data CofreeF
class ComonadCofree
value headF
value tailF
value transCofreeT
value coiterT

Packagefree-5.2
Exports10
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCofree.hs

newtypenewtype CofreeT (f :: Type -> Type) (w :: Type -> Type) a

Source#

This is a cofree comonad of some functor f, with a comonad w threaded through it at each level.

Constructors

CofreeT
- runCofreeT :: w (CofreeF f a (CofreeT f w a))

Instances17ComonadEnv, ComonadCofree, MonadTrans, ComonadTrans, ComonadHoist, Monad, …

(Functor f, ComonadEnv e w) => ComonadEnv e (CofreeT f w)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Functor f, Comonad w) => ComonadCofree f (CofreeT f w)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Alternative f => MonadTrans (CofreeT f)Defined in free-5.2 · Control.Comonad.Trans.Cofree
ComonadTrans (CofreeT f)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Functor f => ComonadHoist (CofreeT f)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Alternative f, Monad w) => Monad (CofreeT f w)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Functor f, Functor w) => Functor (CofreeT f w)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Alternative f, Applicative w) => Applicative (CofreeT f w)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Foldable f, Foldable w) => Foldable (CofreeT f w)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Traversable f, Traversable w) => Traversable (CofreeT f w)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Alternative f, MonadZip f, MonadZip m) => MonadZip (CofreeT f m)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Functor f, Comonad w) => Comonad (CofreeT f w)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Eq (w (CofreeF f a (CofreeT f w a))) => Eq (CofreeT f w a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Typeable f, Typeable w, Data (w (CofreeF f a (CofreeT f w a))), Data a) => Data (CofreeT f w a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Ord (w (CofreeF f a (CofreeT f w a))) => Ord (CofreeT f w a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Read (w (CofreeF f a (CofreeT f w a))) => Read (CofreeT f w a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Show (w (CofreeF f a (CofreeT f w a))) => Show (CofreeT f w a)Defined in free-5.2 · Control.Comonad.Trans.Cofree

typetype Cofree (f :: Type -> Type) = CofreeT f Identity

Source#

The cofree Comonad of a functor f.

valuecofree :: CofreeF f a (Cofree f a) -> Cofree f a

Source#

Wrap another layer around a cofree comonad value.

cofree is a right inverse of runCofree.

runCofree . cofree == id

valuerunCofree :: Cofree f a -> CofreeF f a (Cofree f a)

Source#

Unpeel the first layer off a cofree comonad value.

runCofree is a right inverse of cofree.

cofree . runCofree == id

datadata CofreeF (f :: Type -> Type) a b

Source#

This is the base functor of the cofree comonad transformer.

Constructors

a :< f binfixr 5

Instances23Generic1, Bifoldable, Bifunctor, Bitraversable, Eq2, Ord2, …

Generic1 (CofreeF f a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Foldable f => Bifoldable (CofreeF f)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Functor f => Bifunctor (CofreeF f)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Traversable f => Bitraversable (CofreeF f)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Eq1 f => Eq2 (CofreeF f)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Ord1 f => Ord2 (CofreeF f)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Read1 f => Read2 (CofreeF f)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Show1 f => Show2 (CofreeF f)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Functor f => Functor (CofreeF f a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Foldable f => Foldable (CofreeF f a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Traversable f => Traversable (CofreeF f a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Eq1 f, Eq a) => Eq1 (CofreeF f a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Ord1 f, Ord a) => Ord1 (CofreeF f a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Read1 f, Read a) => Read1 (CofreeF f a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Show1 f, Show a) => Show1 (CofreeF f a)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Eq a, Eq (f b)) => Eq (CofreeF f a b)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Typeable f, Data a, Data (f b), Data b) => Data (CofreeF f a b)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Ord a, Ord (f b)) => Ord (CofreeF f a b)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Read a, Read (f b)) => Read (CofreeF f a b)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Show a, Show (f b)) => Show (CofreeF f a b)Defined in free-5.2 · Control.Comonad.Trans.Cofree
Generic (CofreeF f a b)Defined in free-5.2 · Control.Comonad.Trans.Cofree
type Rep (CofreeF f a b) = D1 ('MetaData "CofreeF" "Control.Comonad.Trans.Cofree" "free-5.2-CZYPlRDIXYi9RiwN75355H" 'False) (C1 ('MetaCons ":<" ('InfixI 'RightAssociative 5) 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f b))))Defined in free-5.2 · Control.Comonad.Trans.Cofree
type Rep1 (CofreeF f a) = D1 ('MetaData "CofreeF" "Control.Comonad.Trans.Cofree" "free-5.2-CZYPlRDIXYi9RiwN75355H" 'False) (C1 ('MetaCons ":<" ('InfixI 'RightAssociative 5) 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))Defined in free-5.2 · Control.Comonad.Trans.Cofree

classclass (Functor f, Comonad w) => ComonadCofree (f :: Type -> Type) (w :: Type -> Type) | w -> f where

Source#

Allows you to peel a layer off a cofree comonad.

Methods

unwrap :: w a -> f (w a)
Remove a layer.

Instances10ComonadCofree, …

ComonadCofree Maybe NonEmptyDefined in free-5.2 · Control.Comonad.Cofree.Class
ComonadCofree [] TreeDefined in free-5.2 · Control.Comonad.Cofree.Class
Comonad w => ComonadCofree Identity (CoiterT w)Defined in free-5.2 · Control.Comonad.Trans.Coiter
Functor f => ComonadCofree f (Cofree f)Defined in free-5.2 · Control.Comonad.Cofree
ComonadCofree f w => ComonadCofree f (EnvT e w)Defined in free-5.2 · Control.Comonad.Cofree.Class
ComonadCofree f w => ComonadCofree f (StoreT s w)Defined in free-5.2 · Control.Comonad.Cofree.Class
ComonadCofree f w => ComonadCofree f (IdentityT w)Defined in free-5.2 · Control.Comonad.Cofree.Class
(ComonadCofree f w, Monoid m) => ComonadCofree f (TracedT m w)Defined in free-5.2 · Control.Comonad.Cofree.Class
(Functor f, Comonad w) => ComonadCofree f (CofreeT f w)Defined in free-5.2 · Control.Comonad.Trans.Cofree
ComonadCofree (Const b) (Tuple2 b)Defined in free-5.2 · Control.Comonad.Cofree.Class