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 #

Plutus Tx version of Semigroup.

Methods

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

Plutus Tx version of (<>).

Instances

Instances details

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

newtype Max a #

Constructors

Max
Fields getMax :: a

Instances

Instances details

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

newtype Min a #

Constructors

Min
Fields getMin :: a

Instances

Instances details

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