Control.Comonad.Cofree.Class

Documentation

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

Allows you to peel a layer off a cofree comonad.

Methods

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

Remove a layer.

Instances

ComonadCofree [] Tree

ComonadCofree Maybe NonEmpty

ComonadCofree f w => ComonadCofree f (IdentityT w)

Functor f => ComonadCofree f (Cofree f)

Comonad w => ComonadCofree Identity (CoiterT w)

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

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

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

(Functor f, Comonad w) => ComonadCofree f (CofreeT f w)

ComonadCofree (Const b) ((,) b)