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'__16 ∷ T_DecEq_6 → AgdaAny → AgdaAny → T_Dec_20 Source #

type T_HasEq_18 a0 = HasEq a0 Source #

d_HasEq_18 ∷ a Source #

d_hasEq'45'TyTag_22 ∷ a Source #

d_HsEq_26 ∷ p → () Source #

newtype T_HsEq_26 Source #

d_hsEq_32 ∷ T_HsEq_26 → AgdaAny → AgdaAny → Bool Source #

d_hsEq_36 ∷ T_HsEq_26 → AgdaAny → AgdaAny → Bool Source #

d_eqArray_42 ∷ ∀ xA. () → T_HasEq_18 xA → T_Array_508 xA → T_Array_508 xA → Bool Source #

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

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

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

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

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

d_'46'extendedlambda0_120 ∷ 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_136 ∷ 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_140 ∷ T_DecEq_6 Source #

d_DecEq'45'TmCon_142 ∷ T_DecEq_6 Source #

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

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

du_DecEq'45'List_152 ∷ T_DecEq_6 → T_DecEq_6 Source #

d_DecEq'45'Builtin_156 ∷ T_DecEq_6 Source #

d_DecEq'45'ℕ_158 ∷ T_DecEq_6 Source #

d_DecEq'45'ℤ_160 ∷ T_DecEq_6 Source #

d_DecEq'45'String_162 ∷ T_DecEq_6 Source #

d_DecEq'45'Unit_164 ∷ T_DecEq_6 Source #

d_DecEq'45'Bool_166 ∷ T_DecEq_6 Source #

d_DecEq'45'TyTag_168 ∷ T_DecEq_6 Source #

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

d_listDec_178 ∷ () → (AgdaAny → AgdaAny → T_Dec_20) → T_List_414 AgdaAny → T_List_414 AgdaAny → T_Dec_20 Source #

du_listDec_178 ∷ (AgdaAny → AgdaAny → T_Dec_20) → T_List_414 AgdaAny → T_List_414 AgdaAny → T_Dec_20 Source #

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

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

d_pairDec_258 ∷ () → () → (AgdaAny → AgdaAny → T_Dec_20) → (AgdaAny → AgdaAny → T_Dec_20) → T__'215'__396 AgdaAny AgdaAny → T__'215'__396 AgdaAny AgdaAny → T_Dec_20 Source #

du_pairDec_258 ∷ (AgdaAny → AgdaAny → T_Dec_20) → (AgdaAny → AgdaAny → T_Dec_20) → T__'215'__396 AgdaAny AgdaAny → T__'215'__396 AgdaAny AgdaAny → T_Dec_20 Source #

d_'46'extendedlambda4_302 ∷ () → () → (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_318 ∷ () → () → (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_324 ∷ () → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45'UList_324 ∷ T_DecEq_6 → T_DecEq_6 Source #

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

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

d_fromDec_346 ∷ () → T_DecEq_6 → T_HsEq_26 Source #

du_fromDec_346 ∷ T_DecEq_6 → T_HsEq_26 Source #

d_HsEqBytestring_352 ∷ T_HsEq_26 Source #

d_HsEqArray_360 ∷ () → T_HasEq_18 AgdaAny → T_HsEq_26 → T_HsEq_26 Source #

du_HsEqArray_360 ∷ T_HsEq_26 Source #

d_HsEqList_368 ∷ () → T_DecEq_6 → T_HsEq_26 Source #

du_HsEqList_368 ∷ T_DecEq_6 → T_HsEq_26 Source #

d_HsEqPair_378 ∷ () → () → T_DecEq_6 → T_DecEq_6 → T_HsEq_26 Source #

du_HsEqPair_378 ∷ T_DecEq_6 → T_DecEq_6 → T_HsEq_26 Source #

d_HsEqBlsG1_380 ∷ T_HsEq_26 Source #

d_HsEqBlsG2_382 ∷ T_HsEq_26 Source #

d_HsEqBlsMlResult_384 ∷ T_HsEq_26 Source #

d_HsEqDATA_386 ∷ T_HsEq_26 Source #

d_HsEq'45''10214'_'10215'tag_390 ∷ T__'8866''9839'_4 → T_HsEq_26 Source #

d_magicNeg_406 ∷ a Source #

d_builtinEq_412 ∷ () → T_HsEq_26 → AgdaAny → AgdaAny → T_Dec_20 Source #

du_builtinEq_412 ∷ T_HsEq_26 → AgdaAny → AgdaAny → T_Dec_20 Source #

d_hsEqArrayHelper_448 ∷ T__'8866''9839'_4 → T_HsEq_26 Source #

du_hsEqArrayHelper_448 ∷ T_HsEq_26 Source #

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

du_decEq'45'Array'45''10214'_'10215'tag_454 ∷ T_Array_508 AgdaAny → T_Array_508 AgdaAny → T_Dec_20 Source #

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

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

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

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

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

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

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

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

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

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