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_unknown_22 ∷ 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_unknown_22 ∷ T_SimplifierTag_4 Source #

cover_SimplifierTag_4 ∷ SimplifierStage → () Source #

d_InlineHints_24 ∷ () Source #

type T_InlineHints_24 = Inline Source #

pattern C_var_26 ∷ Inline Source #

pattern C_expand_28 ∷ Inline → Inline Source #

pattern C_ƛ_30 ∷ Inline → Inline Source #

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

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

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

pattern C_force_38 ∷ Inline → Inline Source #

pattern C_delay_40 ∷ Inline → Inline Source #

pattern C_con_42 ∷ Inline Source #

pattern C_builtin_44 ∷ Inline Source #

pattern C_error_46 ∷ Inline Source #

pattern C_constr_48 ∷ [Inline] → Inline Source #

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

check_var_26 ∷ T_InlineHints_24 Source #

check_expand_28 ∷ T_InlineHints_24 → T_InlineHints_24 Source #

check_ƛ_30 ∷ T_InlineHints_24 → T_InlineHints_24 Source #

check_ƛ'8595'_32 ∷ T_InlineHints_24 → T_InlineHints_24 Source #

check__'183'__34 ∷ T_InlineHints_24 → T_InlineHints_24 → T_InlineHints_24 Source #

check__'183''8595'_36 ∷ T_InlineHints_24 → T_InlineHints_24 Source #

check_force_38 ∷ T_InlineHints_24 → T_InlineHints_24 Source #

check_delay_40 ∷ T_InlineHints_24 → T_InlineHints_24 Source #

check_con_42 ∷ T_InlineHints_24 Source #

check_builtin_44 ∷ T_InlineHints_24 Source #

check_error_46 ∷ T_InlineHints_24 Source #

check_constr_48 ∷ T_List_10 () T_InlineHints_24 → T_InlineHints_24 Source #

check_case_50 ∷ T_InlineHints_24 → T_List_10 () T_InlineHints_24 → T_InlineHints_24 Source #

cover_InlineHints_24 ∷ Inline → () Source #

d_Hints_52 ∷ () Source #

type T_Hints_52 = Hints Source #

pattern C_inline_54 ∷ Inline → Hints Source #

pattern C_none_56 ∷ Hints Source #

check_inline_54 ∷ T_InlineHints_24 → T_Hints_52 Source #

check_none_56 ∷ T_Hints_52 Source #

cover_Hints_52 ∷ Hints → () Source #

d_Trace_60 ∷ p → () Source #

data T_Trace_60 Source #

d_head_70 ∷ T_Trace_60 → AgdaAny Source #

d_Dump_76 ∷ () Source #

d_toTrace_78 ∷ [T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208))] → Maybe T_Trace_60 Source #

d_go_88 ∷ T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208)) → [T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208))] → T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208)) → [T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208))] → T_Trace_60 Source #

du_go_88 ∷ T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208)) → [T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208))] → T_Trace_60 Source #