IdrisDoc
: Control.IOExcept
Index
Control.IOExcept
IOM
:
(
runIOExcept
:
IO'
f
(
Either
err
a
)) ->
IOExcept'
f
err
a