Documentation

data HasEq a Source #

d_DecEq_6 ∷ p → () Source #

newtype T_DecEq_6 Source #

d__'8799'__12 ∷ T_DecEq_6 → AgdaAny → AgdaAny → T_Dec_20 Source #

d__'8799'__18 ∷ T_DecEq_6 → AgdaAny → AgdaAny → T_Dec_20 Source #

type T_HasEq_20 a0 = HasEq a0 Source #

d_HasEq_20 ∷ a Source #

d_hasEq'45'TyTag_24 ∷ a Source #

d_HsEq_28 ∷ p → () Source #

newtype T_HsEq_28 Source #

d_hsEq_34 ∷ T_HsEq_28 → AgdaAny → AgdaAny → Bool Source #

d_hsEq_40 ∷ T_HsEq_28 → AgdaAny → AgdaAny → Bool Source #

d_eqArray_46 ∷ ∀ xA. () → T_HasEq_20 xA → T_Array_594 xA → T_Array_594 xA → Bool Source #

d_decEq'45'TmCon_48 ∷ T_TmCon_202 → T_TmCon_202 → T_Dec_20 Source #

d_decEq'45''10214'_'10215'tag_52 ∷ T__'8866''9839'_4 → AgdaAny → AgdaAny → T_Dec_20 Source #

d_decEq'45''8866'_56 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_decPointwise_68 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] → T_Dec_20 Source #

du_decPointwise_68 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] → T_Dec_20 Source #

d_'46'extendedlambda0_124 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → [AgdaAny] → AgdaAny → [AgdaAny] → AgdaAny → (T_Pointwise_48 → T_Irrelevant_20) → T_Pointwise_48 → T_Irrelevant_20 Source #

d_'46'extendedlambda1_140 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → [AgdaAny] → AgdaAny → [AgdaAny] → (AgdaAny → T_Irrelevant_20) → T_Dec_20 → T_Pointwise_48 → T_Irrelevant_20 Source #

d_DecAtomicTyCon_144 ∷ T_DecEq_6 Source #

d_DecEq'45'TmCon_146 ∷ T_DecEq_6 Source #

d_DecEq'45''8866'_150 ∷ Integer → T_DecEq_6 Source #

d_DecEq'45'List_156 ∷ () → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45'List_156 ∷ T_DecEq_6 → T_DecEq_6 Source #

d_DecEq'45'Builtin_160 ∷ T_DecEq_6 Source #

d_DecEq'45'ℕ_162 ∷ T_DecEq_6 Source #

d_DecEq'45'ℤ_164 ∷ T_DecEq_6 Source #

d_DecEq'45'String_166 ∷ T_DecEq_6 Source #

d_DecEq'45'Unit_168 ∷ T_DecEq_6 Source #

d_DecEq'45'Bool_170 ∷ T_DecEq_6 Source #

d_DecEq'45'TyTag_172 ∷ T_DecEq_6 Source #

d_DecEq'45''10214'_'10215'tag_176 ∷ T__'8866''9839'_4 → T_DecEq_6 Source #

d_listDec_182 ∷ () → (AgdaAny → AgdaAny → T_Dec_20) → T_List_446 AgdaAny → T_List_446 AgdaAny → T_Dec_20 Source #

du_listDec_182 ∷ (AgdaAny → AgdaAny → T_Dec_20) → T_List_446 AgdaAny → T_List_446 AgdaAny → T_Dec_20 Source #

d_'46'extendedlambda2_218 ∷ () → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → T_List_446 AgdaAny → T_List_446 AgdaAny → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda3_246 ∷ () → (AgdaAny → AgdaAny → T_Dec_20) → T_List_446 AgdaAny → T_List_446 AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → AgdaAny → T__'8801'__12 → T_Irrelevant_20 Source #

d_pairDec_262 ∷ () → () → (AgdaAny → AgdaAny → T_Dec_20) → (AgdaAny → AgdaAny → T_Dec_20) → T__'215'__428 AgdaAny AgdaAny → T__'215'__428 AgdaAny AgdaAny → T_Dec_20 Source #

du_pairDec_262 ∷ (AgdaAny → AgdaAny → T_Dec_20) → (AgdaAny → AgdaAny → T_Dec_20) → T__'215'__428 AgdaAny AgdaAny → T__'215'__428 AgdaAny AgdaAny → T_Dec_20 Source #

