Pandora.Paradigm.Structure.Variation.Substructure

Documentation

class Substructure f t where

Associated Types

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

Methods

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

Instances

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Output Left Binary a :: Type

Methods

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

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Output Right Binary a :: Type

Methods

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

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Output Left (Construction Wye) a :: Type

Methods

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

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Output Right (Construction Wye) a :: Type

Methods

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