idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.Error

Description

 
Synopsis

Documentation

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

ifail :: String -> Idris a Source #

report :: IOError -> String Source #

showErr :: Err -> Idris String Source #

tclift :: TC a -> Idris a Source #

tcliftAt :: FC -> TC a -> Idris a Source #

tctry :: TC a -> TC a -> Idris a Source #

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

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