plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Untyped.Equality

Documentation

data HasEq a #

Constructors

Eq a => HasEq 

d_DecEq_6 :: p -> () #

newtype T_DecEq_6 #

Constructors

C_DecEq'46'constructor_11 (AgdaAny -> AgdaAny -> T_Dec_20) 

d__'8799'__12 :: T_DecEq_6 -> AgdaAny -> AgdaAny -> T_Dec_20 #

d__'8799'__16 :: T_DecEq_6 -> AgdaAny -> AgdaAny -> T_Dec_20 #

type T_HasEq_18 a0 = HasEq a0 #

d_HasEq_18 :: a #

d_hasEq'45'TyTag_22 :: a #

d_HsEq_26 :: p -> () #

newtype T_HsEq_26 #

Constructors

C_HsEq'46'constructor_57 (AgdaAny -> AgdaAny -> Bool) 

d_hsEq_32 :: T_HsEq_26 -> AgdaAny -> AgdaAny -> Bool #

d_hsEq_36 :: T_HsEq_26 -> AgdaAny -> AgdaAny -> Bool #

d_eqArray_42 :: forall xA. () -> T_HasEq_18 xA -> T_Array_592 xA -> T_Array_592 xA -> Bool #

d_decEq'45'TmCon_44 :: T_TmCon_202 -> T_TmCon_202 -> T_Dec_20 #

d_decEq'45''10214'_'10215'tag_48 :: T__'8866''9839'_4 -> AgdaAny -> AgdaAny -> T_Dec_20 #

d_decEq'45''8866'_52 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Dec_20 #

d_decPointwise_64 :: T_Level_18 -> T_Level_18 -> () -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] -> T_Dec_20 #

du_decPointwise_64 :: (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] -> T_Dec_20 #

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 #

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 #

d_DecAtomicTyCon_140 :: T_DecEq_6 #

d_DecEq'45'TmCon_142 :: T_DecEq_6 #

d_DecEq'45''8866'_146 :: Integer -> T_DecEq_6 #

d_DecEq'45'List_152 :: () -> T_DecEq_6 -> T_DecEq_6 #

du_DecEq'45'List_152 :: T_DecEq_6 -> T_DecEq_6 #

d_DecEq'45'Builtin_156 :: T_DecEq_6 #

d_DecEq'45'ℕ_158 :: T_DecEq_6 #

d_DecEq'45'ℤ_160 :: T_DecEq_6 #

d_DecEq'45'String_162 :: T_DecEq_6 #

d_DecEq'45'Unit_164 :: T_DecEq_6 #

d_DecEq'45'Bool_166 :: T_DecEq_6 #

d_DecEq'45'TyTag_168 :: T_DecEq_6 #

d_DecEq'45''10214'_'10215'tag_172 :: T__'8866''9839'_4 -> T_DecEq_6 #

d_listDec_178 :: () -> (AgdaAny -> AgdaAny -> T_Dec_20) -> T_List_444 AgdaAny -> T_List_444 AgdaAny -> T_Dec_20 #

du_listDec_178 :: (AgdaAny -> AgdaAny -> T_Dec_20) -> T_List_444 AgdaAny -> T_List_444 AgdaAny -> T_Dec_20 #

d_'46'extendedlambda2_214 :: () -> (AgdaAny -> AgdaAny -> T_Dec_20) -> AgdaAny -> AgdaAny -> (T__'8801'__12 -> T_Irrelevant_20) -> T_List_444 AgdaAny -> T_List_444 AgdaAny -> T__'8801'__12 -> T_Irrelevant_20 #

d_'46'extendedlambda3_242 :: () -> (AgdaAny -> AgdaAny -> T_Dec_20) -> T_List_444 AgdaAny -> T_List_444 AgdaAny -> (T__'8801'__12 -> T_Irrelevant_20) -> AgdaAny -> T__'8801'__12 -> T_Irrelevant_20 #

d_pairDec_258 :: () -> () -> (AgdaAny -> AgdaAny -> T_Dec_20) -> (AgdaAny -> AgdaAny -> T_Dec_20) -> T__'215'__426 AgdaAny AgdaAny -> T__'215'__426 AgdaAny AgdaAny -> T_Dec_20 #

du_pairDec_258 :: (AgdaAny -> AgdaAny -> T_Dec_20) -> (AgdaAny -> AgdaAny -> T_Dec_20) -> T__'215'__426 AgdaAny AgdaAny -> T__'215'__426 AgdaAny AgdaAny -> T_Dec_20 #

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 #

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 #

d_DecEq'45'UList_324 :: () -> T_DecEq_6 -> T_DecEq_6 #

du_DecEq'45'UList_324 :: T_DecEq_6 -> T_DecEq_6 #

