Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Morphable (mod :: k) struct | mod struct -> struct where Source #
Instances
Preorder a | |
Inorder a | |
Postorder a | |
Levelorder a |
Instances
Instances
data Occurrence a Source #
Instances
Instances
data Horizontal a Source #
rotate :: forall mod struct. Morphable (Rotate mod) struct => struct ~> Morphing (Rotate mod) struct Source #
into :: forall mod struct. Morphable (Into mod) struct => struct ~> Morphing (Into mod) struct Source #
insert :: forall mod struct a. Morphed (Insert mod) struct ((Exactly <:.:> struct) > (->)) => a :=:=> struct Source #
item :: forall mod struct a. Morphed mod struct ((Exactly <:.:> struct) > (->)) => a :=:=> struct Source #
collate :: forall mod struct a. (Chain a, Morphed mod struct ((((Exactly <:.:> Comparison) > (:*:)) <:.:> struct) > (->))) => a :=:=> struct Source #
delete :: forall mod struct a. (Setoid a, Morphed (Delete mod) struct ((Predicate <:.:> struct) > (->))) => a :=:=> struct Source #
filter :: forall mod struct a. Morphed (Delete mod) struct ((Predicate <:.:> struct) > (->)) => Predicate a -> struct a -> struct a Source #
find :: forall mod struct result a. Morphed (Find mod) struct ((Predicate <:.:> result) > (->)) => Predicate a -> struct a -> result a Source #