Pandora.Paradigm.Primary.Functor.Wye

Documentation

data Wye a

Constructors

End

Left a

Right a

Both a a

Instances

Monotonic a (Wye a)

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

reduce :: (a -> r -> r) -> r -> Wye a -> r

resolve :: (a -> r) -> r -> Wye a -> r

Semigroup a => Semigroup (Wye a)

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

(+) :: Wye a -> Wye a -> Wye a

Semigroup a => Monoid (Wye a)

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

zero :: Wye a

Zippable (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Breadcrumbs (Construction Wye) :: Type -> Type

Nullable Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

Methods

null :: forall (a :: k). (Predicate :. Binary) := a

Semimonoidal (<--) (:*:) (:*:) Wye

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

mult :: forall (a :: k) (b :: k). (Wye a :*: Wye b) <-- Wye (a :*: b)

Morphable ('Into (o ds)) (Construction Wye) => Morphable ('Into (o ds) :: Morph a) Binary

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into (o ds)) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Into (o ds)) <:.> Binary) ~> Morphing ('Into (o ds)) Binary

Morphable ('Into ('Left Maybe)) Wye

Defined in Pandora.Paradigm.Primary

Associated Types

type Morphing ('Into ('Left Maybe)) Wye :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Left Maybe)) <:.> Wye) ~> Morphing ('Into ('Left Maybe)) Wye

Morphable ('Into ('Right Maybe)) Wye

Defined in Pandora.Paradigm.Primary

Associated Types

type Morphing ('Into ('Right Maybe)) Wye :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Right Maybe)) <:.> Wye) ~> Morphing ('Into ('Right Maybe)) Wye

Morphable ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Right 'Zig)) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Right 'Zig)) <:.> Binary) ~> Morphing ('Rotate ('Right 'Zig)) Binary

Morphable ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Left 'Zig)) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Left 'Zig)) <:.> Binary) ~> Morphing ('Rotate ('Left 'Zig)) Binary

Morphable ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Right ('Zig 'Zag))) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Right ('Zig 'Zag))) <:.> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zag))) Binary

Morphable ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Left ('Zig 'Zag))) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Left ('Zig 'Zag))) <:.> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zag))) Binary

Morphable ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Right ('Zig 'Zig))) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Right ('Zig 'Zig))) <:.> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zig))) Binary

Morphable ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Left ('Zig 'Zig))) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Left ('Zig 'Zig))) <:.> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zig))) Binary

Morphable ('Into Binary) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Into Binary) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Into Binary) <:.> Construction Wye) ~> Morphing ('Into Binary) (Construction Wye)

Morphable ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Right 'Zig)) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Right 'Zig)) <:.> Construction Wye) ~> Morphing ('Rotate ('Right 'Zig)) (Construction Wye)

Morphable ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Left 'Zig)) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Left 'Zig)) <:.> Construction Wye) ~> Morphing ('Rotate ('Left 'Zig)) (Construction Wye)

Morphable ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Right ('Zig 'Zag))) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Right ('Zig 'Zag))) <:.> Construction Wye) ~> Morphing ('Rotate ('Right ('Zig 'Zag))) (Construction Wye)

Morphable ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Left ('Zig 'Zag))) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Left ('Zig 'Zag))) <:.> Construction Wye) ~> Morphing ('Rotate ('Left ('Zig 'Zag))) (Construction Wye)

Morphable ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Right ('Zig 'Zig))) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Right ('Zig 'Zig))) <:.> Construction Wye) ~> Morphing ('Rotate ('Right ('Zig 'Zig))) (Construction Wye)

Morphable ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Left ('Zig 'Zig))) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Left ('Zig 'Zig))) <:.> Construction Wye) ~> Morphing ('Rotate ('Left ('Zig 'Zig))) (Construction Wye)

Morphable ('Into ('Preorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Preorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye)

Morphable ('Into ('Inorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Inorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye)

Morphable ('Into ('Postorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Postorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye)

Chain key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Wye) key)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Lookup 'Key) (Prefixed (Construction Wye) key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed (Construction Wye) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Wye) key)

Chain k => Morphable ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Vary 'Element) (Prefixed Binary k) :: Type -> Type

Methods

morphing :: (Tagged ('Vary 'Element) <:.> Prefixed Binary k) ~> Morphing ('Vary 'Element) (Prefixed Binary k)

Chain k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Lookup 'Key) (Prefixed Binary k) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed Binary k) ~> Morphing ('Lookup 'Key) (Prefixed Binary k)