d_DecEq'45'Pair_336 :: () -> () -> T_DecEq_6 -> T_DecEq_6 -> T_DecEq_6 #

du_DecEq'45'Pair_336 :: T_DecEq_6 -> T_DecEq_6 -> T_DecEq_6 #

d_fromDec_346 :: () -> T_DecEq_6 -> T_HsEq_26 #

du_fromDec_346 :: T_DecEq_6 -> T_HsEq_26 #

d_HsEqBytestring_352 :: T_HsEq_26 #

d_HsEqArray_360 :: () -> T_HasEq_18 AgdaAny -> T_HsEq_26 -> T_HsEq_26 #

du_HsEqArray_360 :: T_HsEq_26 #

d_HsEqList_368 :: () -> T_DecEq_6 -> T_HsEq_26 #

du_HsEqList_368 :: T_DecEq_6 -> T_HsEq_26 #

d_HsEqPair_378 :: () -> () -> T_DecEq_6 -> T_DecEq_6 -> T_HsEq_26 #

du_HsEqPair_378 :: T_DecEq_6 -> T_DecEq_6 -> T_HsEq_26 #

d_HsEqBlsG1_380 :: T_HsEq_26 #

d_HsEqBlsG2_382 :: T_HsEq_26 #

d_HsEqBlsMlResult_384 :: T_HsEq_26 #

d_HsEqDATA_386 :: T_HsEq_26 #

d_HsEq'45''10214'_'10215'tag_390 :: T__'8866''9839'_4 -> T_HsEq_26 #

d_magicNeg_406 :: a #

d_builtinEq_412 :: () -> T_HsEq_26 -> AgdaAny -> AgdaAny -> T_Dec_20 #

du_builtinEq_412 :: T_HsEq_26 -> AgdaAny -> AgdaAny -> T_Dec_20 #

d_hsEqArrayHelper_448 :: T__'8866''9839'_4 -> T_HsEq_26 #

du_hsEqArrayHelper_448 :: T_HsEq_26 #

d_decEq'45'Array'45''10214'_'10215'tag_454 :: T__'8866''9839'_4 -> T_Array_592 AgdaAny -> T_Array_592 AgdaAny -> T_Dec_20 #

du_decEq'45'Array'45''10214'_'10215'tag_454 :: T_Array_592 AgdaAny -> T_Array_592 AgdaAny -> T_Dec_20 #

d_'46'extendedlambda6_498 :: T__'8866''9839'_4 -> AgdaAny -> AgdaAny -> (T__'8801'__12 -> T_Irrelevant_20) -> T_List_444 AgdaAny -> T_List_444 AgdaAny -> T__'8801'__12 -> T_Irrelevant_20 #

d_'46'extendedlambda7_536 :: T__'8866''9839'_4 -> T_List_444 AgdaAny -> T_List_444 AgdaAny -> (T__'8801'__12 -> T_Irrelevant_20) -> AgdaAny -> T__'8801'__12 -> T_Irrelevant_20 #

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 #

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 #

d_'46'extendedlambda10_638 :: T__'8866''9839'_4 -> AgdaAny -> AgdaAny -> (T__'8801'__12 -> T_Irrelevant_20) -> T__'8801'__12 -> T_Irrelevant_20 #

d_'46'extendedlambda11_658 :: Integer -> T_Fin_10 -> T_Fin_10 -> (T__'8801'__12 -> T_Irrelevant_20) -> T__'8801'__12 -> T_Irrelevant_20 #

d_'46'extendedlambda12_724 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> (T__'8801'__12 -> T_Irrelevant_20) -> T__'8801'__12 -> T_Irrelevant_20 #

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 #

d_'46'extendedlambda14_882 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> (T__'8801'__12 -> T_Irrelevant_20) -> T__'8801'__12 -> T_Irrelevant_20 #

d_'46'extendedlambda15_946 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> (T__'8801'__12 -> T_Irrelevant_20) -> T__'8801'__12 -> T_Irrelevant_20 #

d_'46'extendedlambda16_1010 :: T_TmCon_202 -> T_TmCon_202 -> (T__'8801'__12 -> T_Irrelevant_20) -> Integer -> T__'8801'__12 -> T_Irrelevant_20 #

d_'46'extendedlambda17_1098 :: Integer -> Integer -> [T__'8866'_14] -> Integer -> [T__'8866'_14] -> (T_Σ_14 -> T_Irrelevant_20) -> T__'8801'__12 -> T_Irrelevant_20 #

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 #

d_'46'extendedlambda19_1262 :: T_Builtin_2 -> T_Builtin_2 -> (T__'8801'__12 -> T_Irrelevant_20) -> Integer -> T__'8801'__12 -> T_Irrelevant_20 #