plutus-tx-0.1.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellNone
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 () Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

mempty :: () Source #

Monoid BuiltinString Source # 
Instance details

Defined in PlutusTx.Monoid

Monoid BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Monoid

Monoid [a] Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

mempty :: [a] Source #

Semigroup a => Monoid (Maybe a) Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

mempty :: Maybe a 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 #

AdditiveMonoid a => Monoid (Sum a) Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

mempty :: Sum a Source #

MultiplicativeMonoid a => Monoid (Product a) Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

mempty :: Product a Source #

BoundedMeetSemiLattice a => Monoid (Meet a) Source # 
Instance details

Defined in PlutusTx.Lattice

Methods

mempty :: Meet a Source #

BoundedJoinSemiLattice a => Monoid (Join a) Source # 
Instance details

Defined in PlutusTx.Lattice

Methods

mempty :: Join a Source #

(Monoid a, Monoid b) => Monoid (a, b) Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

mempty :: (a, b) Source #

(Eq k, Semigroup v) => Monoid (Map k v) Source # 
Instance details

Defined in PlutusTx.AssocMap

Methods

mempty :: Map k v 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 #