Safe Haskell | None |
---|
Data.Reify.TGraph
Documentation
Typed variables
Typed binding pair, parameterized by variable and node type constructors.
Constructors
forall a . IsTyConstraint ty a => Bind (V ty a) (n (V ty) a) |
data-treify-0.3.4: Reify a recursive data structure into an explicit graph.
Safe Haskell | None |
---|
Data.Reify.TGraph
Typed variables
Typed binding pair, parameterized by variable and node type constructors.
Constructors
forall a . IsTyConstraint ty a => Bind (V ty a) (n (V ty) a) |