Pandora.Paradigm.Primary.Functor.Wye

Documentation

data Wye a

Constructors

End

Left a

Right a

Both a a

Instances

(forall a. Chain a) => Insertable Binary

Defined in Pandora.Paradigm.Structure.Binary

Methods

insert :: a -> Binary a -> Binary a

Covariant Wye

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

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

comap :: (a -> b) -> Wye a -> Wye b

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

($>) :: Wye a -> b -> Wye b

void :: Wye a -> Wye ()

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

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

(<$$>) :: Covariant u => (a -> b) -> ((Wye :. u) := a) -> (Wye :. u) := b

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Wye :. (u :. v)) := a) -> (Wye :. (u :. v)) := b

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Wye :. (u :. (v :. w))) := a) -> (Wye :. (u :. (v :. w))) := b

(<&&>) :: Covariant u => ((Wye :. u) := a) -> (a -> b) -> (Wye :. u) := b

(<&&&>) :: (Covariant u, Covariant v) => ((Wye :. (u :. v)) := a) -> (a -> b) -> (Wye :. (u :. v)) := b

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Wye :. (u :. (v :. w))) := a) -> (a -> b) -> (Wye :. (u :. (v :. w))) := b

Traversable Wye

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

(->>) :: (Pointable u, Applicative u) => Wye a -> (a -> u b) -> (u :. Wye) := b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Wye a -> (u :. Wye) := b

sequence :: (Pointable u, Applicative u) => ((Wye :. u) := a) -> (u :. Wye) := a

(->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Wye) := a) -> (a -> u b) -> (u :. (v :. Wye)) := b

(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Wye)) := a) -> (a -> u b) -> (u :. (w :. (v :. Wye))) := b

(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Wye))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Wye)))) := b

Measurable 'Heighth Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Measural 'Heighth Binary a

Methods

measurement :: Tagged 'Heighth (Binary a) -> Measural 'Heighth Binary a

Measurable 'Heighth (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Measural 'Heighth (Construction Wye) a

Methods

measurement :: Tagged 'Heighth (Construction Wye a) -> Measural 'Heighth (Construction Wye) a

