algebra-simple-0.1: An alternative mathematical interface to Num.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Numeric.Algebra.Additive.AMonoid

Description

Provides the AMonoid typeclass.

Since: 0.1

Synopsis

Documentation

class ASemigroup m => AMonoid m where Source #

Defines a monoid over an additive semigroup.

Since: 0.1

Methods

zero :: m Source #

Should satisfy:

-- identity
x .+. zero = x = zero .+. x

since 0.1

Instances

Instances details
AMonoid Int16 Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Int16 Source #

AMonoid Int32 Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Int32 Source #

AMonoid Int64 Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Int64 Source #

AMonoid Int8 Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Int8 Source #

AMonoid Word16 Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Word16 Source #

AMonoid Word32 Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Word32 Source #

AMonoid Word64 Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Word64 Source #

AMonoid Word8 Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Word8 Source #

AMonoid Integer Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Integer Source #

AMonoid Natural Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Natural Source #

AMonoid Double Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Double Source #

AMonoid Float Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Float Source #

AMonoid Int Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Int Source #

AMonoid Word Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Word Source #

RealFloat a => AMonoid (Complex a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: Complex a Source #

AMonoid (Ratio Integer) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

AMonoid (Ratio Natural) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

AMonoid a => AMonoid (a, a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: (a, a) Source #

AMonoid a => AMonoid (a, a, a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: (a, a, a) Source #

AMonoid a => AMonoid (a, a, a, a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: (a, a, a, a) Source #

AMonoid a => AMonoid (a, a, a, a, a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: (a, a, a, a, a) Source #

AMonoid a => AMonoid (a, a, a, a, a, a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: (a, a, a, a, a, a) Source #

AMonoid a => AMonoid (a, a, a, a, a, a, a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: (a, a, a, a, a, a, a) Source #

AMonoid a => AMonoid (a, a, a, a, a, a, a, a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: (a, a, a, a, a, a, a, a) Source #

AMonoid a => AMonoid (a, a, a, a, a, a, a, a, a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: (a, a, a, a, a, a, a, a, a) Source #