liqwid-plutarch-extra-3.21.1: A collection of Plutarch extras from Liqwid Labs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Plutarch.Numeric.Additive

Contents

Synopsis

Type classes

class AdditiveSemigroup a where Source #

Since: 3.2.0

Methods

(+) :: a -> a -> a Source #

Instances

Instances details
KnownNat u => AdditiveSemigroup (Term s (PFixed u)) Source #

Since: 3.12.0

Instance details

Defined in Plutarch.Extra.Fixed

Methods

(+) :: Term s (PFixed u) -> Term s (PFixed u) -> Term s (PFixed u) Source #

AdditiveSemigroup (Term s PInteger) Source #

Since: 3.2.0

Instance details

Defined in Plutarch.Numeric.Additive

Methods

(+) :: Term s PInteger -> Term s PInteger -> Term s PInteger Source #

class AdditiveSemigroup a => AdditiveMonoid a where Source #

Since: 3.2.0

Methods

zero :: a Source #

Instances

Instances details
KnownNat u => AdditiveMonoid (Term s (PFixed u)) Source #

Since: 3.12.0

Instance details

Defined in Plutarch.Extra.Fixed

Methods

zero :: Term s (PFixed u) Source #

AdditiveMonoid (Term s PInteger) Source #

Since: 3.2.0

Instance details

Defined in Plutarch.Numeric.Additive

Methods

zero :: Term s PInteger Source #