idris-1.3.4: 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 #

ierror :: Err -> Idris a #

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