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
data Occurrence a Source #
Instances
Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source # | |
Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source # | |
type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source # | |
Defined in Pandora.Paradigm.Structure.Some.List | |
type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source # | |
Defined in Pandora.Paradigm.Structure.Some.List |
insert :: forall f t a. (Morphable (Insert f) t, Morphing (Insert f) t ~ ((Identity <:.:> t) := (->))) => a :=:=> t Source #
item :: forall f t a. (Morphable f t, Morphing f t ~ ((Identity <:.:> t) := (->))) => a :=:=> t Source #
collate :: forall f t a. (Chain a, Morphable f t, Morphing f t ~ ((((Identity <:.:> Comparison) := (:*:)) <:.:> t) := (->))) => a :=:=> t Source #
delete :: forall f t a. (Setoid a, Morphable (Delete f) t, Morphing (Delete f) t ~ ((Predicate <:.:> t) := (->))) => a :=:=> t Source #