Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Structure.Ability.Morphable

Documentation

class Morphable f t | f t -> t where Source #

Associated Types

type Morphing (f :: k) (t :: * -> *) :: * -> * Source #

Methods

morphing :: (Tagged f <:.> t) ~> Morphing f t Source #

Instances

Instances details

Morphable ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into (Conclusion e)) Maybe :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Conclusion e)) <:.> Maybe) ~> Morphing ('Into (Conclusion e)) Maybe Source #
Morphable ('Into (o ds)) (Construction Wye) => Morphable ('Into (o ds) :: Morph a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into (o ds)) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Into (o ds)) <:.> Binary) ~> Morphing ('Into (o ds)) Binary Source #
Morphable ('Into ('Left Maybe)) Wye Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('Left Maybe)) Wye :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Left Maybe)) <:.> Wye) ~> Morphing ('Into ('Left Maybe)) Wye Source #
Morphable ('Into ('Right Maybe)) Wye Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('Right Maybe)) Wye :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Right Maybe)) <:.> Wye) ~> Morphing ('Into ('Right Maybe)) Wye Source #
Morphable ('Into Maybe) (Conclusion e) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into Maybe) (Conclusion e) :: Type -> Type Source # Methods morphing :: (Tagged ('Into Maybe) <:.> Conclusion e) ~> Morphing ('Into Maybe) (Conclusion e) Source #
Morphable ('Into List) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Construction Maybe) ~> Morphing ('Into List) (Construction Maybe) Source #
Morphable ('Into Binary) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Into Binary) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into Binary) <:.> Construction Wye) ~> Morphing ('Into Binary) (Construction Wye) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Stream Associated Types type Morphing ('Rotate 'Right) (Tap ((Stream <:.:> Stream) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((Stream <:.:> Stream) := (::))) ~> Morphing ('Rotate 'Right) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Stream Associated Types type Morphing ('Rotate 'Left) (Tap ((Stream <:.:> Stream) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((Stream <:.:> Stream) := (::))) ~> Morphing ('Rotate 'Left) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Right) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Rotate 'Right) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Left) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Rotate 'Left) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Right) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Rotate 'Right) (Tap ((List <:.:> List) := (:*:))) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Left) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Rotate 'Left) (Tap ((List <:.:> List) := (:*:))) Source #
Morphable ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('There Maybe)) (Wedge e2) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('There Maybe)) <:.> Wedge e2) ~> Morphing ('Into ('There Maybe)) (Wedge e2) Source #
Morphable ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('This Maybe)) (These e2) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('This Maybe)) <:.> These e2) ~> Morphing ('Into ('This Maybe)) (These e2) Source #
Morphable ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right 'Zig)) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right 'Zig)) <:.> Construction Wye) ~> Morphing ('Rotate ('Right 'Zig)) (Construction Wye) Source #
Morphable ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left 'Zig)) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left 'Zig)) <:.> Construction Wye) ~> Morphing ('Rotate ('Left 'Zig)) (Construction Wye) Source #
Morphable ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right ('Zig 'Zag))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right ('Zig 'Zag))) <:.> Construction Wye) ~> Morphing ('Rotate ('Right ('Zig 'Zag))) (Construction Wye) Source #
Morphable ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left ('Zig 'Zag))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left ('Zig 'Zag))) <:.> Construction Wye) ~> Morphing ('Rotate ('Left ('Zig 'Zag))) (Construction Wye) Source #
Morphable ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right ('Zig 'Zig))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right ('Zig 'Zig))) <:.> Construction Wye) ~> Morphing ('Rotate ('Right ('Zig 'Zig))) (Construction Wye) Source #
Morphable ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left ('Zig 'Zig))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left ('Zig 'Zig))) <:.> Construction Wye) ~> Morphing ('Rotate ('Left ('Zig 'Zig))) (Construction Wye) Source #
Morphable ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Preorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source #
Morphable ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Inorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source #
Morphable ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Postorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source #
Morphable ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('Here Maybe)) (Flip Wedge a2) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Here Maybe)) <:.> Flip Wedge a2) ~> Morphing ('Into ('Here Maybe)) (Flip Wedge a2) Source #
Morphable ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('That Maybe)) (Flip These a2) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('That Maybe)) <:.> Flip These a2) ~> Morphing ('Into ('That Maybe)) (Flip These a2) Source #
Morphable ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into Wye) <:.> ((Maybe <:.:> Maybe) := (::))) ~> Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source #
Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Up) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Down 'Right)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Morphable ('Pop :: a -> Morph a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing 'Pop List :: Type -> Type Source # Methods morphing :: (Tagged 'Pop <:.> List) ~> Morphing 'Pop List Source #
Morphable ('Push :: a -> Morph a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing 'Push List :: Type -> Type Source # Methods morphing :: (Tagged 'Push <:.> List) ~> Morphing 'Push List Source #
(forall a1. Chain a1) => Morphable ('Insert :: a -> Morph a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing 'Insert Binary :: Type -> Type Source # Methods morphing :: (Tagged 'Insert <:.> Binary) ~> Morphing 'Insert Binary Source #
Morphable ('Push :: a -> Morph a) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing 'Push (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged 'Push <:.> Construction Maybe) ~> Morphing 'Push (Construction Maybe) Source #
(forall a1. Chain a1) => Morphable ('Insert :: a -> Morph a) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing 'Insert (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged 'Insert <:.> Construction Wye) ~> Morphing 'Insert (Construction Wye) Source #

morph :: forall f t. Morphable f t => t ~> Morphing f t Source #

premorph :: Morphable f t => (Tagged f <:.> t) ~> t Source #

data Walk a Source #

Constructors

Preorder a
Inorder a
Postorder a
Levelorder a

Instances

Instances details

Morphable ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Preorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source #
Morphable ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Inorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source #
Morphable ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Postorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source #
type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) = Construction Maybe
type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) = Construction Maybe
type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) = Construction Maybe

data Morph a Source #

Constructors

Rotate a
Into a
Insert a
Push a
Pop a

Instances

Instances details

Morphable ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into (Conclusion e)) Maybe :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Conclusion e)) <:.> Maybe) ~> Morphing ('Into (Conclusion e)) Maybe Source #
Morphable ('Into (o ds)) (Construction Wye) => Morphable ('Into (o ds) :: Morph a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into (o ds)) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Into (o ds)) <:.> Binary) ~> Morphing ('Into (o ds)) Binary Source #
Morphable ('Into ('Left Maybe)) Wye Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('Left Maybe)) Wye :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Left Maybe)) <:.> Wye) ~> Morphing ('Into ('Left Maybe)) Wye Source #
Morphable ('Into ('Right Maybe)) Wye Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('Right Maybe)) Wye :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Right Maybe)) <:.> Wye) ~> Morphing ('Into ('Right Maybe)) Wye Source #
Morphable ('Into Maybe) (Conclusion e) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into Maybe) (Conclusion e) :: Type -> Type Source # Methods morphing :: (Tagged ('Into Maybe) <:.> Conclusion e) ~> Morphing ('Into Maybe) (Conclusion e) Source #
Morphable ('Into List) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Construction Maybe) ~> Morphing ('Into List) (Construction Maybe) Source #
Morphable ('Into Binary) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Into Binary) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into Binary) <:.> Construction Wye) ~> Morphing ('Into Binary) (Construction Wye) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Stream Associated Types type Morphing ('Rotate 'Right) (Tap ((Stream <:.:> Stream) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((Stream <:.:> Stream) := (::))) ~> Morphing ('Rotate 'Right) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Stream Associated Types type Morphing ('Rotate 'Left) (Tap ((Stream <:.:> Stream) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((Stream <:.:> Stream) := (::))) ~> Morphing ('Rotate 'Left) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Right) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Rotate 'Right) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Left) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Rotate 'Left) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Right) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Rotate 'Right) (Tap ((List <:.:> List) := (:*:))) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Left) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Rotate 'Left) (Tap ((List <:.:> List) := (:*:))) Source #
Morphable ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('There Maybe)) (Wedge e2) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('There Maybe)) <:.> Wedge e2) ~> Morphing ('Into ('There Maybe)) (Wedge e2) Source #
Morphable ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('This Maybe)) (These e2) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('This Maybe)) <:.> These e2) ~> Morphing ('Into ('This Maybe)) (These e2) Source #
Morphable ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right 'Zig)) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right 'Zig)) <:.> Construction Wye) ~> Morphing ('Rotate ('Right 'Zig)) (Construction Wye) Source #
Morphable ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left 'Zig)) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left 'Zig)) <:.> Construction Wye) ~> Morphing ('Rotate ('Left 'Zig)) (Construction Wye) Source #
Morphable ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right ('Zig 'Zag))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right ('Zig 'Zag))) <:.> Construction Wye) ~> Morphing ('Rotate ('Right ('Zig 'Zag))) (Construction Wye) Source #
Morphable ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left ('Zig 'Zag))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left ('Zig 'Zag))) <:.> Construction Wye) ~> Morphing ('Rotate ('Left ('Zig 'Zag))) (Construction Wye) Source #
Morphable ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right ('Zig 'Zig))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right ('Zig 'Zig))) <:.> Construction Wye) ~> Morphing ('Rotate ('Right ('Zig 'Zig))) (Construction Wye) Source #
Morphable ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left ('Zig 'Zig))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left ('Zig 'Zig))) <:.> Construction Wye) ~> Morphing ('Rotate ('Left ('Zig 'Zig))) (Construction Wye) Source #
Morphable ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Preorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source #
Morphable ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Inorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source #
Morphable ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Postorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source #
Morphable ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('Here Maybe)) (Flip Wedge a2) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Here Maybe)) <:.> Flip Wedge a2) ~> Morphing ('Into ('Here Maybe)) (Flip Wedge a2) Source #
Morphable ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into ('That Maybe)) (Flip These a2) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('That Maybe)) <:.> Flip These a2) ~> Morphing ('Into ('That Maybe)) (Flip These a2) Source #
Morphable ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into Wye) <:.> ((Maybe <:.:> Maybe) := (::))) ~> Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source #
Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Up) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Down 'Right)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Morphable ('Pop :: a -> Morph a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing 'Pop List :: Type -> Type Source # Methods morphing :: (Tagged 'Pop <:.> List) ~> Morphing 'Pop List Source #
Morphable ('Push :: a -> Morph a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing 'Push List :: Type -> Type Source # Methods morphing :: (Tagged 'Push <:.> List) ~> Morphing 'Push List Source #
(forall a1. Chain a1) => Morphable ('Insert :: a -> Morph a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing 'Insert Binary :: Type -> Type Source # Methods morphing :: (Tagged 'Insert <:.> Binary) ~> Morphing 'Insert Binary Source #
Morphable ('Push :: a -> Morph a) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing 'Push (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged 'Push <:.> Construction Maybe) ~> Morphing 'Push (Construction Maybe) Source #
(forall a1. Chain a1) => Morphable ('Insert :: a -> Morph a) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing 'Insert (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged 'Insert <:.> Construction Wye) ~> Morphing 'Insert (Construction Wye) Source #
type Morphing ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe Source #
Instance details Defined in Pandora.Paradigm.Primary type Morphing ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe = ((->) e :: Type -> Type) <:.> Conclusion e
type Morphing ('Into (o ds) :: Morph a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure type Morphing ('Into (o ds) :: Morph a) Binary = Maybe <:.> Morphing ('Into (o ds)) (Construction Wye)
type Morphing ('Into ('Left Maybe)) Wye Source #
Instance details Defined in Pandora.Paradigm.Primary type Morphing ('Into ('Left Maybe)) Wye = Maybe
type Morphing ('Into ('Right Maybe)) Wye Source #
Instance details Defined in Pandora.Paradigm.Primary type Morphing ('Into ('Right Maybe)) Wye = Maybe
type Morphing ('Into Maybe) (Conclusion e) Source #
Instance details Defined in Pandora.Paradigm.Primary type Morphing ('Into Maybe) (Conclusion e) = Maybe
type Morphing ('Into List) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into List) (Construction Maybe) = List
type Morphing ('Into Binary) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Into Binary) (Construction Wye) = Binary
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Stream type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (::))) = Tap ((Stream <:.:> Stream) := (::))
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Stream type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (::))) = Tap ((Stream <:.:> Stream) := (::))
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = Maybe <:.> Zipper (Construction Maybe)
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = Maybe <:.> Zipper (Construction Maybe)
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) = Maybe <:.> Zipper List
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) = Maybe <:.> Zipper List
type Morphing ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2) Source #
Instance details Defined in Pandora.Paradigm.Primary type Morphing ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2) = Maybe
type Morphing ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2) Source #
Instance details Defined in Pandora.Paradigm.Primary type Morphing ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2) = Maybe
type Morphing ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) (Construction Wye) = Binary
type Morphing ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) (Construction Wye) = Binary
type Morphing ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) = Binary
type Morphing ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) = Binary
type Morphing ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) = Binary
type Morphing ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye) = Binary
type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) = Construction Maybe
type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) = Construction Maybe
type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) = Construction Maybe
type Morphing ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source #
Instance details Defined in Pandora.Paradigm.Primary type Morphing ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) = Maybe
type Morphing ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) Source #
Instance details Defined in Pandora.Paradigm.Primary type Morphing ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) = Maybe
type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Primary type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) = Wye
type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) = Maybe <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))
type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) = Maybe <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))
type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) = Maybe <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))
type Morphing ('Pop :: a -> Morph a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Pop :: a -> Morph a) List = List
type Morphing ('Push :: a -> Morph a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Push :: a -> Morph a) List = (Identity <:.:> List) := ((->) :: Type -> Type -> Type)
type Morphing ('Insert :: a -> Morph a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Insert :: a -> Morph a) Binary = (Identity <:.:> Binary) := ((->) :: Type -> Type -> Type)
type Morphing ('Push :: a -> Morph a) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Push :: a -> Morph a) (Construction Maybe) = (Identity <:.:> Construction Maybe) := ((->) :: Type -> Type -> Type)
type Morphing ('Insert :: a -> Morph a) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Insert :: a -> Morph a) (Construction Wye) = (Identity <:.:> Construction Wye) := ((->) :: Type -> Type -> Type)

rotate :: forall f t. Morphable (Rotate f) t => t ~> Morphing (Rotate f) t Source #

into :: forall f t. Morphable (Into f) t => t ~> Morphing (Into f) t Source #

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 <:.:> t) := (->))) => a :=:=> t Source #