AERN2.WithGlobalParam.Ring

Ring operations on WithGlobalParam objects.

Orphan instances

(QAArrow to0, CanMulAsymmetric Int b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (MulType Int b0)) => CanMulAsymmetric Int (WithGlobalParamA to0 prm0 b0)

Associated Types

type MulType Int (WithGlobalParamA to0 prm0 b0) :: *

Methods

mul :: Int -> WithGlobalParamA to0 prm0 b0 -> MulType Int (WithGlobalParamA to0 prm0 b0)

(QAArrow to0, CanMulAsymmetric Integer b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (MulType Integer b0)) => CanMulAsymmetric Integer (WithGlobalParamA to0 prm0 b0)

Associated Types

type MulType Integer (WithGlobalParamA to0 prm0 b0) :: *

Methods

mul :: Integer -> WithGlobalParamA to0 prm0 b0 -> MulType Integer (WithGlobalParamA to0 prm0 b0)

(QAArrow to0, CanMulAsymmetric Rational b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (MulType Rational b0)) => CanMulAsymmetric Rational (WithGlobalParamA to0 prm0 b0)

Associated Types

type MulType Rational (WithGlobalParamA to0 prm0 b0) :: *

Methods

mul :: Rational -> WithGlobalParamA to0 prm0 b0 -> MulType Rational (WithGlobalParamA to0 prm0 b0)

(QAArrow to0, CanMulAsymmetric Dyadic b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (MulType Dyadic b0)) => CanMulAsymmetric Dyadic (WithGlobalParamA to0 prm0 b0)

Associated Types

type MulType Dyadic (WithGlobalParamA to0 prm0 b0) :: *

Methods

mul :: Dyadic -> WithGlobalParamA to0 prm0 b0 -> MulType Dyadic (WithGlobalParamA to0 prm0 b0)

(QAArrow to0, CanAddAsymmetric Int b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (AddType Int b0)) => CanAddAsymmetric Int (WithGlobalParamA to0 prm0 b0)

Associated Types

type AddType Int (WithGlobalParamA to0 prm0 b0) :: *

Methods

add :: Int -> WithGlobalParamA to0 prm0 b0 -> AddType Int (WithGlobalParamA to0 prm0 b0)

(QAArrow to0, CanAddAsymmetric Integer b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (AddType Integer b0)) => CanAddAsymmetric Integer (WithGlobalParamA to0 prm0 b0)

Associated Types

type AddType Integer (WithGlobalParamA to0 prm0 b0) :: *

Methods

add :: Integer -> WithGlobalParamA to0 prm0 b0 -> AddType Integer (WithGlobalParamA to0 prm0 b0)

(QAArrow to0, CanAddAsymmetric Rational b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (AddType Rational b0)) => CanAddAsymmetric Rational (WithGlobalParamA to0 prm0 b0)

Associated Types

type AddType Rational (WithGlobalParamA to0 prm0 b0) :: *

Methods

add :: Rational -> WithGlobalParamA to0 prm0 b0 -> AddType Rational (WithGlobalParamA to0 prm0 b0)

(QAArrow to0, CanAddAsymmetric Dyadic b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (AddType Dyadic b0)) => CanAddAsymmetric Dyadic (WithGlobalParamA to0 prm0 b0)

Associated Types

type AddType Dyadic (WithGlobalParamA to0 prm0 b0) :: *

Methods

add :: Dyadic -> WithGlobalParamA to0 prm0 b0 -> AddType Dyadic (WithGlobalParamA to0 prm0 b0)

(QAArrow to0, CanSub Int b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (SubType Int b0)) => CanSub Int (WithGlobalParamA to0 prm0 b0)

Associated Types

type SubType Int (WithGlobalParamA to0 prm0 b0) :: *

Methods

sub :: Int -> WithGlobalParamA to0 prm0 b0 -> SubType Int (WithGlobalParamA to0 prm0 b0)

(QAArrow to0, CanSub Integer b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (SubType Integer b0)) => CanSub Integer (WithGlobalParamA to0 prm0 b0)

Associated Types

type SubType Integer (WithGlobalParamA to0 prm0 b0) :: *

Methods

sub :: Integer -> WithGlobalParamA to0 prm0 b0 -> SubType Integer (WithGlobalParamA to0 prm0 b0)

(QAArrow to0, CanSub Rational b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (SubType Rational b0)) => CanSub Rational (WithGlobalParamA to0 prm0 b0)

Associated Types

