Pandora.Paradigm.Structure.Ability.Substructure

Documentation

type Substructured segment source target = (Substructure segment source, Substance segment source ~ target)

class Substructure segment (structure :: * -> *) where

Minimal complete definition

substructure

Associated Types

type Substance segment structure :: * -> *

Methods

substructure :: (Tagged segment <:.> structure) @>>> Substance segment structure

sub :: Covariant (->) (->) structure => structure @>>> Substance segment structure

Instances

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Substructure segment structure) => Substructure (segment :: k) (Turnover structure)

Defined in Pandora.Paradigm.Structure.Modification.Turnover

Associated Types

type Substance segment (Turnover structure) :: Type -> Type

Methods

substructure :: (Tagged segment <:.> Turnover structure) @>>> Substance segment (Turnover structure)

sub :: Turnover structure @>>> Substance segment (Turnover structure)

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

Substructure ('Right ('Branch :: a -> Segment a) :: Horizontal (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) :: Horizontal (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

Substructure ('Right ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

Substructure ('Left ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

Substructure ('Down ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

Substructure ('Up ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('All ('Right :: a -> Horizontal a) :: Occurrence (a -> Horizontal 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 -> Horizontal a) :: Occurrence (a -> Horizontal 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)

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

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 ('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 ('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)

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

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

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

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

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 -> Horizontal 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 -> Horizontal 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) t => Substructure ('Rest :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance 'Rest (Exactly <:*:> t) :: Type -> Type

Methods

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

sub :: (Exactly <:*:> t) @>>> Substance 'Rest (Exactly <:*:> t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance 'Root (Exactly <:*:> t) :: Type -> Type

Methods

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

sub :: (Exactly <:*:> t) @>>> Substance 'Root (Exactly <:*:> t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Down :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

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

Methods

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

sub :: (Tape t <::> Tape t) @>>> Substance 'Down (Tape t <::> Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Up :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

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

Methods

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

sub :: (Tape t <::> Tape t) @>>> Substance 'Up (Tape t <::> Tape t)

tagstruct :: Covariant (->) (->) structure => (Tagged segment <:.> structure) @>>> structure

data Segment a

Constructors

Root a

Rest a

Branch a

Ancestors a

Forest a

Instances

Substructure ('Right ('Branch :: a -> Segment a) :: Horizontal (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) :: Horizontal (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

Substructure ('Right ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

Substructure ('Left ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

Substructure ('Down ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

Substructure ('Up ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

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

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)

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

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

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

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

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Rest :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance 'Rest (Exactly <:*:> t) :: Type -> Type

Methods

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

sub :: (Exactly <:*:> t) @>>> Substance 'Rest (Exactly <:*:> t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance 'Root (Exactly <:*:> t) :: Type -> Type

Methods

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

sub :: (Exactly <:*:> t) @>>> Substance 'Root (Exactly <:*:> t)

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

Defined in Pandora.Paradigm.Structure.Some.Binary

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

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

type Substance ('Right ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Right ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) = Roses

type Substance ('Left ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Left ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) = Reverse Roses

type Substance ('Down ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Down ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) = Roses

type Substance ('Up ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Up ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) = List <::> Tape Roses

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 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 ('Rest :: a -> Segment a) (Tap t)

Defined in Pandora.Paradigm.Structure

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

type Substance ('Rest :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

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

type Substance ('Root :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

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