Control.Joint.Transformer

Documentation

class Composition t => Transformer t where

Associated Types

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

Methods

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

wrap :: 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

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

wrap :: 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

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

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

Transformer (Reader r)

Defined in Control.Joint.Base.Reader

Associated Types

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

Methods

lay :: Functor u => u ~> Schema (Reader r) u

wrap :: Applicative u => Reader r ~> Schema (Reader r) u

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