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

AERN2.WithGlobalParam

Contents

The protocol and type of objects depending on a global parameter
auxiliary functions for making new operations

Description

Synopsis

data WithGlobalParamP prm a = WithGlobalParamP {
- withGlobalState_s :: Maybe prm
- withGlobalState_a :: a
}
pWGParam :: Maybe prm -> a -> WithGlobalParamP prm a
type SuitableForWGParam prm a = (Show a, Show prm, HasOrderCertainly prm prm)
wgprmName :: WithGlobalParamA to prm a -> String
wgprmId :: WithGlobalParamA to prm a -> Maybe (QAId to)
wgprmSources :: WithGlobalParamA to prm a -> [QAId to]
wgprmRename :: (String -> String) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm a
wgprmQuery :: QAArrow to => WithGlobalParamA to prm a -> Maybe (QAId to) -> prm `to` a
(?) :: QAArrow to => QA to p -> Q p `to` A p
wgprmQueryA :: QAArrow to => Maybe (QAId to) -> (WithGlobalParamA to prm a, prm) `to` a
wgprmListQueryA :: QAArrow to => Maybe (QAId to) -> ([WithGlobalParamA to prm a], prm) `to` [a]
type WithGlobalParamA to prm a = QA to (WithGlobalParamP prm a)
type WithGlobalParam prm a = WithGlobalParamA (->) prm a
newWGParam :: (QAArrow to, SuitableForWGParam prm a) => Maybe prm -> a -> String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> prm `to` a) -> WithGlobalParamA to prm a
newWGParamSimple :: (QAArrow to, SuitableForWGParam prm a) => Maybe prm -> a -> ((Maybe (QAId to), Maybe (QAId to)) -> prm `to` a) -> WithGlobalParamA to prm a
fmapWGParam :: Arrow to => (a -> b) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm b
unaryOp :: (QAArrow to, SuitableForWGParam prm a, SuitableForWGParam prm b) => String -> (a -> b) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm b
binaryOp :: (QAArrow to, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm c) => String -> (a -> b -> c) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> WithGlobalParamA to prm c
binaryOpWithPureArg :: (QAArrow to, SuitableForWGParam prm a, SuitableForWGParam prm c) => String -> (a -> t -> c) -> WithGlobalParamA to prm a -> t -> WithGlobalParamA to prm c

The protocol and type of objects depending on a global parameter

data WithGlobalParamP prm a #

Constructors

WithGlobalParamP
Fields withGlobalState_s :: Maybe prm withGlobalState_a :: a

Instances

