Pandora.Pattern.Junction.Composition

Documentation

class Composition t where

Associated Types

type Primary t a :: *

Methods

unwrap :: t a -> Primary t a

Instances

Composition Graph

Defined in Pandora.Paradigm.Structure.Graph

Associated Types

type Primary Graph a :: Type

Methods

unwrap :: Graph a -> Primary Graph a

Composition Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Associated Types

type Primary Maybe a :: Type

Methods

unwrap :: Maybe a -> Primary Maybe a

Composition Stack

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Primary Stack a :: Type

Methods

unwrap :: Stack a -> Primary Stack a

Composition (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Associated Types

type Primary (Stateful s) a :: Type

Methods

unwrap :: Stateful s a -> Primary (Stateful s) a

Composition (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Associated Types

type Primary (Conclusion e) a :: Type

Methods

unwrap :: Conclusion e a -> Primary (Conclusion e) a

Composition (TU ct cu t u)

Defined in Pandora.Pattern.Junction.Schemes.TU

Associated Types

type Primary (TU ct cu t u) a :: Type

Methods

unwrap :: TU ct cu t u a -> Primary (TU ct cu t u) a

Composition (UT ct cu t u)

Defined in Pandora.Pattern.Junction.Schemes.UT

Associated Types

type Primary (UT ct cu t u) a :: Type

Methods

unwrap :: UT ct cu t u a -> Primary (UT ct cu t u) a

Composition (UTU ct cu t u)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Associated Types

type Primary (UTU ct cu t u) a :: Type

Methods

unwrap :: UTU ct cu t u a -> Primary (UTU ct cu t u) a

Composition (TUV ct cu cv t u v)

Defined in Pandora.Pattern.Junction.Schemes.TUV

Associated Types

type Primary (TUV ct cu cv t u v) a :: Type

Methods

unwrap :: TUV ct cu cv t u v a -> Primary (TUV ct cu cv t u v) a

Composition (TUVW ct cu cv cw t u v w)

Defined in Pandora.Pattern.Junction.Schemes.TUVW

Associated Types

type Primary (TUVW ct cu cv cw t u v w) a :: Type

Methods

unwrap :: TUVW ct cu cv cw t u v w a -> Primary (TUVW ct cu cv cw t u v w) a