type SubType Rational (WithGlobalParamA to0 prm0 b0) :: *

Methods

sub :: Rational -> WithGlobalParamA to0 prm0 b0 -> SubType Rational (WithGlobalParamA to0 prm0 b0)

(QAArrow to0, CanSub Dyadic b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (SubType Dyadic b0)) => CanSub Dyadic (WithGlobalParamA to0 prm0 b0)

Associated Types

type SubType Dyadic (WithGlobalParamA to0 prm0 b0) :: *

Methods

sub :: Dyadic -> WithGlobalParamA to0 prm0 b0 -> SubType Dyadic (WithGlobalParamA to0 prm0 b0)

(CanMulAsymmetric a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (MulType a (WithGlobalParamA to prm b)), SuitableForCE es) => CanMulAsymmetric (CollectErrors es a) (WithGlobalParamA to prm b)

Associated Types

type MulType (CollectErrors es a) (WithGlobalParamA to prm b) :: *

Methods

mul :: CollectErrors es a -> WithGlobalParamA to prm b -> MulType (CollectErrors es a) (WithGlobalParamA to prm b)

(CanAddAsymmetric a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (AddType a (WithGlobalParamA to prm b)), SuitableForCE es) => CanAddAsymmetric (CollectErrors es a) (WithGlobalParamA to prm b)

Associated Types

type AddType (CollectErrors es a) (WithGlobalParamA to prm b) :: *

Methods

add :: CollectErrors es a -> WithGlobalParamA to prm b -> AddType (CollectErrors es a) (WithGlobalParamA to prm b)

(CanSub a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (SubType a (WithGlobalParamA to prm b)), SuitableForCE es) => CanSub (CollectErrors es a) (WithGlobalParamA to prm b)

Associated Types

type SubType (CollectErrors es a) (WithGlobalParamA to prm b) :: *

Methods

sub :: CollectErrors es a -> WithGlobalParamA to prm b -> SubType (CollectErrors es a) (WithGlobalParamA to prm b)

(QAArrow to0, CanMulAsymmetric a0 Dyadic, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (MulType a0 Dyadic)) => CanMulAsymmetric (WithGlobalParamA to0 prm0 a0) Dyadic

Associated Types

type MulType (WithGlobalParamA to0 prm0 a0) Dyadic :: *

Methods

mul :: WithGlobalParamA to0 prm0 a0 -> Dyadic -> MulType (WithGlobalParamA to0 prm0 a0) Dyadic

(QAArrow to0, CanMulAsymmetric a0 Rational, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (MulType a0 Rational)) => CanMulAsymmetric (WithGlobalParamA to0 prm0 a0) Rational

Associated Types

type MulType (WithGlobalParamA to0 prm0 a0) Rational :: *

Methods

mul :: WithGlobalParamA to0 prm0 a0 -> Rational -> MulType (WithGlobalParamA to0 prm0 a0) Rational

(QAArrow to0, CanMulAsymmetric a0 Int, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (MulType a0 Int)) => CanMulAsymmetric (WithGlobalParamA to0 prm0 a0) Int

Associated Types

type MulType (WithGlobalParamA to0 prm0 a0) Int :: *

Methods

mul :: WithGlobalParamA to0 prm0 a0 -> Int -> MulType (WithGlobalParamA to0 prm0 a0) Int

(QAArrow to0, CanMulAsymmetric a0 Integer, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (MulType a0 Integer)) => CanMulAsymmetric (WithGlobalParamA to0 prm0 a0) Integer

Associated Types

type MulType (WithGlobalParamA to0 prm0 a0) Integer :: *

Methods

mul :: WithGlobalParamA to0 prm0 a0 -> Integer -> MulType (WithGlobalParamA to0 prm0 a0) Integer

(QAArrow to0, CanAddAsymmetric a0 Dyadic, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (AddType a0 Dyadic)) => CanAddAsymmetric (WithGlobalParamA to0 prm0 a0) Dyadic

Associated Types

type AddType (WithGlobalParamA to0 prm0 a0) Dyadic :: *

Methods

add :: WithGlobalParamA to0 prm0 a0 -> Dyadic -> AddType (WithGlobalParamA to0 prm0 a0) Dyadic

(QAArrow to0, CanAddAsymmetric a0 Rational, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (AddType a0 Rational)) => CanAddAsymmetric (WithGlobalParamA to0 prm0 a0) Rational

Associated Types

type AddType (WithGlobalParamA to0 prm0 a0) Rational :: *

Methods

