Control.Elevator

Automated effect elevator

Documentation

class Tower f where

Minimal complete definition

Nothing

Associated Types

type Floors f :: List (* -> *)

Methods

toLoft :: Union (Floors f) a -> f a

Instances

Tower []

Tower IO

Tower Maybe

Tower Identity

Tower ((->) r)

Tower (Either e)

Tower (ST s)

Tower (Union u)

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

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

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

type Floors1 g = g :> Floors g

toLoft1 :: Tower f => Union (Floors1 f) a -> f a

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