| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
Idris.Error
Description
Synopsis
- getErrSpan :: Err -> FC
- idrisCatch :: Idris a -> (Err -> Idris a) -> Idris a
- ierror :: Err -> Idris a
- ifail :: String -> Idris a
- iucheck :: Idris ()
- report :: IOError -> String
- setAndReport :: Err -> Idris ()
- showErr :: Err -> Idris String
- tclift :: TC a -> Idris a
- tcliftAt :: FC -> TC a -> Idris a
- tctry :: TC a -> TC a -> Idris a
- warnDisamb :: IState -> PTerm -> Idris ()