Documentation

d_UncertifiedOptTag_4 ∷ () Source #

type T_UncertifiedOptTag_4 = UncertifiedOptStage Source #

pattern C_caseOfCaseT_6 ∷ UncertifiedOptStage Source #

pattern C_constantFoldingT_8 ∷ UncertifiedOptStage Source #

pattern C_polyBuiltinT_10 ∷ UncertifiedOptStage Source #

check_caseOfCaseT_6 ∷ T_UncertifiedOptTag_4 Source #

check_constantFoldingT_8 ∷ T_UncertifiedOptTag_4 Source #

check_polyBuiltinT_10 ∷ T_UncertifiedOptTag_4 Source #

cover_UncertifiedOptTag_4 ∷ UncertifiedOptStage → () Source #

d_CertifiedOptTag_12 ∷ () Source #

type T_CertifiedOptTag_12 = CertifiedOptStage Source #

pattern C_floatDelayT_14 ∷ CertifiedOptStage Source #

pattern C_forceDelayT_16 ∷ CertifiedOptStage Source #

pattern C_forceCaseDelayT_18 ∷ CertifiedOptStage Source #

pattern C_inlineT_20 ∷ CertifiedOptStage Source #

pattern C_cseT_22 ∷ CertifiedOptStage Source #

pattern C_applyToCaseT_24 ∷ CertifiedOptStage Source #

pattern C_caseReduceT_26 ∷ CertifiedOptStage Source #

pattern C_letFloatOutT_28 ∷ CertifiedOptStage Source #

check_floatDelayT_14 ∷ T_CertifiedOptTag_12 Source #

check_forceDelayT_16 ∷ T_CertifiedOptTag_12 Source #

check_forceCaseDelayT_18 ∷ T_CertifiedOptTag_12 Source #

check_inlineT_20 ∷ T_CertifiedOptTag_12 Source #

check_cseT_22 ∷ T_CertifiedOptTag_12 Source #

check_applyToCaseT_24 ∷ T_CertifiedOptTag_12 Source #

check_caseReduceT_26 ∷ T_CertifiedOptTag_12 Source #

check_letFloatOutT_28 ∷ T_CertifiedOptTag_12 Source #

cover_CertifiedOptTag_12 ∷ CertifiedOptStage → () Source #

d_OptTag_30 ∷ () Source #

d_FloatDelayT_32 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 Source #

d_ForceDelayT_34 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 Source #

d_ForceCaseDelayT_36 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 Source #

d_InlineT_38 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 Source #

d_CseT_40 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 Source #

d_ApplyToCaseT_42 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 Source #

d_LetFloatOutT_44 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 Source #

d_CaseReduceT_46 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 Source #

d_CaseOfCaseT_48 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 Source #

d_ConstantFoldingT_50 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 Source #

d_PolyBuiltinT_52 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 Source #

d_InlineHints_54 ∷ () Source #

type T_InlineHints_54 = Inline Source #

pattern C_var_56 ∷ Inline Source #

pattern C_expand_58 ∷ Inline → Inline Source #

pattern C_ƛ_60 ∷ Inline → Inline Source #

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

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

pattern C_force_66 ∷ Inline → Inline Source #

pattern C_delay_68 ∷ Inline → Inline Source #

pattern C_con_70 ∷ Inline Source #

pattern C_builtin_72 ∷ Inline Source #

pattern C_error_74 ∷ Inline Source #

pattern C_constr_76 ∷ [Inline] → Inline Source #

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

check_var_56 ∷ T_InlineHints_54 Source #

check_expand_58 ∷ T_InlineHints_54 → T_InlineHints_54 Source #

check_ƛ_60 ∷ T_InlineHints_54 → T_InlineHints_54 Source #

check__'183'__62 ∷ T_InlineHints_54 → T_InlineHints_54 → T_InlineHints_54 Source #

check__'183''8595'_64 ∷ T_InlineHints_54 → T_InlineHints_54 Source #

check_force_66 ∷ T_InlineHints_54 → T_InlineHints_54 Source #

check_delay_68 ∷ T_InlineHints_54 → T_InlineHints_54 Source #

check_con_70 ∷ T_InlineHints_54 Source #

check_builtin_72 ∷ T_InlineHints_54 Source #

check_error_74 ∷ T_InlineHints_54 Source #

check_constr_76 ∷ T_List_10 () T_InlineHints_54 → T_InlineHints_54 Source #

check_case_78 ∷ T_InlineHints_54 → T_List_10 () T_InlineHints_54 → T_InlineHints_54 Source #

cover_InlineHints_54 ∷ Inline → () Source #

d_Hints_80 ∷ () Source #

type T_Hints_80 = Hints Source #

pattern C_inline_82 ∷ Inline → Hints Source #

pattern C_none_84 ∷ Hints Source #

check_inline_82 ∷ T_InlineHints_54 → T_Hints_80 Source #

check_none_84 ∷ T_Hints_80 Source #

cover_Hints_80 ∷ Hints → () Source #

d_Trace_88 ∷ p → () Source #

data T_Trace_88 Source #

d_head_98 ∷ T_Trace_88 → AgdaAny Source #

d_Dump_104 ∷ () Source #

d_toTrace_106 ∷ [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12) (T__'215'__436 T_Hints_80 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → Maybe T_Trace_88 Source #

d_go_116 ∷ T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12) (T__'215'__436 T_Hints_80 (T__'215'__436 T_Untyped_208 T_Untyped_208)) → [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12) (T__'215'__436 T_Hints_80 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12) (T__'215'__436 T_Hints_80 (T__'215'__436 T_Untyped_208 T_Untyped_208)) → [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12) (T__'215'__436 T_Hints_80 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → T_Trace_88 Source #

du_go_116 ∷ T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12) (T__'215'__436 T_Hints_80 (T__'215'__436 T_Untyped_208 T_Untyped_208)) → [T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12) (T__'215'__436 T_Hints_80 (T__'215'__436 T_Untyped_208 T_Untyped_208))] → T_Trace_88 Source #

d_EvalResult_142 ∷ () Source #

type T_EvalResult_142 = EvalResult Source #

pattern C_success_144 ∷ Integer → Integer → EvalResult Source #

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

check_success_144 ∷ Integer → Integer → T_EvalResult_142 Source #

check_failure_146 ∷ T_String_6 → Integer → Integer → T_EvalResult_142 Source #

cover_EvalResult_142 ∷ EvalResult → () Source #