Documentation

d_SimplifierTag_4 ∷ () Source #

type T_SimplifierTag_4 = SimplifierStage Source #

pattern C_floatDelayT_6 ∷ SimplifierStage Source #

pattern C_forceDelayT_8 ∷ SimplifierStage Source #

pattern C_forceCaseDelayT_10 ∷ SimplifierStage Source #

pattern C_caseOfCaseT_12 ∷ SimplifierStage Source #

pattern C_caseReduceT_14 ∷ SimplifierStage Source #

pattern C_inlineT_16 ∷ SimplifierStage Source #

pattern C_cseT_18 ∷ SimplifierStage Source #

pattern C_applyToCaseT_20 ∷ SimplifierStage Source #

pattern C_letFloatOutT_22 ∷ SimplifierStage Source #

pattern C_unknown_24 ∷ SimplifierStage Source #

check_floatDelayT_6 ∷ T_SimplifierTag_4 Source #

check_forceDelayT_8 ∷ T_SimplifierTag_4 Source #

check_forceCaseDelayT_10 ∷ T_SimplifierTag_4 Source #

check_caseOfCaseT_12 ∷ T_SimplifierTag_4 Source #

check_caseReduceT_14 ∷ T_SimplifierTag_4 Source #

check_inlineT_16 ∷ T_SimplifierTag_4 Source #

check_cseT_18 ∷ T_SimplifierTag_4 Source #

check_applyToCaseT_20 ∷ T_SimplifierTag_4 Source #

check_letFloatOutT_22 ∷ T_SimplifierTag_4 Source #

check_unknown_24 ∷ T_SimplifierTag_4 Source #

cover_SimplifierTag_4 ∷ SimplifierStage → () Source #

d_InlineHints_26 ∷ () Source #

type T_InlineHints_26 = Inline Source #

pattern C_var_28 ∷ Inline Source #

pattern C_expand_30 ∷ Inline → Inline Source #

pattern C_ƛ_32 ∷ Inline → Inline Source #

pattern C_ƛ'8595'_34 ∷ Inline → Inline Source #

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

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

pattern C_force_40 ∷ Inline → Inline Source #

pattern C_delay_42 ∷ Inline → Inline Source #

pattern C_con_44 ∷ Inline Source #

pattern C_builtin_46 ∷ Inline Source #

pattern C_error_48 ∷ Inline Source #

pattern C_constr_50 ∷ [Inline] → Inline Source #

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

check_var_28 ∷ T_InlineHints_26 Source #

check_expand_30 ∷ T_InlineHints_26 → T_InlineHints_26 Source #

check_ƛ_32 ∷ T_InlineHints_26 → T_InlineHints_26 Source #

check_ƛ'8595'_34 ∷ T_InlineHints_26 → T_InlineHints_26 Source #

check__'183'__36 ∷ T_InlineHints_26 → T_InlineHints_26 → T_InlineHints_26 Source #

check__'183''8595'_38 ∷ T_InlineHints_26 → T_InlineHints_26 Source #

check_force_40 ∷ T_InlineHints_26 → T_InlineHints_26 Source #

check_delay_42 ∷ T_InlineHints_26 → T_InlineHints_26 Source #

check_con_44 ∷ T_InlineHints_26 Source #

check_builtin_46 ∷ T_InlineHints_26 Source #

check_error_48 ∷ T_InlineHints_26 Source #

check_constr_50 ∷ T_List_10 () T_InlineHints_26 → T_InlineHints_26 Source #

check_case_52 ∷ T_InlineHints_26 → T_List_10 () T_InlineHints_26 → T_InlineHints_26 Source #

cover_InlineHints_26 ∷ Inline → () Source #

d_Hints_54 ∷ () Source #

type T_Hints_54 = Hints Source #

pattern C_inline_56 ∷ Inline → Hints Source #

pattern C_none_58 ∷ Hints Source #

check_inline_56 ∷ T_InlineHints_26 → T_Hints_54 Source #

check_none_58 ∷ T_Hints_54 Source #

cover_Hints_54 ∷ Hints → () Source #

d_Trace_62 ∷ p → () Source #

data T_Trace_62 Source #

d_head_72 ∷ T_Trace_62 → AgdaAny Source #

d_Dump_78 ∷ () Source #

d_toTrace_80 ∷ [T__'215'__428 T_SimplifierTag_4 (T__'215'__428 T_Hints_54 (T__'215'__428 T_Untyped_208 T_Untyped_208))] → Maybe T_Trace_62 Source #

d_go_90 ∷ T__'215'__428 T_SimplifierTag_4 (T__'215'__428 T_Hints_54 (T__'215'__428 T_Untyped_208 T_Untyped_208)) → [T__'215'__428 T_SimplifierTag_4 (T__'215'__428 T_Hints_54 (T__'215'__428 T_Untyped_208 T_Untyped_208))] → T__'215'__428 T_SimplifierTag_4 (T__'215'__428 T_Hints_54 (T__'215'__428 T_Untyped_208 T_Untyped_208)) → [T__'215'__428 T_SimplifierTag_4 (T__'215'__428 T_Hints_54 (T__'215'__428 T_Untyped_208 T_Untyped_208))] → T_Trace_62 Source #

du_go_90 ∷ T__'215'__428 T_SimplifierTag_4 (T__'215'__428 T_Hints_54 (T__'215'__428 T_Untyped_208 T_Untyped_208)) → [T__'215'__428 T_SimplifierTag_4 (T__'215'__428 T_Hints_54 (T__'215'__428 T_Untyped_208 T_Untyped_208))] → T_Trace_62 Source #

d_EvalResult_116 ∷ () Source #

type T_EvalResult_116 = EvalResult Source #

pattern C_success_118 ∷ Integer → Integer → EvalResult Source #

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

check_success_118 ∷ Integer → Integer → T_EvalResult_116 Source #

check_failure_120 ∷ T_String_6 → Integer → Integer → T_EvalResult_116 Source #

cover_EvalResult_116 ∷ EvalResult → () Source #