pandora-0.2.9: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Structure.Ability.Substructure

Documentation

class Substructure f t where Source #

Associated Types

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

Methods

substructure :: Tagged f (t a) :-. Substructural f t a Source #

Instances
Substructure (Left :: Type -> Wye Type) Binary Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural Left Binary a :: Type Source #

Substructure (Right :: Type -> Wye Type) Binary Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural Right Binary a :: Type Source #

Substructure (Just :: Type -> Maybe Type) Rose Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Substructural Just Rose a :: Type Source #

Substructure (Left :: Type -> Wye Type) (Construction Wye) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural Left (Construction Wye) a :: Type Source #

Substructure (Right :: Type -> Wye Type) (Construction Wye) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural Right (Construction Wye) a :: Type Source #

Substructure (Just :: Type -> Maybe Type) (Construction Stack) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Substructural Just (Construction Stack) a :: Type Source #

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