QAArrow to => ConvertibleExactly Int (MPBallWithGlobalPrecA to) #
Instance details Defined in AERN2.MPBallWithGlobalPrec Methods safeConvertExactly :: Int -> ConvertResult (MPBallWithGlobalPrecA to) #
QAArrow to => ConvertibleExactly Integer (MPBallWithGlobalPrecA to) #
Instance details Defined in AERN2.MPBallWithGlobalPrec Methods safeConvertExactly :: Integer -> ConvertResult (MPBallWithGlobalPrecA to) #
QAArrow to => ConvertibleExactly Rational (MPBallWithGlobalPrecA to) #
Instance details Defined in AERN2.MPBallWithGlobalPrec Methods safeConvertExactly :: Rational -> ConvertResult (MPBallWithGlobalPrecA to) #
QAArrow to => ConvertibleExactly Dyadic (MPBallWithGlobalPrecA to) #
Instance details Defined in AERN2.MPBallWithGlobalPrec Methods safeConvertExactly :: Dyadic -> ConvertResult (MPBallWithGlobalPrecA to) #
QAArrow to => ConvertibleExactly CauchyReal (MPBallWithGlobalPrecA to) #
Instance details Defined in AERN2.MPBallWithGlobalPrec Methods safeConvertExactly :: CauchyReal -> ConvertResult (MPBallWithGlobalPrecA to) #
(SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (WithGlobalParamP prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type Associated Types type EnsureCE es (WithGlobalParamP prm a) :: * # type EnsureNoCE es (WithGlobalParamP prm a) :: * # Methods ensureCE :: Maybe es -> WithGlobalParamP prm a -> EnsureCE es (WithGlobalParamP prm a) # deEnsureCE :: Maybe es -> EnsureCE es (WithGlobalParamP prm a) -> Either es (WithGlobalParamP prm a) # ensureNoCE :: Maybe es -> WithGlobalParamP prm a -> (Maybe (EnsureNoCE es (WithGlobalParamP prm a)), es) # noValueECE :: Maybe (WithGlobalParamP prm a) -> es -> EnsureCE es (WithGlobalParamP prm a) # prependErrorsECE :: Maybe (WithGlobalParamP prm a) -> es -> EnsureCE es (WithGlobalParamP prm a) -> EnsureCE es (WithGlobalParamP prm a) #
(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 Defined in AERN2.WithGlobalParam.Field 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 Defined in AERN2.WithGlobalParam.Field 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 Defined in AERN2.WithGlobalParam.Field 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 Defined in AERN2.WithGlobalParam.Field 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) #
(QAArrow to, CanMulAsymmetric Int b, SuitableForWGParam prm b, SuitableForWGParam prm (MulType Int b)) => CanMulAsymmetric Int (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring Associated Types type MulType Dyadic (WithGlobalParamA to prm b) :: * # Methods mul :: Dyadic -> WithGlobalParamA to prm b -> MulType Dyadic (WithGlobalParamA to prm b) #
(QAArrow to, CanPow Int a, SuitableForWGParam prm a, SuitableForWGParam prm (PowTypeNoCN Int a), SuitableForWGParam prm (PowType Int a)) => CanPow Int (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type PowTypeNoCN Int (WithGlobalParamA to prm a) :: * # type PowType Int (WithGlobalParamA to prm a) :: * # Methods powNoCN :: Int -> WithGlobalParamA to prm a -> PowTypeNoCN Int (WithGlobalParamA to prm a) # pow :: Int -> WithGlobalParamA to prm a -> PowType Int (WithGlobalParamA to prm a) #
(QAArrow to, CanPow Integer a, SuitableForWGParam prm a, SuitableForWGParam prm (PowTypeNoCN Integer a), SuitableForWGParam prm (PowType Integer a)) => CanPow Integer (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type PowTypeNoCN Integer (WithGlobalParamA to prm a) :: * # type PowType Integer (WithGlobalParamA to prm a) :: * # Methods powNoCN :: Integer -> WithGlobalParamA to prm a -> PowTypeNoCN Integer (WithGlobalParamA to prm a) # pow :: Integer -> WithGlobalParamA to prm a -> PowType Integer (WithGlobalParamA to prm a) #
(QAArrow to, CanPow Rational a, SuitableForWGParam prm a, SuitableForWGParam prm (PowTypeNoCN Rational a), SuitableForWGParam prm (PowType Rational a)) => CanPow Rational (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type PowTypeNoCN Rational (WithGlobalParamA to prm a) :: * # type PowType Rational (WithGlobalParamA to prm a) :: * # Methods powNoCN :: Rational -> WithGlobalParamA to prm a -> PowTypeNoCN Rational (WithGlobalParamA to prm a) # pow :: Rational -> WithGlobalParamA to prm a -> PowType Rational (WithGlobalParamA to prm a) #
(QAArrow to, CanPow Dyadic a, SuitableForWGParam prm a, SuitableForWGParam prm (PowTypeNoCN Dyadic a), SuitableForWGParam prm (PowType Dyadic a)) => CanPow Dyadic (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type PowTypeNoCN Dyadic (WithGlobalParamA to prm a) :: * # type PowType Dyadic (WithGlobalParamA to prm a) :: * # Methods powNoCN :: Dyadic -> WithGlobalParamA to prm a -> PowTypeNoCN Dyadic (WithGlobalParamA to prm a) # pow :: Dyadic -> WithGlobalParamA to prm a -> PowType Dyadic (WithGlobalParamA to prm a) #
(QAArrow to, CanAddAsymmetric Int b, SuitableForWGParam prm b, SuitableForWGParam prm (AddType Int b)) => CanAddAsymmetric Int (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring Associated Types type SubType Dyadic (WithGlobalParamA to prm b) :: * # Methods sub :: Dyadic -> WithGlobalParamA to prm b -> SubType Dyadic (WithGlobalParamA to prm b) #
(QAArrow to, CanMinMaxAsymmetric Int b, SuitableForWGParam prm b, SuitableForWGParam prm (MinMaxType Int b)) => CanMinMaxAsymmetric Int (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type MinMaxType Int (WithGlobalParamA to prm b) :: * # Methods min :: Int -> WithGlobalParamA to prm b -> MinMaxType Int (WithGlobalParamA to prm b) # max :: Int -> WithGlobalParamA to prm b -> MinMaxType Int (WithGlobalParamA to prm b) #
(QAArrow to, CanMinMaxAsymmetric Integer b, SuitableForWGParam prm b, SuitableForWGParam prm (MinMaxType Integer b)) => CanMinMaxAsymmetric Integer (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type MinMaxType Integer (WithGlobalParamA to prm b) :: * # Methods min :: Integer -> WithGlobalParamA to prm b -> MinMaxType Integer (WithGlobalParamA to prm b) # max :: Integer -> WithGlobalParamA to prm b -> MinMaxType Integer (WithGlobalParamA to prm b) #
(QAArrow to, CanMinMaxAsymmetric Rational b, SuitableForWGParam prm b, SuitableForWGParam prm (MinMaxType Rational b)) => CanMinMaxAsymmetric Rational (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type MinMaxType Rational (WithGlobalParamA to prm b) :: * # Methods min :: Rational -> WithGlobalParamA to prm b -> MinMaxType Rational (WithGlobalParamA to prm b) # max :: Rational -> WithGlobalParamA to prm b -> MinMaxType Rational (WithGlobalParamA to prm b) #
(QAArrow to, CanMinMaxAsymmetric Dyadic b, SuitableForWGParam prm b, SuitableForWGParam prm (MinMaxType Dyadic b)) => CanMinMaxAsymmetric Dyadic (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type MinMaxType Dyadic (WithGlobalParamA to prm b) :: * # Methods min :: Dyadic -> WithGlobalParamA to prm b -> MinMaxType Dyadic (WithGlobalParamA to prm b) # max :: Dyadic -> WithGlobalParamA to prm b -> MinMaxType Dyadic (WithGlobalParamA to prm b) #
(QAArrow to, HasEqAsymmetric Int a, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType Int a)) => HasEqAsymmetric Int (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type EqCompareType Int (WithGlobalParamA to prm a) :: * # Methods equalTo :: Int -> WithGlobalParamA to prm a -> EqCompareType Int (WithGlobalParamA to prm a) # notEqualTo :: Int -> WithGlobalParamA to prm a -> EqCompareType Int (WithGlobalParamA to prm a) #
(QAArrow to, HasEqAsymmetric Integer a, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType Integer a)) => HasEqAsymmetric Integer (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type EqCompareType Integer (WithGlobalParamA to prm a) :: * # Methods equalTo :: Integer -> WithGlobalParamA to prm a -> EqCompareType Integer (WithGlobalParamA to prm a) # notEqualTo :: Integer -> WithGlobalParamA to prm a -> EqCompareType Integer (WithGlobalParamA to prm a) #
(QAArrow to, HasEqAsymmetric Rational a, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType Rational a)) => HasEqAsymmetric Rational (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type EqCompareType Rational (WithGlobalParamA to prm a) :: * # Methods equalTo :: Rational -> WithGlobalParamA to prm a -> EqCompareType Rational (WithGlobalParamA to prm a) # notEqualTo :: Rational -> WithGlobalParamA to prm a -> EqCompareType Rational (WithGlobalParamA to prm a) #
(QAArrow to, HasEqAsymmetric Dyadic a, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType Dyadic a)) => HasEqAsymmetric Dyadic (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type EqCompareType Dyadic (WithGlobalParamA to prm a) :: * # Methods equalTo :: Dyadic -> WithGlobalParamA to prm a -> EqCompareType Dyadic (WithGlobalParamA to prm a) # notEqualTo :: Dyadic -> WithGlobalParamA to prm a -> EqCompareType Dyadic (WithGlobalParamA to prm a) #
(QAArrow to, HasOrderAsymmetric Int a, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType Int a)) => HasOrderAsymmetric Int (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type OrderCompareType Int (WithGlobalParamA to prm a) :: * # Methods lessThan :: Int -> WithGlobalParamA to prm a -> OrderCompareType Int (WithGlobalParamA to prm a) # greaterThan :: Int -> WithGlobalParamA to prm a -> OrderCompareType Int (WithGlobalParamA to prm a) # leq :: Int -> WithGlobalParamA to prm a -> OrderCompareType Int (WithGlobalParamA to prm a) # geq :: Int -> WithGlobalParamA to prm a -> OrderCompareType Int (WithGlobalParamA to prm a) #
(QAArrow to, HasOrderAsymmetric Integer a, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType Integer a)) => HasOrderAsymmetric Integer (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type OrderCompareType Integer (WithGlobalParamA to prm a) :: * # Methods lessThan :: Integer -> WithGlobalParamA to prm a -> OrderCompareType Integer (WithGlobalParamA to prm a) # greaterThan :: Integer -> WithGlobalParamA to prm a -> OrderCompareType Integer (WithGlobalParamA to prm a) # leq :: Integer -> WithGlobalParamA to prm a -> OrderCompareType Integer (WithGlobalParamA to prm a) # geq :: Integer -> WithGlobalParamA to prm a -> OrderCompareType Integer (WithGlobalParamA to prm a) #
(QAArrow to, HasOrderAsymmetric Rational a, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType Rational a)) => HasOrderAsymmetric Rational (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type OrderCompareType Rational (WithGlobalParamA to prm a) :: * # Methods lessThan :: Rational -> WithGlobalParamA to prm a -> OrderCompareType Rational (WithGlobalParamA to prm a) # greaterThan :: Rational -> WithGlobalParamA to prm a -> OrderCompareType Rational (WithGlobalParamA to prm a) # leq :: Rational -> WithGlobalParamA to prm a -> OrderCompareType Rational (WithGlobalParamA to prm a) # geq :: Rational -> WithGlobalParamA to prm a -> OrderCompareType Rational (WithGlobalParamA to prm a) #
(QAArrow to, HasOrderAsymmetric Dyadic a, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType Dyadic a)) => HasOrderAsymmetric Dyadic (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type OrderCompareType Dyadic (WithGlobalParamA to prm a) :: * # Methods lessThan :: Dyadic -> WithGlobalParamA to prm a -> OrderCompareType Dyadic (WithGlobalParamA to prm a) # greaterThan :: Dyadic -> WithGlobalParamA to prm a -> OrderCompareType Dyadic (WithGlobalParamA to prm a) # leq :: Dyadic -> WithGlobalParamA to prm a -> OrderCompareType Dyadic (WithGlobalParamA to prm a) # geq :: Dyadic -> WithGlobalParamA to prm a -> OrderCompareType Dyadic (WithGlobalParamA to prm a) #
(QAArrow to, HasBools b, SuitableForWGParam prm b) => ConvertibleExactly Bool (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Methods safeConvertExactly :: Bool -> ConvertResult (WithGlobalParamA to prm b) #
(Arrow to, SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type Associated Types type EnsureCE es (WithGlobalParamA to prm a) :: * # type EnsureNoCE es (WithGlobalParamA to prm a) :: * # Methods ensureCE :: Maybe es -> WithGlobalParamA to prm a -> EnsureCE es (WithGlobalParamA to prm a) # deEnsureCE :: Maybe es -> EnsureCE es (WithGlobalParamA to prm a) -> Either es (WithGlobalParamA to prm a) # ensureNoCE :: Maybe es -> WithGlobalParamA to prm a -> (Maybe (EnsureNoCE es (WithGlobalParamA to prm a)), es) # noValueECE :: Maybe (WithGlobalParamA to prm a) -> es -> EnsureCE es (WithGlobalParamA to prm a) # prependErrorsECE :: Maybe (WithGlobalParamA to prm a) -> es -> EnsureCE es (WithGlobalParamA to prm a) -> EnsureCE es (WithGlobalParamA to prm a) #
Functor (WithGlobalParamP prm) #
Instance details Defined in AERN2.WithGlobalParam.Type Methods fmap :: (a -> b) -> WithGlobalParamP prm a -> WithGlobalParamP prm b # (<$) :: a -> WithGlobalParamP prm b -> WithGlobalParamP prm a #
(Show prm, Show a) => Show (WithGlobalParamP prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type Methods showsPrec :: Int -> WithGlobalParamP prm a -> ShowS # show :: WithGlobalParamP prm a -> String # showList :: [WithGlobalParamP prm a] -> ShowS #
SuitableForWGParam prm a => QAProtocolCacheable (WithGlobalParamP prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type Associated Types type QACache (WithGlobalParamP prm a) :: * # Methods newQACache :: WithGlobalParamP prm a -> QACache (WithGlobalParamP prm a) # lookupQACache :: WithGlobalParamP prm a -> QACache (WithGlobalParamP prm a) -> Q (WithGlobalParamP prm a) -> (Maybe (A (WithGlobalParamP prm a)), Maybe String) # updateQACache :: WithGlobalParamP prm a -> Q (WithGlobalParamP prm a) -> A (WithGlobalParamP prm a) -> QACache (WithGlobalParamP prm a) -> QACache (WithGlobalParamP prm a) #
(Show a, Show prm) => QAProtocol (WithGlobalParamP prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type Associated Types type Q (WithGlobalParamP prm a) :: * # type A (WithGlobalParamP prm a) :: * #
(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 Defined in AERN2.WithGlobalParam.Field 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) #
(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 Defined in AERN2.WithGlobalParam.Ring 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) #
(CanPow a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (PowType a (WithGlobalParamA to prm b)), CanEnsureCE es (PowTypeNoCN a (WithGlobalParamA to prm b)), SuitableForCE es) => CanPow (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type PowTypeNoCN (CollectErrors es a) (WithGlobalParamA to prm b) :: * # type PowType (CollectErrors es a) (WithGlobalParamA to prm b) :: * # Methods powNoCN :: CollectErrors es a -> WithGlobalParamA to prm b -> PowTypeNoCN (CollectErrors es a) (WithGlobalParamA to prm b) # pow :: CollectErrors es a -> WithGlobalParamA to prm b -> PowType (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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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) #
(CanMinMaxAsymmetric a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (MinMaxType a (WithGlobalParamA to prm b)), SuitableForCE es) => CanMinMaxAsymmetric (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) :: * # Methods min :: CollectErrors es a -> WithGlobalParamA to prm b -> MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) # max :: CollectErrors es a -> WithGlobalParamA to prm b -> MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) #
(HasEqAsymmetric a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (EqCompareType a (WithGlobalParamA to prm b)), IsBool (EnsureCE es (EqCompareType a (WithGlobalParamA to prm b))), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type EqCompareType (CollectErrors es a) (WithGlobalParamA to prm b) :: * # Methods equalTo :: CollectErrors es a -> WithGlobalParamA to prm b -> EqCompareType (CollectErrors es a) (WithGlobalParamA to prm b) # notEqualTo :: CollectErrors es a -> WithGlobalParamA to prm b -> EqCompareType (CollectErrors es a) (WithGlobalParamA to prm b) #
(HasOrderAsymmetric a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (OrderCompareType a (WithGlobalParamA to prm b)), IsBool (EnsureCE es (OrderCompareType a (WithGlobalParamA to prm b))), SuitableForCE es) => HasOrderAsymmetric (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) :: * # Methods lessThan :: CollectErrors es a -> WithGlobalParamA to prm b -> OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) # greaterThan :: CollectErrors es a -> WithGlobalParamA to prm b -> OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) # leq :: CollectErrors es a -> WithGlobalParamA to prm b -> OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) # geq :: CollectErrors es a -> WithGlobalParamA to prm b -> OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) #
(QAArrow to, CanSqrt a, CanMinMaxThis a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (SqrtType a)) => CanSqrt (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type SqrtType (WithGlobalParamA to prm a) :: * # Methods sqrt :: WithGlobalParamA to prm a -> SqrtType (WithGlobalParamA to prm a) #
(QAArrow to, CanExp a, SuitableForWGParam prm a, SuitableForWGParam prm (ExpType a)) => CanExp (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type ExpType (WithGlobalParamA to prm a) :: * # Methods exp :: WithGlobalParamA to prm a -> ExpType (WithGlobalParamA to prm a) #
(QAArrow to, CanLog a, SuitableForWGParam prm a, SuitableForWGParam prm (LogType a)) => CanLog (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type LogType (WithGlobalParamA to prm a) :: * # Methods log :: WithGlobalParamA to prm a -> LogType (WithGlobalParamA to prm a) #
(QAArrow to, CanSinCos a, SuitableForWGParam prm a, SuitableForWGParam prm (SinCosType a)) => CanSinCos (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type SinCosType (WithGlobalParamA to prm a) :: * # Methods cos :: WithGlobalParamA to prm a -> SinCosType (WithGlobalParamA to prm a) # sin :: WithGlobalParamA to prm a -> SinCosType (WithGlobalParamA to prm a) #
(QAArrow to, CanAbs a, SuitableForWGParam prm a, SuitableForWGParam prm (AbsType a)) => CanAbs (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type AbsType (WithGlobalParamA to prm a) :: * # Methods abs :: WithGlobalParamA to prm a -> AbsType (WithGlobalParamA to prm a) #
(QAArrow to, CanNeg a, SuitableForWGParam prm a, SuitableForWGParam prm (NegType a)) => CanNeg (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type NegType (WithGlobalParamA to prm a) :: * # Methods negate :: WithGlobalParamA to prm a -> NegType (WithGlobalParamA to prm a) #
(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 Defined in AERN2.WithGlobalParam.Field 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 Defined in AERN2.WithGlobalParam.Field 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 Defined in AERN2.WithGlobalParam.Field 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 Defined in AERN2.WithGlobalParam.Field 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 #
(QAArrow to, CanMulAsymmetric a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (MulType a Integer)) => CanMulAsymmetric (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring Associated Types type MulType (WithGlobalParamA to prm a) Dyadic :: * # Methods mul :: WithGlobalParamA to prm a -> Dyadic -> MulType (WithGlobalParamA to prm a) Dyadic #
(QAArrow to, CanPow a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (PowTypeNoCN a Integer), SuitableForWGParam prm (PowType a Integer)) => CanPow (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type PowTypeNoCN (WithGlobalParamA to prm a) Integer :: * # type PowType (WithGlobalParamA to prm a) Integer :: * # Methods powNoCN :: WithGlobalParamA to prm a -> Integer -> PowTypeNoCN (WithGlobalParamA to prm a) Integer # pow :: WithGlobalParamA to prm a -> Integer -> PowType (WithGlobalParamA to prm a) Integer #
(QAArrow to, CanPow a Int, SuitableForWGParam prm a, SuitableForWGParam prm (PowTypeNoCN a Int), SuitableForWGParam prm (PowType a Int)) => CanPow (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type PowTypeNoCN (WithGlobalParamA to prm a) Int :: * # type PowType (WithGlobalParamA to prm a) Int :: * # Methods powNoCN :: WithGlobalParamA to prm a -> Int -> PowTypeNoCN (WithGlobalParamA to prm a) Int # pow :: WithGlobalParamA to prm a -> Int -> PowType (WithGlobalParamA to prm a) Int #
(QAArrow to, CanPow a Dyadic, SuitableForWGParam prm a, SuitableForWGParam prm (PowTypeNoCN a Dyadic), SuitableForWGParam prm (PowType a Dyadic)) => CanPow (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type PowTypeNoCN (WithGlobalParamA to prm a) Dyadic :: * # type PowType (WithGlobalParamA to prm a) Dyadic :: * # Methods powNoCN :: WithGlobalParamA to prm a -> Dyadic -> PowTypeNoCN (WithGlobalParamA to prm a) Dyadic # pow :: WithGlobalParamA to prm a -> Dyadic -> PowType (WithGlobalParamA to prm a) Dyadic #
(QAArrow to, CanPow a Rational, SuitableForWGParam prm a, SuitableForWGParam prm (PowTypeNoCN a Rational), SuitableForWGParam prm (PowType a Rational)) => CanPow (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type PowTypeNoCN (WithGlobalParamA to prm a) Rational :: * # type PowType (WithGlobalParamA to prm a) Rational :: * # Methods powNoCN :: WithGlobalParamA to prm a -> Rational -> PowTypeNoCN (WithGlobalParamA to prm a) Rational # pow :: WithGlobalParamA to prm a -> Rational -> PowType (WithGlobalParamA to prm a) Rational #
(QAArrow to, CanAddAsymmetric a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (AddType a Integer)) => CanAddAsymmetric (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring Associated Types type SubType (WithGlobalParamA to prm a) Dyadic :: * # Methods sub :: WithGlobalParamA to prm a -> Dyadic -> SubType (WithGlobalParamA to prm a) Dyadic #
(QAArrow to, CanMinMaxAsymmetric a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (MinMaxType a Integer)) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type MinMaxType (WithGlobalParamA to prm a) Integer :: * # Methods min :: WithGlobalParamA to prm a -> Integer -> MinMaxType (WithGlobalParamA to prm a) Integer # max :: WithGlobalParamA to prm a -> Integer -> MinMaxType (WithGlobalParamA to prm a) Integer #
(QAArrow to, CanMinMaxAsymmetric a Int, SuitableForWGParam prm a, SuitableForWGParam prm (MinMaxType a Int)) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type MinMaxType (WithGlobalParamA to prm a) Int :: * # Methods min :: WithGlobalParamA to prm a -> Int -> MinMaxType (WithGlobalParamA to prm a) Int # max :: WithGlobalParamA to prm a -> Int -> MinMaxType (WithGlobalParamA to prm a) Int #
(QAArrow to, CanMinMaxAsymmetric a Rational, SuitableForWGParam prm a, SuitableForWGParam prm (MinMaxType a Rational)) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type MinMaxType (WithGlobalParamA to prm a) Rational :: * # Methods min :: WithGlobalParamA to prm a -> Rational -> MinMaxType (WithGlobalParamA to prm a) Rational # max :: WithGlobalParamA to prm a -> Rational -> MinMaxType (WithGlobalParamA to prm a) Rational #
(QAArrow to, CanMinMaxAsymmetric a Dyadic, SuitableForWGParam prm a, SuitableForWGParam prm (MinMaxType a Dyadic)) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type MinMaxType (WithGlobalParamA to prm a) Dyadic :: * # Methods min :: WithGlobalParamA to prm a -> Dyadic -> MinMaxType (WithGlobalParamA to prm a) Dyadic # max :: WithGlobalParamA to prm a -> Dyadic -> MinMaxType (WithGlobalParamA to prm a) Dyadic #
(QAArrow to, HasEqAsymmetric a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType a Integer)) => HasEqAsymmetric (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type EqCompareType (WithGlobalParamA to prm a) Integer :: * # Methods equalTo :: WithGlobalParamA to prm a -> Integer -> EqCompareType (WithGlobalParamA to prm a) Integer # notEqualTo :: WithGlobalParamA to prm a -> Integer -> EqCompareType (WithGlobalParamA to prm a) Integer #
(QAArrow to, HasEqAsymmetric a Int, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType a Int)) => HasEqAsymmetric (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type EqCompareType (WithGlobalParamA to prm a) Int :: * # Methods equalTo :: WithGlobalParamA to prm a -> Int -> EqCompareType (WithGlobalParamA to prm a) Int # notEqualTo :: WithGlobalParamA to prm a -> Int -> EqCompareType (WithGlobalParamA to prm a) Int #
(QAArrow to, HasEqAsymmetric a Rational, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType a Rational)) => HasEqAsymmetric (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type EqCompareType (WithGlobalParamA to prm a) Rational :: * # Methods equalTo :: WithGlobalParamA to prm a -> Rational -> EqCompareType (WithGlobalParamA to prm a) Rational # notEqualTo :: WithGlobalParamA to prm a -> Rational -> EqCompareType (WithGlobalParamA to prm a) Rational #
(QAArrow to, HasEqAsymmetric a Dyadic, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType a Dyadic)) => HasEqAsymmetric (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type EqCompareType (WithGlobalParamA to prm a) Dyadic :: * # Methods equalTo :: WithGlobalParamA to prm a -> Dyadic -> EqCompareType (WithGlobalParamA to prm a) Dyadic # notEqualTo :: WithGlobalParamA to prm a -> Dyadic -> EqCompareType (WithGlobalParamA to prm a) Dyadic #
(QAArrow to, HasOrderAsymmetric a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType a Integer)) => HasOrderAsymmetric (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type OrderCompareType (WithGlobalParamA to prm a) Integer :: * # Methods lessThan :: WithGlobalParamA to prm a -> Integer -> OrderCompareType (WithGlobalParamA to prm a) Integer # greaterThan :: WithGlobalParamA to prm a -> Integer -> OrderCompareType (WithGlobalParamA to prm a) Integer # leq :: WithGlobalParamA to prm a -> Integer -> OrderCompareType (WithGlobalParamA to prm a) Integer # geq :: WithGlobalParamA to prm a -> Integer -> OrderCompareType (WithGlobalParamA to prm a) Integer #
(QAArrow to, HasOrderAsymmetric a Int, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType a Int)) => HasOrderAsymmetric (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type OrderCompareType (WithGlobalParamA to prm a) Int :: * # Methods lessThan :: WithGlobalParamA to prm a -> Int -> OrderCompareType (WithGlobalParamA to prm a) Int # greaterThan :: WithGlobalParamA to prm a -> Int -> OrderCompareType (WithGlobalParamA to prm a) Int # leq :: WithGlobalParamA to prm a -> Int -> OrderCompareType (WithGlobalParamA to prm a) Int # geq :: WithGlobalParamA to prm a -> Int -> OrderCompareType (WithGlobalParamA to prm a) Int #
(QAArrow to, HasOrderAsymmetric a Rational, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType a Rational)) => HasOrderAsymmetric (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type OrderCompareType (WithGlobalParamA to prm a) Rational :: * # Methods lessThan :: WithGlobalParamA to prm a -> Rational -> OrderCompareType (WithGlobalParamA to prm a) Rational # greaterThan :: WithGlobalParamA to prm a -> Rational -> OrderCompareType (WithGlobalParamA to prm a) Rational # leq :: WithGlobalParamA to prm a -> Rational -> OrderCompareType (WithGlobalParamA to prm a) Rational # geq :: WithGlobalParamA to prm a -> Rational -> OrderCompareType (WithGlobalParamA to prm a) Rational #
(QAArrow to, HasOrderAsymmetric a Dyadic, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType a Dyadic)) => HasOrderAsymmetric (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type OrderCompareType (WithGlobalParamA to prm a) Dyadic :: * # Methods lessThan :: WithGlobalParamA to prm a -> Dyadic -> OrderCompareType (WithGlobalParamA to prm a) Dyadic # greaterThan :: WithGlobalParamA to prm a -> Dyadic -> OrderCompareType (WithGlobalParamA to prm a) Dyadic # leq :: WithGlobalParamA to prm a -> Dyadic -> OrderCompareType (WithGlobalParamA to prm a) Dyadic # geq :: WithGlobalParamA to prm a -> Dyadic -> OrderCompareType (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 Defined in AERN2.WithGlobalParam.Field 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) #
(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 Defined in AERN2.WithGlobalParam.Ring 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) #
(CanPow (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (PowTypeNoCN (WithGlobalParamA to prm a) b), CanEnsureCE es (PowType (WithGlobalParamA to prm a) b), SuitableForCE es) => CanPow (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type PowTypeNoCN (WithGlobalParamA to prm a) (CollectErrors es b) :: * # type PowType (WithGlobalParamA to prm a) (CollectErrors es b) :: * # Methods powNoCN :: WithGlobalParamA to prm a -> CollectErrors es b -> PowTypeNoCN (WithGlobalParamA to prm a) (CollectErrors es b) # pow :: WithGlobalParamA to prm a -> CollectErrors es b -> PowType (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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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) #
(CanMinMaxAsymmetric (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (MinMaxType (WithGlobalParamA to prm a) b), SuitableForCE es) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) :: * # Methods min :: WithGlobalParamA to prm a -> CollectErrors es b -> MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) # max :: WithGlobalParamA to prm a -> CollectErrors es b -> MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) #
(HasEqAsymmetric (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (EqCompareType (WithGlobalParamA to prm a) b), IsBool (EnsureCE es (EqCompareType (WithGlobalParamA to prm a) b)), SuitableForCE es) => HasEqAsymmetric (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type EqCompareType (WithGlobalParamA to prm a) (CollectErrors es b) :: * # Methods equalTo :: WithGlobalParamA to prm a -> CollectErrors es b -> EqCompareType (WithGlobalParamA to prm a) (CollectErrors es b) # notEqualTo :: WithGlobalParamA to prm a -> CollectErrors es b -> EqCompareType (WithGlobalParamA to prm a) (CollectErrors es b) #
(HasOrderAsymmetric (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (OrderCompareType (WithGlobalParamA to prm a) b), IsBool (EnsureCE es (OrderCompareType (WithGlobalParamA to prm a) b)), SuitableForCE es) => HasOrderAsymmetric (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) :: * # Methods lessThan :: WithGlobalParamA to prm a -> CollectErrors es b -> OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) # greaterThan :: WithGlobalParamA to prm a -> CollectErrors es b -> OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) # leq :: WithGlobalParamA to prm a -> CollectErrors es b -> OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) # geq :: WithGlobalParamA to prm a -> CollectErrors es b -> OrderCompareType (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 Defined in AERN2.WithGlobalParam.Field 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) #
(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 Defined in AERN2.WithGlobalParam.Ring 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, CanPow a e, SuitableForWGParam prm a, SuitableForWGParam prm e, SuitableForWGParam prm (PowTypeNoCN a e), SuitableForWGParam prm (PowType a e)) => CanPow (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) #
Instance details Defined in AERN2.WithGlobalParam.Elementary Associated Types type PowTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) :: * # type PowType (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) :: * # Methods powNoCN :: WithGlobalParamA to prm a -> WithGlobalParamA to prm e -> PowTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) # pow :: WithGlobalParamA to prm a -> WithGlobalParamA to prm e -> PowType (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) #
(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 Defined in AERN2.WithGlobalParam.Ring 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 Defined in AERN2.WithGlobalParam.Ring 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) #
(QAArrow to, CanMinMaxAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (MinMaxType a b)) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * # Methods min :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # max :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
(QAArrow to, HasEqAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (EqCompareType a b)) => HasEqAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * # Methods equalTo :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # notEqualTo :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
(QAArrow to, HasOrderAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (OrderCompareType a b)) => HasOrderAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * # Methods lessThan :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # greaterThan :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # leq :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # geq :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
(QAArrow to, CanAndOrAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (AndOrType a b)) => CanAndOrAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison Associated Types type AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * # Methods and2 :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # or2 :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
(QAArrow to, HasIfThenElse b t, SuitableForWGParam prm b, SuitableForWGParam prm t, SuitableForWGParam prm (IfThenElseType b t)) => HasIfThenElse (WithGlobalParamA to prm b) (WithGlobalParamA to prm t) #	lifted if-then-else
Instance details Defined in AERN2.WithGlobalParam.Branching Associated Types type IfThenElseType (WithGlobalParamA to prm b) (WithGlobalParamA to prm t) :: * # Methods ifThenElse :: WithGlobalParamA to prm b -> WithGlobalParamA to prm t -> WithGlobalParamA to prm t -> IfThenElseType (WithGlobalParamA to prm b) (WithGlobalParamA to prm t) #
type EnsureNoCE es (WithGlobalParamP prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type type EnsureNoCE es (WithGlobalParamP prm a) = WithGlobalParamP prm (EnsureNoCE es a)
type EnsureCE es (WithGlobalParamP prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type type EnsureCE es (WithGlobalParamP prm a) = WithGlobalParamP prm (EnsureCE es a)
type DivType Int (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivType Int (WithGlobalParamA to prm b) = WithGlobalParamA to prm (DivType Int b)
type DivType Integer (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivType Integer (WithGlobalParamA to prm b) = WithGlobalParamA to prm (DivType Integer b)
type DivType Rational (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivType Rational (WithGlobalParamA to prm b) = WithGlobalParamA to prm (DivType Rational b)
type DivType Dyadic (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivType Dyadic (WithGlobalParamA to prm b) = WithGlobalParamA to prm (DivType Dyadic b)
type DivTypeNoCN Int (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivTypeNoCN Int (WithGlobalParamA to prm b) = WithGlobalParamA to prm (DivTypeNoCN Int b)
type DivTypeNoCN Integer (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivTypeNoCN Integer (WithGlobalParamA to prm b) = WithGlobalParamA to prm (DivTypeNoCN Integer b)
type DivTypeNoCN Rational (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivTypeNoCN Rational (WithGlobalParamA to prm b) = WithGlobalParamA to prm (DivTypeNoCN Rational b)
type DivTypeNoCN Dyadic (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivTypeNoCN Dyadic (WithGlobalParamA to prm b) = WithGlobalParamA to prm (DivTypeNoCN Dyadic b)
type MulType Int (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type MulType Int (WithGlobalParamA to prm b) = WithGlobalParamA to prm (MulType Int b)
type MulType Integer (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type MulType Integer (WithGlobalParamA to prm b) = WithGlobalParamA to prm (MulType Integer b)
type MulType Rational (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type MulType Rational (WithGlobalParamA to prm b) = WithGlobalParamA to prm (MulType Rational b)
type MulType Dyadic (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type MulType Dyadic (WithGlobalParamA to prm b) = WithGlobalParamA to prm (MulType Dyadic b)
type PowType Int (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowType Int (WithGlobalParamA to prm a) = WithGlobalParamA to prm (PowType Int a)
type PowType Integer (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowType Integer (WithGlobalParamA to prm a) = WithGlobalParamA to prm (PowType Integer a)
type PowType Rational (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowType Rational (WithGlobalParamA to prm a) = WithGlobalParamA to prm (PowType Rational a)
type PowType Dyadic (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowType Dyadic (WithGlobalParamA to prm a) = WithGlobalParamA to prm (PowType Dyadic a)
type PowTypeNoCN Int (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowTypeNoCN Int (WithGlobalParamA to prm a) = WithGlobalParamA to prm (PowTypeNoCN Int a)
type PowTypeNoCN Integer (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowTypeNoCN Integer (WithGlobalParamA to prm a) = WithGlobalParamA to prm (PowTypeNoCN Integer a)
type PowTypeNoCN Rational (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowTypeNoCN Rational (WithGlobalParamA to prm a) = WithGlobalParamA to prm (PowTypeNoCN Rational a)
type PowTypeNoCN Dyadic (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowTypeNoCN Dyadic (WithGlobalParamA to prm a) = WithGlobalParamA to prm (PowTypeNoCN Dyadic a)
type AddType Int (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type AddType Int (WithGlobalParamA to prm b) = WithGlobalParamA to prm (AddType Int b)
type AddType Integer (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type AddType Integer (WithGlobalParamA to prm b) = WithGlobalParamA to prm (AddType Integer b)
type AddType Rational (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type AddType Rational (WithGlobalParamA to prm b) = WithGlobalParamA to prm (AddType Rational b)
type AddType Dyadic (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type AddType Dyadic (WithGlobalParamA to prm b) = WithGlobalParamA to prm (AddType Dyadic b)
type SubType Int (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type SubType Int (WithGlobalParamA to prm b) = WithGlobalParamA to prm (SubType Int b)
type SubType Integer (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type SubType Integer (WithGlobalParamA to prm b) = WithGlobalParamA to prm (SubType Integer b)
type SubType Rational (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type SubType Rational (WithGlobalParamA to prm b) = WithGlobalParamA to prm (SubType Rational b)
type SubType Dyadic (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type SubType Dyadic (WithGlobalParamA to prm b) = WithGlobalParamA to prm (SubType Dyadic b)
type MinMaxType Int (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type MinMaxType Int (WithGlobalParamA to prm b) = WithGlobalParamA to prm (MinMaxType Int b)
type MinMaxType Integer (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type MinMaxType Integer (WithGlobalParamA to prm b) = WithGlobalParamA to prm (MinMaxType Integer b)
type MinMaxType Rational (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type MinMaxType Rational (WithGlobalParamA to prm b) = WithGlobalParamA to prm (MinMaxType Rational b)
type MinMaxType Dyadic (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type MinMaxType Dyadic (WithGlobalParamA to prm b) = WithGlobalParamA to prm (MinMaxType Dyadic b)
type EqCompareType Int (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type EqCompareType Int (WithGlobalParamA to prm a) = WithGlobalParamA to prm (EqCompareType Int a)
type EqCompareType Integer (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type EqCompareType Integer (WithGlobalParamA to prm a) = WithGlobalParamA to prm (EqCompareType Integer a)
type EqCompareType Rational (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type EqCompareType Rational (WithGlobalParamA to prm a) = WithGlobalParamA to prm (EqCompareType Rational a)
type EqCompareType Dyadic (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type EqCompareType Dyadic (WithGlobalParamA to prm a) = WithGlobalParamA to prm (EqCompareType Dyadic a)
type OrderCompareType Int (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type OrderCompareType Int (WithGlobalParamA to prm a) = WithGlobalParamA to prm (OrderCompareType Int a)
type OrderCompareType Integer (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type OrderCompareType Integer (WithGlobalParamA to prm a) = WithGlobalParamA to prm (OrderCompareType Integer a)
type OrderCompareType Rational (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type OrderCompareType Rational (WithGlobalParamA to prm a) = WithGlobalParamA to prm (OrderCompareType Rational a)
type OrderCompareType Dyadic (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type OrderCompareType Dyadic (WithGlobalParamA to prm a) = WithGlobalParamA to prm (OrderCompareType Dyadic a)
type EnsureNoCE es (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type type EnsureNoCE es (WithGlobalParamA to prm a) = WithGlobalParamA to prm (EnsureNoCE es a)
type EnsureCE es (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type type EnsureCE es (WithGlobalParamA to prm a) = WithGlobalParamA to prm (EnsureCE es a)
type QACache (WithGlobalParamP prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type type QACache (WithGlobalParamP prm a) = Maybe (a, prm)
type Q (WithGlobalParamP prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type type Q (WithGlobalParamP prm a) = prm
type A (WithGlobalParamP prm a) #
Instance details Defined in AERN2.WithGlobalParam.Type type A (WithGlobalParamP prm a) = a
type DivType (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivType (CollectErrors es a) (WithGlobalParamA to prm b) = EnsureCE es (DivType a (WithGlobalParamA to prm b))
type DivTypeNoCN (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivTypeNoCN (CollectErrors es a) (WithGlobalParamA to prm b) = EnsureCE es (DivTypeNoCN a (WithGlobalParamA to prm b))
type MulType (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type MulType (CollectErrors es a) (WithGlobalParamA to prm b) = EnsureCE es (MulType a (WithGlobalParamA to prm b))
type PowType (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowType (CollectErrors es a) (WithGlobalParamA to prm b) = EnsureCE es (PowType a (WithGlobalParamA to prm b))
type PowTypeNoCN (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowTypeNoCN (CollectErrors es a) (WithGlobalParamA to prm b) = EnsureCE es (PowTypeNoCN a (WithGlobalParamA to prm b))
type AddType (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type AddType (CollectErrors es a) (WithGlobalParamA to prm b) = EnsureCE es (AddType a (WithGlobalParamA to prm b))
type SubType (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type SubType (CollectErrors es a) (WithGlobalParamA to prm b) = EnsureCE es (SubType a (WithGlobalParamA to prm b))
type MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) = EnsureCE es (MinMaxType a (WithGlobalParamA to prm b))
type EqCompareType (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type EqCompareType (CollectErrors es a) (WithGlobalParamA to prm b) = EnsureCE es (EqCompareType a (WithGlobalParamA to prm b))
type OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) = EnsureCE es (OrderCompareType a (WithGlobalParamA to prm b))
type SqrtType (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type SqrtType (WithGlobalParamA to prm a) = WithGlobalParamA to prm (SqrtType a)
type ExpType (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type ExpType (WithGlobalParamA to prm a) = WithGlobalParamA to prm (ExpType a)
type LogType (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type LogType (WithGlobalParamA to prm a) = WithGlobalParamA to prm (LogType a)
type SinCosType (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type SinCosType (WithGlobalParamA to prm a) = WithGlobalParamA to prm (SinCosType a)
type AbsType (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type AbsType (WithGlobalParamA to prm a) = WithGlobalParamA to prm (AbsType a)
type NegType (WithGlobalParamA to prm a) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type NegType (WithGlobalParamA to prm a) = WithGlobalParamA to prm (NegType a)
type DivType (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Field type DivType (WithGlobalParamA to prm a) Dyadic = WithGlobalParamA to prm (DivType a Dyadic)
type DivType (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Field type DivType (WithGlobalParamA to prm a) Rational = WithGlobalParamA to prm (DivType a Rational)
type DivType (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Field type DivType (WithGlobalParamA to prm a) Int = WithGlobalParamA to prm (DivType a Int)
type DivType (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Field type DivType (WithGlobalParamA to prm a) Integer = WithGlobalParamA to prm (DivType a Integer)
type DivTypeNoCN (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Field type DivTypeNoCN (WithGlobalParamA to prm a) Dyadic = WithGlobalParamA to prm (DivTypeNoCN a Dyadic)
type DivTypeNoCN (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Field type DivTypeNoCN (WithGlobalParamA to prm a) Rational = WithGlobalParamA to prm (DivTypeNoCN a Rational)
type DivTypeNoCN (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Field type DivTypeNoCN (WithGlobalParamA to prm a) Int = WithGlobalParamA to prm (DivTypeNoCN a Int)
type DivTypeNoCN (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Field type DivTypeNoCN (WithGlobalParamA to prm a) Integer = WithGlobalParamA to prm (DivTypeNoCN a Integer)
type MulType (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Ring type MulType (WithGlobalParamA to prm a) Dyadic = WithGlobalParamA to prm (MulType a Dyadic)
type MulType (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Ring type MulType (WithGlobalParamA to prm a) Rational = WithGlobalParamA to prm (MulType a Rational)
type MulType (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Ring type MulType (WithGlobalParamA to prm a) Int = WithGlobalParamA to prm (MulType a Int)
type MulType (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Ring type MulType (WithGlobalParamA to prm a) Integer = WithGlobalParamA to prm (MulType a Integer)
type PowType (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowType (WithGlobalParamA to prm a) Rational = WithGlobalParamA to prm (PowType a Rational)
type PowType (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowType (WithGlobalParamA to prm a) Dyadic = WithGlobalParamA to prm (PowType a Dyadic)
type PowType (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowType (WithGlobalParamA to prm a) Int = WithGlobalParamA to prm (PowType a Int)
type PowType (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowType (WithGlobalParamA to prm a) Integer = WithGlobalParamA to prm (PowType a Integer)
type PowTypeNoCN (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowTypeNoCN (WithGlobalParamA to prm a) Rational = WithGlobalParamA to prm (PowTypeNoCN a Rational)
type PowTypeNoCN (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowTypeNoCN (WithGlobalParamA to prm a) Dyadic = WithGlobalParamA to prm (PowTypeNoCN a Dyadic)
type PowTypeNoCN (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowTypeNoCN (WithGlobalParamA to prm a) Int = WithGlobalParamA to prm (PowTypeNoCN a Int)
type PowTypeNoCN (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowTypeNoCN (WithGlobalParamA to prm a) Integer = WithGlobalParamA to prm (PowTypeNoCN a Integer)
type AddType (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Ring type AddType (WithGlobalParamA to prm a) Dyadic = WithGlobalParamA to prm (AddType a Dyadic)
type AddType (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Ring type AddType (WithGlobalParamA to prm a) Rational = WithGlobalParamA to prm (AddType a Rational)
type AddType (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Ring type AddType (WithGlobalParamA to prm a) Int = WithGlobalParamA to prm (AddType a Int)
type AddType (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Ring type AddType (WithGlobalParamA to prm a) Integer = WithGlobalParamA to prm (AddType a Integer)
type SubType (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Ring type SubType (WithGlobalParamA to prm a) Dyadic = WithGlobalParamA to prm (SubType a Dyadic)
type SubType (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Ring type SubType (WithGlobalParamA to prm a) Rational = WithGlobalParamA to prm (SubType a Rational)
type SubType (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Ring type SubType (WithGlobalParamA to prm a) Int = WithGlobalParamA to prm (SubType a Int)
type SubType (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Ring type SubType (WithGlobalParamA to prm a) Integer = WithGlobalParamA to prm (SubType a Integer)
type MinMaxType (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Comparison type MinMaxType (WithGlobalParamA to prm a) Dyadic = WithGlobalParamA to prm (MinMaxType a Dyadic)
type MinMaxType (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Comparison type MinMaxType (WithGlobalParamA to prm a) Rational = WithGlobalParamA to prm (MinMaxType a Rational)
type MinMaxType (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Comparison type MinMaxType (WithGlobalParamA to prm a) Int = WithGlobalParamA to prm (MinMaxType a Int)
type MinMaxType (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Comparison type MinMaxType (WithGlobalParamA to prm a) Integer = WithGlobalParamA to prm (MinMaxType a Integer)
type EqCompareType (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Comparison type EqCompareType (WithGlobalParamA to prm a) Dyadic = WithGlobalParamA to prm (EqCompareType a Dyadic)
type EqCompareType (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Comparison type EqCompareType (WithGlobalParamA to prm a) Rational = WithGlobalParamA to prm (EqCompareType a Rational)
type EqCompareType (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Comparison type EqCompareType (WithGlobalParamA to prm a) Int = WithGlobalParamA to prm (EqCompareType a Int)
type EqCompareType (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Comparison type EqCompareType (WithGlobalParamA to prm a) Integer = WithGlobalParamA to prm (EqCompareType a Integer)
type OrderCompareType (WithGlobalParamA to prm a) Dyadic #
Instance details Defined in AERN2.WithGlobalParam.Comparison type OrderCompareType (WithGlobalParamA to prm a) Dyadic = WithGlobalParamA to prm (OrderCompareType a Dyadic)
type OrderCompareType (WithGlobalParamA to prm a) Rational #
Instance details Defined in AERN2.WithGlobalParam.Comparison type OrderCompareType (WithGlobalParamA to prm a) Rational = WithGlobalParamA to prm (OrderCompareType a Rational)
type OrderCompareType (WithGlobalParamA to prm a) Int #
Instance details Defined in AERN2.WithGlobalParam.Comparison type OrderCompareType (WithGlobalParamA to prm a) Int = WithGlobalParamA to prm (OrderCompareType a Int)
type OrderCompareType (WithGlobalParamA to prm a) Integer #
Instance details Defined in AERN2.WithGlobalParam.Comparison type OrderCompareType (WithGlobalParamA to prm a) Integer = WithGlobalParamA to prm (OrderCompareType a Integer)
type DivType (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivType (WithGlobalParamA to prm a) (CollectErrors es b) = EnsureCE es (DivType (WithGlobalParamA to prm a) b)
type DivTypeNoCN (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivTypeNoCN (WithGlobalParamA to prm a) (CollectErrors es b) = EnsureCE es (DivTypeNoCN (WithGlobalParamA to prm a) b)
type MulType (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type MulType (WithGlobalParamA to prm a) (CollectErrors es b) = EnsureCE es (MulType (WithGlobalParamA to prm a) b)
type PowType (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowType (WithGlobalParamA to prm a) (CollectErrors es b) = EnsureCE es (PowType (WithGlobalParamA to prm a) b)
type PowTypeNoCN (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowTypeNoCN (WithGlobalParamA to prm a) (CollectErrors es b) = EnsureCE es (PowTypeNoCN (WithGlobalParamA to prm a) b)
type AddType (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type AddType (WithGlobalParamA to prm a) (CollectErrors es b) = EnsureCE es (AddType (WithGlobalParamA to prm a) b)
type SubType (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type SubType (WithGlobalParamA to prm a) (CollectErrors es b) = EnsureCE es (SubType (WithGlobalParamA to prm a) b)
type MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) = EnsureCE es (MinMaxType (WithGlobalParamA to prm a) b)
type EqCompareType (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type EqCompareType (WithGlobalParamA to prm a) (CollectErrors es b) = EnsureCE es (EqCompareType (WithGlobalParamA to prm a) b)
type OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) = EnsureCE es (OrderCompareType (WithGlobalParamA to prm a) b)
type DivType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) = WithGlobalParamA to prm (DivType a b)
type DivTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Field type DivTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) = WithGlobalParamA to prm (DivTypeNoCN a b)
type MulType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type MulType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) = WithGlobalParamA to prm (MulType a b)
type PowType (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowType (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) = WithGlobalParamA to prm (PowType a e)
type PowTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) #
Instance details Defined in AERN2.WithGlobalParam.Elementary type PowTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) = WithGlobalParamA to prm (PowTypeNoCN a e)
type AddType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type AddType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) = WithGlobalParamA to prm (AddType a b)
type SubType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Ring type SubType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) = WithGlobalParamA to prm (SubType a b)
type MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) = WithGlobalParamA to prm (MinMaxType a b)
type EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) = WithGlobalParamA to prm (EqCompareType a b)
type OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) = WithGlobalParamA to prm (OrderCompareType a b)
type AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Defined in AERN2.WithGlobalParam.Comparison type AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) = WithGlobalParamA to prm (AndOrType a b)
type IfThenElseType (WithGlobalParamA to prm b) (WithGlobalParamA to prm t) #
Instance details Defined in AERN2.WithGlobalParam.Branching type IfThenElseType (WithGlobalParamA to prm b) (WithGlobalParamA to prm t) = WithGlobalParamA to prm (IfThenElseType b t)

pWGParam :: Maybe prm -> a -> WithGlobalParamP prm a #

type SuitableForWGParam prm a = (Show a, Show prm, HasOrderCertainly prm prm) #

wgprmName :: WithGlobalParamA to prm a -> String #

wgprmId :: WithGlobalParamA to prm a -> Maybe (QAId to) #

wgprmSources :: WithGlobalParamA to prm a -> [QAId to] #

wgprmRename :: (String -> String) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm a #

wgprmQuery :: QAArrow to => WithGlobalParamA to prm a -> Maybe (QAId to) -> prm `to` a #

Get an approximation of the limit with at least the specified accuracy. (A specialisation of qaMakeQuery for values with global state.)

(?) :: QAArrow to => QA to p -> Q p `to` A p infix 1 #

An infix synonym of qaMakeQuery with no source

wgprmQueryA :: QAArrow to => Maybe (QAId to) -> (WithGlobalParamA to prm a, prm) `to` a #

wgprmListQueryA :: QAArrow to => Maybe (QAId to) -> ([WithGlobalParamA to prm a], prm) `to` [a] #

type WithGlobalParamA to prm a = QA to (WithGlobalParamP prm a) #

type WithGlobalParam prm a = WithGlobalParamA (->) prm a #

newWGParam :: (QAArrow to, SuitableForWGParam prm a) => Maybe prm -> a -> String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> prm `to` a) -> WithGlobalParamA to prm a #

newWGParamSimple :: (QAArrow to, SuitableForWGParam prm a) => Maybe prm -> a -> ((Maybe (QAId to), Maybe (QAId to)) -> prm `to` a) -> WithGlobalParamA to prm a #

fmapWGParam :: Arrow to => (a -> b) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm b #

auxiliary functions for making new operations

unaryOp :: (QAArrow to, SuitableForWGParam prm a, SuitableForWGParam prm b) => String -> (a -> b) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm b #

binaryOp :: (QAArrow to, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm c) => String -> (a -> b -> c) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> WithGlobalParamA to prm c #

binaryOpWithPureArg :: (QAArrow to, SuitableForWGParam prm a, SuitableForWGParam prm c) => String -> (a -> t -> c) -> WithGlobalParamA to prm a -> t -> WithGlobalParamA to prm c #