Control.Joint.Abilities.Interpreted

Documentation

class Interpreted t where

Associated Types

type Primary t a :: *

Methods

run :: t a -> Primary t a

Instances

Interpreted Maybe

Defined in Control.Joint.Effects.Maybe

Associated Types

type Primary Maybe a :: Type

Methods

run :: Maybe a -> Primary Maybe a

Interpreted (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

Interpreted (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

Interpreted (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

Interpreted (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

(Interpreted (Schema t u), Transformer t) => Interpreted (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

Interpreted (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

Interpreted (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

Interpreted (TUT t t' u)

Defined in Control.Joint.Schemes.TUT

Associated Types

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

Methods

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