Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class HFunctor h => HApply h where Source #
A variant of Apply
for HyperType
s.
A type which has HApply
and HPointed
instances also has HApplicative
,
which is the equivalent to the Applicative
class.
hzip :: (h # p) -> (h # q) -> h # (p :*: q) Source #
Combine child values
>>>
hzip (Person name0 age0) (Person name1 age1)
Person (Pair name0 name1) (Pair age0 age1)
Instances
type HApplicative h = (HPointed h, HApply h) Source #
A variant of Applicative
for HyperType
s.