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_478 xA → T_Array_478 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'_54 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_decEq'45''8866'_54 ∷ T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

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

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

d_'46'extendedlambda0_122 ∷ 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_138 ∷ 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_DecEq'45'Maybe_146 ∷ () → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45'Maybe_146 ∷ T_DecEq_6 → T_DecEq_6 Source #

d_EmptyEq_152 ∷ T_DecEq_6 Source #

d_DecAtomicTyCon_154 ∷ T_DecEq_6 Source #

d_DecEq'45'TmCon_156 ∷ T_DecEq_6 Source #

d_DecEq'45''8866'_162 ∷ () → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45''8866'_162 ∷ T_DecEq_6 → T_DecEq_6 Source #

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

du_DecEq'45'List_168 ∷ T_DecEq_6 → T_DecEq_6 Source #

d_DecEq'45'Builtin_172 ∷ T_DecEq_6 Source #

d_DecEq'45'ℕ_174 ∷ T_DecEq_6 Source #

d_DecEq'45'ℤ_176 ∷ T_DecEq_6 Source #

d_DecEq'45'String_178 ∷ T_DecEq_6 Source #

d_DecEq'45'Unit_180 ∷ T_DecEq_6 Source #

d_DecEq'45'Bool_182 ∷ T_DecEq_6 Source #

d_DecEq'45'TyTag_184 ∷ T_DecEq_6 Source #

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

d_listDec_194 ∷ () → (AgdaAny → AgdaAny → T_Dec_20) → T_List_384 AgdaAny → T_List_384 AgdaAny → T_Dec_20 Source #

du_listDec_194 ∷ (AgdaAny → AgdaAny → T_Dec_20) → T_List_384 AgdaAny → T_List_384 AgdaAny → T_Dec_20 Source #

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

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

d_pairDec_274 ∷ () → () → (AgdaAny → AgdaAny → T_Dec_20) → (AgdaAny → AgdaAny → T_Dec_20) → T__'215'__366 AgdaAny AgdaAny → T__'215'__366 AgdaAny AgdaAny → T_Dec_20 Source #

du_pairDec_274 ∷ (AgdaAny → AgdaAny → T_Dec_20) → (AgdaAny → AgdaAny → T_Dec_20) → T__'215'__366 AgdaAny AgdaAny → T__'215'__366 AgdaAny AgdaAny → T_Dec_20 Source #

d_'46'extendedlambda4_318 ∷ () → () → (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_334 ∷ () → () → (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_340 ∷ () → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45'UList_340 ∷ T_DecEq_6 → T_DecEq_6 Source #

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

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

d_fromDec_362 ∷ () → T_DecEq_6 → T_HsEq_26 Source #

du_fromDec_362 ∷ T_DecEq_6 → T_HsEq_26 Source #

d_HsEqBytestring_368 ∷ T_HsEq_26 Source #

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

du_HsEqArray_376 ∷ T_HsEq_26 Source #

d_HsEqList_384 ∷ () → T_DecEq_6 → T_HsEq_26 Source #

du_HsEqList_384 ∷ T_DecEq_6 → T_HsEq_26 Source #

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

du_HsEqPair_394 ∷ T_DecEq_6 → T_DecEq_6 → T_HsEq_26 Source #

d_HsEqBlsG1_396 ∷ T_HsEq_26 Source #

d_HsEqBlsG2_398 ∷ T_HsEq_26 Source #

d_HsEqBlsMlResult_400 ∷ T_HsEq_26 Source #

d_HsEqDATA_402 ∷ T_HsEq_26 Source #

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

d_magicNeg_422 ∷ a Source #

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

du_builtinEq_428 ∷ T_HsEq_26 → AgdaAny → AgdaAny → T_Dec_20 Source #

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

du_hsEqArrayHelper_464 ∷ T_HsEq_26 Source #

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

du_decEq'45'Array'45''10214'_'10215'tag_470 ∷ T_Array_478 AgdaAny → T_Array_478 AgdaAny → T_Dec_20 Source #

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

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

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

d_'46'extendedlambda11_674 ∷ () → T_DecEq_6 → AgdaAny → AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda12_740 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda13_820 ∷ () → T_DecEq_6 → 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_898 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda15_962 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda16_1026 ∷ T_TmCon_202 → T_TmCon_202 → (T__'8801'__12 → T_Irrelevant_20) → () → T_DecEq_6 → T__'8801'__12 → T_Irrelevant_20 Source #

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

d_'46'extendedlambda18_1210 ∷ () → T_DecEq_6 → 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_1278 ∷ T_Builtin_2 → T_Builtin_2 → (T__'8801'__12 → T_Irrelevant_20) → () → T_DecEq_6 → T__'8801'__12 → T_Irrelevant_20 Source #