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 #