Control.Comonad.Cofree

Haskell 98 cofree comonads

Documentation

data Cofree f a

Constructors

a :< (f (Cofree f a))

Instances

Functor f => Functor (Cofree f)

Typeable1 f => Typeable1 (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)

(Typeable1 f, Data (f (Cofree f a)), Data a) => Data (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)

(Typeable1 f, Typeable a) => Typeable (Cofree f a)

outCofree :: Cofree f a -> f (Cofree f a)

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

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