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

Morphable ('Into ('Left Maybe)) Wye

Defined in Pandora.Paradigm.Structure

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.Structure

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance ('Right 'Branch) Binary :: Type -> Type

Methods

substructure :: (Tagged ('Right 'Branch) <:.> Binary) @>>> Substance ('Right 'Branch) Binary

sub :: Binary @>>> Substance ('Right 'Branch) Binary

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance ('Left 'Branch) Binary :: Type -> Type

Methods

substructure :: (Tagged ('Left 'Branch) <:.> Binary) @>>> Substance ('Left 'Branch) Binary

sub :: Binary @>>> Substance ('Left 'Branch) Binary

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Morphing ('Rotate 'Right) (Tape Stream) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <::> Tape Stream) ~> Morphing ('Rotate 'Right) (Tape Stream)

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Morphing ('Rotate 'Left) (Tape Stream) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <::> Tape Stream) ~> Morphing ('Rotate 'Left) (Tape Stream)

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)

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

Defined in Pandora.Paradigm.Structure

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)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) (Tape > Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <::> (Tape > Construction Maybe)) ~> Morphing ('Rotate 'Right) (Tape > Construction Maybe)

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) (Tape > Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <::> (Tape > Construction Maybe)) ~> Morphing ('Rotate 'Left) (Tape > Construction Maybe)

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) (Turnover < Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Right) (Turnover < Tape List)

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) (Turnover < Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Left) (Turnover < Tape List)

Substructure ('Right ('Forest :: a -> Segment a) :: Wye (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance ('Right 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type

Methods

substructure :: (Tagged ('Right 'Forest) <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) @>>> Substance ('Right 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))

sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Right 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))

Substructure ('Left ('Forest :: a -> Segment a) :: Wye (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance ('Left 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type

Methods

substructure :: (Tagged ('Left 'Forest) <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) @>>> Substance ('Left 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))

sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Left 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))

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

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

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

Methods

substructure :: (Tagged ('All 'Right) <:.> (Tape t <::> Tape t)) @>>> Substance ('All 'Right) (Tape t <::> Tape t)

sub :: (Tape t <::> Tape t) @>>> Substance ('All 'Right) (Tape t <::> Tape t)

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

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

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

Methods

substructure :: (Tagged ('All 'Left) <:.> (Tape t <::> Tape t)) @>>> Substance ('All 'Left) (Tape t <::> Tape t)

sub :: (Tape t <::> Tape t) @>>> Substance ('All 'Left) (Tape t <::> Tape t)

Morphable (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > '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 :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > '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 :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > '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 :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > '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 :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > '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 :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > '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 (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > 'Right 'Zig) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > 'Right 'Zig) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > 'Right 'Zig) (Construction (Maybe <:*:> Maybe))

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

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > 'Left 'Zig) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > 'Left 'Zig) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > 'Left 'Zig) (Construction (Maybe <:*:> Maybe))

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

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Right > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Right > 'Zig 'Zag)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Right > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe))

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

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Left > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Left > 'Zig 'Zag)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Left > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe))

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

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Right > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Right > 'Zig 'Zig)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Right > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe))

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

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Left > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Left > 'Zig 'Zig)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Left > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe))

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

Defined in Pandora.Paradigm.Structure

Associated Types

type Substance 'Right Wye :: Type -> Type

Methods

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

sub :: Wye @>>> Substance 'Right Wye

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

Defined in Pandora.Paradigm.Structure

Associated Types

type Substance 'Left Wye :: Type -> Type

Methods

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

sub :: Wye @>>> Substance 'Left Wye

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

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

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

Methods

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

sub :: Tape t @>>> Substance 'Right (Tape t)

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

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

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

Methods

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

sub :: Tape t @>>> Substance 'Left (Tape t)

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

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

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

sub :: (:*:) s @>>> Substance 'Right ((:*:) s)

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

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

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

sub :: Flip (:*:) a2 @>>> Substance 'Left (Flip (:*:) a2)

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

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

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

Methods

substructure :: (Tagged 'Right <:.> (t <:*:> u)) @>>> Substance 'Right (t <:*:> u)

sub :: (t <:*:> u) @>>> Substance 'Right (t <:*:> u)

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

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

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

Methods

substructure :: (Tagged 'Left <:.> (t <:*:> u)) @>>> Substance 'Left (t <:*:> u)

sub :: (t <:*:> u) @>>> Substance 'Left (t <:*:> u)

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

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

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

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

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

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

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

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

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

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

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Wye) => (a -> b) -> Wye (u (v a)) -> Wye (u (v 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

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

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

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

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

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

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

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

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 (v a)) -> Kan 'Right t u b (u0 (v 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

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

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

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

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

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

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

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

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u0, Contravariant (Betwixt (->) (->)) (->) (Kan 'Left t u b)) => (a -> b0) -> Kan 'Left t u b (u0 a) -> Kan 'Left t u b (u0 b0)

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

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

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

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

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

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

(<~~) :: ((->) < Kan 'Left t u b a) < Primary (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

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

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

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

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

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

(<~~) :: ((->) < Kan 'Right t u b a) < Primary (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)

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 ('Left Maybe)) Wye

Defined in Pandora.Paradigm.Structure

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

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

Defined in Pandora.Paradigm.Structure

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

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

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream) = Tape Stream

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream) = Tape Stream

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 ('Into Wye) (Maybe <:*:> Maybe)

Defined in Pandora.Paradigm.Structure

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

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

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

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

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

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) = (Turnover :: (Type -> Type) -> Type -> Type) < Tape List

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) = (Turnover :: (Type -> Type) -> Type -> Type) < Tape List

type Substance ('Right ('Forest :: a -> Segment a) :: Wye (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Right ('Forest :: a -> Segment a) :: Wye (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) = Roses

type Substance ('Left ('Forest :: a -> Segment a) :: Wye (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Left ('Forest :: a -> Segment a) :: Wye (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) = Reverse Roses

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

Defined in Pandora.Paradigm.Structure.Modification.Tape

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

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

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Substance ('All ('Left :: a -> Wye a) :: Occurrence (a -> Wye a)) (Tape t <::> Tape t) = Tape t <::> Reverse t

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) Binary = Binary

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

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) Binary = Binary

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

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) Binary = Binary

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) Binary = Binary

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

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) (Construction (Maybe <:*:> Maybe)) = Binary

type Morphing (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) (Construction (Maybe <:*:> Maybe)) = Binary

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

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) = Maybe <::> Construction (Maybe <:*:> Maybe)

type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) = Maybe <::> Construction (Maybe <:*:> Maybe)

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure

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

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

Defined in Pandora.Paradigm.Structure

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

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

Defined in Pandora.Paradigm.Structure.Modification.Tape

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

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

Defined in Pandora.Paradigm.Structure.Modification.Tape

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

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

Defined in Pandora.Paradigm.Structure

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

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

Defined in Pandora.Paradigm.Structure

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

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

Defined in Pandora.Paradigm.Structure.Ability.Substructure

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

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

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance ('Left :: a -> Wye a) (t <:*:> u) = 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