Safe Haskell	None
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 () Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: () -> () -> () Source #
Semigroup BuiltinString Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: BuiltinString -> BuiltinString -> BuiltinString Source #
Semigroup BuiltinByteString Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source #
Semigroup [a] Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: [a] -> [a] -> [a] Source #
Semigroup a => Semigroup ( Maybe a) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: Maybe a -> Maybe a -> Maybe a 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 #
AdditiveSemigroup a => Semigroup ( Sum a) Source #
Instance details Defined in PlutusTx.Numeric Methods (<>) :: Sum a -> Sum a -> Sum a Source #
MultiplicativeSemigroup a => Semigroup ( Product a) Source #
Instance details Defined in PlutusTx.Numeric Methods (<>) :: Product a -> Product a -> Product a Source #
Ord a => Semigroup ( Min a) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: Min a -> Min a -> Min a Source #
Ord a => Semigroup ( Max a) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: Max a -> Max a -> Max a Source #
MeetSemiLattice a => Semigroup ( Meet a) Source #
Instance details Defined in PlutusTx.Lattice Methods (<>) :: Meet a -> Meet a -> Meet a Source #
JoinSemiLattice a => Semigroup ( Join a) Source #
Instance details Defined in PlutusTx.Lattice Methods (<>) :: Join a -> Join a -> Join a Source #
( Semigroup a, Semigroup b) => Semigroup (a, b) Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: (a, b) -> (a, b) -> (a, b) 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 #

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 #