(forall a. Chain a) => Insertable (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Methods

insert :: a -> Construction Wye a -> Construction Wye a

Nullable Binary

Defined in Pandora.Paradigm.Structure.Binary

Methods

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

(forall a. Chain a) => Focusable ('Root :: Type -> Location Type) Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focusing 'Root Binary a

Methods

focusing :: Tagged 'Root (Binary a) :-. Focusing 'Root Binary a

Focusable ('Root :: Type -> Location Type) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focusing 'Root (Construction Wye) a

Methods

focusing :: Tagged 'Root (Construction Wye a) :-. Focusing 'Root (Construction Wye) a

Rotatable ('Right ('Zig :: a -> Splay a) :: Wye (a -> Splay a)) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Rotational ('Right 'Zig) (Construction Wye) a

Methods

rotation :: Tagged ('Right 'Zig) (Construction Wye a0) -> Rotational ('Right 'Zig) (Construction Wye) a0

Rotatable ('Left ('Zig :: a -> Splay a) :: Wye (a -> Splay a)) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Rotational ('Left 'Zig) (Construction Wye) a

Methods

rotation :: Tagged ('Left 'Zig) (Construction Wye a0) -> Rotational ('Left 'Zig) (Construction Wye) a0

Rotatable ('Right ('Zig ('Zag :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Rotational ('Right ('Zig 'Zag)) (Construction Wye) a

Methods

rotation :: Tagged ('Right ('Zig 'Zag)) (Construction Wye a0) -> Rotational ('Right ('Zig 'Zag)) (Construction Wye) a0

Rotatable ('Left ('Zig ('Zag :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Rotational ('Left ('Zig 'Zag)) (Construction Wye) a

Methods

rotation :: Tagged ('Left ('Zig 'Zag)) (Construction Wye a0) -> Rotational ('Left ('Zig 'Zag)) (Construction Wye) a0

Rotatable ('Right ('Zig ('Zig :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Rotational ('Right ('Zig 'Zig)) (Construction Wye) a

Methods

rotation :: Tagged ('Right ('Zig 'Zig)) (Construction Wye a0) -> Rotational ('Right ('Zig 'Zig)) (Construction Wye) a0

Rotatable ('Left ('Zig ('Zig :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Rotational ('Left ('Zig 'Zig)) (Construction Wye) a

Methods

rotation :: Tagged ('Left ('Zig 'Zig)) (Construction Wye a0) -> Rotational ('Left ('Zig 'Zig)) (Construction Wye) a0

Rotatable ('Down ('Right :: a -> Wye a) :: Vertical (a -> Wye a)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Rotational ('Down 'Right) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a

Methods

rotation :: Tagged ('Down 'Right) ((Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational ('Down 'Right) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0

Rotatable ('Down ('Left :: a -> Wye a) :: Vertical (a -> Wye a)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Rotational ('Down 'Left) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a

Methods

rotation :: Tagged ('Down 'Left) ((Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational ('Down 'Left) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0

Substructure ('Right :: a1 -> Wye a1) Binary a2

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Right Binary a2

Methods

substructure :: Tagged 'Right (Binary a2) :-. Substructural 'Right Binary a2

Substructure ('Left :: a1 -> Wye a1) Binary a2

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Left Binary a2

Methods

substructure :: Tagged 'Left (Binary a2) :-. Substructural 'Left Binary a2

Substructure ('Right :: a1 -> Wye a1) Delta a2

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right Delta a2

Methods

substructure :: Tagged 'Right (Delta a2) :-. Substructural 'Right Delta a2

Substructure ('Left :: a1 -> Wye a1) Delta a2

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Left Delta a2

Methods

substructure :: Tagged 'Left (Delta a2) :-. Substructural 'Left Delta a2

Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Rotational 'Right (Tap (Delta <:.> Stream)) a

Methods

rotation :: Tagged 'Right (Tap (Delta <:.> Stream) a0) -> Rotational 'Right (Tap (Delta <:.> Stream)) a0

Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Rotational 'Left (Tap (Delta <:.> Stream)) a

Methods

rotation :: Tagged 'Left (Tap (Delta <:.> Stream) a0) -> Rotational 'Left (Tap (Delta <:.> Stream)) a0

Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Rotational 'Right (Tap (Delta <:.> Construction Maybe)) a

Methods

rotation :: Tagged 'Right (Tap (Delta <:.> Construction Maybe) a0) -> Rotational 'Right (Tap (Delta <:.> Construction Maybe)) a0

Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Rotational 'Left (Tap (Delta <:.> Construction Maybe)) a

Methods

rotation :: Tagged 'Left (Tap (Delta <:.> Construction Maybe) a0) -> Rotational 'Left (Tap (Delta <:.> Construction Maybe)) a0

Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Stack))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Rotational 'Right (Tap (Delta <:.> Stack)) a

Methods

rotation :: Tagged 'Right (Tap (Delta <:.> Stack) a0) -> Rotational 'Right (Tap (Delta <:.> Stack)) a0

Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Stack))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Rotational 'Left (Tap (Delta <:.> Stack)) a

Methods

rotation :: Tagged 'Left (Tap (Delta <:.> Stack) a0) -> Rotational 'Left (Tap (Delta <:.> Stack)) a0

Substructure ('Right :: a1 -> Wye a1) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Right (Construction Wye) a2

Methods

substructure :: Tagged 'Right (Construction Wye a2) :-. Substructural 'Right (Construction Wye) a2

Substructure ('Left :: a1 -> Wye a1) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Left (Construction Wye) a2

Methods

substructure :: Tagged 'Left (Construction Wye a2) :-. Substructural 'Left (Construction Wye) a2

Substructure ('Right :: a1 -> Wye a1) (Product s) a2

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right (Product s) a2

Methods

substructure :: Tagged 'Right (Product s a2) :-. Substructural 'Right (Product s) a2

Substructure ('Left :: a1 -> Wye a1) (Product s) a2

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Left (Product s) a2

Methods

substructure :: Tagged 'Left (Product s a2) :-. Substructural 'Left (Product s) a2

Rotatable ('Up :: a -> Vertical a) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Rotational 'Up (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a

Methods

rotation :: Tagged 'Up ((Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational 'Up (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0

Substructure ('Right :: a1 -> Wye a1) (Delta <:.> t) a2

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right (Delta <:.> t) a2

Methods

substructure :: Tagged 'Right ((Delta <:.> t) a2) :-. Substructural 'Right (Delta <:.> t) a2

Substructure ('Left :: a1 -> Wye a1) (Delta <:.> t) a2

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Left (Delta <:.> t) a2

Methods

substructure :: Tagged 'Left ((Delta <:.> t) a2) :-. Substructural 'Left (Delta <:.> t) a2

Contravariant (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

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

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

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

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

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

(>$$<) :: Contravariant u0 => (a -> b0) -> ((Kan 'Left t u b :. u0) := a) -> (Kan 'Left t u b :. u0) := b0

(>$$$<) :: (Contravariant u0, Contravariant v) => (a -> b0) -> ((Kan 'Left t u b :. (u0 :. v)) := b0) -> (Kan 'Left t u b :. (u0 :. v)) := a

(>$$$$<) :: (Contravariant u0, Contravariant v, Contravariant w) => (a -> b0) -> ((Kan 'Left t u b :. (u0 :. (v :. w))) := a) -> (Kan 'Left t u b :. (u0 :. (v :. w))) := b0

(>&&<) :: Contravariant u0 => ((Kan 'Left t u b :. u0) := a) -> (a -> b0) -> (Kan 'Left t u b :. u0) := b0

(>&&&<) :: (Contravariant u0, Contravariant v) => ((Kan 'Left t u b :. (u0 :. v)) := b0) -> (a -> b0) -> (Kan 'Left t u b :. (u0 :. v)) := a

(>&&&&<) :: (Contravariant u0, Contravariant v, Contravariant w) => ((Kan 'Left t u b :. (u0 :. (v :. w))) := a) -> (a -> b0) -> (Kan 'Left t u b :. (u0 :. (v :. w))) := b0

Covariant (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

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

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

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

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

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

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

(<$$>) :: Covariant u0 => (a -> b0) -> ((Kan 'Right t u b :. u0) := a) -> (Kan 'Right t u b :. u0) := b0

(<$$$>) :: (Covariant u0, Covariant v) => (a -> b0) -> ((Kan 'Right t u b :. (u0 :. v)) := a) -> (Kan 'Right t u b :. (u0 :. v)) := b0

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b0) -> ((Kan 'Right t u b :. (u0 :. (v :. w))) := a) -> (Kan 'Right t u b :. (u0 :. (v :. w))) := b0

(<&&>) :: Covariant u0 => ((Kan 'Right t u b :. u0) := a) -> (a -> b0) -> (Kan 'Right t u b :. u0) := b0

(<&&&>) :: (Covariant u0, Covariant v) => ((Kan 'Right t u b :. (u0 :. v)) := a) -> (a -> b0) -> (Kan 'Right t u b :. (u0 :. v)) := b0

(<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((Kan 'Right t u b :. (u0 :. (v :. w))) := a) -> (a -> b0) -> (Kan 'Right t u b :. (u0 :. (v :. w))) := b0

Interpreted (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

Interpreted (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

type Nonempty Binary

Defined in Pandora.Paradigm.Structure.Binary

type Nonempty Binary = Construction Wye

type Measural 'Heighth Binary a

Defined in Pandora.Paradigm.Structure.Binary

type Measural 'Heighth Binary a = Numerator

type Measural 'Heighth (Construction Wye) a

Defined in Pandora.Paradigm.Structure.Binary

type Measural 'Heighth (Construction Wye) a = Denumerator

type Zipper (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

type Zipper (Construction Wye) = Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))

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 Focusing ('Root :: Type -> Location Type) Binary a

Defined in Pandora.Paradigm.Structure.Binary

type Focusing ('Root :: Type -> Location Type) Binary a = Maybe a

type Focusing ('Root :: Type -> Location Type) (Construction Wye) a

Defined in Pandora.Paradigm.Structure.Binary

type Focusing ('Root :: Type -> Location Type) (Construction Wye) a = a

type Rotational ('Right ('Zig :: a1 -> Splay a1) :: Wye (a1 -> Splay a1)) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Right ('Zig :: a1 -> Splay a1) :: Wye (a1 -> Splay a1)) (Construction Wye) a2 = Maybe (Construction Wye a2)

type Rotational ('Left ('Zig :: a1 -> Splay a1) :: Wye (a1 -> Splay a1)) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Left ('Zig :: a1 -> Splay a1) :: Wye (a1 -> Splay a1)) (Construction Wye) a2 = Maybe (Construction Wye a2)

type Rotational ('Right ('Zig ('Zag :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Right ('Zig ('Zag :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2 = Maybe (Construction Wye a2)

type Rotational ('Left ('Zig ('Zag :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Left ('Zig ('Zag :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2 = Maybe (Construction Wye a2)

type Rotational ('Right ('Zig ('Zig :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Right ('Zig ('Zig :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2 = Maybe (Construction Wye a2)

type Rotational ('Left ('Zig ('Zig :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Left ('Zig ('Zig :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2 = Maybe (Construction Wye a2)

type Rotational ('Down ('Right :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2

Defined in Pandora.Paradigm.Structure.Binary

type Rotational ('Down ('Right :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 = (Maybe :. (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))) := a2

type Rotational ('Down ('Left :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2

Defined in Pandora.Paradigm.Structure.Binary

type Rotational ('Down ('Left :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 = (Maybe :. (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))) := a2

type Substructural ('Right :: a1 -> Wye a1) Binary a2

Defined in Pandora.Paradigm.Structure.Binary

type Substructural ('Right :: a1 -> Wye a1) Binary a2 = Binary a2

type Substructural ('Left :: a1 -> Wye a1) Binary a2

Defined in Pandora.Paradigm.Structure.Binary

type Substructural ('Left :: a1 -> Wye a1) Binary a2 = Binary a2

type Substructural ('Right :: a1 -> Wye a1) Delta a2

Defined in Pandora.Paradigm.Structure

type Substructural ('Right :: a1 -> Wye a1) Delta a2 = a2

type Substructural ('Left :: a1 -> Wye a1) Delta a2

Defined in Pandora.Paradigm.Structure

type Substructural ('Left :: a1 -> Wye a1) Delta a2 = a2

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2

Defined in Pandora.Paradigm.Structure.Stream

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2 = Tap (Delta <:.> Stream) a2

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2

Defined in Pandora.Paradigm.Structure.Stream

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2 = Tap (Delta <:.> Stream) a2

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2

Defined in Pandora.Paradigm.Structure.Stack

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2 = (Maybe :. Zipper (Construction Maybe)) := a2

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2

Defined in Pandora.Paradigm.Structure.Stack

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2 = (Maybe :. Zipper (Construction Maybe)) := a2

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2

Defined in Pandora.Paradigm.Structure.Stack

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2 = (Maybe :. Zipper Stack) := a2

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2

Defined in Pandora.Paradigm.Structure.Stack

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2 = (Maybe :. Zipper Stack) := a2

type Substructural ('Right :: a1 -> Wye a1) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Binary

type Substructural ('Right :: a1 -> Wye a1) (Construction Wye) a2 = (Maybe :. Construction Wye) := a2

type Substructural ('Left :: a1 -> Wye a1) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Binary

type Substructural ('Left :: a1 -> Wye a1) (Construction Wye) a2 = (Maybe :. Construction Wye) := a2

type Substructural ('Right :: a1 -> Wye a1) (Product s) a2

Defined in Pandora.Paradigm.Structure

type Substructural ('Right :: a1 -> Wye a1) (Product s) a2 = a2

type Substructural ('Left :: a1 -> Wye a1) (Product s) a2

Defined in Pandora.Paradigm.Structure

type Substructural ('Left :: a1 -> Wye a1) (Product s) a2 = s

type Rotational ('Up :: a1 -> Vertical a1) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2

Defined in Pandora.Paradigm.Structure.Binary

type Rotational ('Up :: a1 -> Vertical a1) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 = (Maybe :. (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))) := a2

type Substructural ('Right :: a1 -> Wye a1) (Delta <:.> t) a2

Defined in Pandora.Paradigm.Structure

type Substructural ('Right :: a1 -> Wye a1) (Delta <:.> t) a2 = t a2

type Substructural ('Left :: a1 -> Wye a1) (Delta <:.> t) a2

Defined in Pandora.Paradigm.Structure

type Substructural ('Left :: a1 -> Wye a1) (Delta <:.> t) a2 = t a2

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