Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class HNodes h => HPointed h where Source #
hpure :: (forall n. HWitness h n -> p # n) -> h # p Source #
Construct a value from a generator of h
's nodes
(a generator which can generate a tree of any type given a witness that it is a node of h
)