Pandora.Paradigm.Structure.Variation.Substructure

Documentation

class Substructure f t where

Associated Types

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

Methods

sub :: t a :-. Output f t a

Instances

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Output Left Binary a = (r :: Type)

Methods

sub :: Binary a :-. Output Left Binary a

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Output Right Binary a = (r :: Type)

Methods

sub :: Binary a :-. Output Right Binary a

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Output Left (Twister Wye) a = (r :: Type)

Methods

sub :: Twister Wye a :-. Output Left (Twister Wye) a

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Output Right (Twister Wye) a = (r :: Type)

Methods

sub :: Twister Wye a :-. Output Right (Twister Wye) a