Control.Comonad.Parameterized

Documentation

class PFunctor f Hask Hask => PCopointed f where

Methods

pextract :: f a c -> a

Instances

Functor f => PCopointed (PCofree f)

(Copointed f, PCopointed p) => PCopointed (Of f p)

class PCopointed f => PComonad f where

Methods

pextend :: (f b c -> a) -> f b c -> f a c

Instances

Functor f => PComonad (PCofree f)