category-extras-0.52.1: Various modules and constructs inspired by category theory Source code Contents Index

Control.Comonad.Parameterized Portability portable Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

class PFunctor f Hask Hask => PCopointed f where Source

Methods pextract :: f a c -> a Source Instances Functor f => PCopointed (PCofree f) (Copointed f, PCopointed p) => PCopointed (Of f p)

class PCopointed f => PComonad f where Source

Methods pextend :: (f b c -> a) -> f b c -> f a c Source Instances Functor f => PComonad (PCofree f)

Produced by Haddock version 2.3.0