plutus-tx-1.30.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
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

Methods

(<>)OrderingOrderingOrdering Source #

Semigroup BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Semigroup

Semigroup BuiltinString Source # 
Instance details

Defined in PlutusTx.Semigroup

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

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 #