category-extras-0.44.1: Various modules and constructs inspired by category theory.

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Comonad.HigherOrder

Description

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

Documentation

class HFunctor w => HComonad w whereSource

Methods

hextract :: Functor f => Natural (w f) fSource

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