Pandora.Paradigm.Structure.Ability.Substructure

Documentation

class Substructure f t where

Associated Types

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

Methods

sub :: t a :-. Tagged f (Substructural f t a)

Instances

Substructure (Left :: Type -> Wye Type) Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural Left Binary a :: Type

Methods

sub :: Binary a :-. Tagged Left (Substructural Left Binary a)

Substructure (Right :: Type -> Wye Type) Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural Right Binary a :: Type

Methods

sub :: Binary a :-. Tagged Right (Substructural Right Binary a)

Substructure (Just :: Type -> Maybe Type) Rose

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Substructural Just Rose a :: Type

Methods

sub :: Rose a :-. Tagged Just (Substructural Just Rose a)

Substructure (Left :: Type -> Wye Type) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural Left (Construction Wye) a :: Type

Methods

sub :: Construction Wye a :-. Tagged Left (Substructural Left (Construction Wye) a)

Substructure (Right :: Type -> Wye Type) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural Right (Construction Wye) a :: Type

Methods

sub :: Construction Wye a :-. Tagged Right (Substructural Right (Construction Wye) a)

Substructure (Just :: Type -> Maybe Type) (Construction Stack)

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Substructural Just (Construction Stack) a :: Type

Methods

sub :: Construction Stack a :-. Tagged Just (Substructural Just (Construction Stack) a)