monad-ran-0.0.5: Implementations of common monads and monad transformers as right-kan extensionsContentsIndex
Search:
ask
asks
callCC
censor
Codensity
1 (Type/Class)
2 (Data Constructor)
Cont
1 (Type/Class)
2 (Data Constructor)
fromRan
get
getCodensity
getCont
getIdentity'
getMaybe'
getRan
getReader
getRWS
gets
getWriter
Identity'
1 (Type/Class)
2 (Data Constructor)
listen
listens
local
Maybe'
1 (Type/Class)
2 (Data Constructor)
modify
MonadCont
MonadReader
MonadRWS
MonadState
MonadWriter
pass
put
Ran
1 (Type/Class)
2 (Data Constructor)
RanIso
Reader
1 (Type/Class)
2 (Data Constructor)
runCodensity
runCodensityApp
runCont
runIdentity'
runMaybe'
runReader
runRWS
runState
runState'
runWriter
runWriter'
RWS
1 (Type/Class)
2 (Data Constructor)
State
State'
tell
toRan
Writer
1 (Type/Class)
2 (Data Constructor)
Writer'