Safe Haskell	None
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 () Source #
Instance details Defined in PlutusTx.Monoid Methods mempty :: () Source #
Monoid BuiltinString Source #
Instance details Defined in PlutusTx.Monoid Methods mempty :: BuiltinString Source #
Monoid BuiltinByteString Source #
Instance details Defined in PlutusTx.Monoid Methods mempty :: BuiltinByteString Source #
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 #