IdrisDoc
: Control.Monad.Reader
Index
Control.Monad.Reader
RD
:
(
runReaderT
:
r
->
m
a
) ->
ReaderT
r
m
a