Idris.Error

iucheck

showErr

report

idrisCatch

setAndReport

ifail

ierror

tclift

tctry

getErrSpan

warnDisamb