plutus-tx-0.1.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellNone
LanguageHaskell2010

PlutusTx.Semigroup

Synopsis

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

Semigroup () Source # 
Instance details

Defined in PlutusTx.Semigroup

Methods

(<>) :: () -> () -> () Source #

Semigroup BuiltinString Source # 
Instance details

Defined in PlutusTx.Semigroup

Semigroup BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Semigroup

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

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

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 #