idris-0.9.17: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Error

Synopsis

Documentation

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

tclift :: 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