Algebra.Monad.Base

Monad utilities

data Kleisli m a b

i'Kleisli

(=<<)

joinMap

(<=<)

(>=>)

(>>)

(<*=)

only

return

foldlM

foldrM

findM

while

until

bind2

bind3

(>>>=)

(>>>>=)

mfix_

mfixing

Monadic Lenses

type Action s t a b

type Action' a b

Instance utilities

data Compose' f g a

i'Compose'

coerceJoin

coerceDuplicate