Control.Monad.Trans.MStreamF

Attempt at writing a more generic MSF lifting combinator. This is

Another wrapper idea

A more general lifting mechanism that enables recovery.

Alternative Reader wrapping/unwrapping MSF combinators

Wrapping/unwrapping functions

type Wrapper m1 m2 t1 t2

type Unwrapper m1 m2 t1 t2

type Id a

type ReaderWrapper s m

type ReaderUnwrapper s m

Alternative State wrapping/unwrapping MSF combinators

Alternative Writer wrapping/unwrapping MSF combinators

Wrapping/unwrapping functions

unwrapMSFWriterT

Reader monad

Auxiliary functions related to ReaderT

State monad

Auxiliary functions related to StateT

Writer monad

RWS (Reader-Writer-State) monad

Maybe monad

Exception monad

List monad