Control.Joint.Abilities.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.Effects.Maybe

Associated Types

type Primary Maybe a :: Type

Methods

run :: Maybe a -> Primary Maybe a

Composition (Either e)

Defined in Control.Joint.Effects.Either

Associated Types

type Primary (Either e) a :: Type

Methods

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

Composition (Writer e)

Defined in Control.Joint.Effects.Writer

Associated Types

type Primary (Writer e) a :: Type

Methods

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

Composition (Reader e)

Defined in Control.Joint.Effects.Reader

Associated Types

type Primary (Reader e) a :: Type

Methods

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

Composition (State s)

Defined in Control.Joint.Effects.State

Associated Types

type Primary (State s) a :: Type

Methods

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

(Composition (Schema t u), Transformer t) => Composition (t :> u)

Defined in Control.Joint.Abilities.Transformer

Associated Types

type Primary (t :> u) a :: Type

Methods

run :: (t :> u) a -> Primary (t :> u) 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