algebra-simple
Safe HaskellNone
LanguageHaskell2010

Numeric.Algebra.Deriving

Description

Provides deriving utilities.

Since: 0.1

Synopsis

Documentation

newtype FromNum a Source #

Derives classes from Num constraint.

Since: 0.1

Constructors

MkFromNum a 

Instances

Instances details
Num a => AGroup (FromNum a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AGroup

Methods

(.-.) :: FromNum a -> FromNum a -> FromNum a Source #

Num a => AMonoid (FromNum a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Methods

zero :: FromNum a Source #

Num a => ASemigroup (FromNum a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.ASemigroup

Methods

(.+.) :: FromNum a -> FromNum a -> FromNum a Source #

Num a => MMonoid (FromNum a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Multiplicative.MMonoid

Methods

one :: FromNum a Source #

Num a => MSemigroup (FromNum a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Multiplicative.MSemigroup

Methods

(.*.) :: FromNum a -> FromNum a -> FromNum a Source #

newtype FromFractional a Source #

Derives classes from Fractional constraint.

Since: 0.1

Constructors

MkFromFractional a 

Instances

Instances details
Num a => AGroup (FromFractional a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AGroup

Num a => AMonoid (FromFractional a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Num a => ASemigroup (FromFractional a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.ASemigroup

Fractional a => MGroup (FromFractional a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Multiplicative.MGroup

Num a => MMonoid (FromFractional a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Multiplicative.MMonoid

Num a => MSemigroup (FromFractional a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Multiplicative.MSemigroup

newtype FromIntegral a Source #

Derives classes from Integral constraint.

Since: 0.1

Constructors

MkFromIntegral a 

Instances

Instances details
Num a => AGroup (FromIntegral a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AGroup

Num a => AMonoid (FromIntegral a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.AMonoid

Num a => ASemigroup (FromIntegral a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Additive.ASemigroup

Integral a => MEuclidean (FromIntegral a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Multiplicative.MEuclidean

Integral a => MGroup (FromIntegral a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Multiplicative.MGroup

Num a => MMonoid (FromIntegral a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Multiplicative.MMonoid

Methods

one :: FromIntegral a Source #

Num a => MSemigroup (FromIntegral a) Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Multiplicative.MSemigroup