Documentation

d_UncertifiedOptTag_4 ∷ () Source #

type T_UncertifiedOptTag_4 = UncertifiedOptStage Source #

pattern C_caseOfCaseT_6 ∷ UncertifiedOptStage Source #

check_caseOfCaseT_6 ∷ T_UncertifiedOptTag_4 Source #

cover_UncertifiedOptTag_4 ∷ UncertifiedOptStage → () Source #

d_CertifiedOptTag_8 ∷ () Source #

type T_CertifiedOptTag_8 = CertifiedOptStage Source #

pattern C_floatDelayT_10 ∷ CertifiedOptStage Source #

pattern C_forceDelayT_12 ∷ CertifiedOptStage Source #

pattern C_forceCaseDelayT_14 ∷ CertifiedOptStage Source #

pattern C_inlineT_16 ∷ CertifiedOptStage Source #

pattern C_cseT_18 ∷ CertifiedOptStage Source #

pattern C_applyToCaseT_20 ∷ CertifiedOptStage Source #

pattern C_caseReduceT_22 ∷ CertifiedOptStage Source #

pattern C_letFloatOutT_24 ∷ CertifiedOptStage Source #

check_floatDelayT_10 ∷ T_CertifiedOptTag_8 Source #

check_forceDelayT_12 ∷ T_CertifiedOptTag_8 Source #

check_forceCaseDelayT_14 ∷ T_CertifiedOptTag_8 Source #

check_inlineT_16 ∷ T_CertifiedOptTag_8 Source #

check_cseT_18 ∷ T_CertifiedOptTag_8 Source #

check_applyToCaseT_20 ∷ T_CertifiedOptTag_8 Source #

check_caseReduceT_22 ∷ T_CertifiedOptTag_8 Source #

check_letFloatOutT_24 ∷ T_CertifiedOptTag_8 Source #

cover_CertifiedOptTag_8 ∷ CertifiedOptStage → () Source #

d_OptTag_26 ∷ () Source #

d_FloatDelayT_28 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8 Source #

d_ForceDelayT_30 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8 Source #

d_ForceCaseDelayT_32 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8 Source #

d_InlineT_34 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8 Source #

d_CseT_36 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8 Source #

d_ApplyToCaseT_38 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8 Source #

d_CaseOfCaseT_40 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8 Source #

d_LetFloatOutT_42 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8 Source #

d_CaseReduceT_44 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8 Source #

d_InlineHints_46 ∷ () Source #

type T_InlineHints_46 = Inline Source #

pattern C_var_48 ∷ Inline Source #

pattern C_expand_50 ∷ Inline → Inline Source #

pattern C_ƛ_52 ∷ Inline → Inline Source #

pattern C__'183'__54 ∷ Inline → Inline → Inline Source #

pattern C__'183''8595'_56 ∷ Inline → Inline Source #

pattern C_force_58 ∷ Inline → Inline Source #

pattern C_delay_60 ∷ Inline → Inline Source #

pattern C_con_62 ∷ Inline Source #

pattern C_builtin_64 ∷ Inline Source #

pattern C_error_66 ∷ Inline Source #

pattern C_constr_68 ∷ [Inline] → Inline Source #

pattern C_case_70 ∷ Inline → [Inline] → Inline Source #

check_var_48 ∷ T_InlineHints_46 Source #

check_expand_50 ∷ T_InlineHints_46 → T_InlineHints_46 Source #

check_ƛ_52 ∷ T_InlineHints_46 → T_InlineHints_46 Source #

check__'183'__54 ∷ T_InlineHints_46 → T_InlineHints_46 → T_InlineHints_46 Source #

check__'183''8595'_56 ∷ T_InlineHints_46 → T_InlineHints_46 Source #

check_force_58 ∷ T_InlineHints_46 → T_InlineHints_46 Source #

check_delay_60 ∷ T_InlineHints_46 → T_InlineHints_46 Source #

check_con_62 ∷ T_InlineHints_46 Source #

check_builtin_64 ∷ T_InlineHints_46 Source #

check_error_66 ∷ T_InlineHints_46 Source #

check_constr_68 ∷ T_List_10 () T_InlineHints_46 → T_InlineHints_46 Source #

check_case_70 ∷ T_InlineHints_46 → T_List_10 () T_InlineHints_46 → T_InlineHints_46 Source #

cover_InlineHints_46 ∷ Inline → () Source #

d_Hints_72 ∷ () Source #

type T_Hints_72 = Hints Source #

pattern C_inline_74 ∷ Inline → Hints Source #

pattern C_none_76 ∷ Hints Source #

check_inline_74 ∷ T_InlineHints_46 → T_Hints_72 Source #

check_none_76 ∷ T_Hints_72 Source #

cover_Hints_72 ∷ Hints → () Source #

d_Trace_80 ∷ p → () Source #

data T_Trace_80 Source #

d_head_90 ∷ T_Trace_80 → AgdaAny Source #

d_Dump_96 ∷ () Source #

d_toTrace_98 ∷ [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8) (T__'215'__436 T_Hints_72 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → Maybe T_Trace_80 Source #

d_go_108 ∷ T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8) (T__'215'__436 T_Hints_72 (T__'215'__436 T_Untyped_208 T_Untyped_208)) → [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8) (T__'215'__436 T_Hints_72 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8) (T__'215'__436 T_Hints_72 (T__'215'__436 T_Untyped_208 T_Untyped_208)) → [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8) (T__'215'__436 T_Hints_72 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → T_Trace_80 Source #

du_go_108 ∷ T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8) (T__'215'__436 T_Hints_72 (T__'215'__436 T_Untyped_208 T_Untyped_208)) → [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_8) (T__'215'__436 T_Hints_72 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → T_Trace_80 Source #

d_EvalResult_134 ∷ () Source #

type T_EvalResult_134 = EvalResult Source #

pattern C_success_136 ∷ Integer → Integer → EvalResult Source #

pattern C_failure_138 ∷ EvalError → Integer → Integer → EvalResult Source #

check_success_136 ∷ Integer → Integer → T_EvalResult_134 Source #

check_failure_138 ∷ T_String_6 → Integer → Integer → T_EvalResult_134 Source #

cover_EvalResult_134 ∷ EvalResult → () Source #