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

Control.Comonad.HigherOrder Portability non-portable (rank-2 polymorphism) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

extending Neil Ghani and Patrician Johann's HFunctor to higher order comonads

Documentation

class HFunctor w => HComonad w where Source

Methods hextract :: Functor f => Natural (w f) f Source hextend :: (Functor f, Functor g) => Natural (w f) g -> Natural (w f) (w g) Source

Produced by Haddock version 2.3.0