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

MAlonzo.Code.Algebra.Construct.NaturalChoice.MinOp

Documentation

d_IsBand_156 ∷ p → p → p → p → p → p → () Source #

d_IsCommutativeSemigroup_170 ∷ p → p → p → p → p → p → () Source #

d_IsMagma_184 ∷ p → p → p → p → p → p → () Source #

d_IsMonoid_186 ∷ p → p → p → p → p → p → p → () Source #

d_IsSelectiveMagma_192 ∷ p → p → p → p → p → p → () Source #

d_IsSemigroup_194 ∷ p → p → p → p → p → p → () Source #

d_IsSemilattice_196 ∷ p → p → p → p → p → p → () Source #