Safe Haskell	None
Language	Haskell2010

Numeric.Algebra.Additive.AMonoid

Description

Provides the AMonoid typeclass.

Since: 0.1

Synopsis

class ASemigroup m => AMonoid m where
- zero :: m
pattern Zero :: (AMonoid m, Eq m) => m
pattern NonZero :: (AMonoid m, Eq m) => m -> m

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 Methods zero :: Ratio Integer Source #
AMonoid (Ratio Natural) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Ratio Natural Source #
HasResolution k => AMonoid (Fixed k) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Fixed k Source #
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 #

pattern Zero :: (AMonoid m, Eq m) => m Source #

Pattern synonym for zero.

Since: 0.1

pattern NonZero :: (AMonoid m, Eq m) => m -> m Source #

Pattern synonym for x /= zero.

Since: 0.1