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 #