Pandora.Paradigm.Structure.Ability.Substructure

Documentation

class Substructure f t where

Minimal complete definition

substructure

Associated Types

type Substructural (f :: k) (t :: * -> *) :: * -> *

Methods

substructure :: (Tagged f <:.> t) :~. Substructural f t

sub :: Covariant t => t :~. Substructural f t

Instances

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Tail List :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> List) :~. Substructural 'Tail List

sub :: List :~. Substructural 'Tail List

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Root List :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> List) :~. Substructural 'Root List

sub :: List :~. Substructural 'Root List

Substructure ('Just :: a -> Maybe a) Rose

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substructural 'Just Rose :: Type -> Type

Methods

substructure :: (Tagged 'Just <:.> Rose) :~. Substructural 'Just Rose

sub :: Rose :~. Substructural 'Just Rose

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

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substructural 'Root Rose :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> Rose) :~. Substructural 'Root Rose

sub :: Rose :~. Substructural 'Root Rose

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

Defined in Pandora.Paradigm.Primary

Associated Types

type Substructural 'Right Wye :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Wye) :~. Substructural 'Right Wye

sub :: Wye :~. Substructural 'Right Wye

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

Defined in Pandora.Paradigm.Primary

Associated Types

type Substructural 'Left Wye :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Wye) :~. Substructural 'Left Wye

sub :: Wye :~. Substructural 'Left Wye

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substructural 'Right Binary :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Binary) :~. Substructural 'Right Binary

sub :: Binary :~. Substructural 'Right Binary

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substructural 'Left Binary :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Binary) :~. Substructural 'Left Binary

sub :: Binary :~. Substructural 'Left Binary

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Right (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :~. Substructural 'Right (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

sub :: Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :~. Substructural 'Right (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Left (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :~. Substructural 'Left (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

sub :: Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :~. Substructural 'Left (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Root (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :~. Substructural 'Root (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

sub :: Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :~. Substructural 'Root (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

substructure :: (Tagged 'Root <:.> Construction Maybe) :~. Substructural 'Root (Construction Maybe)

sub :: Construction Maybe :~. Substructural 'Root (Construction Maybe)

Substructure ('Right :: a -> Wye a) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Right (Tap ((List <:.:> List) := (:*:))) :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Tap ((List <:.:> List) := (:*:))) :~. Substructural 'Right (Tap ((List <:.:> List) := (:*:)))

sub :: Tap ((List <:.:> List) := (:*:)) :~. Substructural 'Right (Tap ((List <:.:> List) := (:*:)))

Substructure ('Left :: a -> Wye a) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Left (Tap ((List <:.:> List) := (:*:))) :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Tap ((List <:.:> List) := (:*:))) :~. Substructural 'Left (Tap ((List <:.:> List) := (:*:)))

sub :: Tap ((List <:.:> List) := (:*:)) :~. Substructural 'Left (Tap ((List <:.:> List) := (:*:)))

Substructure ('Root :: a -> Segment a) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Root (Tap ((List <:.:> List) := (:*:))) :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> Tap ((List <:.:> List) := (:*:))) :~. Substructural 'Root (Tap ((List <:.:> List) := (:*:)))

sub :: Tap ((List <:.:> List) := (:*:)) :~. Substructural 'Root (Tap ((List <:.:> List) := (:*:)))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

substructure :: (Tagged 'Tail <:.> Construction Maybe) :~. Substructural 'Tail (Construction Maybe)

sub :: Construction Maybe :~. Substructural 'Tail (Construction Maybe)

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

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

substructure :: (Tagged 'Tail <:.> Construction List) :~. Substructural 'Tail (Construction List)

sub :: Construction List :~. Substructural 'Tail (Construction List)

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

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

substructure :: (Tagged 'Root <:.> Construction List) :~. Substructural 'Root (Construction List)

sub :: Construction List :~. Substructural 'Root (Construction List)

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substructural 'Root (Construction Wye) :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> Construction Wye) :~. Substructural 'Root (Construction Wye)

sub :: Construction Wye :~. Substructural 'Root (Construction Wye)

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substructural 'Right (Construction Wye) :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Construction Wye) :~. Substructural 'Right (Construction Wye)

sub :: Construction Wye :~. Substructural 'Right (Construction Wye)

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substructural 'Left (Construction Wye) :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Construction Wye) :~. Substructural 'Left (Construction Wye)

sub :: Construction Wye :~. Substructural 'Left (Construction Wye)

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

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right (Product s) :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Product s) :~. Substructural 'Right (Product s)

sub :: Product s :~. Substructural 'Right (Product s)

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

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

substructure :: (Tagged 'Tail <:.> Tap t) :~. Substructural 'Tail (Tap t)

sub :: Tap t :~. Substructural 'Tail (Tap t)

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

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Left (Flip Product a2) :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Flip Product a2) :~. Substructural 'Left (Flip Product a2)

sub :: Flip Product a2 :~. Substructural 'Left (Flip Product a2)

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 Substructural 'Tail List :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> List) :~. Substructural 'Tail List

sub :: List :~. Substructural 'Tail List

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Root List :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> List) :~. Substructural 'Root List

sub :: List :~. Substructural 'Root List

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

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substructural 'Root Rose :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> Rose) :~. Substructural 'Root Rose

sub :: Rose :~. Substructural 'Root Rose

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Root (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :~. Substructural 'Root (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

sub :: Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :~. Substructural 'Root (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

substructure :: (Tagged 'Root <:.> Construction Maybe) :~. Substructural 'Root (Construction Maybe)

sub :: Construction Maybe :~. Substructural 'Root (Construction Maybe)

Substructure ('Root :: a -> Segment a) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Root (Tap ((List <:.:> List) := (:*:))) :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> Tap ((List <:.:> List) := (:*:))) :~. Substructural 'Root (Tap ((List <:.:> List) := (:*:)))

sub :: Tap ((List <:.:> List) := (:*:)) :~. Substructural 'Root (Tap ((List <:.:> List) := (:*:)))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

substructure :: (Tagged 'Tail <:.> Construction Maybe) :~. Substructural 'Tail (Construction Maybe)

sub :: Construction Maybe :~. Substructural 'Tail (Construction Maybe)

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

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

substructure :: (Tagged 'Tail <:.> Construction List) :~. Substructural 'Tail (Construction List)

sub :: Construction List :~. Substructural 'Tail (Construction List)

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

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

substructure :: (Tagged 'Root <:.> Construction List) :~. Substructural 'Root (Construction List)

sub :: Construction List :~. Substructural 'Root (Construction List)

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substructural 'Root (Construction Wye) :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> Construction Wye) :~. Substructural 'Root (Construction Wye)

sub :: Construction Wye :~. Substructural 'Root (Construction Wye)

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

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

substructure :: (Tagged 'Tail <:.> Tap t) :~. Substructural 'Tail (Tap t)

sub :: Tap t :~. Substructural 'Tail (Tap t)

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

Defined in Pandora.Paradigm.Structure.Some.List

type Substructural ('Tail :: a -> Segment a) List = List

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

Defined in Pandora.Paradigm.Structure.Some.List

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

type Substructural ('Root :: a -> Segment a) Rose

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substructural ('Root :: a -> Segment a) Rose = Maybe

type Substructural ('Root :: a -> Segment a) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Substructural ('Root :: a -> Segment a) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = Identity

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

Defined in Pandora.Paradigm.Structure.Some.List

type Substructural ('Root :: a -> Segment a) (Construction Maybe) = Identity

type Substructural ('Root :: a -> Segment a) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Substructural ('Root :: a -> Segment a) (Tap ((List <:.:> List) := (:*:))) = Identity

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.Rose

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

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

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substructural ('Root :: a -> Segment a) (Construction List) = Identity

type Substructural ('Root :: a -> Segment a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substructural ('Root :: a -> Segment a) (Construction Wye) = Identity

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

Defined in Pandora.Paradigm.Structure

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

type Substructured i source target = (Substructure i source, Substructural i source ~ target)