idris-1.3.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Error

Description

 

Synopsis

Documentation

idrisCatch :: Idris a -> (Err -> Idris a) -> Idris a 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