Control.Arrow.Transformer

Documentation

class ArrowTransformer xT where

Minimal complete definition

lift, tmap

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

Monoid w => ArrowTransformer (WriterT w)

Methods

lift :: Arrow r => r a b -> WriterT w r a b

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

ArrowTransformer (StateT s)

Methods

lift :: Arrow r => r a b -> StateT s r a b

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

ArrowTransformer (ReaderT r)

Methods

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

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

ArrowTransformer (AbortT v)

Methods

lift :: Arrow r => r a b -> AbortT v r a b

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