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_InlineHints'8314'_82 ∷ p → () Source #

type T_InlineHints'8314'_82 a0 = InlinePlus a0 Source #

pattern C__'8593''7511'_86 ∷ Inline → InlinePlus term Source #

pattern C__'10814''91'_'93'__88 ∷ Inline → term → InlinePlus term → InlinePlus term Source #

check__'8593''7511'_86 ∷ ∀ xA. T_InlineHints_54 → T_InlineHints'8314'_82 xA Source #

check__'10814''91'_'93'__88 ∷ ∀ xA. T_InlineHints_54 → xA → T_InlineHints'8314'_82 xA → T_InlineHints'8314'_82 xA Source #

cover_InlineHints'8314'_82 ∷ InlinePlus a1 → () Source #

d_Hints_92 ∷ p → () Source #

type T_Hints_92 a0 = Hints a0 Source #

pattern C_inline_96 ∷ InlinePlus term → Hints term Source #

pattern C_none_98 ∷ Hints term Source #

check_inline_96 ∷ ∀ xA. T_InlineHints'8314'_82 xA → T_Hints_92 xA Source #

check_none_98 ∷ ∀ xA. T_Hints_92 xA Source #

cover_Hints_92 ∷ Hints a1 → () Source #

d_NonEmptySep_104 ∷ p → p → () Source #

type T_NonEmptySep_104 a0 a1 = NonEmptySep a0 a1 Source #

pattern C_cons_110 ∷ ∀ {sep} {a}. a → sep → NonEmptySep sep a → NonEmptySep sep a Source #

pattern C_singleton_112 ∷ ∀ {sep} {a}. a → NonEmptySep sep a Source #

check_cons_110 ∷ ∀ xS. ∀ xA. xA → xS → T_NonEmptySep_104 xS xA → T_NonEmptySep_104 xS xA Source #

check_singleton_112 ∷ ∀ xS. ∀ xA. xA → T_NonEmptySep_104 xS xA Source #

cover_NonEmptySep_104 ∷ NonEmptySep a1 a2 → () Source #

d_head_126 ∷ T_NonEmptySep_104 AgdaAny AgdaAny → AgdaAny Source #

d_Trace_132 ∷ () → () Source #

d_EvalResult_136 ∷ () Source #

type T_EvalResult_136 = EvalResult Source #

pattern C_success_138 ∷ Integer → Integer → EvalResult Source #

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

check_success_138 ∷ Integer → Integer → T_EvalResult_136 Source #

check_failure_140 ∷ T_String_6 → Integer → Integer → T_EvalResult_136 Source #

cover_EvalResult_136 ∷ EvalResult → () Source #