Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class HNodes h => HFunctor h where Source #
A variant of Functor
for HyperType
s
Nothing
hmap :: (forall n. HWitness h n -> (p # n) -> q # n) -> (h # p) -> h # q Source #
Applied a given mapping for h
's nodes (trees along witnesses that they are nodes of h
)
to result with a new tree, potentially with a different nest type.