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_602 xA → T_Array_602 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'Fin_168 ∷ Integer → T_DecEq_6 Source #

du_DecEq'45'Fin_168 ∷ T_DecEq_6 Source #

d_DecEq'45'String_170 ∷ T_DecEq_6 Source #

d_DecEq'45'Unit_172 ∷ T_DecEq_6 Source #

d_DecEq'45'Bool_174 ∷ T_DecEq_6 Source #

d_DecEq'45'TyTag_176 ∷ T_DecEq_6 Source #

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

d_listDec_186 ∷ () → (AgdaAny → AgdaAny → T_Dec_20) → T_List_454 AgdaAny → T_List_454 AgdaAny → T_Dec_20 Source #

du_listDec_186 ∷ (AgdaAny → AgdaAny → T_Dec_20) → T_List_454 AgdaAny → T_List_454 AgdaAny → T_Dec_20 Source #

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

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

d_pairDec_266 ∷ () → () → (AgdaAny → AgdaAny → T_Dec_20) → (AgdaAny → AgdaAny → T_Dec_20) → T__'215'__436 AgdaAny AgdaAny → T__'215'__436 AgdaAny AgdaAny → T_Dec_20 Source #

du_pairDec_266 ∷ (AgdaAny → AgdaAny → T_Dec_20) → (AgdaAny → AgdaAny → T_Dec_20) → T__'215'__436 AgdaAny AgdaAny → T__'215'__436 AgdaAny AgdaAny → T_Dec_20 Source #

d_'46'extendedlambda4_310 ∷ () → () → (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_326 ∷ () → () → (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_332 ∷ () → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45'UList_332 ∷ T_DecEq_6 → T_DecEq_6 Source #

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

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

d_fromDec_354 ∷ () → T_DecEq_6 → T_HsEq_28 Source #

du_fromDec_354 ∷ T_DecEq_6 → T_HsEq_28 Source #

d_HsEqBytestring_360 ∷ T_HsEq_28 Source #

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

du_HsEqArray_368 ∷ T_HsEq_28 Source #

d_HsEqList_376 ∷ () → T_DecEq_6 → T_HsEq_28 Source #

du_HsEqList_376 ∷ T_DecEq_6 → T_HsEq_28 Source #

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

du_HsEqPair_386 ∷ T_DecEq_6 → T_DecEq_6 → T_HsEq_28 Source #

d_HsEqBlsG1_388 ∷ T_HsEq_28 Source #

d_HsEqBlsG2_390 ∷ T_HsEq_28 Source #

d_HsEqBlsMlResult_392 ∷ T_HsEq_28 Source #

d_HsEqDATA_394 ∷ T_HsEq_28 Source #

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

d_magicNeg_414 ∷ a Source #

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

du_builtinEq_420 ∷ T_HsEq_28 → AgdaAny → AgdaAny → T_Dec_20 Source #

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

du_hsEqArrayHelper_456 ∷ T_HsEq_28 Source #

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

du_decEq'45'Array'45''10214'_'10215'tag_462 ∷ T_Array_602 AgdaAny → T_Array_602 AgdaAny → T_Dec_20 Source #

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

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

d_'46'extendedlambda8_590 ∷ 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_614 ∷ 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_646 ∷ T__'8866''9839'_4 → AgdaAny → AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

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

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

d_'46'extendedlambda13_812 ∷ 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_890 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

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

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

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

d_'46'extendedlambda18_1202 ∷ 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_1270 ∷ T_Builtin_2 → T_Builtin_2 → (T__'8801'__12 → T_Irrelevant_20) → Integer → T__'8801'__12 → T_Irrelevant_20 Source #