idris-0.9.12: Functional Programming Language with Dependent Types
Idris.Error
iucheck :: Idris ()Source
showErr :: Err -> Idris StringSource
report :: IOError -> StringSource
idrisCatch :: Idris a -> (Err -> Idris a) -> Idris aSource
setAndReport :: Err -> Idris ()Source
ifail :: String -> Idris aSource
ierror :: Err -> Idris aSource
tclift :: TC a -> Idris aSource
tctry :: TC a -> TC a -> Idris aSource
getErrSpan :: Err -> FCSource