Safe Haskell	None
Language	Haskell2010

Numeric.Algebra.Deriving

Description

Provides deriving utilities.

Since: 0.1

Synopsis

newtype AsNum a = MkAsNum a
newtype AsFractional a = MkAsFractional a
newtype AsIntegral a = MkAsIntegral a
newtype AsReal a = MkAsReal a

Documentation

newtype AsNum a Source #

Derives classes from Num constraint.

Since: 0.1

Constructors

MkAsNum a

Instances

Instances details

Num a => AGroup (AsNum a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Additive.AGroup Methods (.-.) :: AsNum a -> AsNum a -> AsNum a Source #
Num a => AMonoid (AsNum a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: AsNum a Source #
Num a => ASemigroup (AsNum a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: AsNum a -> AsNum a -> AsNum a Source #
Num a => MMonoid (AsNum a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MMonoid Methods one :: AsNum a Source #
Num a => MSemigroup (AsNum a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MSemigroup Methods (.*.) :: AsNum a -> AsNum a -> AsNum a Source #
Num a => FromInteger (AsNum a) Source #	Since: 0.1
Instance details Defined in Numeric.Convert.Internal Methods fromZ :: Integer -> AsNum a Source #

newtype AsFractional a Source #

Derives classes from Fractional constraint.

Since: 0.1

Constructors

MkAsFractional a

Instances

Instances details

Num a => AGroup (AsFractional a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Additive.AGroup Methods (.-.) :: AsFractional a -> AsFractional a -> AsFractional a Source #
Num a => AMonoid (AsFractional a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: AsFractional a Source #
Num a => ASemigroup (AsFractional a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: AsFractional a -> AsFractional a -> AsFractional a Source #
Fractional a => MGroup (AsFractional a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MGroup Methods (.%.) :: AsFractional a -> AsFractional a -> AsFractional a Source #
Num a => MMonoid (AsFractional a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MMonoid Methods one :: AsFractional a Source #
Num a => MSemigroup (AsFractional a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MSemigroup Methods (.*.) :: AsFractional a -> AsFractional a -> AsFractional a Source #
Fractional a => FromInteger (AsFractional a) Source #	Since: 0.1
Instance details Defined in Numeric.Convert.Internal Methods fromZ :: Integer -> AsFractional a Source #
Fractional a => FromRational (AsFractional a) Source #	Since: 0.1
Instance details Defined in Numeric.Convert.Internal Methods fromQ :: Rational -> AsFractional a Source #
Fractional a => FromReal (AsFractional a) Source #	Since: 0.1
Instance details Defined in Numeric.Convert.Internal Methods fromR :: Double -> AsFractional a Source #

newtype AsIntegral a Source #

Derives classes from Integral constraint.

Since: 0.1

Constructors

MkAsIntegral a

Instances

Instances details

Num a => AGroup (AsIntegral a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Additive.AGroup Methods (.-.) :: AsIntegral a -> AsIntegral a -> AsIntegral a Source #
Num a => AMonoid (AsIntegral a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: AsIntegral a Source #
Num a => ASemigroup (AsIntegral a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: AsIntegral a -> AsIntegral a -> AsIntegral a Source #
Integral a => MEuclidean (AsIntegral a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: AsIntegral a -> AsIntegral a -> (AsIntegral a, AsIntegral a) Source #
Integral a => MGroup (AsIntegral a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MGroup Methods (.%.) :: AsIntegral a -> AsIntegral a -> AsIntegral a Source #
Num a => MMonoid (AsIntegral a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MMonoid Methods one :: AsIntegral a Source #
Num a => MSemigroup (AsIntegral a) Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MSemigroup Methods (.*.) :: AsIntegral a -> AsIntegral a -> AsIntegral a Source #
Integral a => ToInteger (AsIntegral a) Source #	Since: 0.1
Instance details Defined in Numeric.Convert.Internal Methods toZ :: AsIntegral a -> Integer Source #
Integral a => ToRational (AsIntegral a) Source #	Since: 0.1
Instance details Defined in Numeric.Convert.Internal Methods toQ :: AsIntegral a -> Rational Source #
Integral a => ToReal (AsIntegral a) Source #
Instance details Defined in Numeric.Convert.Internal Methods toR :: AsIntegral a -> Double Source #

newtype AsReal a Source #

Derives classes from Real constraint.

Since: 0.1

Constructors

MkAsReal a

Instances

Instances details

Real a => ToRational (AsReal a) Source #	Since: 0.1
Instance details Defined in Numeric.Convert.Internal Methods toQ :: AsReal a -> Rational Source #
Real a => ToReal (AsReal a) Source #	Since: 0.1
Instance details Defined in Numeric.Convert.Internal Methods toR :: AsReal a -> Double Source #