Safe Haskell	Safe
Language	Haskell98

Numeric.Additive.Class

Contents

Additive Semigroups
Additive Abelian semigroups
Additive Monoids
Partitionable semigroups

Synopsis

class Additive r where
sum1 :: (Foldable1 f, Additive r) => f r -> r
class Additive r => Abelian r
class Additive r => Idempotent r
sinnum1pIdempotent :: Natural -> r -> r
class Additive m => Partitionable m where

Additive Semigroups

class Additive r where #

(a + b) + c = a + (b + c)
sinnum 1 a = a
sinnum (2 * n) a = sinnum n a + sinnum n a
sinnum (2 * n + 1) a = sinnum n a + sinnum n a + a

Minimal complete definition

(+)

Methods

(+) :: r -> r -> r infixl 6 #

sinnum1p :: Natural -> r -> r #

sinnum1p n r = sinnum (1 + n) r

sumWith1 :: Foldable1 f => (a -> r) -> f a -> r #

Instances

Additive Bool #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Bool -> Bool -> Bool # sinnum1p :: Natural -> Bool -> Bool # sumWith1 :: Foldable1 f => (a -> Bool) -> f a -> Bool #
Additive Int #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Int -> Int -> Int # sinnum1p :: Natural -> Int -> Int # sumWith1 :: Foldable1 f => (a -> Int) -> f a -> Int #
Additive Int8 #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Int8 -> Int8 -> Int8 # sinnum1p :: Natural -> Int8 -> Int8 # sumWith1 :: Foldable1 f => (a -> Int8) -> f a -> Int8 #
Additive Int16 #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Int16 -> Int16 -> Int16 # sinnum1p :: Natural -> Int16 -> Int16 # sumWith1 :: Foldable1 f => (a -> Int16) -> f a -> Int16 #
Additive Int32 #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Int32 -> Int32 -> Int32 # sinnum1p :: Natural -> Int32 -> Int32 # sumWith1 :: Foldable1 f => (a -> Int32) -> f a -> Int32 #
Additive Int64 #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Int64 -> Int64 -> Int64 # sinnum1p :: Natural -> Int64 -> Int64 # sumWith1 :: Foldable1 f => (a -> Int64) -> f a -> Int64 #
Additive Integer #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Integer -> Integer -> Integer # sinnum1p :: Natural -> Integer -> Integer # sumWith1 :: Foldable1 f => (a -> Integer) -> f a -> Integer #
Additive Natural #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Natural -> Natural -> Natural # sinnum1p :: Natural -> Natural -> Natural # sumWith1 :: Foldable1 f => (a -> Natural) -> f a -> Natural #
Additive Word #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Word -> Word -> Word # sinnum1p :: Natural -> Word -> Word # sumWith1 :: Foldable1 f => (a -> Word) -> f a -> Word #
Additive Word8 #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Word8 -> Word8 -> Word8 # sinnum1p :: Natural -> Word8 -> Word8 # sumWith1 :: Foldable1 f => (a -> Word8) -> f a -> Word8 #
Additive Word16 #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Word16 -> Word16 -> Word16 # sinnum1p :: Natural -> Word16 -> Word16 # sumWith1 :: Foldable1 f => (a -> Word16) -> f a -> Word16 #
Additive Word32 #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Word32 -> Word32 -> Word32 # sinnum1p :: Natural -> Word32 -> Word32 # sumWith1 :: Foldable1 f => (a -> Word32) -> f a -> Word32 #
Additive Word64 #
Instance details Defined in Numeric.Additive.Class Methods (+) :: Word64 -> Word64 -> Word64 # sinnum1p :: Natural -> Word64 -> Word64 # sumWith1 :: Foldable1 f => (a -> Word64) -> f a -> Word64 #
Additive () #
Instance details Defined in Numeric.Additive.Class Methods (+) :: () -> () -> () # sinnum1p :: Natural -> () -> () # sumWith1 :: Foldable1 f => (a -> ()) -> f a -> () #
Additive Euclidean #
Instance details Defined in Numeric.Coalgebra.Geometric Methods (+) :: Euclidean -> Euclidean -> Euclidean # sinnum1p :: Natural -> Euclidean -> Euclidean # sumWith1 :: Foldable1 f => (a -> Euclidean) -> f a -> Euclidean #
Additive r => Additive (ZeroRng r) #
Instance details Defined in Numeric.Rng.Zero Methods (+) :: ZeroRng r -> ZeroRng r -> ZeroRng r # sinnum1p :: Natural -> ZeroRng r -> ZeroRng r # sumWith1 :: Foldable1 f => (a -> ZeroRng r) -> f a -> ZeroRng r #
Abelian r => Additive (RngRing r) #
Instance details Defined in Numeric.Ring.Rng Methods (+) :: RngRing r -> RngRing r -> RngRing r # sinnum1p :: Natural -> RngRing r -> RngRing r # sumWith1 :: Foldable1 f => (a -> RngRing r) -> f a -> RngRing r #
Additive r => Additive (Opposite r) #
Instance details Defined in Numeric.Ring.Opposite Methods (+) :: Opposite r -> Opposite r -> Opposite r # sinnum1p :: Natural -> Opposite r -> Opposite r # sumWith1 :: Foldable1 f => (a -> Opposite r) -> f a -> Opposite r #
Additive r => Additive (End r) #
Instance details Defined in Numeric.Ring.Endomorphism Methods (+) :: End r -> End r -> End r # sinnum1p :: Natural -> End r -> End r # sumWith1 :: Foldable1 f => (a -> End r) -> f a -> End r #
Multiplicative r => Additive (Log r) #
Instance details Defined in Numeric.Log Methods (+) :: Log r -> Log r -> Log r # sinnum1p :: Natural -> Log r -> Log r # sumWith1 :: Foldable1 f => (a -> Log r) -> f a -> Log r #
Additive r => Additive (Trig r) #
Instance details Defined in Numeric.Coalgebra.Trigonometric Methods (+) :: Trig r -> Trig r -> Trig r # sinnum1p :: Natural -> Trig r -> Trig r # sumWith1 :: Foldable1 f => (a -> Trig r) -> f a -> Trig r #
Additive r => Additive (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (+) :: Quaternion' r -> Quaternion' r -> Quaternion' r # sinnum1p :: Natural -> Quaternion' r -> Quaternion' r # sumWith1 :: Foldable1 f => (a -> Quaternion' r) -> f a -> Quaternion' r #
Additive r => Additive (Hyper r) #
Instance details Defined in Numeric.Coalgebra.Hyperbolic Methods (+) :: Hyper r -> Hyper r -> Hyper r # sinnum1p :: Natural -> Hyper r -> Hyper r # sumWith1 :: Foldable1 f => (a -> Hyper r) -> f a -> Hyper r #
Additive (BasisCoblade m) #
Instance details Defined in Numeric.Coalgebra.Geometric Methods (+) :: BasisCoblade m -> BasisCoblade m -> BasisCoblade m # sinnum1p :: Natural -> BasisCoblade m -> BasisCoblade m # sumWith1 :: Foldable1 f => (a -> BasisCoblade m) -> f a -> BasisCoblade m #
Additive r => Additive (Dual' r) #
Instance details Defined in Numeric.Coalgebra.Dual Methods (+) :: Dual' r -> Dual' r -> Dual' r # sinnum1p :: Natural -> Dual' r -> Dual' r # sumWith1 :: Foldable1 f => (a -> Dual' r) -> f a -> Dual' r #
Additive r => Additive (Quaternion r) #
Instance details Defined in Numeric.Algebra.Quaternion Methods (+) :: Quaternion r -> Quaternion r -> Quaternion r # sinnum1p :: Natural -> Quaternion r -> Quaternion r # sumWith1 :: Foldable1 f => (a -> Quaternion r) -> f a -> Quaternion r #
Additive r => Additive (Hyper' r) #
Instance details Defined in Numeric.Algebra.Hyperbolic Methods (+) :: Hyper' r -> Hyper' r -> Hyper' r # sinnum1p :: Natural -> Hyper' r -> Hyper' r # sumWith1 :: Foldable1 f => (a -> Hyper' r) -> f a -> Hyper' r #
Additive r => Additive (Dual r) #
Instance details Defined in Numeric.Algebra.Dual Methods (+) :: Dual r -> Dual r -> Dual r # sinnum1p :: Natural -> Dual r -> Dual r # sumWith1 :: Foldable1 f => (a -> Dual r) -> f a -> Dual r #
Additive r => Additive (Complex r) #
Instance details Defined in Numeric.Algebra.Complex Methods (+) :: Complex r -> Complex r -> Complex r # sinnum1p :: Natural -> Complex r -> Complex r # sumWith1 :: Foldable1 f => (a -> Complex r) -> f a -> Complex r #
GCDDomain d => Additive (Fraction d) #
Instance details Defined in Numeric.Field.Fraction Methods (+) :: Fraction d -> Fraction d -> Fraction d # sinnum1p :: Natural -> Fraction d -> Fraction d # sumWith1 :: Foldable1 f => (a -> Fraction d) -> f a -> Fraction d #
Additive r => Additive (b -> r) #
Instance details Defined in Numeric.Additive.Class Methods (+) :: (b -> r) -> (b -> r) -> b -> r # sinnum1p :: Natural -> (b -> r) -> b -> r # sumWith1 :: Foldable1 f => (a -> b -> r) -> f a -> b -> r #
(Additive a, Additive b) => Additive (a, b) #
Instance details Defined in Numeric.Additive.Class Methods (+) :: (a, b) -> (a, b) -> (a, b) # sinnum1p :: Natural -> (a, b) -> (a, b) # sumWith1 :: Foldable1 f => (a0 -> (a, b)) -> f a0 -> (a, b) #
Additive r => Additive (Covector r a) #
Instance details Defined in Numeric.Covector Methods (+) :: Covector r a -> Covector r a -> Covector r a # sinnum1p :: Natural -> Covector r a -> Covector r a # sumWith1 :: Foldable1 f => (a0 -> Covector r a) -> f a0 -> Covector r a #
(Additive a, Additive b, Additive c) => Additive (a, b, c) #
Instance details Defined in Numeric.Additive.Class Methods (+) :: (a, b, c) -> (a, b, c) -> (a, b, c) # sinnum1p :: Natural -> (a, b, c) -> (a, b, c) # sumWith1 :: Foldable1 f => (a0 -> (a, b, c)) -> f a0 -> (a, b, c) #
Additive r => Additive (Map r b a) #
Instance details Defined in Numeric.Map Methods (+) :: Map r b a -> Map r b a -> Map r b a # sinnum1p :: Natural -> Map r b a -> Map r b a # sumWith1 :: Foldable1 f => (a0 -> Map r b a) -> f a0 -> Map r b a #
(Additive a, Additive b, Additive c, Additive d) => Additive (a, b, c, d) #
Instance details Defined in Numeric.Additive.Class Methods (+) :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) # sinnum1p :: Natural -> (a, b, c, d) -> (a, b, c, d) # sumWith1 :: Foldable1 f => (a0 -> (a, b, c, d)) -> f a0 -> (a, b, c, d) #
(Additive a, Additive b, Additive c, Additive d, Additive e) => Additive (a, b, c, d, e) #
Instance details Defined in Numeric.Additive.Class Methods (+) :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) # sinnum1p :: Natural -> (a, b, c, d, e) -> (a, b, c, d, e) # sumWith1 :: Foldable1 f => (a0 -> (a, b, c, d, e)) -> f a0 -> (a, b, c, d, e) #

