Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Structure.Ability.Morphable

Documentation

class Morphable mod struct | mod struct -> struct where Source #

Associated Types

type Morphing (mod :: k) (struct :: * -> *) :: * -> * Source #

Methods

morphing :: (Tagged mod <:.> struct) ~> Morphing mod struct Source #

Instances

Instances details

Morphable ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into (Flip Conclusion e)) Maybe :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Flip Conclusion e)) <:.> Maybe) ~> Morphing ('Into (Flip Conclusion e)) Maybe Source #
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 (Tap ((List <:.:> List) := (:*:)))) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((List <:.:> List) := (::)))) List :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((List <:.:> List) := (::)))) <:.> List) ~> Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) List Source #
Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Delete 'All) List :: Type -> Type Source # Methods morphing :: (Tagged ('Delete 'All) <:.> List) ~> Morphing ('Delete 'All) List Source #
Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Delete 'First) List :: Type -> Type Source # Methods morphing :: (Tagged ('Delete 'First) <:.> List) ~> Morphing ('Delete 'First) List Source #
Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Find 'Element) List :: Type -> Type Source # Methods morphing :: (Tagged ('Find 'Element) <:.> List) ~> Morphing ('Find 'Element) List 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 ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right 'Zig)) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right 'Zig)) <:.> Binary) ~> Morphing ('Rotate ('Right 'Zig)) Binary Source #
Morphable ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left 'Zig)) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left 'Zig)) <:.> Binary) ~> Morphing ('Rotate ('Left 'Zig)) Binary Source #
Morphable ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right ('Zig 'Zag))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right ('Zig 'Zag))) <:.> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zag))) Binary Source #
Morphable ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left ('Zig 'Zag))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left ('Zig 'Zag))) <:.> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zag))) Binary Source #
Morphable ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right ('Zig 'Zig))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right ('Zig 'Zig))) <:.> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zig))) Binary Source #
Morphable ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left ('Zig 'Zig))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left ('Zig 'Zig))) <:.> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zig))) Binary Source #
Morphable ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Construction Maybe)) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Morphable ('Into (Construction Maybe)) (Vector r) Source #
Instance details Defined in Pandora.Paradigm.Primary.Linear.Vector Associated Types type Morphing ('Into (Construction Maybe)) (Vector r) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Construction Maybe)) <:.> Vector r) ~> Morphing ('Into (Construction Maybe)) (Vector r) 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 (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Comprehension Maybe)) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) Source #
Morphable ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) Source #
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((List <:.:> List) := (::)))) <:.> Construction Maybe) ~> Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source #
Morphable ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((List <:.:> List) := (::)))) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) 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 List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Morphable ('Into List) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Into List) (Tap ((List <:.:> List) := (:*:))) Source #
Morphable ('Into List) (Vector r) Source #
Instance details Defined in Pandora.Paradigm.Primary.Linear.Vector Associated Types type Morphing ('Into List) (Vector r) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Vector r) ~> Morphing ('Into List) (Vector r) 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 ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Find 'Element) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Find 'Element) <:.> Construction Maybe) ~> Morphing ('Find 'Element) (Construction Maybe) 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 ('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 ('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 #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Morphable ('Into t :: Morph (Type -> Type)) (Prefixed t k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Modification.Prefixed Associated Types type Morphing ('Into t) (Prefixed t k) :: Type -> Type Source # Methods morphing :: (Tagged ('Into t) <:.> Prefixed t k) ~> Morphing ('Into t) (Prefixed t k) Source #
Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed (Construction Maybe) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key) Source #
Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Lookup 'Key) (Prefixed List key) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed List key) ~> Morphing ('Lookup 'Key) (Prefixed List key) Source #
Setoid k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose Associated Types type Morphing ('Lookup 'Key) (Prefixed Rose k) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed Rose k) ~> Morphing ('Lookup 'Key) (Prefixed Rose k) Source #
Chain key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Wye) key) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Lookup 'Key) (Prefixed (Construction Wye) key) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed (Construction Wye) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Wye) key) Source #
Chain k => Morphable ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Vary 'Element) (Prefixed Binary k) :: Type -> Type Source # Methods morphing :: (Tagged ('Vary 'Element) <:.> Prefixed Binary k) ~> Morphing ('Vary 'Element) (Prefixed Binary k) Source #
Chain k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Lookup 'Key) (Prefixed Binary k) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed Binary k) ~> Morphing ('Lookup 'Key) (Prefixed Binary k) 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 #
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 #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (::) (::) t) => Morphable ('Push :: a -> Morph a) (Comprehension t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Modification.Comprehension Associated Types type Morphing 'Push (Comprehension t) :: Type -> Type Source # Methods morphing :: (Tagged 'Push <:.> Comprehension t) ~> Morphing 'Push (Comprehension t) 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 #
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 Morphed mod struct result = (Morphable mod struct, Morphing mod struct ~ result) Source #

