Idris.Error

iucheck

showErr

report

idrisCatch

setAndReport

ifail

ierror

tclift

tcliftAt

tctry

getErrSpan

warnDisamb