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_230 ∷ p → p → p → p → p → p → () Source #

d_IsCommutativeSemigroup_242 ∷ p → p → p → p → p → p → () Source #

d_IsMagma_270 ∷ p → p → p → p → p → p → () Source #

d_IsMonoid_276 ∷ p → p → p → p → p → p → p → () Source #

d_IsSelectiveMagma_296 ∷ p → p → p → p → p → p → () Source #

d_IsSemigroup_298 ∷ p → p → p → p → p → p → () Source #