Idris.Error

Definitions

pwarningRaw : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => Warning -> Core (Doc IdrisAnn)

Visibility: export

pwarning : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => Warning -> Core (Doc IdrisAnn)

Visibility: export

perror : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => Error -> Core (Doc IdrisAnn)

Visibility: export

checkError : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => String -> Error -> Core Bool

  Check (in a whitespace-insensitive manner) that the msg is
  contained in the error.

Visibility: export

display : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => Error -> Core (Doc IdrisAnn)

Visibility: export

displayWarning : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => Warning -> Core (Doc IdrisAnn)

Visibility: export