morph :: forall mod struct. Morphable mod struct => struct ~> Morphing mod struct Source #

premorph :: Morphable mod struct => (Tagged mod <:.> struct) ~> struct 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
Delete a
Find a
Lookup a
Vary a
Key a
Element a

Instances

Instances details

Morphable ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into (Flip Conclusion e)) Maybe :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Flip Conclusion e)) <:.> Maybe) ~> Morphing ('Into (Flip Conclusion e)) Maybe Source #
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 (Tap ((List <:.:> List) := (:*:)))) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((List <:.:> List) := (::)))) List :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((List <:.:> List) := (::)))) <:.> List) ~> Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) List Source #
Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Delete 'All) List :: Type -> Type Source # Methods morphing :: (Tagged ('Delete 'All) <:.> List) ~> Morphing ('Delete 'All) List Source #
Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Delete 'First) List :: Type -> Type Source # Methods morphing :: (Tagged ('Delete 'First) <:.> List) ~> Morphing ('Delete 'First) List Source #
Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Find 'Element) List :: Type -> Type Source # Methods morphing :: (Tagged ('Find 'Element) <:.> List) ~> Morphing ('Find 'Element) List 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 ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right 'Zig)) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right 'Zig)) <:.> Binary) ~> Morphing ('Rotate ('Right 'Zig)) Binary Source #
Morphable ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left 'Zig)) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left 'Zig)) <:.> Binary) ~> Morphing ('Rotate ('Left 'Zig)) Binary Source #
Morphable ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right ('Zig 'Zag))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right ('Zig 'Zag))) <:.> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zag))) Binary Source #
Morphable ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left ('Zig 'Zag))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left ('Zig 'Zag))) <:.> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zag))) Binary Source #
Morphable ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right ('Zig 'Zig))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right ('Zig 'Zig))) <:.> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zig))) Binary Source #
Morphable ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left ('Zig 'Zig))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left ('Zig 'Zig))) <:.> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zig))) Binary Source #
Morphable ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Construction Maybe)) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Morphable ('Into (Construction Maybe)) (Vector r) Source #
Instance details Defined in Pandora.Paradigm.Primary.Linear.Vector Associated Types type Morphing ('Into (Construction Maybe)) (Vector r) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Construction Maybe)) <:.> Vector r) ~> Morphing ('Into (Construction Maybe)) (Vector r) 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 (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Comprehension Maybe)) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) Source #
Morphable ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) Source #
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((List <:.:> List) := (::)))) <:.> Construction Maybe) ~> Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source #
Morphable ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((List <:.:> List) := (::)))) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) 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 List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Morphable ('Into List) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Into List) (Tap ((List <:.:> List) := (:*:))) Source #
Morphable ('Into List) (Vector r) Source #
Instance details Defined in Pandora.Paradigm.Primary.Linear.Vector Associated Types type Morphing ('Into List) (Vector r) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Vector r) ~> Morphing ('Into List) (Vector r) 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 ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Find 'Element) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Find 'Element) <:.> Construction Maybe) ~> Morphing ('Find 'Element) (Construction Maybe) 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 ('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 ('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 #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Morphable ('Into t :: Morph (Type -> Type)) (Prefixed t k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Modification.Prefixed Associated Types type Morphing ('Into t) (Prefixed t k) :: Type -> Type Source # Methods morphing :: (Tagged ('Into t) <:.> Prefixed t k) ~> Morphing ('Into t) (Prefixed t k) Source #
Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed (Construction Maybe) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key) Source #
Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Lookup 'Key) (Prefixed List key) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed List key) ~> Morphing ('Lookup 'Key) (Prefixed List key) Source #
Setoid k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose Associated Types type Morphing ('Lookup 'Key) (Prefixed Rose k) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed Rose k) ~> Morphing ('Lookup 'Key) (Prefixed Rose k) Source #
Chain key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Wye) key) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Lookup 'Key) (Prefixed (Construction Wye) key) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed (Construction Wye) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Wye) key) Source #
Chain k => Morphable ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Vary 'Element) (Prefixed Binary k) :: Type -> Type Source # Methods morphing :: (Tagged ('Vary 'Element) <:.> Prefixed Binary k) ~> Morphing ('Vary 'Element) (Prefixed Binary k) Source #
Chain k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Lookup 'Key) (Prefixed Binary k) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed Binary k) ~> Morphing ('Lookup 'Key) (Prefixed Binary k) 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 #
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 #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (::) (::) t) => Morphable ('Push :: a -> Morph a) (Comprehension t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Modification.Comprehension Associated Types type Morphing 'Push (Comprehension t) :: Type -> Type Source # Methods morphing :: (Tagged 'Push <:.> Comprehension t) ~> Morphing 'Push (Comprehension t) 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 #
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 (Flip Conclusion e) :: Morph (Type -> Type)) Maybe Source #
Instance details Defined in Pandora.Paradigm.Primary type Morphing ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe = ((->) e :: Type -> Type) <:.> Flip Conclusion e
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 (Tap ((List <:.:> List) := (:*:)))) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Tap ((List <:.:> List) := (::)))) List = Maybe <:.> Tap ((List <:.:> List) := (::))
type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List = (Predicate <:.:> List) := ((->) :: Type -> Type -> Type)
type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List = (Predicate <:.:> List) := ((->) :: Type -> Type -> Type)
type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List = (Predicate <:.:> Maybe) := ((->) :: Type -> Type -> Type)
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 ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary = Binary
type Morphing ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary = Binary
type Morphing ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary 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)))) Binary = Binary
type Morphing ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary 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)))) Binary = Binary
type Morphing ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary 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)))) Binary = Binary
type Morphing ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary 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)))) Binary = Binary
type Morphing ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = Construction Maybe
type Morphing ('Into (Construction Maybe)) (Vector r) Source #
Instance details Defined in Pandora.Paradigm.Primary.Linear.Vector type Morphing ('Into (Construction Maybe)) (Vector r) = Construction 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 (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) = Comprehension Maybe
type Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) = Maybe <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))
type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Construction Maybe) = Tap ((List <:.:> List) := (::))
type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) = Tap ((List <:.:> List) := (:*:))
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 List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = List
type Morphing ('Into List) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into List) (Tap ((List <:.:> List) := (:*:))) = List
type Morphing ('Into List) (Vector r) Source #
Instance details Defined in Pandora.Paradigm.Primary.Linear.Vector type Morphing ('Into List) (Vector r) = 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 <:.> Tap ((Construction Maybe <:.:> 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 <:.> Tap ((Construction Maybe <:.:> 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 <:.> Tap ((List <:.:> 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 <:.> Tap ((List <:.:> List) := (::))
type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe) = (Predicate <:.:> Maybe) := ((->) :: Type -> Type -> Type)
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 ('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 ('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 t :: Morph (Type -> Type)) (Prefixed t k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Modification.Prefixed type Morphing ('Into t :: Morph (Type -> Type)) (Prefixed t k) = t
type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key) = ((->) key :: Type -> Type) <:.> Maybe
type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) = ((->) key :: Type -> Type) <:.> Maybe
type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) = ((->) (Nonempty List k) :: Type -> Type) <:.> Maybe
type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Wye) key) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Wye) key) = ((->) key :: Type -> Type) <:.> Maybe
type Morphing ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) = (((:*:) k <:.> Identity) <:.:> Prefixed Binary k) := ((->) :: Type -> Type -> Type)
type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) = ((->) k :: Type -> Type) <:.> 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 <:.:> Comparison) := (:*:)) <:.:> Binary) := ((->) :: Type -> Type -> Type)
type Morphing ('Push :: a -> Morph a) (Comprehension t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Modification.Comprehension type Morphing ('Push :: a -> Morph a) (Comprehension t) = (Identity <:.:> Comprehension t) := ((->) :: 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 <:.:> Comparison) := (:*:)) <:.:> Construction Wye) := ((->) :: Type -> Type -> Type)

