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

AERN2.WithGlobalParam.Field

Contents

Orphan instances

Description

Field operations on WithGlobalParam objects.

Orphan instances

(QAArrow to, CanDiv Int b, SuitableForWGParam prm b, SuitableForWGParam prm (DivType Int b), SuitableForWGParam prm (DivTypeNoCN Int b)) => CanDiv Int (WithGlobalParamA to prm b) #
Instance details Associated Types type DivTypeNoCN Int (WithGlobalParamA to prm b) :: * # type DivType Int (WithGlobalParamA to prm b) :: * # Methods divideNoCN :: Int -> WithGlobalParamA to prm b -> DivTypeNoCN Int (WithGlobalParamA to prm b) # divide :: Int -> WithGlobalParamA to prm b -> DivType Int (WithGlobalParamA to prm b) #
(QAArrow to, CanDiv Integer b, SuitableForWGParam prm b, SuitableForWGParam prm (DivType Integer b), SuitableForWGParam prm (DivTypeNoCN Integer b)) => CanDiv Integer (WithGlobalParamA to prm b) #
Instance details Associated Types type DivTypeNoCN Integer (WithGlobalParamA to prm b) :: * # type DivType Integer (WithGlobalParamA to prm b) :: * # Methods divideNoCN :: Integer -> WithGlobalParamA to prm b -> DivTypeNoCN Integer (WithGlobalParamA to prm b) # divide :: Integer -> WithGlobalParamA to prm b -> DivType Integer (WithGlobalParamA to prm b) #
(QAArrow to, CanDiv Rational b, SuitableForWGParam prm b, SuitableForWGParam prm (DivType Rational b), SuitableForWGParam prm (DivTypeNoCN Rational b)) => CanDiv Rational (WithGlobalParamA to prm b) #
Instance details Associated Types type DivTypeNoCN Rational (WithGlobalParamA to prm b) :: * # type DivType Rational (WithGlobalParamA to prm b) :: * # Methods divideNoCN :: Rational -> WithGlobalParamA to prm b -> DivTypeNoCN Rational (WithGlobalParamA to prm b) # divide :: Rational -> WithGlobalParamA to prm b -> DivType Rational (WithGlobalParamA to prm b) #
(QAArrow to, CanDiv Dyadic b, SuitableForWGParam prm b, SuitableForWGParam prm (DivType Dyadic b), SuitableForWGParam prm (DivTypeNoCN Dyadic b)) => CanDiv Dyadic (WithGlobalParamA to prm b) #
Instance details Associated Types type DivTypeNoCN Dyadic (WithGlobalParamA to prm b) :: * # type DivType Dyadic (WithGlobalParamA to prm b) :: * # Methods divideNoCN :: Dyadic -> WithGlobalParamA to prm b -> DivTypeNoCN Dyadic (WithGlobalParamA to prm b) # divide :: Dyadic -> WithGlobalParamA to prm b -> DivType Dyadic (WithGlobalParamA to prm b) #
(CanDiv a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (DivType a (WithGlobalParamA to prm b)), CanEnsureCE es (DivTypeNoCN a (WithGlobalParamA to prm b)), SuitableForCE es) => CanDiv (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Associated Types type DivTypeNoCN (CollectErrors es a) (WithGlobalParamA to prm b) :: * # type DivType (CollectErrors es a) (WithGlobalParamA to prm b) :: * # Methods divideNoCN :: CollectErrors es a -> WithGlobalParamA to prm b -> DivTypeNoCN (CollectErrors es a) (WithGlobalParamA to prm b) # divide :: CollectErrors es a -> WithGlobalParamA to prm b -> DivType (CollectErrors es a) (WithGlobalParamA to prm b) #
(QAArrow to, CanDiv a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (DivType a Integer), SuitableForWGParam prm (DivTypeNoCN a Integer)) => CanDiv (WithGlobalParamA to prm a) Integer #
Instance details Associated Types type DivTypeNoCN (WithGlobalParamA to prm a) Integer :: * # type DivType (WithGlobalParamA to prm a) Integer :: * # Methods divideNoCN :: WithGlobalParamA to prm a -> Integer -> DivTypeNoCN (WithGlobalParamA to prm a) Integer # divide :: WithGlobalParamA to prm a -> Integer -> DivType (WithGlobalParamA to prm a) Integer #
(QAArrow to, CanDiv a Int, SuitableForWGParam prm a, SuitableForWGParam prm (DivType a Int), SuitableForWGParam prm (DivTypeNoCN a Int)) => CanDiv (WithGlobalParamA to prm a) Int #
Instance details Associated Types type DivTypeNoCN (WithGlobalParamA to prm a) Int :: * # type DivType (WithGlobalParamA to prm a) Int :: * # Methods divideNoCN :: WithGlobalParamA to prm a -> Int -> DivTypeNoCN (WithGlobalParamA to prm a) Int # divide :: WithGlobalParamA to prm a -> Int -> DivType (WithGlobalParamA to prm a) Int #
(QAArrow to, CanDiv a Rational, SuitableForWGParam prm a, SuitableForWGParam prm (DivType a Rational), SuitableForWGParam prm (DivTypeNoCN a Rational)) => CanDiv (WithGlobalParamA to prm a) Rational #
Instance details Associated Types type DivTypeNoCN (WithGlobalParamA to prm a) Rational :: * # type DivType (WithGlobalParamA to prm a) Rational :: * # Methods divideNoCN :: WithGlobalParamA to prm a -> Rational -> DivTypeNoCN (WithGlobalParamA to prm a) Rational # divide :: WithGlobalParamA to prm a -> Rational -> DivType (WithGlobalParamA to prm a) Rational #
(QAArrow to, CanDiv a Dyadic, SuitableForWGParam prm a, SuitableForWGParam prm (DivType a Dyadic), SuitableForWGParam prm (DivTypeNoCN a Dyadic)) => CanDiv (WithGlobalParamA to prm a) Dyadic #
Instance details Associated Types type DivTypeNoCN (WithGlobalParamA to prm a) Dyadic :: * # type DivType (WithGlobalParamA to prm a) Dyadic :: * # Methods divideNoCN :: WithGlobalParamA to prm a -> Dyadic -> DivTypeNoCN (WithGlobalParamA to prm a) Dyadic # divide :: WithGlobalParamA to prm a -> Dyadic -> DivType (WithGlobalParamA to prm a) Dyadic #
(CanDiv (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (DivType (WithGlobalParamA to prm a) b), CanEnsureCE es (DivTypeNoCN (WithGlobalParamA to prm a) b), SuitableForCE es) => CanDiv (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Associated Types type DivTypeNoCN (WithGlobalParamA to prm a) (CollectErrors es b) :: * # type DivType (WithGlobalParamA to prm a) (CollectErrors es b) :: * # Methods divideNoCN :: WithGlobalParamA to prm a -> CollectErrors es b -> DivTypeNoCN (WithGlobalParamA to prm a) (CollectErrors es b) # divide :: WithGlobalParamA to prm a -> CollectErrors es b -> DivType (WithGlobalParamA to prm a) (CollectErrors es b) #
(QAArrow to, CanDiv a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (DivType a b), SuitableForWGParam prm (DivTypeNoCN a b)) => CanDiv (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Associated Types type DivTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * # type DivType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * # Methods divideNoCN :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> DivTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # divide :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> DivType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #