Control.Joint.Transformer

Documentation

class Composition t => Transformer t where

Associated Types

type Schema (t :: * -> *) (u :: * -> *) = (r :: * -> *) | r -> t u

Methods

embed :: Functor u => u ~> Schema t u

build :: Applicative u => t ~> Schema t u

unite :: Primary (Schema t u) a -> Schema t u a

Instances

Transformer Maybe

Defined in Control.Joint.Base.Maybe

Associated Types

type Schema Maybe u = (r :: Type -> Type)

Methods

embed :: Functor u => u ~> Schema Maybe u

build :: Applicative u => Maybe ~> Schema Maybe u

unite :: Primary (Schema Maybe u) a -> Schema Maybe u a

Transformer (Either e)

Defined in Control.Joint.Base.Either

Associated Types

type Schema (Either e) u = (r :: Type -> Type)

Methods

embed :: Functor u => u ~> Schema (Either e) u

build :: Applicative u => Either e ~> Schema (Either e) u

unite :: Primary (Schema (Either e) u) a -> Schema (Either e) u a

Transformer (State s)

Defined in Control.Joint.Base.State

Associated Types

type Schema (State s) u = (r :: Type -> Type)

Methods

embed :: Functor u => u ~> Schema (State s) u

build :: Applicative u => State s ~> Schema (State s) u

unite :: Primary (Schema (State s) u) a -> Schema (State s) u a

Transformer (Configured e)

Defined in Control.Joint.Base.Configured

Associated Types

type Schema (Configured e) u = (r :: Type -> Type)

Methods

embed :: Functor u => u ~> Schema (Configured e) u

build :: Applicative u => Configured e ~> Schema (Configured e) u

unite :: Primary (Schema (Configured e) u) a -> Schema (Configured e) u a

type (:>) t u a = Transformer t => Schema t u a infixr 1