plutus-tx-1.30.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Monoid

Synopsis

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

Monoid BuiltinString Source # 
Instance details

Defined in PlutusTx.Monoid

Monoid () Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

mempty ∷ () Source #

Monoid (First a) Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

memptyFirst a Source #

Monoid a ⇒ Monoid (Dual a) Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

memptyDual a Source #

Monoid (Endo a) Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

memptyEndo a Source #

MultiplicativeMonoid a ⇒ Monoid (Product a) Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

memptyProduct a Source #

AdditiveMonoid a ⇒ Monoid (Sum a) Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

memptySum a Source #

BoundedJoinSemiLattice a ⇒ Monoid (Join a) Source # 
Instance details

Defined in PlutusTx.Lattice

Methods

memptyJoin a Source #

BoundedMeetSemiLattice a ⇒ Monoid (Meet a) Source # 
Instance details

Defined in PlutusTx.Lattice

Methods

memptyMeet a Source #

Semigroup a ⇒ Monoid (Maybe a) Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

memptyMaybe 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

memptyMap k v Source #

(Monoid a, Monoid b) ⇒ Monoid (a, b) Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

mempty ∷ (a, b) Source #

mappendMonoid a ⇒ a → a → a Source #

Plutus Tx version of mappend.

mconcatMonoid a ⇒ [a] → a Source #

Plutus Tx version of mconcat.

class Monoid a ⇒ Group a where Source #

Methods

inv ∷ a → a Source #

gsubGroup a ⇒ a → a → a Source #