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

AERN2.WithGlobalParam.Type

Contents

The protocol and type of fast converging sequences

Description

The type of values that depends on an immutable gloabal parameter, such as FP precision.

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
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

The protocol and type of fast converging sequences

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.)

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 #