Parser.Transf

• RST
• RWT
• WST

Documentation

type RST env = RWST env ()

The composition of reader and state transformers.

type RWT env res = RWST env res ()

The composition of reader and writer transformers.

type WST = RWST ()

The composition of writer and state transformers.

evalRST :: Functor f => RST env state f t -> env -> state -> f t

Discards the end state.

evalWST :: Functor f => WST res state f t -> state -> f (t, res)

Discards the end state.

execRST :: Functor f => RST env state f t -> env -> state -> f state

Discards the output.

execRWT :: Functor f => RWT env res f t -> env -> f res

Discards the output.

execWST :: Functor f => WST res state f t -> state -> f (state, res)

Discards the output.

runRST :: Functor f => RST env state f t -> env -> state -> f (t, state)

Runs the RS transformer.

runRWT :: Functor f => RWT env res f t -> env -> f (t, res)

Runs the RW transformer.

runWST :: WST res state f t -> state -> f (t, state, res)

Runs the WS transformer.