Pandora.Paradigm.Junction.Composition

Documentation

class Composition t where

Associated Types

type Outline t a :: *

Methods

composition :: t a -> Outline t a

Instances

Composition Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Associated Types

type Outline Maybe a :: Type

Methods

composition :: Maybe a -> Outline Maybe a

Composition (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Associated Types

type Outline (Stateful s) a :: Type

Methods

composition :: Stateful s a -> Outline (Stateful s) a

Composition (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Associated Types

type Outline (Conclusion e) a :: Type

Methods

composition :: Conclusion e a -> Outline (Conclusion e) a

Composition (TU ct cu t u)

Defined in Pandora.Paradigm.Junction.Schemes.TU

Associated Types

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

Methods

composition :: TU ct cu t u a -> Outline (TU ct cu t u) a

Composition (UTU ct cu t u)

Defined in Pandora.Paradigm.Junction.Schemes.UTU

Associated Types

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

Methods

composition :: UTU ct cu t u a -> Outline (UTU ct cu t u) a

Composition (UT ct cu t u)

Defined in Pandora.Paradigm.Junction.Schemes.UT

Associated Types

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

Methods

composition :: UT ct cu t u a -> Outline (UT ct cu t u) a

Composition (TUV ct cu cv t u v)

Defined in Pandora.Paradigm.Junction.Schemes.TUV

Associated Types

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

Methods

composition :: TUV ct cu cv t u v a -> Outline (TUV ct cu cv t u v) a

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

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Associated Types

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

Methods

composition :: TUVW ct cu cv cw t u v w a -> Outline (TUVW ct cu cv cw t u v w) a