Documentation

type T_ParseError_4 = ParserErrorBundle Source #

d_ParseError_4 ∷ a Source #

d_prettyPrintTm_6 ∷ T_RawTm_30 → T_String_6 Source #

d_prettyPrintTy_8 ∷ T_RawTy_2 → T_String_6 Source #

d_prettyPrintUTm_10 ∷ T_Untyped_146 → T_String_6 Source #

d_ERROR_12 ∷ () Source #

type T_ERROR_12 = ERROR Source #

pattern C_typeError_14 ∷ Text → ERROR Source #

pattern C_parseError_16 ∷ ParserErrorBundle → ERROR Source #

pattern C_scopeError_18 ∷ ScopeError → ERROR Source #

pattern C_runtimeError_20 ∷ RuntimeError → ERROR Source #

pattern C_jsonError_22 ∷ Text → ERROR Source #

check_typeError_14 ∷ T_String_6 → T_ERROR_12 Source #

check_parseError_16 ∷ T_ParseError_4 → T_ERROR_12 Source #

check_scopeError_18 ∷ T_ScopeError_576 → T_ERROR_12 Source #

check_runtimeError_20 ∷ T_RuntimeError_348 → T_ERROR_12 Source #

check_jsonError_22 ∷ T_String_6 → T_ERROR_12 Source #

cover_ERROR_12 ∷ ERROR → () Source #

d_uglyTypeError_24 ∷ T_TypeError_12 → T_String_6 Source #

d_reportError_66 ∷ T_ERROR_12 → T_String_6 Source #

d_maxsteps_72 ∷ Integer Source #