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

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

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

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

Transformer (Reader e)

Defined in Control.Joint.Base.Reader

Associated Types

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

Methods

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

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

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