idris-1.0: Functional Programming Language with Dependent Types

Copyright | License : BSD3
Maintainer | The Idris Community.
Safe Haskell | None
Language | Haskell98

Idris.Error

Description

Synopsis

- 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
- tcliftAt :: FC -> TC a -> Idris a
- tctry :: TC a -> TC a -> Idris a
- getErrSpan :: Err -> FC
- warnDisamb :: IState -> PTerm -> Idris ()

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

tcliftAt :: FC -> 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