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

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Left Delta a

Methods

substructure :: Tagged 'Left (Delta a) :-. Substructural 'Left Delta a

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Left Binary a

Methods

substructure :: Tagged 'Left (Binary a) :-. Substructural 'Left Binary a

Substructure ('Right :: Type -> Wye Type) Delta

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right Delta a

Methods

substructure :: Tagged 'Right (Delta a) :-. Substructural 'Right Delta a

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Right Binary a

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

Methods

substructure :: Tagged 'Just (Rose a) :-. Substructural 'Just Rose a

Substructure ('Left :: Type -> Wye Type) (Product s)

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Left (Product s) a

Methods

substructure :: Tagged 'Left (Product s a) :-. Substructural 'Left (Product s) a

Substructure ('Left :: Type -> Wye Type) t => Substructure ('Left :: Type -> Wye Type) (Tap (t <:.> u))

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Left (Tap (t <:.> u)) a

Methods

substructure :: Tagged 'Left (Tap (t <:.> u) a) :-. Substructural 'Left (Tap (t <:.> u)) a

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Left (Construction Wye) a

Methods

substructure :: Tagged 'Left (Construction Wye a) :-. Substructural 'Left (Construction Wye) a

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

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right (Product s) a

Methods

substructure :: Tagged 'Right (Product s a) :-. Substructural 'Right (Product s) a

Substructure ('Right :: Type -> Wye Type) t => Substructure ('Right :: Type -> Wye Type) (Tap (t <:.> u))

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right (Tap (t <:.> u)) a

Methods

substructure :: Tagged 'Right (Tap (t <:.> u) a) :-. Substructural 'Right (Tap (t <:.> u)) a

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Right (Construction Wye) a

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

Methods

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

Substructure ('Left :: Type -> Wye Type) (Delta <:.> t)

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Left (Delta <:.> t) a

Methods

substructure :: Tagged 'Left ((Delta <:.> t) a) :-. Substructural 'Left (Delta <:.> t) a

Substructure ('Right :: Type -> Wye Type) (Delta <:.> t)

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right (Delta <:.> t) a

Methods

substructure :: Tagged 'Right ((Delta <:.> t) a) :-. Substructural 'Right (Delta <:.> t) a

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