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

AERN2.WithGlobalParam.Elementary

Contents

Orphan instances

Description

Elementary functions on fast converging sequences.

Orphan instances

(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 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 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 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 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) #
(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 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) #
(QAArrow to, CanSqrt a, CanMinMaxThis a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (SqrtType a)) => CanSqrt (WithGlobalParamA to prm a) #
Instance details 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 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 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 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, CanPow a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (PowTypeNoCN a Integer), SuitableForWGParam prm (PowType a Integer)) => CanPow (WithGlobalParamA to prm a) Integer #
Instance details 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 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 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 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 #
(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 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) #
(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 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) #