Documentation

d_UncertifiedOptTag_4 ∷ () Source #

type T_UncertifiedOptTag_4 = UncertifiedOptStage Source #

pattern C_caseOfCaseT_6 ∷ UncertifiedOptStage Source #

pattern C_constantFoldingT_8 ∷ UncertifiedOptStage Source #

check_caseOfCaseT_6 ∷ T_UncertifiedOptTag_4 Source #

check_constantFoldingT_8 ∷ T_UncertifiedOptTag_4 Source #

cover_UncertifiedOptTag_4 ∷ UncertifiedOptStage → () Source #

d_CertifiedOptTag_10 ∷ () Source #

type T_CertifiedOptTag_10 = CertifiedOptStage Source #

pattern C_floatDelayT_12 ∷ CertifiedOptStage Source #

pattern C_forceDelayT_14 ∷ CertifiedOptStage Source #

pattern C_forceCaseDelayT_16 ∷ CertifiedOptStage Source #

pattern C_inlineT_18 ∷ CertifiedOptStage Source #

pattern C_cseT_20 ∷ CertifiedOptStage Source #

pattern C_applyToCaseT_22 ∷ CertifiedOptStage Source #

pattern C_caseReduceT_24 ∷ CertifiedOptStage Source #

pattern C_letFloatOutT_26 ∷ CertifiedOptStage Source #

check_floatDelayT_12 ∷ T_CertifiedOptTag_10 Source #

check_forceDelayT_14 ∷ T_CertifiedOptTag_10 Source #

check_forceCaseDelayT_16 ∷ T_CertifiedOptTag_10 Source #

check_inlineT_18 ∷ T_CertifiedOptTag_10 Source #

check_cseT_20 ∷ T_CertifiedOptTag_10 Source #

check_applyToCaseT_22 ∷ T_CertifiedOptTag_10 Source #

check_caseReduceT_24 ∷ T_CertifiedOptTag_10 Source #

check_letFloatOutT_26 ∷ T_CertifiedOptTag_10 Source #

cover_CertifiedOptTag_10 ∷ CertifiedOptStage → () Source #

d_OptTag_28 ∷ () Source #

d_FloatDelayT_30 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 Source #

d_ForceDelayT_32 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 Source #

d_ForceCaseDelayT_34 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 Source #

d_InlineT_36 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 Source #

d_CseT_38 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 Source #

d_ApplyToCaseT_40 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 Source #

d_LetFloatOutT_42 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 Source #

d_CaseReduceT_44 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 Source #

d_CaseOfCaseT_46 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 Source #

d_ConstantFoldingT_48 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 Source #

d_InlineHints_50 ∷ () Source #

type T_InlineHints_50 = Inline Source #

pattern C_var_52 ∷ Inline Source #

pattern C_expand_54 ∷ Inline → Inline Source #

pattern C_ƛ_56 ∷ Inline → Inline Source #

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

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

pattern C_force_62 ∷ Inline → Inline Source #

pattern C_delay_64 ∷ Inline → Inline Source #

pattern C_con_66 ∷ Inline Source #

pattern C_builtin_68 ∷ Inline Source #

pattern C_error_70 ∷ Inline Source #

pattern C_constr_72 ∷ [Inline] → Inline Source #

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

check_var_52 ∷ T_InlineHints_50 Source #

check_expand_54 ∷ T_InlineHints_50 → T_InlineHints_50 Source #

check_ƛ_56 ∷ T_InlineHints_50 → T_InlineHints_50 Source #

check__'183'__58 ∷ T_InlineHints_50 → T_InlineHints_50 → T_InlineHints_50 Source #

check__'183''8595'_60 ∷ T_InlineHints_50 → T_InlineHints_50 Source #

check_force_62 ∷ T_InlineHints_50 → T_InlineHints_50 Source #

check_delay_64 ∷ T_InlineHints_50 → T_InlineHints_50 Source #

check_con_66 ∷ T_InlineHints_50 Source #

check_builtin_68 ∷ T_InlineHints_50 Source #

check_error_70 ∷ T_InlineHints_50 Source #

check_constr_72 ∷ T_List_10 () T_InlineHints_50 → T_InlineHints_50 Source #

check_case_74 ∷ T_InlineHints_50 → T_List_10 () T_InlineHints_50 → T_InlineHints_50 Source #

cover_InlineHints_50 ∷ Inline → () Source #

d_Hints_76 ∷ () Source #

type T_Hints_76 = Hints Source #

pattern C_inline_78 ∷ Inline → Hints Source #

pattern C_none_80 ∷ Hints Source #

check_inline_78 ∷ T_InlineHints_50 → T_Hints_76 Source #

check_none_80 ∷ T_Hints_76 Source #

cover_Hints_76 ∷ Hints → () Source #

d_Trace_84 ∷ p → () Source #

data T_Trace_84 Source #

d_head_94 ∷ T_Trace_84 → AgdaAny Source #

d_Dump_100 ∷ () Source #

d_toTrace_102 ∷ [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10) (T__'215'__436 T_Hints_76 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → Maybe T_Trace_84 Source #

d_go_112 ∷ T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10) (T__'215'__436 T_Hints_76 (T__'215'__436 T_Untyped_208 T_Untyped_208)) → [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10) (T__'215'__436 T_Hints_76 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10) (T__'215'__436 T_Hints_76 (T__'215'__436 T_Untyped_208 T_Untyped_208)) → [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10) (T__'215'__436 T_Hints_76 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → T_Trace_84 Source #

du_go_112 ∷ T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10) (T__'215'__436 T_Hints_76 (T__'215'__436 T_Untyped_208 T_Untyped_208)) → [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10) (T__'215'__436 T_Hints_76 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → T_Trace_84 Source #

d_EvalResult_138 ∷ () Source #

type T_EvalResult_138 = EvalResult Source #

pattern C_success_140 ∷ Integer → Integer → EvalResult Source #

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

check_success_140 ∷ Integer → Integer → T_EvalResult_138 Source #

check_failure_142 ∷ T_String_6 → Integer → Integer → T_EvalResult_138 Source #

cover_EvalResult_138 ∷ EvalResult → () Source #