Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Monoid

Synopsis

class Semigroup a ⇒ Monoid a where
- mempty ∷ a
mappend ∷ Monoid a ⇒ a → a → a
mconcat ∷ Monoid a ⇒ [a] → a
class Monoid a ⇒ Group a where
- inv ∷ a → a
gsub ∷ Group a ⇒ a → a → a

Documentation

class Semigroup a ⇒ Monoid a where Source #

Plutus Tx version of Monoid.

Methods

mempty ∷ a Source #

Plutus Tx version of mempty.

Instances

Instances details

Monoid BuiltinByteString Source #
Instance details Defined in PlutusTx.Monoid Methods mempty ∷ BuiltinByteString Source #
Monoid BuiltinString Source #
Instance details Defined in PlutusTx.Monoid Methods mempty ∷ BuiltinString Source #
Monoid () Source #
Instance details Defined in PlutusTx.Monoid Methods mempty ∷ () Source #
Monoid (First a) Source #
Instance details Defined in PlutusTx.Monoid Methods mempty ∷ First a Source #
Monoid a ⇒ Monoid (Dual a) Source #
Instance details Defined in PlutusTx.Monoid Methods mempty ∷ Dual a Source #
Monoid (Endo a) Source #
Instance details Defined in PlutusTx.Monoid Methods mempty ∷ Endo a Source #
MultiplicativeMonoid a ⇒ Monoid (Product a) Source #
Instance details Defined in PlutusTx.Numeric Methods mempty ∷ Product a Source #
AdditiveMonoid a ⇒ Monoid (Sum a) Source #
Instance details Defined in PlutusTx.Numeric Methods mempty ∷ Sum a Source #
BoundedJoinSemiLattice a ⇒ Monoid (Join a) Source #
Instance details Defined in PlutusTx.Lattice Methods mempty ∷ Join a Source #
BoundedMeetSemiLattice a ⇒ Monoid (Meet a) Source #
Instance details Defined in PlutusTx.Lattice Methods mempty ∷ Meet a Source #
Semigroup a ⇒ Monoid (Maybe a) Source #
Instance details Defined in PlutusTx.Monoid Methods mempty ∷ Maybe a Source #
Monoid [a] Source #
Instance details Defined in PlutusTx.Monoid Methods mempty ∷ [a] Source #
(Eq k, Semigroup v) ⇒ Monoid (Map k v) Source #
Instance details Defined in PlutusTx.AssocMap Methods mempty ∷ Map k v Source #
(Monoid a, Monoid b) ⇒ Monoid (a, b) Source #
Instance details Defined in PlutusTx.Monoid Methods mempty ∷ (a, b) Source #

mappend ∷ Monoid a ⇒ a → a → a Source #

Plutus Tx version of mappend.

mconcat ∷ Monoid a ⇒ [a] → a Source #

Plutus Tx version of mconcat.

class Monoid a ⇒ Group a where Source #

Methods

inv ∷ a → a Source #

gsub ∷ Group a ⇒ a → a → a Source #