HAdjunction | Control.Functor.Adjunction.HigherOrder |
hana | Control.Morphism.Ana |
HasIdentity | Control.Bifunctor.Monoidal, Control.Bifunctor.Functor, Control.Bifunctor.Swap |
hassociateComp | Control.Functor.HigherOrder.Composition |
hbind | Control.Monad.HigherOrder |
hcata | Control.Morphism.Cata |
hcoassociateComp | Control.Functor.HigherOrder.Composition |
HComonad | Control.Comonad.HigherOrder |
hcompose | Control.Functor.HigherOrder.Composition |
HComposition | Control.Functor.HigherOrder.Composition |
HCopointed | Control.Functor.HigherOrder, Control.Comonad.HigherOrder |
hcounit | Control.Functor.Adjunction.HigherOrder |
hdecompose | Control.Functor.HigherOrder.Composition |
hduplicate | Control.Comonad.HigherOrder |
hextend | Control.Comonad.HigherOrder |
hextract | Control.Functor.HigherOrder, Control.Comonad.HigherOrder |
hfmap | Control.Functor.HigherOrder, Control.Comonad.HigherOrder, Control.Monad.HigherOrder |
HFunctor | Control.Functor.HigherOrder, Control.Comonad.HigherOrder, Control.Monad.HigherOrder |
hhylo | Control.Morphism.Hylo |
histo | Control.Morphism.Histo |
hjoin | Control.Monad.HigherOrder |
hleftAdjunct | Control.Functor.Adjunction.HigherOrder |
HMonad | Control.Monad.HigherOrder |
HPointed | Control.Functor.HigherOrder, Control.Monad.HigherOrder |
hreturn | Control.Functor.HigherOrder, Control.Monad.HigherOrder |
hrightAdjunct | Control.Functor.Adjunction.HigherOrder |
hunit | Control.Functor.Adjunction.HigherOrder |
hylo | Control.Morphism.Hylo |
Hyp | Control.Monad.Hyper |
Hyper | Control.Monad.Hyper |
HyperB | |
1 (Type/Class) | Control.Monad.Hyper |
2 (Data Constructor) | Control.Monad.Hyper |