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_204 → T_TmCon_204 → 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_decEqList'45''8866'_60 ∷ Integer → [T__'8866'_14] → [T__'8866'_14] → T_Dec_20 Source #

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

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

d_DecAtomicTyCon_148 ∷ T_DecEq_6 Source #

d_DecEq'45'TmCon_150 ∷ T_DecEq_6 Source #

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

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

du_DecEq'45'List_160 ∷ T_DecEq_6 → T_DecEq_6 Source #

d_DecEq'45'Builtin_164 ∷ T_DecEq_6 Source #

d_DecEq'45'ℕ_166 ∷ T_DecEq_6 Source #

d_DecEq'45'ℤ_168 ∷ T_DecEq_6 Source #

d_DecEq'45'Fin_172 ∷ Integer → T_DecEq_6 Source #

du_DecEq'45'Fin_172 ∷ T_DecEq_6 Source #

d_DecEq'45'String_174 ∷ T_DecEq_6 Source #

d_DecEq'45'Unit_176 ∷ T_DecEq_6 Source #

d_DecEq'45'Bool_178 ∷ T_DecEq_6 Source #

d_DecEq'45'TyTag_180 ∷ T_DecEq_6 Source #

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

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

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

d_pairDec_278 ∷ () → () → (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_278 ∷ (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_DecEq'45'UList_404 ∷ () → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45'UList_404 ∷ T_DecEq_6 → T_DecEq_6 Source #

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

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

d_fromDec_426 ∷ () → T_DecEq_6 → T_HsEq_28 Source #

du_fromDec_426 ∷ T_DecEq_6 → T_HsEq_28 Source #

d_HsEqBytestring_432 ∷ T_HsEq_28 Source #

d_HsEqArray_438 ∷ () → T_HasEq_20 AgdaAny → T_HsEq_28 Source #

du_HsEqArray_438 ∷ T_HsEq_28 Source #

d_HsEqList_446 ∷ () → T_DecEq_6 → T_HsEq_28 Source #

du_HsEqList_446 ∷ T_DecEq_6 → T_HsEq_28 Source #

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

du_HsEqPair_456 ∷ T_DecEq_6 → T_DecEq_6 → T_HsEq_28 Source #

d_HsEqBlsG1_458 ∷ T_HsEq_28 Source #

d_HsEqBlsG2_460 ∷ T_HsEq_28 Source #

d_HsEqBlsMlResult_462 ∷ T_HsEq_28 Source #

d_HsEqDATA_464 ∷ T_HsEq_28 Source #

d_HsEqValue_466 ∷ T_HsEq_28 Source #

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

d_magicNeg_486 ∷ a Source #

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

du_builtinEq_492 ∷ T_HsEq_28 → AgdaAny → AgdaAny → T_Dec_20 Source #

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

du_hsEqArrayHelper_530 ∷ T_HsEq_28 Source #

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

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