Control.Elevator

Automated effect elevator

Documentation

rung :: (forall x. f x -> g x) -> (Gondola g :* fs) -> Gondola g :* (f : fs) infixr 0

newtype Gondola f g

Constructors

Gondola

Fields

runGondola :: forall a. g a -> f a

class Tower f where

A class of types which have bases.

Minimal complete definition

Nothing

Associated Types

type Floors f :: [* -> *]

Methods

stairs :: Gondola f :* Floors f

The product of all ways to lift.

Instances

Tower []

Tower IO

Tower Maybe

Tower Identity

Tower ((->) r)

Tower (Either e)

Tower (ST s)

Forall (* -> *) Functor xs => Tower (League xs)

Generate (* -> *) xs => Tower (Union xs)

(Monad m, Tower m) => Tower (MaybeT m)

(Monad m, Tower m) => Tower (ListT m)

(Monoid w, Monad m, Tower m) => Tower (WriterT w m)

(Monoid w, Monad m, Tower m) => Tower (WriterT w m)

(Monad m, Tower m) => Tower (ExceptT e m)

(Monad m, Tower m) => Tower (StateT s m)

(Monad m, Tower m) => Tower (StateT s m)

(Monad m, Tower m) => Tower (ReaderT r m)

type Floors1 f = f : Floors f

The parents and itself.

stairs1 :: Tower f => Gondola f :* Floors1 f

stairs for Floors1.

type Elevate f g = (Tower g, f ∈ Floors1 g)

f can be lifted to g

elevate :: Elevate f g => f a -> g a

Lift a thing, automatically.

liftGondolas :: (Monad m, Tower m, MonadTrans t) => Gondola (t m) :* Floors1 m