Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Control.Functor.HigherOrder
Documentation
type HCoalgebra f g = g :~> f g Source #
class HFunctor f => HCopointed f where Source #
data HEnvT (f :: (* -> *) -> * -> *) (e :: *) (g :: * -> *) (i :: *) Source #
hschema-0.0.1.1: Describe schemas for your Haskell data types.
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Control.Functor.HigherOrder
type HCoalgebra f g = g :~> f g Source #
class HFunctor f => HCopointed f where Source #
data HEnvT (f :: (* -> *) -> * -> *) (e :: *) (g :: * -> *) (i :: *) Source #