add :: WithGlobalParamA to0 prm0 a0 -> Rational -> AddType (WithGlobalParamA to0 prm0 a0) Rational

(QAArrow to0, CanAddAsymmetric a0 Int, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (AddType a0 Int)) => CanAddAsymmetric (WithGlobalParamA to0 prm0 a0) Int

Associated Types

type AddType (WithGlobalParamA to0 prm0 a0) Int :: *

Methods

add :: WithGlobalParamA to0 prm0 a0 -> Int -> AddType (WithGlobalParamA to0 prm0 a0) Int

(QAArrow to0, CanAddAsymmetric a0 Integer, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (AddType a0 Integer)) => CanAddAsymmetric (WithGlobalParamA to0 prm0 a0) Integer

Associated Types

type AddType (WithGlobalParamA to0 prm0 a0) Integer :: *

Methods

add :: WithGlobalParamA to0 prm0 a0 -> Integer -> AddType (WithGlobalParamA to0 prm0 a0) Integer

(QAArrow to0, CanSub a0 Dyadic, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (SubType a0 Dyadic)) => CanSub (WithGlobalParamA to0 prm0 a0) Dyadic

Associated Types

type SubType (WithGlobalParamA to0 prm0 a0) Dyadic :: *

Methods

sub :: WithGlobalParamA to0 prm0 a0 -> Dyadic -> SubType (WithGlobalParamA to0 prm0 a0) Dyadic

(QAArrow to0, CanSub a0 Rational, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (SubType a0 Rational)) => CanSub (WithGlobalParamA to0 prm0 a0) Rational

Associated Types

type SubType (WithGlobalParamA to0 prm0 a0) Rational :: *

Methods

sub :: WithGlobalParamA to0 prm0 a0 -> Rational -> SubType (WithGlobalParamA to0 prm0 a0) Rational

(QAArrow to0, CanSub a0 Int, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (SubType a0 Int)) => CanSub (WithGlobalParamA to0 prm0 a0) Int

Associated Types

type SubType (WithGlobalParamA to0 prm0 a0) Int :: *

Methods

sub :: WithGlobalParamA to0 prm0 a0 -> Int -> SubType (WithGlobalParamA to0 prm0 a0) Int

(QAArrow to0, CanSub a0 Integer, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (SubType a0 Integer)) => CanSub (WithGlobalParamA to0 prm0 a0) Integer

Associated Types

type SubType (WithGlobalParamA to0 prm0 a0) Integer :: *

Methods

sub :: WithGlobalParamA to0 prm0 a0 -> Integer -> SubType (WithGlobalParamA to0 prm0 a0) Integer

(CanMulAsymmetric (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (MulType (WithGlobalParamA to prm a) b), SuitableForCE es) => CanMulAsymmetric (WithGlobalParamA to prm a) (CollectErrors es b)

Associated Types

type MulType (WithGlobalParamA to prm a) (CollectErrors es b) :: *

Methods

mul :: WithGlobalParamA to prm a -> CollectErrors es b -> MulType (WithGlobalParamA to prm a) (CollectErrors es b)

(CanAddAsymmetric (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (AddType (WithGlobalParamA to prm a) b), SuitableForCE es) => CanAddAsymmetric (WithGlobalParamA to prm a) (CollectErrors es b)

Associated Types

type AddType (WithGlobalParamA to prm a) (CollectErrors es b) :: *

Methods

add :: WithGlobalParamA to prm a -> CollectErrors es b -> AddType (WithGlobalParamA to prm a) (CollectErrors es b)

(CanSub (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (SubType (WithGlobalParamA to prm a) b), SuitableForCE es) => CanSub (WithGlobalParamA to prm a) (CollectErrors es b)

Associated Types

type SubType (WithGlobalParamA to prm a) (CollectErrors es b) :: *

Methods

sub :: WithGlobalParamA to prm a -> CollectErrors es b -> SubType (WithGlobalParamA to prm a) (CollectErrors es b)

(QAArrow to, CanMulAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (MulType a b)) => CanMulAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b)

Associated Types

type MulType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: *

Methods

mul :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> MulType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b)

(QAArrow to, CanAddAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (AddType a b)) => CanAddAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b)

Associated Types

type AddType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: *

Methods

add :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> AddType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b)

(QAArrow to, CanSub a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (SubType a b)) => CanSub (WithGlobalParamA to prm a) (WithGlobalParamA to prm b)

Associated Types

type SubType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: *

Methods

sub :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> SubType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b)