sum1 :: (Foldable1 f, Additive r) => f r -> r #

Additive Abelian semigroups

class Additive r => Abelian r #

an additive abelian semigroup

a + b = b + a

Instances

Abelian Bool #
Instance details Defined in Numeric.Additive.Class
Abelian Int #
Instance details Defined in Numeric.Additive.Class
Abelian Int8 #
Instance details Defined in Numeric.Additive.Class
Abelian Int16 #
Instance details Defined in Numeric.Additive.Class
Abelian Int32 #
Instance details Defined in Numeric.Additive.Class
Abelian Int64 #
Instance details Defined in Numeric.Additive.Class
Abelian Integer #
Instance details Defined in Numeric.Additive.Class
Abelian Natural #
Instance details Defined in Numeric.Additive.Class
Abelian Word #
Instance details Defined in Numeric.Additive.Class
Abelian Word8 #
Instance details Defined in Numeric.Additive.Class
Abelian Word16 #
Instance details Defined in Numeric.Additive.Class
Abelian Word32 #
Instance details Defined in Numeric.Additive.Class
Abelian Word64 #
Instance details Defined in Numeric.Additive.Class
Abelian () #
Instance details Defined in Numeric.Additive.Class
Abelian Euclidean #
Instance details Defined in Numeric.Coalgebra.Geometric
Abelian r => Abelian (ZeroRng r) #
Instance details Defined in Numeric.Rng.Zero
Abelian r => Abelian (RngRing r) #
Instance details Defined in Numeric.Ring.Rng
Abelian r => Abelian (Opposite r) #
Instance details Defined in Numeric.Ring.Opposite
Abelian r => Abelian (End r) #
Instance details Defined in Numeric.Ring.Endomorphism
Commutative r => Abelian (Log r) #
Instance details Defined in Numeric.Log
Abelian r => Abelian (Trig r) #
Instance details Defined in Numeric.Coalgebra.Trigonometric
Abelian r => Abelian (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion
Abelian r => Abelian (Hyper r) #
Instance details Defined in Numeric.Coalgebra.Hyperbolic
Abelian (BasisCoblade m) #
Instance details Defined in Numeric.Coalgebra.Geometric
Abelian r => Abelian (Dual' r) #
Instance details Defined in Numeric.Coalgebra.Dual
Abelian r => Abelian (Quaternion r) #
Instance details Defined in Numeric.Algebra.Quaternion
Abelian r => Abelian (Hyper' r) #
Instance details Defined in Numeric.Algebra.Hyperbolic
Abelian r => Abelian (Dual r) #
Instance details Defined in Numeric.Algebra.Dual
Abelian r => Abelian (Complex r) #
Instance details Defined in Numeric.Algebra.Complex
GCDDomain d => Abelian (Fraction d) #
Instance details Defined in Numeric.Field.Fraction
Abelian r => Abelian (e -> r) #
Instance details Defined in Numeric.Additive.Class
(Abelian a, Abelian b) => Abelian (a, b) #
Instance details Defined in Numeric.Additive.Class
Abelian s => Abelian (Covector s a) #
Instance details Defined in Numeric.Covector
(Abelian a, Abelian b, Abelian c) => Abelian (a, b, c) #
Instance details Defined in Numeric.Additive.Class
Abelian s => Abelian (Map s b a) #
Instance details Defined in Numeric.Map
(Abelian a, Abelian b, Abelian c, Abelian d) => Abelian (a, b, c, d) #
Instance details Defined in Numeric.Additive.Class
(Abelian a, Abelian b, Abelian c, Abelian d, Abelian e) => Abelian (a, b, c, d, e) #
Instance details Defined in Numeric.Additive.Class

Additive Monoids

class Additive r => Idempotent r #

An additive semigroup with idempotent addition.

a + a = a

Instances

Idempotent Bool #
Instance details Defined in Numeric.Additive.Class
Idempotent () #
Instance details Defined in Numeric.Additive.Class
Idempotent r => Idempotent (ZeroRng r) #
Instance details Defined in Numeric.Rng.Zero
Idempotent r => Idempotent (Opposite r) #
Instance details Defined in Numeric.Ring.Opposite
Band r => Idempotent (Log r) #
Instance details Defined in Numeric.Log
Idempotent r => Idempotent (Trig r) #
Instance details Defined in Numeric.Coalgebra.Trigonometric
Idempotent r => Idempotent (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion
Idempotent r => Idempotent (Hyper r) #
Instance details Defined in Numeric.Coalgebra.Hyperbolic
Idempotent r => Idempotent (Dual' r) #
Instance details Defined in Numeric.Coalgebra.Dual
Idempotent r => Idempotent (Quaternion r) #
Instance details Defined in Numeric.Algebra.Quaternion
Idempotent r => Idempotent (Hyper' r) #
Instance details Defined in Numeric.Algebra.Hyperbolic
Idempotent r => Idempotent (Dual r) #
Instance details Defined in Numeric.Algebra.Dual
Idempotent r => Idempotent (Complex r) #
Instance details Defined in Numeric.Algebra.Complex
Idempotent r => Idempotent (e -> r) #
Instance details Defined in Numeric.Additive.Class
(Idempotent a, Idempotent b) => Idempotent (a, b) #
Instance details Defined in Numeric.Additive.Class
Idempotent r => Idempotent (Covector r a) #
Instance details Defined in Numeric.Covector
(Idempotent a, Idempotent b, Idempotent c) => Idempotent (a, b, c) #
Instance details Defined in Numeric.Additive.Class
(Idempotent a, Idempotent b, Idempotent c, Idempotent d) => Idempotent (a, b, c, d) #
Instance details Defined in Numeric.Additive.Class
(Idempotent a, Idempotent b, Idempotent c, Idempotent d, Idempotent e) => Idempotent (a, b, c, d, e) #
Instance details Defined in Numeric.Additive.Class

sinnum1pIdempotent :: Natural -> r -> r #

Partitionable semigroups

class Additive m => Partitionable m where #

Minimal complete definition

partitionWith

Methods

partitionWith :: (m -> m -> r) -> m -> NonEmpty r #

partitionWith f c returns a list containing f a b for each a b such that a + b = c,

Instances

Partitionable Bool #
Instance details Defined in Numeric.Additive.Class Methods partitionWith :: (Bool -> Bool -> r) -> Bool -> NonEmpty r #
Partitionable Natural #
Instance details Defined in Numeric.Additive.Class Methods partitionWith :: (Natural -> Natural -> r) -> Natural -> NonEmpty r #
Partitionable () #
Instance details Defined in Numeric.Additive.Class Methods partitionWith :: (() -> () -> r) -> () -> NonEmpty r #
Factorable r => Partitionable (Log r) #
Instance details Defined in Numeric.Log Methods partitionWith :: (Log r -> Log r -> r0) -> Log r -> NonEmpty r0 #
Partitionable r => Partitionable (Trig r) #
Instance details Defined in Numeric.Coalgebra.Trigonometric Methods partitionWith :: (Trig r -> Trig r -> r0) -> Trig r -> NonEmpty r0 #
Partitionable r => Partitionable (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods partitionWith :: (Quaternion' r -> Quaternion' r -> r0) -> Quaternion' r -> NonEmpty r0 #
Partitionable r => Partitionable (Hyper r) #
Instance details Defined in Numeric.Coalgebra.Hyperbolic Methods partitionWith :: (Hyper r -> Hyper r -> r0) -> Hyper r -> NonEmpty r0 #
Partitionable r => Partitionable (Dual' r) #
Instance details Defined in Numeric.Coalgebra.Dual Methods partitionWith :: (Dual' r -> Dual' r -> r0) -> Dual' r -> NonEmpty r0 #
Partitionable r => Partitionable (Quaternion r) #
Instance details Defined in Numeric.Algebra.Quaternion Methods partitionWith :: (Quaternion r -> Quaternion r -> r0) -> Quaternion r -> NonEmpty r0 #
Partitionable r => Partitionable (Hyper' r) #
Instance details Defined in Numeric.Algebra.Hyperbolic Methods partitionWith :: (Hyper' r -> Hyper' r -> r0) -> Hyper' r -> NonEmpty r0 #
Partitionable r => Partitionable (Dual r) #
Instance details Defined in Numeric.Algebra.Dual Methods partitionWith :: (Dual r -> Dual r -> r0) -> Dual r -> NonEmpty r0 #
Partitionable r => Partitionable (Complex r) #
Instance details Defined in Numeric.Algebra.Complex Methods partitionWith :: (Complex r -> Complex r -> r0) -> Complex r -> NonEmpty r0 #
(Partitionable a, Partitionable b) => Partitionable (a, b) #
Instance details Defined in Numeric.Additive.Class Methods partitionWith :: ((a, b) -> (a, b) -> r) -> (a, b) -> NonEmpty r #
(Partitionable a, Partitionable b, Partitionable c) => Partitionable (a, b, c) #
Instance details Defined in Numeric.Additive.Class Methods partitionWith :: ((a, b, c) -> (a, b, c) -> r) -> (a, b, c) -> NonEmpty r #
(Partitionable a, Partitionable b, Partitionable c, Partitionable d) => Partitionable (a, b, c, d) #
Instance details Defined in Numeric.Additive.Class Methods partitionWith :: ((a, b, c, d) -> (a, b, c, d) -> r) -> (a, b, c, d) -> NonEmpty r #
(Partitionable a, Partitionable b, Partitionable c, Partitionable d, Partitionable e) => Partitionable (a, b, c, d, e) #
Instance details Defined in Numeric.Additive.Class Methods partitionWith :: ((a, b, c, d, e) -> (a, b, c, d, e) -> r) -> (a, b, c, d, e) -> NonEmpty r #