Morphable ('Into Wye) ((Maybe <:.:> Maybe) := (:*:))

Defined in Pandora.Paradigm.Primary

Associated Types

type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into Wye) <:.> ((Maybe <:.:> Maybe) := (:*:))) ~> Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:))

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Morphing ('Rotate 'Right) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Morphing ('Rotate 'Left) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:))

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate 'Up) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Up) <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate 'Up) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Right)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Right)) <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Right)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Left)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Morphable ('Insert :: a -> Morph a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing 'Insert Binary :: Type -> Type

Methods

morphing :: (Tagged 'Insert <:.> Binary) ~> Morphing 'Insert Binary

Substructure ('Right :: a -> Wye a) Wye

Defined in Pandora.Paradigm.Primary

Associated Types

type Available 'Right Wye :: Type -> Type

type Substance 'Right Wye :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> Wye) #=@ Substance 'Right Wye) := Available 'Right Wye

sub :: (Wye #=@ Substance 'Right Wye) := Available 'Right Wye

Substructure ('Left :: a -> Wye a) Wye

Defined in Pandora.Paradigm.Primary

Associated Types

type Available 'Left Wye :: Type -> Type

type Substance 'Left Wye :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> Wye) #=@ Substance 'Left Wye) := Available 'Left Wye

sub :: (Wye #=@ Substance 'Left Wye) := Available 'Left Wye

Substructure ('Right :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Available 'Right Binary :: Type -> Type

type Substance 'Right Binary :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> Binary) #=@ Substance 'Right Binary) := Available 'Right Binary

sub :: (Binary #=@ Substance 'Right Binary) := Available 'Right Binary

Substructure ('Left :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Available 'Left Binary :: Type -> Type

type Substance 'Left Binary :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> Binary) #=@ Substance 'Left Binary) := Available 'Left Binary

sub :: (Binary #=@ Substance 'Left Binary) := Available 'Left Binary

Morphable ('Insert :: a -> Morph a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing 'Insert (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged 'Insert <:.> Construction Wye) ~> Morphing 'Insert (Construction Wye)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Right (Tape t) :: Type -> Type

type Substance 'Right (Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> Tape t) #=@ Substance 'Right (Tape t)) := Available 'Right (Tape t)

sub :: (Tape t #=@ Substance 'Right (Tape t)) := Available 'Right (Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Left (Tape t) :: Type -> Type

type Substance 'Left (Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> Tape t) #=@ Substance 'Left (Tape t)) := Available 'Left (Tape t)

sub :: (Tape t #=@ Substance 'Left (Tape t)) := Available 'Left (Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Associated Types

type Available 'Right (Tap ((t <:.:> t) := (:*:))) :: Type -> Type

type Substance 'Right (Tap ((t <:.:> t) := (:*:))) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> Tap ((t <:.:> t) := (:*:))) #=@ Substance 'Right (Tap ((t <:.:> t) := (:*:)))) := Available 'Right (Tap ((t <:.:> t) := (:*:)))

sub :: (Tap ((t <:.:> t) := (:*:)) #=@ Substance 'Right (Tap ((t <:.:> t) := (:*:)))) := Available 'Right (Tap ((t <:.:> t) := (:*:)))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Associated Types

type Available 'Left (Tap ((t <:.:> t) := (:*:))) :: Type -> Type

type Substance 'Left (Tap ((t <:.:> t) := (:*:))) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> Tap ((t <:.:> t) := (:*:))) #=@ Substance 'Left (Tap ((t <:.:> t) := (:*:)))) := Available 'Left (Tap ((t <:.:> t) := (:*:)))

sub :: (Tap ((t <:.:> t) := (:*:)) #=@ Substance 'Left (Tap ((t <:.:> t) := (:*:)))) := Available 'Left (Tap ((t <:.:> t) := (:*:)))

Substructure ('Right :: a -> Wye a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Available 'Right (Construction Wye) :: Type -> Type

type Substance 'Right (Construction Wye) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> Construction Wye) #=@ Substance 'Right (Construction Wye)) := Available 'Right (Construction Wye)

sub :: (Construction Wye #=@ Substance 'Right (Construction Wye)) := Available 'Right (Construction Wye)

Substructure ('Left :: a -> Wye a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Available 'Left (Construction Wye) :: Type -> Type

type Substance 'Left (Construction Wye) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> Construction Wye) #=@ Substance 'Left (Construction Wye)) := Available 'Left (Construction Wye)

sub :: (Construction Wye #=@ Substance 'Left (Construction Wye)) := Available 'Left (Construction Wye)

Substructure ('Root :: a -> Segment a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Available 'Root (Construction Wye) :: Type -> Type

type Substance 'Root (Construction Wye) :: Type -> Type

Methods

substructure :: ((Tagged 'Root <:.> Construction Wye) #=@ Substance 'Root (Construction Wye)) := Available 'Root (Construction Wye)

sub :: (Construction Wye #=@ Substance 'Root (Construction Wye)) := Available 'Root (Construction Wye)

Substructure ('Right :: a -> Wye a) ((:*:) s)

Defined in Pandora.Paradigm.Structure

Associated Types

type Available 'Right ((:*:) s) :: Type -> Type

type Substance 'Right ((:*:) s) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> (:*:) s) #=@ Substance 'Right ((:*:) s)) := Available 'Right ((:*:) s)

sub :: ((:*:) s #=@ Substance 'Right ((:*:) s)) := Available 'Right ((:*:) s)

Substructure ('Left :: a1 -> Wye a1) (Flip (:*:) a2)

Defined in Pandora.Paradigm.Structure

Associated Types

type Available 'Left (Flip (:*:) a2) :: Type -> Type

type Substance 'Left (Flip (:*:) a2) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> Flip (:*:) a2) #=@ Substance 'Left (Flip (:*:) a2)) := Available 'Left (Flip (:*:) a2)

sub :: (Flip (:*:) a2 #=@ Substance 'Left (Flip (:*:) a2)) := Available 'Left (Flip (:*:) a2)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('Right :: a -> Wye a) (Tape t <:.> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Right (Tape t <:.> Tape t) :: Type -> Type

type Substance 'Right (Tape t <:.> Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> (Tape t <:.> Tape t)) #=@ Substance 'Right (Tape t <:.> Tape t)) := Available 'Right (Tape t <:.> Tape t)

sub :: ((Tape t <:.> Tape t) #=@ Substance 'Right (Tape t <:.> Tape t)) := Available 'Right (Tape t <:.> Tape t)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('Left :: a -> Wye a) (Tape t <:.> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Left (Tape t <:.> Tape t) :: Type -> Type

type Substance 'Left (Tape t <:.> Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> (Tape t <:.> Tape t)) #=@ Substance 'Left (Tape t <:.> Tape t)) := Available 'Left (Tape t <:.> Tape t)

sub :: ((Tape t <:.> Tape t) #=@ Substance 'Left (Tape t <:.> Tape t)) := Available 'Left (Tape t <:.> Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) ((t <:.:> t) := (:*:))

Defined in Pandora.Paradigm.Structure

Associated Types

type Available 'Right ((t <:.:> t) := (:*:)) :: Type -> Type

type Substance 'Right ((t <:.:> t) := (:*:)) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> ((t <:.:> t) := (:*:))) #=@ Substance 'Right ((t <:.:> t) := (:*:))) := Available 'Right ((t <:.:> t) := (:*:))

sub :: (((t <:.:> t) := (:*:)) #=@ Substance 'Right ((t <:.:> t) := (:*:))) := Available 'Right ((t <:.:> t) := (:*:))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) ((t <:.:> t) := (:*:))

Defined in Pandora.Paradigm.Structure

Associated Types

type Available 'Left ((t <:.:> t) := (:*:)) :: Type -> Type

type Substance 'Left ((t <:.:> t) := (:*:)) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> ((t <:.:> t) := (:*:))) #=@ Substance 'Left ((t <:.:> t) := (:*:))) := Available 'Left ((t <:.:> t) := (:*:))

sub :: (((t <:.:> t) := (:*:)) #=@ Substance 'Left ((t <:.:> t) := (:*:))) := Available 'Left ((t <:.:> t) := (:*:))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Wye

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

(<-|-) :: (a -> b) -> Wye a -> Wye b

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Construction Wye a -> u (Construction Wye b)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Kan ('Right :: Type -> Wye Type) t u b)

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Methods

(<-|-) :: (a -> b0) -> Kan 'Right t u b a -> Kan 'Right t u b b0

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Kan ('Left :: Type -> Wye Type) t u b)

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Methods

(>-|-) :: (a -> b0) -> Kan 'Left t u b b0 -> Kan 'Left t u b a

Interpreted ((->) :: Type -> Type -> Type) (Kan ('Left :: Type -> Wye Type) t u b)

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Associated Types

type Primary (Kan 'Left t u b) a

Methods

run :: Kan 'Left t u b a -> Primary (Kan 'Left t u b) a

unite :: Primary (Kan 'Left t u b) a -> Kan 'Left t u b a

(!) :: Kan 'Left t u b a -> Primary (Kan 'Left t u b) a

(||=) :: (Semigroupoid (->), Interpreted (->) u0) => (Primary (Kan 'Left t u b) a -> Primary u0 b0) -> Kan 'Left t u b a -> u0 b0

(=||) :: (Semigroupoid (->), Interpreted (->) u0) => (Kan 'Left t u b a -> u0 b0) -> Primary (Kan 'Left t u b) a -> Primary u0 b0

(<$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (Primary (Kan 'Left t u b) a -> Primary u0 b0) -> (j := Kan 'Left t u b a) -> (j := u0 b0)

(=||$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (Kan 'Left t u b a -> u0 b0) -> (j := Primary (Kan 'Left t u b) a) -> (j := Primary u0 b0)

Interpreted ((->) :: Type -> Type -> Type) (Kan ('Right :: Type -> Wye Type) t u b)

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Associated Types

type Primary (Kan 'Right t u b) a

Methods

run :: Kan 'Right t u b a -> Primary (Kan 'Right t u b) a

unite :: Primary (Kan 'Right t u b) a -> Kan 'Right t u b a

(!) :: Kan 'Right t u b a -> Primary (Kan 'Right t u b) a

(||=) :: (Semigroupoid (->), Interpreted (->) u0) => (Primary (Kan 'Right t u b) a -> Primary u0 b0) -> Kan 'Right t u b a -> u0 b0

(=||) :: (Semigroupoid (->), Interpreted (->) u0) => (Kan 'Right t u b a -> u0 b0) -> Primary (Kan 'Right t u b) a -> Primary u0 b0

(<$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (Primary (Kan 'Right t u b) a -> Primary u0 b0) -> (j := Kan 'Right t u b a) -> (j := u0 b0)

(=||$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (Kan 'Right t u b a -> u0 b0) -> (j := Primary (Kan 'Right t u b) a) -> (j := Primary u0 b0)

type Nonempty Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Nonempty Binary = Construction Wye

type Breadcrumbs (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Breadcrumbs (Construction Wye) = ((Wye <:.> Construction Wye) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)

data Kan ('Left :: Type -> Wye Type) t u b a

Defined in Pandora.Paradigm.Primary.Transformer.Kan

data Kan ('Left :: Type -> Wye Type) t u b a = Lan ((t b -> a) -> u b)

data Kan ('Right :: Type -> Wye Type) t u b a

Defined in Pandora.Paradigm.Primary.Transformer.Kan

data Kan ('Right :: Type -> Wye Type) t u b a = Ran ((a -> t b) -> u b)

type Morphing ('Into (o ds) :: Morph a) Binary

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

Defined in Pandora.Paradigm.Primary

type Morphing ('Into ('Left Maybe)) Wye = Maybe

type Morphing ('Into ('Right Maybe)) Wye

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

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

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

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

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

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

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 Binary) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Into Binary) (Construction Wye) = Binary

type Morphing ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) (Construction Wye)

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)

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)

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)

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)

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)

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)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) = Construction Maybe

type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) = Construction Maybe

type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) = Construction Maybe

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Wye) key)

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)

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)

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 Wye) ((Maybe <:.:> Maybe) := (:*:))

Defined in Pandora.Paradigm.Primary

type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) = Wye

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:)) = (Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:)

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:)) = (Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:)

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = Maybe <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = Maybe <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = Maybe <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = Maybe <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) = Maybe <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) = Maybe <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) = Maybe <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

type Morphing ('Insert :: a -> Morph a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Insert :: a -> Morph a) Binary = (((Identity <:.:> Comparison) := (:*:)) <:.:> Binary) := ((->) :: Type -> Type -> Type)

type Available ('Right :: a -> Wye a) Wye

Defined in Pandora.Paradigm.Primary

type Available ('Right :: a -> Wye a) Wye = Maybe

type Available ('Left :: a -> Wye a) Wye

Defined in Pandora.Paradigm.Primary

type Available ('Left :: a -> Wye a) Wye = Maybe

type Available ('Right :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Available ('Right :: a -> Wye a) Binary = Maybe

type Available ('Left :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Available ('Left :: a -> Wye a) Binary = Maybe

type Substance ('Right :: a -> Wye a) Wye

Defined in Pandora.Paradigm.Primary

type Substance ('Right :: a -> Wye a) Wye = Identity

type Substance ('Left :: a -> Wye a) Wye

Defined in Pandora.Paradigm.Primary

type Substance ('Left :: a -> Wye a) Wye = Identity

type Substance ('Right :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Right :: a -> Wye a) Binary = Construction Wye

type Substance ('Left :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Left :: a -> Wye a) Binary = Construction Wye

type Morphing ('Insert :: a -> Morph a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Insert :: a -> Morph a) (Construction Wye) = (((Identity <:.:> Comparison) := (:*:)) <:.:> Construction Wye) := ((->) :: Type -> Type -> Type)

type Available ('Right :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Right :: a -> Wye a) (Tape t) = Identity

type Available ('Left :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Left :: a -> Wye a) (Tape t) = Identity

type Available ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

type Available ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = Identity

type Available ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

type Available ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = Identity

type Available ('Right :: a -> Wye a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Available ('Right :: a -> Wye a) (Construction Wye) = Maybe

type Available ('Left :: a -> Wye a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Available ('Left :: a -> Wye a) (Construction Wye) = Maybe

type Available ('Root :: a -> Segment a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Available ('Root :: a -> Segment a) (Construction Wye) = Identity

type Available ('Right :: a -> Wye a) ((:*:) s)

Defined in Pandora.Paradigm.Structure

type Available ('Right :: a -> Wye a) ((:*:) s) = Identity

type Substance ('Right :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Right :: a -> Wye a) (Tape t) = t

type Substance ('Left :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Left :: a -> Wye a) (Tape t) = t

type Substance ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

type Substance ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = t

type Substance ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

type Substance ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = t

type Substance ('Right :: a -> Wye a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Right :: a -> Wye a) (Construction Wye) = Construction Wye

type Substance ('Left :: a -> Wye a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Left :: a -> Wye a) (Construction Wye) = Construction Wye

type Substance ('Root :: a -> Segment a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Root :: a -> Segment a) (Construction Wye) = Identity

type Substance ('Right :: a -> Wye a) ((:*:) s)

Defined in Pandora.Paradigm.Structure

type Substance ('Right :: a -> Wye a) ((:*:) s) = Identity

type Available ('Left :: a1 -> Wye a1) (Flip (:*:) a2)

Defined in Pandora.Paradigm.Structure

type Available ('Left :: a1 -> Wye a1) (Flip (:*:) a2) = Identity

type Substance ('Left :: a1 -> Wye a1) (Flip (:*:) a2)

Defined in Pandora.Paradigm.Structure

type Substance ('Left :: a1 -> Wye a1) (Flip (:*:) a2) = Identity

type Available ('Right :: a -> Wye a) (Tape t <:.> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Right :: a -> Wye a) (Tape t <:.> Tape t) = Identity

type Available ('Left :: a -> Wye a) (Tape t <:.> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Left :: a -> Wye a) (Tape t <:.> Tape t) = Identity

type Available ('Right :: a -> Wye a) ((t <:.:> t) := (:*:))

Defined in Pandora.Paradigm.Structure

type Available ('Right :: a -> Wye a) ((t <:.:> t) := (:*:)) = Identity

type Available ('Left :: a -> Wye a) ((t <:.:> t) := (:*:))

Defined in Pandora.Paradigm.Structure

type Available ('Left :: a -> Wye a) ((t <:.:> t) := (:*:)) = Identity

type Substance ('Right :: a -> Wye a) (Tape t <:.> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Right :: a -> Wye a) (Tape t <:.> Tape t) = Tape t <:.> t

type Substance ('Left :: a -> Wye a) (Tape t <:.> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Left :: a -> Wye a) (Tape t <:.> Tape t) = Tape t <:.> t

type Substance ('Right :: a -> Wye a) ((t <:.:> t) := (:*:))

Defined in Pandora.Paradigm.Structure

type Substance ('Right :: a -> Wye a) ((t <:.:> t) := (:*:)) = t

type Substance ('Left :: a -> Wye a) ((t <:.:> t) := (:*:))

Defined in Pandora.Paradigm.Structure

type Substance ('Left :: a -> Wye a) ((t <:.:> t) := (:*:)) = t

type Primary (Kan ('Left :: Type -> Wye Type) t u b) a

Defined in Pandora.Paradigm.Primary.Transformer.Kan

type Primary (Kan ('Left :: Type -> Wye Type) t u b) a = (t b -> a) -> u b

type Primary (Kan ('Right :: Type -> Wye Type) t u b) a

Defined in Pandora.Paradigm.Primary.Transformer.Kan

type Primary (Kan ('Right :: Type -> Wye Type) t u b) a = (a -> t b) -> u b

wye :: r -> (a -> r) -> (a -> r) -> (a -> a -> r) -> Wye a -> r

swop :: Wye ~> Wye