| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusTx.Numeric
Synopsis
- class AdditiveSemigroup a where
- (+) :: a -> a -> a
- class AdditiveSemigroup a => AdditiveMonoid a where
- zero :: a
- class AdditiveMonoid a => AdditiveGroup a where
- (-) :: a -> a -> a
- class MultiplicativeSemigroup a where
- (*) :: a -> a -> a
- class MultiplicativeSemigroup a => MultiplicativeMonoid a where
- one :: a
- type Semiring a = (AdditiveMonoid a, MultiplicativeMonoid a)
- type Ring a = (AdditiveGroup a, MultiplicativeMonoid a)
- class (Ring s, AdditiveGroup v) => Module s v | v -> s where
- scale :: s -> v -> v
- newtype Additive a = Additive a
- newtype Multiplicative a = Multiplicative a
- negate :: AdditiveGroup a => a -> a
- divMod :: Integer -> Integer -> (Integer, Integer)
- quotRem :: Integer -> Integer -> (Integer, Integer)
- abs :: (Ord n, AdditiveGroup n) => n -> n
Type classes
class AdditiveSemigroup a where #
A Semigroup that it is sensible to describe using addition.
Instances
class AdditiveSemigroup a => AdditiveMonoid a where #
A Monoid that it is sensible to describe using addition and zero.
Instances
| AdditiveMonoid Rational # | |
Defined in PlutusTx.Ratio | |
| AdditiveMonoid Integer # | |
Defined in PlutusTx.Numeric | |
| AdditiveMonoid Bool # | |
Defined in PlutusTx.Numeric | |
| Monoid a => AdditiveMonoid (Additive a) # | |
Defined in PlutusTx.Numeric | |
class AdditiveMonoid a => AdditiveGroup a where #
A Group that it is sensible to describe using addition, zero, and subtraction.
Instances
| AdditiveGroup Rational # | |
| AdditiveGroup Integer # | |
| Group a => AdditiveGroup (Additive a) # | |
class MultiplicativeSemigroup a where #
A Semigroup that it is sensible to describe using multiplication.
Instances
| MultiplicativeSemigroup Rational # | |
| MultiplicativeSemigroup Integer # | |
| MultiplicativeSemigroup Bool # | |
| Semigroup a => MultiplicativeSemigroup (Multiplicative a) # | |
Defined in PlutusTx.Numeric Methods (*) :: Multiplicative a -> Multiplicative a -> Multiplicative a # | |
class MultiplicativeSemigroup a => MultiplicativeMonoid a where #
A Semigroup that it is sensible to describe using multiplication and one.
Instances
| MultiplicativeMonoid Rational # | |
Defined in PlutusTx.Ratio | |
| MultiplicativeMonoid Integer # | |
Defined in PlutusTx.Numeric | |
| MultiplicativeMonoid Bool # | |
Defined in PlutusTx.Numeric | |
| Monoid a => MultiplicativeMonoid (Multiplicative a) # | |
Defined in PlutusTx.Numeric Methods one :: Multiplicative a # | |
type Semiring a = (AdditiveMonoid a, MultiplicativeMonoid a) #
A semiring.
type Ring a = (AdditiveGroup a, MultiplicativeMonoid a) #
A ring.
class (Ring s, AdditiveGroup v) => Module s v | v -> s where #
A module, with a type of scalars which can be used to scale the values.
Helper newtypes
A newtype wrapper to derive Additive classes via.
Constructors
| Additive a |
Instances
| Group a => AdditiveGroup (Additive a) # | |
| Monoid a => AdditiveMonoid (Additive a) # | |
Defined in PlutusTx.Numeric | |
| Semigroup a => AdditiveSemigroup (Additive a) # | |
newtype Multiplicative a #
A newtype wrapper to derive Multiplicative classes via.
Constructors
| Multiplicative a |
Instances
| Monoid a => MultiplicativeMonoid (Multiplicative a) # | |
Defined in PlutusTx.Numeric Methods one :: Multiplicative a # | |
| Semigroup a => MultiplicativeSemigroup (Multiplicative a) # | |
Defined in PlutusTx.Numeric Methods (*) :: Multiplicative a -> Multiplicative a -> Multiplicative a # | |
Helper functions
negate :: AdditiveGroup a => a -> a #
abs :: (Ord n, AdditiveGroup n) => n -> n #
Absolute value for any AdditiveGroup.
Orphan instances
| MultiplicativeMonoid a => Monoid (Product a) # | |
| AdditiveMonoid a => Monoid (Sum a) # | |
| MultiplicativeSemigroup a => Semigroup (Product a) # | |
| AdditiveSemigroup a => Semigroup (Sum a) # | |