Pandora.Paradigm.Primary.Transformer.Construction

Documentation

data Construction t a

Constructors

Construct a ((t :. Construction t) >>> a)

Instances

Zippable List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Breadcrumbs List :: Type -> Type

Methods

fasten :: List e -> Maybe > Zipper List e

unfasten :: Zipper List e -> Nonempty List e

Zippable Rose

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Breadcrumbs Rose :: Type -> Type

Methods

fasten :: Rose e -> Maybe > Zipper Rose e

unfasten :: Zipper Rose e -> Nonempty Rose e

Zippable Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Breadcrumbs Binary :: Type -> Type

Methods

fasten :: Binary e -> Maybe > Zipper Binary e

unfasten :: Zipper Binary e -> Nonempty Binary e

Stack List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Topping List :: Type -> Type

Methods

top :: ((Lens < Topping List) < List e) < e

pop :: (State < List e) < Topping List e

push :: e -> (State < List e) < e

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t, Monoidal (-->) (-->) (:*:) (:+:) t) => Monoidal (-->) (-->) (:*:) (:*:) (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Construction t a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Monoidal (<--) (-->) (:*:) (:*:) (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Construction t a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Substructure i t) => Substructure (i ('Branch :: a -> Segment a) :: k) (Construction t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance (i 'Branch) (Construction t) :: Type -> Type

Methods

substructure :: (Tagged (i 'Branch) <:.> Construction t) @>>> Substance (i 'Branch) (Construction t)

sub :: Construction t @>>> Substance (i 'Branch) (Construction t)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Substructured i t Maybe) => Substructure (i ('Branch :: a -> Segment a) :: k) (Maybe <::> Construction t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance (i 'Branch) (Maybe <::> Construction t) :: Type -> Type

Methods

substructure :: (Tagged (i 'Branch) <:.> (Maybe <::> Construction t)) @>>> Substance (i 'Branch) (Maybe <::> Construction t)

sub :: (Maybe <::> Construction t) @>>> Substance (i 'Branch) (Maybe <::> Construction t)

Semigroup (List a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(+) :: List a -> List a -> List a

Monoid (List a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

zero :: List a

Setoid a => Setoid (List a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(==) :: List a -> List a -> Boolean

(!=) :: List a -> List a -> Boolean

(?=) :: List a -> List a -> r -> r -> r

Zippable (Construction Exactly)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

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

Methods

fasten :: Construction Exactly e -> Maybe > Zipper (Construction Exactly) e

unfasten :: Zipper (Construction Exactly) e -> Nonempty (Construction Exactly) e

Stack (Construction Exactly)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Topping (Construction Exactly) :: Type -> Type

Methods

top :: ((Lens < Topping (Construction Exactly)) < Construction Exactly e) < e

pop :: (State < Construction Exactly e) < Topping (Construction Exactly) e

push :: e -> (State < Construction Exactly e) < e

Stack (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Topping (Construction Maybe) :: Type -> Type

Methods

top :: ((Lens < Topping (Construction Maybe)) < Construction Maybe e) < e

pop :: (State < Construction Maybe e) < Topping (Construction Maybe) e

push :: e -> (State < Construction Maybe e) < e

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Semimonoidal (-->) (:*:) (:*:) (Construction t :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

mult :: forall (a :: k) (b :: k). (Construction t a :*: Construction t b) --> Construction t (a :*: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Semimonoidal (<--) (:*:) (:*:) (Construction t :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

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

(forall (u :: Type -> Type). Semimonoidal (<--) (:*:) (:*:) u, forall (u :: Type -> Type). Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Hoistable ((->) :: Type -> Type -> Type) Construction

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

(/|\) :: Covariant (->) (->) u => (forall a. u a -> v a) -> forall (a :: k). Construction u a -> Construction v a

Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Delete 'All) List :: Type -> Type

Methods

morphing :: (Tagged ('Delete 'All) <::> List) ~> Morphing ('Delete 'All) List

Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Delete 'First) List :: Type -> Type

Methods

morphing :: (Tagged ('Delete 'First) <::> List) ~> Morphing ('Delete 'First) List

Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Find 'Element) List :: Type -> Type

Methods

morphing :: (Tagged ('Find 'Element) <::> List) ~> Morphing ('Find 'Element) List

Morphable ('Into (Construction Maybe)) (Vector r)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into (Construction Maybe)) (Vector r) :: Type -> Type

Methods

morphing :: (Tagged ('Into (Construction Maybe)) <::> Vector r) ~> Morphing ('Into (Construction Maybe)) (Vector r)

Morphable ('Into List) (Vector r)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into List) (Vector r) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> Vector r) ~> Morphing ('Into List) (Vector r)

Morphable ('Into List) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

morphing :: (Tagged ('Into List) <::> Construction Maybe) ~> Morphing ('Into List) (Construction Maybe)

Morphable ('Into List) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) (Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> Tape List) ~> Morphing ('Into List) (Tape List)

Morphable ('Into Binary) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Into Binary) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe))

Morphable ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal 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 -> Horizontal a) :: Morph (a -> Horizontal 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 ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Find 'Element) (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Find 'Element) <::> Construction Maybe) ~> Morphing ('Find 'Element) (Construction Maybe)

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)

Slidable ('Right ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

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

Methods

slide :: ((State < Construction (Maybe <:*:> Maybe) e) :> Sliding ('Right 'Zig) (Construction (Maybe <:*:> Maybe))) >>> ()

Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

morphing :: (Tagged ('Lookup 'Key) <::> Prefixed List key) ~> Morphing ('Lookup 'Key) (Prefixed List key)

Setoid k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

morphing :: (Tagged ('Lookup 'Key) <::> Prefixed Rose k) ~> Morphing ('Lookup 'Key) (Prefixed Rose 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)

Substructure ('Right ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance ('Right 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

substructure :: (Tagged ('Right 'Tree) <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance ('Right 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance ('Right 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Substructure ('Left ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance ('Left 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

substructure :: (Tagged ('Left 'Tree) <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance ('Left 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance ('Left 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Substructure ('Focused ('Forest :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged ('Focused 'Forest) <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged ('Focused 'Tree) <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance ('Focused 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

substructure :: (Tagged ('Focused 'Tree) <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Slidable ('Down ('Right :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Sliding ('Down 'Right) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding ('Down 'Right) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> ()

Slidable ('Down ('Left :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Sliding ('Down 'Left) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding ('Down 'Left) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> ()

Morphable ('Into List) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) (Tape > Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> (Tape > Construction Maybe)) ~> Morphing ('Into List) (Tape > Construction Maybe)

Morphable ('Into List) (Construction Maybe <::> Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) (Construction Maybe <::> Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> (Construction Maybe <::> Maybe)) ~> Morphing ('Into List) (Construction Maybe <::> Maybe)

Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction Maybe) < key)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

Morphable ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal 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 -> Horizontal a) :: Morph (a -> Horizontal 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 -> Horizontal a) :: Morph (a -> Horizontal 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 -> Horizontal a) :: Morph (a -> Horizontal 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)

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Lookup 'Key) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> ((Prefixed < Construction (Maybe <:*:> Maybe)) < key)) ~> Morphing ('Lookup 'Key) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key)

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into > Tape List) List :: Type -> Type

Methods

morphing :: (Tagged ('Into > Tape List) <::> List) ~> Morphing ('Into > Tape List) List

Morphable (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Horizontal (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 :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Horizontal (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 :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (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 :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (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 :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (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 :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (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

Slidable (('Right :: (a -> Splay a) -> Horizontal (a -> Splay a)) > ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Sliding ('Right > 'Zig) Binary :: Type -> Type

Methods

slide :: ((State < Binary e) :> Sliding ('Right > 'Zig) Binary) >>> ()

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into > Comprehension Maybe) (Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Into > Comprehension Maybe) <::> Tape List) ~> Morphing ('Into > Comprehension Maybe) (Tape List)

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into > Tape List) (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into > Tape List) <::> Construction Maybe) ~> Morphing ('Into > Tape List) (Construction Maybe)

Morphable (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Horizontal (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 :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Horizontal (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 :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (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 :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (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 :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (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 :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (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))

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

(Semigroup a, forall b. Semigroup b => Semigroup (t b), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Semigroup (Construction t a)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

(+) :: Construction t a -> Construction t a -> Construction t a

Semigroup (Construction Maybe a)

Transform any traversable structure into a list linearize :: forall t a . Traversable (->) (->) t => t a -> List a linearize = TT . extract . (run (->) (State (Maybe :. Nonempty List >>> a)) % Nothing) . fold (Just .:.. Construct)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(+) :: Construction Maybe a -> Construction Maybe a -> Construction Maybe a

(Monoid a, forall b. Semigroup b => Monoid (t b), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Monoid (Construction t a)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

zero :: Construction t a

(Setoid a, forall b. Setoid b => Setoid (t b), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Setoid (Construction t a)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

(==) :: Construction t a -> Construction t a -> Boolean

(!=) :: Construction t a -> Construction t a -> Boolean

(?=) :: Construction t a -> Construction t a -> r -> r -> r

(forall (u :: Type -> Type). Semimonoidal (<--) (:*:) (:*:) u) => Lowerable ((->) :: Type -> Type -> Type) Construction

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

lower :: Covariant (->) (->) u => Construction u a -> u a

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Extendable ((->) :: Type -> Type -> Type) (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

(<<=) :: (Construction t a -> b) -> Construction t a -> Construction t b

(<<==) :: (Construction t a -> b) -> Construction t a -> Construction t b

(<<===) :: (Construction t a -> b) -> Construction t a -> Construction t b

(<<====) :: (Construction t a -> b) -> Construction t a -> Construction t b

(<<=====) :: (Construction t a -> b) -> Construction t a -> Construction t b

(<<======) :: (Construction t a -> b) -> Construction t a -> Construction t b

(<<=======) :: (Construction t a -> b) -> Construction t a -> Construction t b

(<<========) :: (Construction t a -> b) -> Construction t a -> Construction t b

Extendable ((->) :: Type -> Type -> Type) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

Methods

(<<=) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<==) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<===) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<=====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<=======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<========) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

Interpreted ((->) :: Type -> Type -> Type) (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Associated Types

type Primary (Construction t) a

Methods

run :: ((->) < Construction t a) < Primary (Construction t) a

unite :: ((->) < Primary (Construction t) a) < Construction t a

(<~~~~~~~~) :: ((->) < Construction t a) < Primary (Construction t) a

(<~~~~~~~) :: ((->) < Construction t a) < Primary (Construction t) a

(<~~~~~~) :: ((->) < Construction t a) < Primary (Construction t) a

(<~~~~~) :: ((->) < Construction t a) < Primary (Construction t) a

(<~~~~) :: ((->) < Construction t a) < Primary (Construction t) a

(<~~~) :: ((->) < Construction t a) < Primary (Construction t) a

(<~~) :: ((->) < Construction t a) < Primary (Construction t) a

(<~) :: ((->) < Construction t a) < Primary (Construction t) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Construction t) a) < Primary u b) -> ((->) < Construction t a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Construction t a) < u b) -> ((->) < Primary (Construction t) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Construction t) a) < Primary u b) -> (j > Construction t a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Construction t a) < u b) -> (j > Primary (Construction t) a) -> (j > Primary u b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Comonad ((->) :: Type -> Type -> Type) (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Morphable ('Pop :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing 'Pop List :: Type -> Type

Methods

morphing :: (Tagged 'Pop <::> List) ~> Morphing 'Pop List

Morphable ('Push :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing 'Push List :: Type -> Type

Methods

morphing :: (Tagged 'Push <::> List) ~> Morphing 'Push List

Substructure ('Rest :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substance 'Rest List :: Type -> Type

Methods

substructure :: (Tagged 'Rest <:.> List) @>>> Substance 'Rest List

sub :: List @>>> Substance 'Rest List

Substructure ('Root :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substance 'Root List :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> List) @>>> Substance 'Root List

sub :: List @>>> Substance 'Root List

Morphable ('Push :: a -> Morph a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing 'Push (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged 'Push <::> Construction Maybe) ~> Morphing 'Push (Construction Maybe)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Rest :: a -> Segment a) (Construction t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance 'Rest (Construction t) :: Type -> Type

Methods

substructure :: (Tagged 'Rest <:.> Construction t) @>>> Substance 'Rest (Construction t)

sub :: Construction t @>>> Substance 'Rest (Construction t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Construction t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

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

Methods

substructure :: (Tagged 'Root <:.> Construction t) @>>> Substance 'Root (Construction t)

sub :: Construction t @>>> Substance 'Root (Construction t)

Substructure ('Siblings :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged 'Siblings <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Children :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged 'Children <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Ancestors :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged 'Ancestors <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Ancestors :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance 'Ancestors (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

substructure :: (Tagged 'Ancestors <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance 'Ancestors (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance 'Ancestors (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Substructure ('Children :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance 'Children (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

substructure :: (Tagged 'Children <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance 'Children (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance 'Children (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Slidable ('Down :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Down (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Down (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Right :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Right (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Right (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Left :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Left (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Left (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Up :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Up (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Up (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Up :: a -> Vertical a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Sliding 'Up (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding 'Up (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> ()

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

(<-|-) :: (a -> b) -> Construction t a -> Construction t b

(<-|--) :: (a -> b) -> Construction t a -> Construction t b

(<-|---) :: (a -> b) -> Construction t a -> Construction t b

(<-|----) :: (a -> b) -> Construction t a -> Construction t b

(<-|-----) :: (a -> b) -> Construction t a -> Construction t b

(<-|------) :: (a -> b) -> Construction t a -> Construction t b

(<-|-------) :: (a -> b) -> Construction t a -> Construction t b

(<-|--------) :: (a -> b) -> Construction t a -> Construction t b

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

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

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

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

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

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

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

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Construction t)) => (a -> b) -> Construction t (u (v a)) -> Construction t (u (v b))

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

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

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

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

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

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

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

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

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(<-/-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

type Combinative List

Defined in Pandora.Paradigm.Structure.Some.List

type Combinative List = Comprehension Maybe

type Breadcrumbs List

Defined in Pandora.Paradigm.Structure.Some.List

type Breadcrumbs List = Reverse List <:*:> List

type Breadcrumbs Rose

Defined in Pandora.Paradigm.Structure.Some.Rose

type Breadcrumbs Rose = Roses <:*:> (List <::> Tape Roses)

type Breadcrumbs Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Breadcrumbs Binary = ((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))

type Topping List

Defined in Pandora.Paradigm.Structure.Some.List

type Topping List = Maybe

type Substance (i ('Branch :: a -> Segment a) :: k) (Construction t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance (i ('Branch :: a -> Segment a) :: k) (Construction t) = Substance i t <::> Construction t

type Substance (i ('Branch :: a -> Segment a) :: k) (Maybe <::> Construction t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance (i ('Branch :: a -> Segment a) :: k) (Maybe <::> Construction t) = Maybe <::> Construction t

type Breadcrumbs (Construction Exactly)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Breadcrumbs (Construction Exactly) = Reverse Stream <:*:> Stream

type Topping (Construction Exactly)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Topping (Construction Exactly) = Exactly

type Topping (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Topping (Construction Maybe) = Exactly

type Primary (Construction t) a

Defined in Pandora.Paradigm.Primary.Transformer.Construction

type Primary (Construction t) a = (Exactly <:*:> (t <::> Construction t)) a

type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List = (Predicate <:.:> List) >>>>>> ((->) :: Type -> Type -> Type)

type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List = (Predicate <:.:> List) >>>>>> ((->) :: Type -> Type -> Type)

type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List = (Predicate <:.:> Maybe) >>>>>> ((->) :: Type -> Type -> Type)

type Sliding ('Right ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Sliding ('Right ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) Binary = Maybe

type Morphing ('Into (Construction Maybe)) (Vector r)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into (Construction Maybe)) (Vector r) = Construction Maybe

type Morphing ('Into List) (Vector r)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into List) (Vector r) = List

type Morphing ('Into List) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Construction Maybe) = List

type Morphing ('Into List) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Tape List) = List

type Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Binary

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

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

Defined in Pandora.Paradigm.Structure.Some.Stream

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

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

Defined in Pandora.Paradigm.Structure.Some.Stream

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

type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe) = (Predicate <:.:> Maybe) >>>>>> ((->) :: Type -> Type -> Type)

type Morphing ('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 Sliding ('Right ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

type Sliding ('Right ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) (Construction (Maybe <:*:> Maybe)) = Maybe

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

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) = ((->) key :: Type -> Type) <::> Maybe

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k)

Defined in Pandora.Paradigm.Structure.Some.Rose

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) = ((->) (Nonempty List k) :: Type -> Type) <:.> Maybe

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed 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 Substance ('Right ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Right ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Maybe <::> Construction (Maybe <:*:> Maybe)

type Substance ('Left ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Left ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Maybe <::> Construction (Maybe <:*:> Maybe)

type Substance ('Focused ('Forest :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Focused ('Forest :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Tape List <::> Nonempty Rose

type Substance ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Construction List

type Substance ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Construction (Maybe <:*:> Maybe)

type Sliding ('Down ('Right :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Sliding ('Down ('Right :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Maybe

type Sliding ('Down ('Left :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Sliding ('Down ('Left :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Maybe

type Morphing ('Into List) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Tape > Construction Maybe) = List

type Morphing ('Into List) (Construction Maybe <::> Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Construction Maybe <::> Maybe) = List

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

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction Maybe) < key) = ((->) key :: Type -> Type) <::> Maybe

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key) = ((->) key :: Type -> Type) <::> Maybe

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List = Maybe <::> Tape List

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List) = Comprehension Maybe

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe) = Tape List

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

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

Defined in Pandora.Paradigm.Structure.Some.Splay

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

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe) = Construction Maybe

type Morphing ('Pop :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Pop :: a -> Morph a) List = List

type Morphing ('Push :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Push :: a -> Morph a) List = (Exactly <:.:> List) >>>>>> ((->) :: Type -> Type -> Type)

type Substance ('Rest :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Substance ('Rest :: a -> Segment a) List = List

type Substance ('Root :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Substance ('Root :: a -> Segment a) List = Maybe

type Morphing ('Push :: a -> Morph a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Push :: a -> Morph a) (Construction Maybe) = (Exactly <:.:> Construction Maybe) >>>>>> ((->) :: Type -> Type -> Type)

type Substance ('Rest :: a -> Segment a) (Construction t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance ('Rest :: a -> Segment a) (Construction t) = t <::> Construction t

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

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance ('Root :: a -> Segment a) (Construction t) = Exactly

type Substance ('Siblings :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Siblings :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Maybe <::> (Reverse Roses <:*:> Roses)

type Substance ('Children :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Children :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Roses

type Substance ('Ancestors :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Ancestors :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = List <::> Tape Roses

type Substance ('Ancestors :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Ancestors :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = List <::> (Horizontal <::> (Exactly <:*:> Binary))

type Substance ('Children :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Children :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = (Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)

type Sliding ('Down :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Sliding ('Down :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Maybe

type Sliding ('Right :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Sliding ('Right :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Maybe

type Sliding ('Left :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Sliding ('Left :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Maybe

type Sliding ('Up :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Sliding ('Up :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Maybe

type Sliding ('Up :: a -> Vertical a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Sliding ('Up :: a -> Vertical a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Maybe

deconstruct :: Construction t a -> (t :. Construction t) >>> a

constitute :: Covariant (->) (->) t => (a -> t a) -> a -> Construction t a

section :: (Comonad (->) t, Monoidal (<--) (-->) (:*:) (:*:) t) => t ~> Construction t