Morph 0.3.0 API documentation
A Library of Morphisms: Monoids, Functors, and Monads
blancas.morph.monads
Public variables and functions:
- ->Either
- ->Identity
- ->Maybe
- ->Reader
- ->State
- ->Writer
- ask
- asks
- either
- eval-state
- eval-writer
- exec-state
- exec-writer
- get-state
- gets
- id
- just
- just?
- justs
- left
- left?
- lefts
- listen
- local
- make-either
- map-either
- map-maybe
- may
- maybe
- modify-state
- nothing
- nothing?
- pass
- put-state
- reader
- right
- right?
- rights
- run-id
- run-just
- run-left
- run-reader
- run-right
- run-state
- state
- tell
- writer
blancas.morph.transf
Public variables and functions:
- ->EitherT
- ->MaybeT
- ->ReaderT
- ->StateT
- ->WriterT
- ->either
- ->left
- ->right
- ask-rt
- asks-rt
- eval-just-t
- eval-se
- eval-state-t
- eval-writer-t
- exec-se
- exec-state-t
- exec-writer-t
- fail-et
- get-se
- get-st
- gets-se
- gets-st
- just-t
- left-t
- lift-et
- lift-mt
- lift-rt
- lift-st
- lift-wt
- listen-wt
- listens-wt
- local-rt
- modify-se
- modify-st
- nothing-t
- pass-wt
- put-se
- put-st
- reader-t
- right-t
- run-either-t
- run-just-t
- run-left-t
- run-reader-t
- run-right-t
- run-se
- run-state-t
- run-writer-t
- state-t
- tell-wt
- writer-t