Pandora.Paradigm.Structure.Ability.Substructure

Documentation

class Substructure f t where

Associated Types

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

Methods

substructure :: Tagged f (t a) :-. 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

substructure :: Tagged Left (Binary a) :-. 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

substructure :: Tagged Right (Binary a) :-. 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

substructure :: Tagged Just (Rose a) :-. 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

substructure :: Tagged Left (Construction Wye a) :-. 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

substructure :: Tagged Right (Construction Wye a) :-. 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

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

sub :: forall f t a. Substructure f t => t a :-. Substructural f t a