Moduleplutus-tx-1.70.0.0

PlutusTx.Numeric

4 types
6 classes
4 values

Packageplutus-tx-1.70.0.0
Exports14
LicenceApache-2.0

valueabs :: (Ord n, AdditiveGroup n) => n -> n

valuedivMod :: Integer -> Integer -> (Integer, Integer)

valuenegate :: AdditiveGroup a => a -> a

valuequotRem :: Integer -> Integer -> (Integer, Integer)

newtypenewtype Additive a

Constructors

Additive a

Instances3AdditiveMonoid, AdditiveGroup, AdditiveSemigroup

Monoid a => AdditiveMonoid (Additive a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
Group a => AdditiveGroup (Additive a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
Semigroup a => AdditiveSemigroup (Additive a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Numeric

classclass AdditiveMonoid a => AdditiveGroup a where

Methods

(-) :: a -> a -> ainfixl 6

Instances3AdditiveGroup

AdditiveGroup IntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
AdditiveGroup RationalDefined in plutus-tx-1.70.0.0 · PlutusTx.Ratio
Group a => AdditiveGroup (Additive a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Numeric

classclass AdditiveSemigroup a => AdditiveMonoid a where

Methods

zero :: a

Instances4AdditiveMonoid

AdditiveMonoid IntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
AdditiveMonoid BoolDefined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
AdditiveMonoid RationalDefined in plutus-tx-1.70.0.0 · PlutusTx.Ratio
Monoid a => AdditiveMonoid (Additive a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Numeric

classclass AdditiveSemigroup a where

Methods

(+) :: a -> a -> ainfixl 6

Instances4AdditiveSemigroup

AdditiveSemigroup IntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
AdditiveSemigroup BoolDefined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
AdditiveSemigroup RationalDefined in plutus-tx-1.70.0.0 · PlutusTx.Ratio
Semigroup a => AdditiveSemigroup (Additive a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Numeric

classclass (Ring s, AdditiveGroup v) => Module s v | v -> s where

Methods

scale :: s -> v -> v

Instances1Module

Module Integer RationalDefined in plutus-tx-1.70.0.0 · PlutusTx.Ratio

newtypenewtype Multiplicative a

Constructors

Multiplicative a

Instances2MultiplicativeMonoid, MultiplicativeSemigroup

Monoid a => MultiplicativeMonoid (Multiplicative a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
Semigroup a => MultiplicativeSemigroup (Multiplicative a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Numeric

classclass MultiplicativeSemigroup a => MultiplicativeMonoid a where

Methods

one :: a

Instances4MultiplicativeMonoid

MultiplicativeMonoid IntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
MultiplicativeMonoid BoolDefined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
MultiplicativeMonoid RationalDefined in plutus-tx-1.70.0.0 · PlutusTx.Ratio
Monoid a => MultiplicativeMonoid (Multiplicative a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Numeric

classclass MultiplicativeSemigroup a where

Methods

(*) :: a -> a -> ainfixl 7

Instances4MultiplicativeSemigroup

MultiplicativeSemigroup IntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
MultiplicativeSemigroup BoolDefined in plutus-tx-1.70.0.0 · PlutusTx.Numeric
MultiplicativeSemigroup RationalDefined in plutus-tx-1.70.0.0 · PlutusTx.Ratio
Semigroup a => MultiplicativeSemigroup (Multiplicative a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Numeric

typetype Ring a = (AdditiveGroup a, MultiplicativeMonoid a)

typetype Semiring a = (AdditiveMonoid a, MultiplicativeMonoid a)

Orphan instances

4 instances

AdditiveMonoid a => Monoid (Sum a)
MultiplicativeMonoid a => Monoid (Product a)
AdditiveSemigroup a => Semigroup (Sum a)
MultiplicativeSemigroup a => Semigroup (Product a)