Control.Comonad.Cofree

Documentation

class (Functor f, Comonad w) => ComonadCofree f w | w -> f where

Methods

unwrap :: w a -> f (w a)

Instances

ComonadCofree f w => ComonadCofree f (IdentityT w)

Functor f => ComonadCofree f (Cofree f)

ComonadCofree f w => ComonadCofree f (DiscontT k w)

ComonadCofree f w => ComonadCofree f (DiscontT k w)

ComonadCofree f w => ComonadCofree f (DiscontT k w)

(ComonadCofree f w, Semigroup m, Monoid m) => ComonadCofree f (TracedT m w)

(ComonadCofree f w, Semigroup m, Monoid m) => ComonadCofree f (TracedT m w)

ComonadCofree f w => ComonadCofree f (StoreT s w)

ComonadCofree f w => ComonadCofree f (StoreT s w)

ComonadCofree f w => ComonadCofree f (StoreT s w)

ComonadCofree f w => ComonadCofree f (EnvT e w)

ComonadCofree f w => ComonadCofree f (EnvT e w)

data Cofree f a

Constructors

a :< (f (Cofree f a))

Instances

ComonadTrans Cofree

ComonadTraced m w => ComonadTraced m (Cofree w)

ComonadStore s w => ComonadStore s (Cofree w)

ComonadEnv e w => ComonadEnv e (Cofree w)

Functor f => ComonadCofree f (Cofree f)

Functor f => Functor (Cofree f)

Applicative f => Applicative (Cofree f)

Foldable f => Foldable (Cofree f)

Traversable f => Traversable (Cofree f)

Functor f => Comonad (Cofree f)

Functor f => Extend (Cofree f)

Distributive f => Distributive (Cofree f)

Traversable1 f => Traversable1 (Cofree f)

Foldable1 f => Foldable1 (Cofree f)

Apply f => Apply (Cofree f)

(Eq (f (Cofree f a)), Eq a) => Eq (Cofree f a)

(Ord (f (Cofree f a)), Ord a) => Ord (Cofree f a)

(Read (f (Cofree f a)), Read a) => Read (Cofree f a)

(Show (f (Cofree f a)), Show a) => Show (Cofree f a)

coiter :: Functor f => (a -> f a) -> a -> Cofree f a

unfold :: Functor f => (b -> (a, f b)) -> b -> Cofree f a

section :: Comonad f => f a -> Cofree f a

lower . section = id