idris-0.9.11.2: Functional Programming Language with Dependent Types

Safe HaskellNone

IRTS.Java.Mangling

Documentation

liftParsed :: (Show e, MonadError String m) => Either e a -> m aSource