| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Idris.Error
- 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 ()
Documentation
setAndReport :: Err -> Idris () Source
getErrSpan :: Err -> FC Source
warnDisamb :: IState -> PTerm -> Idris () Source
Issue a warning on "with"-terms whose namespace is empty or nonexistent