Documentation

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

getErrLine :: Err -> IntSource

getErrColumn :: Err -> IntSource