idris-1.3.4: Functional Programming Language with Dependent Types

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 ()

# Documentation

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 () #

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