Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Semigroup

Synopsis

class Semigroup a where
- (<>) :: a -> a -> a
newtype Max a = Max {
- getMax :: a
}
newtype Min a = Min {
- getMin :: a
}

Documentation

class Semigroup a where Source #

Plutus Tx version of Semigroup.

Methods

(<>) :: a -> a -> a infixr 6 Source #

Plutus Tx version of (<>).

Instances

Instances details

Semigroup Ordering Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: Ordering -> Ordering -> Ordering Source #
Semigroup BuiltinByteString Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source #
Semigroup BuiltinString Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: BuiltinString -> BuiltinString -> BuiltinString Source #
Semigroup () Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: () -> () -> () Source #
Semigroup (First a) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: First a -> First a -> First a Source #
Semigroup a => Semigroup (Dual a) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: Dual a -> Dual a -> Dual a Source #
Semigroup (Endo a) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: Endo a -> Endo a -> Endo a Source #
MultiplicativeSemigroup a => Semigroup (Product a) Source #
Instance details Defined in PlutusTx.Numeric Methods (<>) :: Product a -> Product a -> Product a Source #
AdditiveSemigroup a => Semigroup (Sum a) Source #
Instance details Defined in PlutusTx.Numeric Methods (<>) :: Sum a -> Sum a -> Sum a Source #
JoinSemiLattice a => Semigroup (Join a) Source #
Instance details Defined in PlutusTx.Lattice Methods (<>) :: Join a -> Join a -> Join a Source #
MeetSemiLattice a => Semigroup (Meet a) Source #
Instance details Defined in PlutusTx.Lattice Methods (<>) :: Meet a -> Meet a -> Meet a Source #
Ord a => Semigroup (Max a) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: Max a -> Max a -> Max a Source #
Ord a => Semigroup (Min a) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: Min a -> Min a -> Min a Source #
Semigroup a => Semigroup (Maybe a) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: Maybe a -> Maybe a -> Maybe a Source #
Semigroup [a] Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: [a] -> [a] -> [a] Source #
(Eq k, Semigroup v) => Semigroup (Map k v) Source #
Instance details Defined in PlutusTx.AssocMap Methods (<>) :: Map k v -> Map k v -> Map k v Source #
(Semigroup a, Semigroup b) => Semigroup (a, b) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: (a, b) -> (a, b) -> (a, b) Source #

newtype Max a Source #

Constructors

Max
Fields getMax :: a

Instances

Instances details

Functor Max Source #
Instance details Defined in PlutusTx.Semigroup Methods fmap :: (a -> b) -> Max a -> Max b Source #
Ord a => Semigroup (Max a) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: Max a -> Max a -> Max a Source #

newtype Min a Source #

Constructors

Min
Fields getMin :: a

Instances

Instances details

Functor Min Source #
Instance details Defined in PlutusTx.Semigroup Methods fmap :: (a -> b) -> Min a -> Min b Source #
Ord a => Semigroup (Min a) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: Min a -> Min a -> Min a Source #