Idris2Doc : Idrall.Error

Idrall.Error

Reexports

import public Text.PrettyPrint.Prettyprinter
import public Idrall.FC

Definitions

data Error : Type

Totality: total
Visibility: public export
Constructors:

MissingVar : FC -> String -> Error
AlphaEquivError : FC -> String -> Error
EvalIntegerNegateErr : FC -> String -> Error
EvalNaturalIsZeroErr : FC -> String -> Error
EvalBoolAndErr : FC -> Error
EvalApplyErr : FC -> Error
Unexpected : FC -> String -> Error
ErrorMessage : FC -> String -> Error
ReadBackError : FC -> String -> Error
SortError : FC -> Error
AssertError : FC -> String -> Error
ListAppendError : FC -> String -> Error
ListHeadError : FC -> String -> Error
FieldNotFoundError : FC -> String -> Error
FieldArgMismatchError : FC -> String -> Error
InvalidFieldType : FC -> String -> Error
CombineError : FC -> String -> Error
RecordFieldCollision : FC -> String -> Error
ReadFileError : FC -> String -> Error
MergeUnusedHandler : FC -> String -> Error
MergeUnhandledCase : FC -> String -> Error
ToMapError : FC -> String -> Error
ToMapEmpty : FC -> String -> Error
EmptyMerge : FC -> String -> Error
InvalidRecordCompletion : FC -> String -> Error
CyclicImportError : FC -> String -> Error
EnvVarError : FC -> String -> Error
FromDhallError : FC -> String -> Error
ParseError : FC -> String -> Error
LexError : FC -> String -> Error
NestedError : FC -> Error -> Error -> Error

Hints:

HasFC Error
Pretty Error
Show Error

fancyError : Error -> IO String

Visibility: export