data Occurrence a Source #

Constructors

All a
First a

Instances

Instances details

Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Delete 'All) List :: Type -> Type Source # Methods morphing :: (Tagged ('Delete 'All) <:.> List) ~> Morphing ('Delete 'All) List Source #
Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Delete 'First) List :: Type -> Type Source # Methods morphing :: (Tagged ('Delete 'First) <:.> List) ~> Morphing ('Delete 'First) List Source #
type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List = (Predicate <:.:> List) := ((->) :: Type -> Type -> Type)
type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List = (Predicate <:.:> List) := ((->) :: Type -> Type -> Type)

data Vertical a Source #

Constructors

Up a
Down a

Instances

Instances details

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 #
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 Zipper (Construction Wye) (('Up :: a1 -> Vertical a1) ::: ('Down ('Left :: a2 -> Wye a2) ::: 'Down ('Right :: a3 -> Wye a3) :: k2 -> k'2 -> Type) :: k1 -> k'1 -> Type) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Zipper (Construction Wye) (('Up :: a1 -> Vertical a1) ::: ('Down ('Left :: a2 -> Wye a2) ::: 'Down ('Right :: a3 -> Wye a3) :: k2 -> k'2 -> Type) :: k1 -> k'1 -> Type) = (Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)

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

item :: forall mod struct a. Morphed mod struct ((Identity <:.:> struct) := (->)) => a :=:=> struct Source #

collate :: forall mod struct a. (Chain a, Morphed mod struct ((((Identity <:.:> 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 #

lookup :: forall mod key struct a. Morphed (Lookup mod) struct ((->) key <:.> Maybe) => key -> struct a -> Maybe a Source #

vary :: forall mod key value struct. Morphed (Vary mod) struct ((((:*:) key <:.> Identity) <:.:> struct) := (->)) => key -> value -> struct value -> struct value Source #