Idris.Error

Documentation

iucheck :: Idris ()

showErr :: Err -> Idris String

report :: IOError -> String

idrisCatch :: Idris a -> (Err -> Idris a) -> Idris a

setAndReport :: Err -> Idris ()

ifail :: String -> Idris a

ierror :: Err -> Idris a

tclift :: TC a -> Idris a

tctry :: TC a -> TC a -> Idris a

getErrSpan :: Err -> FC

warnDisamb :: IState -> PTerm -> Idris ()

Issue a warning on with-terms whose namespace is empty or nonexistent