Copyright	(c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell98

AERN2.WithGlobalParam.Ring

Contents

Orphan instances

Description

Ring operations on WithGlobalParam objects.

Orphan instances

(QAArrow to, CanMulAsymmetric Int b, SuitableForWGParam prm b, SuitableForWGParam prm (MulType Int b)) => CanMulAsymmetric Int (WithGlobalParamA to prm b) #
Instance details Associated Types type MulType Int (WithGlobalParamA to prm b) :: * # Methods mul :: Int -> WithGlobalParamA to prm b -> MulType Int (WithGlobalParamA to prm b) #
(QAArrow to, CanMulAsymmetric Integer b, SuitableForWGParam prm b, SuitableForWGParam prm (MulType Integer b)) => CanMulAsymmetric Integer (WithGlobalParamA to prm b) #
Instance details Associated Types type MulType Integer (WithGlobalParamA to prm b) :: * # Methods mul :: Integer -> WithGlobalParamA to prm b -> MulType Integer (WithGlobalParamA to prm b) #
(QAArrow to, CanMulAsymmetric Rational b, SuitableForWGParam prm b, SuitableForWGParam prm (MulType Rational b)) => CanMulAsymmetric Rational (WithGlobalParamA to prm b) #
Instance details Associated Types type MulType Rational (WithGlobalParamA to prm b) :: * # Methods mul :: Rational -> WithGlobalParamA to prm b -> MulType Rational (WithGlobalParamA to prm b) #
(QAArrow to, CanMulAsymmetric Dyadic b, SuitableForWGParam prm b, SuitableForWGParam prm (MulType Dyadic b)) => CanMulAsymmetric Dyadic (WithGlobalParamA to prm b) #
Instance details Associated Types type MulType Dyadic (WithGlobalParamA to prm b) :: * # Methods mul :: Dyadic -> WithGlobalParamA to prm b -> MulType Dyadic (WithGlobalParamA to prm b) #
(QAArrow to, CanAddAsymmetric Int b, SuitableForWGParam prm b, SuitableForWGParam prm (AddType Int b)) => CanAddAsymmetric Int (WithGlobalParamA to prm b) #
Instance details Associated Types type AddType Int (WithGlobalParamA to prm b) :: * # Methods add :: Int -> WithGlobalParamA to prm b -> AddType Int (WithGlobalParamA to prm b) #
(QAArrow to, CanAddAsymmetric Integer b, SuitableForWGParam prm b, SuitableForWGParam prm (AddType Integer b)) => CanAddAsymmetric Integer (WithGlobalParamA to prm b) #
Instance details Associated Types type AddType Integer (WithGlobalParamA to prm b) :: * # Methods add :: Integer -> WithGlobalParamA to prm b -> AddType Integer (WithGlobalParamA to prm b) #
(QAArrow to, CanAddAsymmetric Rational b, SuitableForWGParam prm b, SuitableForWGParam prm (AddType Rational b)) => CanAddAsymmetric Rational (WithGlobalParamA to prm b) #
Instance details Associated Types type AddType Rational (WithGlobalParamA to prm b) :: * # Methods add :: Rational -> WithGlobalParamA to prm b -> AddType Rational (WithGlobalParamA to prm b) #
(QAArrow to, CanAddAsymmetric Dyadic b, SuitableForWGParam prm b, SuitableForWGParam prm (AddType Dyadic b)) => CanAddAsymmetric Dyadic (WithGlobalParamA to prm b) #
Instance details Associated Types type AddType Dyadic (WithGlobalParamA to prm b) :: * # Methods add :: Dyadic -> WithGlobalParamA to prm b -> AddType Dyadic (WithGlobalParamA to prm b) #
(QAArrow to, CanSub Int b, SuitableForWGParam prm b, SuitableForWGParam prm (SubType Int b)) => CanSub Int (WithGlobalParamA to prm b) #
Instance details Associated Types type SubType Int (WithGlobalParamA to prm b) :: * # Methods sub :: Int -> WithGlobalParamA to prm b -> SubType Int (WithGlobalParamA to prm b) #
(QAArrow to, CanSub Integer b, SuitableForWGParam prm b, SuitableForWGParam prm (SubType Integer b)) => CanSub Integer (WithGlobalParamA to prm b) #
Instance details Associated Types type SubType Integer (WithGlobalParamA to prm b) :: * # Methods sub :: Integer -> WithGlobalParamA to prm b -> SubType Integer (WithGlobalParamA to prm b) #
(QAArrow to, CanSub Rational b, SuitableForWGParam prm b, SuitableForWGParam prm (SubType Rational b)) => CanSub Rational (WithGlobalParamA to prm b) #
Instance details Associated Types type SubType Rational (WithGlobalParamA to prm b) :: * # Methods sub :: Rational -> WithGlobalParamA to prm b -> SubType Rational (WithGlobalParamA to prm b) #
(QAArrow to, CanSub Dyadic b, SuitableForWGParam prm b, SuitableForWGParam prm (SubType Dyadic b)) => CanSub Dyadic (WithGlobalParamA to prm b) #
Instance details Associated Types type SubType Dyadic (WithGlobalParamA to prm b) :: * # Methods sub :: Dyadic -> WithGlobalParamA to prm b -> SubType Dyadic (WithGlobalParamA to prm b) #
(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) #
Instance details 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) #
Instance details 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) #
Instance details 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 to, CanMulAsymmetric a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (MulType a Integer)) => CanMulAsymmetric (WithGlobalParamA to prm a) Integer #
Instance details Associated Types type MulType (WithGlobalParamA to prm a) Integer :: * # Methods mul :: WithGlobalParamA to prm a -> Integer -> MulType (WithGlobalParamA to prm a) Integer #
(QAArrow to, CanMulAsymmetric a Int, SuitableForWGParam prm a, SuitableForWGParam prm (MulType a Int)) => CanMulAsymmetric (WithGlobalParamA to prm a) Int #
Instance details Associated Types type MulType (WithGlobalParamA to prm a) Int :: * # Methods mul :: WithGlobalParamA to prm a -> Int -> MulType (WithGlobalParamA to prm a) Int #
(QAArrow to, CanMulAsymmetric a Rational, SuitableForWGParam prm a, SuitableForWGParam prm (MulType a Rational)) => CanMulAsymmetric (WithGlobalParamA to prm a) Rational #
Instance details Associated Types type MulType (WithGlobalParamA to prm a) Rational :: * # Methods mul :: WithGlobalParamA to prm a -> Rational -> MulType (WithGlobalParamA to prm a) Rational #
(QAArrow to, CanMulAsymmetric a Dyadic, SuitableForWGParam prm a, SuitableForWGParam prm (MulType a Dyadic)) => CanMulAsymmetric (WithGlobalParamA to prm a) Dyadic #
Instance details Associated Types type MulType (WithGlobalParamA to prm a) Dyadic :: * # Methods mul :: WithGlobalParamA to prm a -> Dyadic -> MulType (WithGlobalParamA to prm a) Dyadic #
(QAArrow to, CanAddAsymmetric a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (AddType a Integer)) => CanAddAsymmetric (WithGlobalParamA to prm a) Integer #
Instance details Associated Types type AddType (WithGlobalParamA to prm a) Integer :: * # Methods add :: WithGlobalParamA to prm a -> Integer -> AddType (WithGlobalParamA to prm a) Integer #
(QAArrow to, CanAddAsymmetric a Int, SuitableForWGParam prm a, SuitableForWGParam prm (AddType a Int)) => CanAddAsymmetric (WithGlobalParamA to prm a) Int #
Instance details Associated Types type AddType (WithGlobalParamA to prm a) Int :: * # Methods add :: WithGlobalParamA to prm a -> Int -> AddType (WithGlobalParamA to prm a) Int #
(QAArrow to, CanAddAsymmetric a Rational, SuitableForWGParam prm a, SuitableForWGParam prm (AddType a Rational)) => CanAddAsymmetric (WithGlobalParamA to prm a) Rational #
Instance details Associated Types type AddType (WithGlobalParamA to prm a) Rational :: * # Methods add :: WithGlobalParamA to prm a -> Rational -> AddType (WithGlobalParamA to prm a) Rational #
(QAArrow to, CanAddAsymmetric a Dyadic, SuitableForWGParam prm a, SuitableForWGParam prm (AddType a Dyadic)) => CanAddAsymmetric (WithGlobalParamA to prm a) Dyadic #
Instance details Associated Types type AddType (WithGlobalParamA to prm a) Dyadic :: * # Methods add :: WithGlobalParamA to prm a -> Dyadic -> AddType (WithGlobalParamA to prm a) Dyadic #
(QAArrow to, CanSub a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (SubType a Integer)) => CanSub (WithGlobalParamA to prm a) Integer #
Instance details Associated Types type SubType (WithGlobalParamA to prm a) Integer :: * # Methods sub :: WithGlobalParamA to prm a -> Integer -> SubType (WithGlobalParamA to prm a) Integer #
(QAArrow to, CanSub a Int, SuitableForWGParam prm a, SuitableForWGParam prm (SubType a Int)) => CanSub (WithGlobalParamA to prm a) Int #
Instance details Associated Types type SubType (WithGlobalParamA to prm a) Int :: * # Methods sub :: WithGlobalParamA to prm a -> Int -> SubType (WithGlobalParamA to prm a) Int #
(QAArrow to, CanSub a Rational, SuitableForWGParam prm a, SuitableForWGParam prm (SubType a Rational)) => CanSub (WithGlobalParamA to prm a) Rational #
Instance details Associated Types type SubType (WithGlobalParamA to prm a) Rational :: * # Methods sub :: WithGlobalParamA to prm a -> Rational -> SubType (WithGlobalParamA to prm a) Rational #
(QAArrow to, CanSub a Dyadic, SuitableForWGParam prm a, SuitableForWGParam prm (SubType a Dyadic)) => CanSub (WithGlobalParamA to prm a) Dyadic #
Instance details Associated Types type SubType (WithGlobalParamA to prm a) Dyadic :: * # Methods sub :: WithGlobalParamA to prm a -> Dyadic -> SubType (WithGlobalParamA to prm a) Dyadic #
(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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #