Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Morphable f t | f t -> t where Source #
Instances
Preorder a | |
Inorder a | |
Postorder a | |
Levelorder a |
Instances
Instances
insert :: forall f t a. (Morphable (Insert f) t, Morphing (Insert f) t ~ ((Identity <:.:> t) := (->))) => a :=:=> t Source #