Pandora.Paradigm.Structure.Ability.Substructure

Documentation

data Segment a

Constructors

Root a

Tail a

Instances

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substance 'Tail List :: Type -> Type

Methods

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

sub :: List @>>> Substance 'Tail 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 ('Root :: a -> Segment a) (Tap ((t <:.:> t) > (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

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

Methods

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

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

Substructure ('Root :: a -> Segment a) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance 'Root (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

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

sub :: Construction (Maybe <:*:> Maybe) @>>> Substance 'Root (Construction (Maybe <:*:> Maybe))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Substructure ('Tail :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substance 'Tail (Construction Maybe) :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> Construction Maybe) @>>> Substance 'Tail (Construction Maybe)

sub :: Construction Maybe @>>> Substance 'Tail (Construction Maybe)

Substructure ('Tail :: a -> Segment a) (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance 'Tail (Construction List) :: Type -> Type

Methods

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

sub :: Construction List @>>> Substance 'Tail (Construction List)

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

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Structure.Some.List

type Substance ('Tail :: 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 ('Root :: a -> Segment a) (Tap ((t <:.:> t) > (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

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

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

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

type Substance ('Root :: a -> Segment a) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Binary

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

type Substance ('Tail :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

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

type Substance ('Tail :: a -> Segment a) (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Tail :: a -> Segment a) (Construction List) = List <:.> Construction List

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

Defined in Pandora.Paradigm.Structure.Some.Rose

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

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

Defined in Pandora.Paradigm.Structure

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

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

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 ('Right :: a -> Wye a) Wye

Defined in Pandora.Paradigm.Primary

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

Associated Types

type Substance 'Left Wye :: Type -> Type

Methods

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

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance 'Right Binary :: Type -> Type

Methods

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

sub :: Binary @>>> Substance 'Right Binary

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance 'Left Binary :: Type -> Type

Methods

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

sub :: Binary @>>> Substance 'Left Binary

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substance 'Tail List :: Type -> Type

Methods

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

sub :: List @>>> Substance 'Tail 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 ('Right :: a -> Wye a) (Tap ((t <:.:> t) > (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

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

Methods

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

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

Substructure ('Root :: a -> Segment a) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance 'Root (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

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

sub :: Construction (Maybe <:*:> Maybe) @>>> Substance 'Root (Construction (Maybe <:*:> Maybe))

Substructure ('Right :: a -> Wye a) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

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

Methods

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

sub :: Construction (Maybe <:*:> Maybe) @>>> Substance 'Right (Construction (Maybe <:*:> Maybe))

Substructure ('Left :: a -> Wye a) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance 'Left (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Construction (Maybe <:*:> Maybe)) @>>> Substance 'Left (Construction (Maybe <:*:> Maybe))

sub :: Construction (Maybe <:*:> Maybe) @>>> Substance 'Left (Construction (Maybe <:*:> Maybe))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Substructure ('Tail :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substance 'Tail (Construction Maybe) :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> Construction Maybe) @>>> Substance 'Tail (Construction Maybe)

sub :: Construction Maybe @>>> Substance 'Tail (Construction Maybe)

Substructure ('Tail :: a -> Segment a) (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance 'Tail (Construction List) :: Type -> Type

Methods

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

sub :: Construction List @>>> Substance 'Tail (Construction List)

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

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

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

sub :: Tap t @>>> Substance 'Tail (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 -> Wye a) (t <:*:> u)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

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

Methods

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

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

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

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.Ability.Zipper

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)