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

MAlonzo.Code.Algebra.Structures.Biased

Documentation

d__DistributesOver__18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAny) → () Source #

d__DistributesOver'691'__20T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAny) → () Source #

d__DistributesOver'737'__22T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAny) → () Source #

d_Commutative_38T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → () Source #

d_Identity_50T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → AgdaAny → (AgdaAnyAgdaAnyAgdaAny) → () Source #

d_LeftIdentity_64T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → AgdaAny → (AgdaAnyAgdaAnyAgdaAny) → () Source #

d_LeftZero_68T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → AgdaAny → (AgdaAnyAgdaAnyAgdaAny) → () Source #

d_RightIdentity_76T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → AgdaAny → (AgdaAnyAgdaAnyAgdaAny) → () Source #

d_RightZero_80T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → AgdaAny → (AgdaAnyAgdaAnyAgdaAny) → () Source #

d_Zero_84T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → AgdaAny → (AgdaAnyAgdaAnyAgdaAny) → () Source #

d_IsAbelianGroup_88 ∷ p → p → p → p → p → p → p → () Source #

d_IsCommutativeMonoid_100 ∷ p → p → p → p → p → p → () Source #

d_IsCommutativeSemiring_106 ∷ p → p → p → p → p → p → p → p → () Source #

d_IsMonoid_120 ∷ p → p → p → p → p → p → () Source #

d_IsRing_124 ∷ p → p → p → p → p → p → p → p → p → () Source #

d_IsSemigroup_128 ∷ p → p → p → p → p → () Source #

d_IsCommutativeMonoid'737'_1514 ∷ p → p → p → p → p → p → () Source #

d_IsCommutativeMonoid'691'_1568 ∷ p → p → p → p → p → p → () Source #

d_IsCommutativeSemiring'737'_1626 ∷ p → p → p → p → p → p → p → p → () Source #

d_IsCommutativeSemiring'691'_1754 ∷ p → p → p → p → p → p → p → p → () Source #

d_IsRingWithoutAnnihilatingZero_1884 ∷ p → p → p → p → p → p → p → p → p → () Source #