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_NonEmptySep_90 ∷ p → p → () Source #

type T_NonEmptySep_90 a0 a1 = NonEmptySep a0 a1 Source #

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

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

check_cons_96 ∷ ∀ xS. ∀ xA. xA → xS → T_NonEmptySep_90 xS xA → T_NonEmptySep_90 xS xA Source #

check_singleton_98 ∷ ∀ xS. ∀ xA. xA → T_NonEmptySep_90 xS xA Source #

cover_NonEmptySep_90 ∷ NonEmptySep a1 a2 → () Source #

d_head_112 ∷ T_NonEmptySep_90 AgdaAny AgdaAny → AgdaAny Source #

d_Trace_118 ∷ () → () Source #

d_EvalResult_122 ∷ () Source #

type T_EvalResult_122 = EvalResult Source #

pattern C_success_124 ∷ Integer → Integer → EvalResult Source #

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

check_success_124 ∷ Integer → Integer → T_EvalResult_122 Source #

check_failure_126 ∷ T_String_6 → Integer → Integer → T_EvalResult_122 Source #

cover_EvalResult_122 ∷ EvalResult → () Source #