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 #

Plutus Tx version of Monoid.

Methods

mempty :: a #

Plutus Tx version of mempty.

Instances

Instances details

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

mappend :: Monoid a => a -> a -> a #

Plutus Tx version of mappend.

mconcat :: Monoid a => [a] -> a #

Plutus Tx version of mconcat.

class Monoid a => Group a where #

Methods

inv :: a -> a #

gsub :: Group a => a -> a -> a #