IdrisDoc: Control.IOExcept

Control.IOExcept

IOM : (runIOExcept : IO' f (Either err a)) -> IOExcept' f err a