Control.Arrow.Trans

Documentation

class ArrowTrans xT where

Methods

lift :: Arrow r => r a b -> xT r a b

tmap :: (Arrow r, Arrow s) => (forall a b. r a b -> s a b) -> xT r a b -> xT s a b

Instances

ArrowTrans (ReaderT r)

ArrowTrans (AbortT v)

ArrowTrans (StateT s)