Modulelinear-base-0.8.1

Data.Num.Linear

2 types
9 classes
2 values

Packagelinear-base-0.8.1
Exports13
LicenceMIT

valuegetAdded :: Adding a %1 -> a

Deprecated. Use Sum (reexported as Sum) and pattern-match to extract the inner value linearly

valuegetMultiplied :: Multiplying a %1 -> a

Deprecated. Use Product (reexported as Product) and pattern-match to extract the inner value linearly

classclass Additive a => AddIdentity a where

Methods

zero :: a

Instances15AddIdentity, …

AddIdentity IntegerDefined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity NaturalDefined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity Int16Defined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity Int32Defined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity Int64Defined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity Int8Defined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity DoubleDefined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity FloatDefined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity IntDefined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity WordDefined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity Word16Defined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity Word32Defined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity Word64Defined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity Word8Defined in linear-base-0.8.1 · Data.Num.Linear
(Movable a, Num a) => AddIdentity (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear

newtypenewtype Adding a

Deprecated. Use Sum (reexported as Sum) instead

Constructors

Adding a

Instances7Eq, Ord, Show, Monoid, Semigroup, …

Eq a => Eq (Adding a)Defined in linear-base-0.8.1 · Data.Num.Linear
Ord a => Ord (Adding a)Defined in linear-base-0.8.1 · Data.Num.Linear
Show a => Show (Adding a)Defined in linear-base-0.8.1 · Data.Num.Linear
Additive a => Semigroup (Adding a)Defined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity a => Monoid (Adding a)Defined in linear-base-0.8.1 · Data.Num.Linear
AddIdentity a => Monoid (Adding a)Defined in linear-base-0.8.1 · Data.Num.Linear
Additive a => Semigroup (Adding a)Defined in linear-base-0.8.1 · Data.Num.Linear

classclass Additive a where

Methods

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

Instances15Additive, …

Additive IntegerDefined in linear-base-0.8.1 · Data.Num.Linear
Additive NaturalDefined in linear-base-0.8.1 · Data.Num.Linear
Additive Int16Defined in linear-base-0.8.1 · Data.Num.Linear
Additive Int32Defined in linear-base-0.8.1 · Data.Num.Linear
Additive Int64Defined in linear-base-0.8.1 · Data.Num.Linear
Additive Int8Defined in linear-base-0.8.1 · Data.Num.Linear
Additive DoubleDefined in linear-base-0.8.1 · Data.Num.Linear
Additive FloatDefined in linear-base-0.8.1 · Data.Num.Linear
Additive IntDefined in linear-base-0.8.1 · Data.Num.Linear
Additive WordDefined in linear-base-0.8.1 · Data.Num.Linear
Additive Word16Defined in linear-base-0.8.1 · Data.Num.Linear
Additive Word32Defined in linear-base-0.8.1 · Data.Num.Linear
Additive Word64Defined in linear-base-0.8.1 · Data.Num.Linear
Additive Word8Defined in linear-base-0.8.1 · Data.Num.Linear
(Movable a, Num a) => Additive (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear

classclass AddIdentity a => AdditiveGroup a where

Methods

negate :: a %1 -> a
(-) :: a %1 -> a %1 -> ainfixl 6

Instances15AdditiveGroup, …

AdditiveGroup IntegerDefined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup NaturalDefined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup Int16Defined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup Int32Defined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup Int64Defined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup Int8Defined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup DoubleDefined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup FloatDefined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup IntDefined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup WordDefined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup Word16Defined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup Word32Defined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup Word64Defined in linear-base-0.8.1 · Data.Num.Linear
AdditiveGroup Word8Defined in linear-base-0.8.1 · Data.Num.Linear
(Movable a, Num a) => AdditiveGroup (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear

classclass FromInteger a where

Methods

fromInteger :: Integer %1 -> a

Instances15FromInteger, …

FromInteger IntegerDefined in linear-base-0.8.1 · Data.Num.Linear
FromInteger NaturalDefined in linear-base-0.8.1 · Data.Num.Linear
FromInteger Int16Defined in linear-base-0.8.1 · Data.Num.Linear
FromInteger Int32Defined in linear-base-0.8.1 · Data.Num.Linear
FromInteger Int64Defined in linear-base-0.8.1 · Data.Num.Linear
FromInteger Int8Defined in linear-base-0.8.1 · Data.Num.Linear
FromInteger DoubleDefined in linear-base-0.8.1 · Data.Num.Linear
FromInteger FloatDefined in linear-base-0.8.1 · Data.Num.Linear
FromInteger IntDefined in linear-base-0.8.1 · Data.Num.Linear
FromInteger WordDefined in linear-base-0.8.1 · Data.Num.Linear
FromInteger Word16Defined in linear-base-0.8.1 · Data.Num.Linear
FromInteger Word32Defined in linear-base-0.8.1 · Data.Num.Linear
FromInteger Word64Defined in linear-base-0.8.1 · Data.Num.Linear
FromInteger Word8Defined in linear-base-0.8.1 · Data.Num.Linear
(Movable a, Num a) => FromInteger (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear

classclass Multiplicative a => MultIdentity a where

Methods

one :: a

Instances15MultIdentity, …

MultIdentity IntegerDefined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity NaturalDefined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity Int16Defined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity Int32Defined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity Int64Defined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity Int8Defined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity DoubleDefined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity FloatDefined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity IntDefined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity WordDefined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity Word16Defined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity Word32Defined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity Word64Defined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity Word8Defined in linear-base-0.8.1 · Data.Num.Linear
(Movable a, Num a) => MultIdentity (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear

classclass Multiplicative a where

Methods

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

Instances15Multiplicative, …

Multiplicative IntegerDefined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative NaturalDefined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative Int16Defined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative Int32Defined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative Int64Defined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative Int8Defined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative DoubleDefined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative FloatDefined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative IntDefined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative WordDefined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative Word16Defined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative Word32Defined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative Word64Defined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative Word8Defined in linear-base-0.8.1 · Data.Num.Linear
(Movable a, Num a) => Multiplicative (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear

newtypenewtype Multiplying a

Deprecated. Use Product (reexported as Product) instead

Constructors

Multiplying a

Instances7Eq, Ord, Show, Monoid, Semigroup, …

Eq a => Eq (Multiplying a)Defined in linear-base-0.8.1 · Data.Num.Linear
Ord a => Ord (Multiplying a)Defined in linear-base-0.8.1 · Data.Num.Linear
Show a => Show (Multiplying a)Defined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative a => Semigroup (Multiplying a)Defined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity a => Monoid (Multiplying a)Defined in linear-base-0.8.1 · Data.Num.Linear
MultIdentity a => Monoid (Multiplying a)Defined in linear-base-0.8.1 · Data.Num.Linear
Multiplicative a => Semigroup (Multiplying a)Defined in linear-base-0.8.1 · Data.Num.Linear

classclass (Ring a, FromInteger a) => Num a where

Methods

abs :: a %1 -> a
signum :: a %1 -> a

Instances14Num, …

Num IntegerDefined in linear-base-0.8.1 · Data.Num.Linear
Num Int16Defined in linear-base-0.8.1 · Data.Num.Linear
Num Int32Defined in linear-base-0.8.1 · Data.Num.Linear
Num Int64Defined in linear-base-0.8.1 · Data.Num.Linear
Num Int8Defined in linear-base-0.8.1 · Data.Num.Linear
Num DoubleDefined in linear-base-0.8.1 · Data.Num.Linear
Num FloatDefined in linear-base-0.8.1 · Data.Num.Linear
Num IntDefined in linear-base-0.8.1 · Data.Num.Linear
Num WordDefined in linear-base-0.8.1 · Data.Num.Linear
Num Word16Defined in linear-base-0.8.1 · Data.Num.Linear
Num Word32Defined in linear-base-0.8.1 · Data.Num.Linear
Num Word64Defined in linear-base-0.8.1 · Data.Num.Linear
Num Word8Defined in linear-base-0.8.1 · Data.Num.Linear
(Movable a, Num a) => Num (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear

classclass (AdditiveGroup a, Semiring a) => Ring a

Instances14Ring, …

Ring IntegerDefined in linear-base-0.8.1 · Data.Num.Linear
Ring Int16Defined in linear-base-0.8.1 · Data.Num.Linear
Ring Int32Defined in linear-base-0.8.1 · Data.Num.Linear
Ring Int64Defined in linear-base-0.8.1 · Data.Num.Linear
Ring Int8Defined in linear-base-0.8.1 · Data.Num.Linear
Ring DoubleDefined in linear-base-0.8.1 · Data.Num.Linear
Ring FloatDefined in linear-base-0.8.1 · Data.Num.Linear
Ring IntDefined in linear-base-0.8.1 · Data.Num.Linear
Ring WordDefined in linear-base-0.8.1 · Data.Num.Linear
Ring Word16Defined in linear-base-0.8.1 · Data.Num.Linear
Ring Word32Defined in linear-base-0.8.1 · Data.Num.Linear
Ring Word64Defined in linear-base-0.8.1 · Data.Num.Linear
Ring Word8Defined in linear-base-0.8.1 · Data.Num.Linear
(Movable a, Num a) => Ring (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear

classclass (AddIdentity a, MultIdentity a) => Semiring a

Instances15Semiring, …

Semiring IntegerDefined in linear-base-0.8.1 · Data.Num.Linear
Semiring NaturalDefined in linear-base-0.8.1 · Data.Num.Linear
Semiring Int16Defined in linear-base-0.8.1 · Data.Num.Linear
Semiring Int32Defined in linear-base-0.8.1 · Data.Num.Linear
Semiring Int64Defined in linear-base-0.8.1 · Data.Num.Linear
Semiring Int8Defined in linear-base-0.8.1 · Data.Num.Linear
Semiring DoubleDefined in linear-base-0.8.1 · Data.Num.Linear
Semiring FloatDefined in linear-base-0.8.1 · Data.Num.Linear
Semiring IntDefined in linear-base-0.8.1 · Data.Num.Linear
Semiring WordDefined in linear-base-0.8.1 · Data.Num.Linear
Semiring Word16Defined in linear-base-0.8.1 · Data.Num.Linear
Semiring Word32Defined in linear-base-0.8.1 · Data.Num.Linear
Semiring Word64Defined in linear-base-0.8.1 · Data.Num.Linear
Semiring Word8Defined in linear-base-0.8.1 · Data.Num.Linear
(Movable a, Num a) => Semiring (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear

Orphan instances

4 instances

AddIdentity a => Monoid (Sum a)
MultIdentity a => Monoid (Product a)
Additive a => Semigroup (Sum a)
Multiplicative a => Semigroup (Product a)