Control.Joint.Composition

Documentation

class Composition t where

Associated Types

type Primary t a :: *

Methods

run :: t a -> Primary t a

Instances

Composition Maybe

Defined in Control.Joint.Base.Maybe

Associated Types

type Primary Maybe a :: Type

Methods

run :: Maybe a -> Primary Maybe a

Composition (Either e)

Defined in Control.Joint.Base.Either

Associated Types

type Primary (Either e) a :: Type

Methods

run :: Either e a -> Primary (Either e) a

Composition (State s)

Defined in Control.Joint.Base.State

Associated Types

type Primary (State s) a :: Type

Methods

run :: State s a -> Primary (State s) a

Composition (Configured e)

Defined in Control.Joint.Base.Configured

Associated Types

type Primary (Configured e) a :: Type

Methods

run :: Configured e a -> Primary (Configured e) a

Composition (TU t u)

Defined in Control.Joint.Schemes.TU

Associated Types

type Primary (TU t u) a :: Type

Methods

run :: TU t u a -> Primary (TU t u) a

Composition (UT t u)

Defined in Control.Joint.Schemes.UT

Associated Types

type Primary (UT t u) a :: Type

Methods

run :: UT t u a -> Primary (UT t u) a

Composition (TUT t u t')

Defined in Control.Joint.Schemes.TUT

Associated Types

type Primary (TUT t u t') a :: Type

Methods

run :: TUT t u t' a -> Primary (TUT t u t') a