d_'46'extendedlambda4_306 ∷ () → () → (AgdaAny → AgdaAny → T_Dec_20) → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → T_Dec_20 → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda5_322 ∷ () → () → (AgdaAny → AgdaAny → T_Dec_20) → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Dec_20 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_DecEq'45'UList_328 ∷ () → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45'UList_328 ∷ T_DecEq_6 → T_DecEq_6 Source #

d_DecEq'45'Pair_340 ∷ () → () → T_DecEq_6 → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45'Pair_340 ∷ T_DecEq_6 → T_DecEq_6 → T_DecEq_6 Source #

d_fromDec_350 ∷ () → T_DecEq_6 → T_HsEq_28 Source #

du_fromDec_350 ∷ T_DecEq_6 → T_HsEq_28 Source #

d_HsEqBytestring_356 ∷ T_HsEq_28 Source #

d_HsEqArray_364 ∷ () → T_HasEq_20 AgdaAny → T_HsEq_28 → T_HsEq_28 Source #

du_HsEqArray_364 ∷ T_HsEq_28 Source #

d_HsEqList_372 ∷ () → T_DecEq_6 → T_HsEq_28 Source #

du_HsEqList_372 ∷ T_DecEq_6 → T_HsEq_28 Source #

d_HsEqPair_382 ∷ () → () → T_DecEq_6 → T_DecEq_6 → T_HsEq_28 Source #

du_HsEqPair_382 ∷ T_DecEq_6 → T_DecEq_6 → T_HsEq_28 Source #

d_HsEqBlsG1_384 ∷ T_HsEq_28 Source #

d_HsEqBlsG2_386 ∷ T_HsEq_28 Source #

d_HsEqBlsMlResult_388 ∷ T_HsEq_28 Source #

d_HsEqDATA_390 ∷ T_HsEq_28 Source #

d_HsEq'45''10214'_'10215'tag_394 ∷ T__'8866''9839'_4 → T_HsEq_28 Source #

d_magicNeg_410 ∷ a Source #

d_builtinEq_416 ∷ () → T_HsEq_28 → AgdaAny → AgdaAny → T_Dec_20 Source #

du_builtinEq_416 ∷ T_HsEq_28 → AgdaAny → AgdaAny → T_Dec_20 Source #

d_hsEqArrayHelper_452 ∷ T__'8866''9839'_4 → T_HsEq_28 Source #

du_hsEqArrayHelper_452 ∷ T_HsEq_28 Source #

d_decEq'45'Array'45''10214'_'10215'tag_458 ∷ T__'8866''9839'_4 → T_Array_594 AgdaAny → T_Array_594 AgdaAny → T_Dec_20 Source #

du_decEq'45'Array'45''10214'_'10215'tag_458 ∷ T_Array_594 AgdaAny → T_Array_594 AgdaAny → T_Dec_20 Source #

d_'46'extendedlambda6_502 ∷ T__'8866''9839'_4 → AgdaAny → AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → T_List_446 AgdaAny → T_List_446 AgdaAny → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda7_540 ∷ T__'8866''9839'_4 → T_List_446 AgdaAny → T_List_446 AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → AgdaAny → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda8_586 ∷ T__'8866''9839'_4 → T__'8866''9839'_4 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → (T_Σ_14 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda9_610 ∷ T__'8866''9839'_4 → T__'8866''9839'_4 → (T__'8801'__12 → T_Irrelevant_20) → AgdaAny → AgdaAny → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda10_642 ∷ T__'8866''9839'_4 → AgdaAny → AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda11_662 ∷ Integer → T_Fin_10 → T_Fin_10 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda12_728 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda13_808 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda14_886 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda15_950 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda16_1014 ∷ T_TmCon_202 → T_TmCon_202 → (T__'8801'__12 → T_Irrelevant_20) → Integer → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda17_1102 ∷ Integer → Integer → [T__'8866'_14] → Integer → [T__'8866'_14] → (T_Σ_14 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda18_1198 ∷ Integer → T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 → [T__'8866'_14] → (T_Σ_14 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda19_1266 ∷ T_Builtin_2 → T_Builtin_2 → (T__'8801'__12 → T_Irrelevant_20) → Integer → T__'8801'__12 → T_Irrelevant_20 Source #