Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Number.Flint.Arb.RealField

Documentation

newtype RF (n :: Nat) Source #

Constructors

RF Arb

Instances

Instances details

KnownNat n => RF' (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods euler :: RF n Source # glaisher :: RF n Source # catalan :: RF n Source # khinchin :: RF n Source # polylog :: RF n -> RF n -> RF n Source # midPoint :: RF n -> RF n Source #
KnownNat n => Special (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods gamma :: RF n -> RF n Source # digamma :: RF n -> RF n Source # lgamma :: RF n -> RF n Source # zeta :: RF n -> RF n Source # erf :: RF n -> RF n Source # airy :: RF n -> (RF n, RF n, RF n, RF n) Source # airyZeros :: Fmpz -> (RF n, RF n, RF n, RF n) Source # besselJ :: RF n -> RF n -> RF n Source # besselY :: RF n -> RF n -> RF n Source # besselI :: RF n -> RF n -> RF n Source # besselK :: RF n -> RF n -> RF n Source # modj :: RF n -> RF n Source # modjq :: RF n -> RF n Source # modeta :: RF n -> RF n Source # modetaq :: RF n -> RF n Source # modlambda :: RF n -> RF n Source # modlambdaq :: RF n -> RF n Source # ellipp :: RF n -> RF n -> RF n Source # ellipzeta :: RF n -> RF n -> RF n Source # ellipsigma :: RF n -> RF n -> RF n Source # barnesg :: RF n -> RF n Source # agm :: RF n -> RF n -> RF n Source # fresnels :: RF n -> RF n Source # fresnelc :: RF n -> RF n Source #
KnownNat n => Floating (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods pi :: RF n # exp :: RF n -> RF n # log :: RF n -> RF n # sqrt :: RF n -> RF n # (**) :: RF n -> RF n -> RF n # logBase :: RF n -> RF n -> RF n # sin :: RF n -> RF n # cos :: RF n -> RF n # tan :: RF n -> RF n # asin :: RF n -> RF n # acos :: RF n -> RF n # atan :: RF n -> RF n # sinh :: RF n -> RF n # cosh :: RF n -> RF n # tanh :: RF n -> RF n # asinh :: RF n -> RF n # acosh :: RF n -> RF n # atanh :: RF n -> RF n # log1p :: RF n -> RF n # expm1 :: RF n -> RF n # log1pexp :: RF n -> RF n # log1mexp :: RF n -> RF n #
KnownNat n => RealFloat (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods floatRadix :: RF n -> Integer # floatDigits :: RF n -> Int # floatRange :: RF n -> (Int, Int) # decodeFloat :: RF n -> (Integer, Int) # encodeFloat :: Integer -> Int -> RF n # exponent :: RF n -> Int # significand :: RF n -> RF n # scaleFloat :: Int -> RF n -> RF n # isNaN :: RF n -> Bool # isInfinite :: RF n -> Bool # isDenormalized :: RF n -> Bool # isNegativeZero :: RF n -> Bool # isIEEE :: RF n -> Bool # atan2 :: RF n -> RF n -> RF n #
KnownNat n => Num (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods (+) :: RF n -> RF n -> RF n # (-) :: RF n -> RF n -> RF n # (*) :: RF n -> RF n -> RF n # negate :: RF n -> RF n # abs :: RF n -> RF n # signum :: RF n -> RF n # fromInteger :: Integer -> RF n #
KnownNat n => Read (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods readsPrec :: Int -> ReadS (RF n) # readList :: ReadS [RF n] # readPrec :: ReadPrec (RF n) # readListPrec :: ReadPrec [RF n] #
KnownNat n => Fractional (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods (/) :: RF n -> RF n -> RF n # recip :: RF n -> RF n # fromRational :: Rational -> RF n #
KnownNat n => Real (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods toRational :: RF n -> Rational #
KnownNat n => RealFrac (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods properFraction :: Integral b => RF n -> (b, RF n) # truncate :: Integral b => RF n -> b # round :: Integral b => RF n -> b # ceiling :: Integral b => RF n -> b # floor :: Integral b => RF n -> b #
KnownNat n => Show (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods showsPrec :: Int -> RF n -> ShowS # show :: RF n -> String # showList :: [RF n] -> ShowS #
KnownNat n => Eq (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods (==) :: RF n -> RF n -> Bool # (/=) :: RF n -> RF n -> Bool #
KnownNat n => Ord (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods compare :: RF n -> RF n -> Ordering # (<) :: RF n -> RF n -> Bool # (<=) :: RF n -> RF n -> Bool # (>) :: RF n -> RF n -> Bool # (>=) :: RF n -> RF n -> Bool # max :: RF n -> RF n -> RF n # min :: RF n -> RF n -> RF n #

class RF' a where Source #

Methods

euler :: a Source #

glaisher :: a Source #

catalan :: a Source #

khinchin :: a Source #

polylog :: a -> a -> a Source #

midPoint :: a -> a Source #

Instances

Instances details

KnownNat n => RF' (CF n) Source #
Instance details Defined in Data.Number.Flint.Acb.ComplexField Methods euler :: CF n Source # glaisher :: CF n Source # catalan :: CF n Source # khinchin :: CF n Source # polylog :: CF n -> CF n -> CF n Source # midPoint :: CF n -> CF n Source #
KnownNat n => RF' (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods euler :: RF n Source # glaisher :: RF n Source # catalan :: RF n Source # khinchin :: RF n Source # polylog :: RF n -> RF n -> RF n Source # midPoint :: RF n -> RF n Source #

class Special a where Source #

Methods

gamma :: a -> a Source #

digamma :: a -> a Source #

lgamma :: a -> a Source #

zeta :: a -> a Source #

erf :: a -> a Source #

airy :: a -> (a, a, a, a) Source #

airyZeros :: Fmpz -> (a, a, a, a) Source #

besselJ :: a -> a -> a Source #

besselY :: a -> a -> a Source #

besselI :: a -> a -> a Source #

besselK :: a -> a -> a Source #

modj :: a -> a Source #

modjq :: a -> a Source #

modeta :: a -> a Source #

modetaq :: a -> a Source #

modlambda :: a -> a Source #

modlambdaq :: a -> a Source #

ellipp :: a -> a -> a Source #

ellipzeta :: a -> a -> a Source #

ellipsigma :: a -> a -> a Source #

barnesg :: a -> a Source #

agm :: a -> a -> a Source #

fresnels :: a -> a Source #

fresnelc :: a -> a Source #

Instances

Instances details

KnownNat n => Special (CF n) Source #
Instance details Defined in Data.Number.Flint.Acb.ComplexField Methods gamma :: CF n -> CF n Source # digamma :: CF n -> CF n Source # lgamma :: CF n -> CF n Source # zeta :: CF n -> CF n Source # erf :: CF n -> CF n Source # airy :: CF n -> (CF n, CF n, CF n, CF n) Source # airyZeros :: Fmpz -> (CF n, CF n, CF n, CF n) Source # besselJ :: CF n -> CF n -> CF n Source # besselY :: CF n -> CF n -> CF n Source # besselI :: CF n -> CF n -> CF n Source # besselK :: CF n -> CF n -> CF n Source # modj :: CF n -> CF n Source # modjq :: CF n -> CF n Source # modeta :: CF n -> CF n Source # modetaq :: CF n -> CF n Source # modlambda :: CF n -> CF n Source # modlambdaq :: CF n -> CF n Source # ellipp :: CF n -> CF n -> CF n Source # ellipzeta :: CF n -> CF n -> CF n Source # ellipsigma :: CF n -> CF n -> CF n Source # barnesg :: CF n -> CF n Source # agm :: CF n -> CF n -> CF n Source # fresnels :: CF n -> CF n Source # fresnelc :: CF n -> CF n Source #
KnownNat n => Special (RF n) Source #
Instance details Defined in Data.Number.Flint.Arb.RealField Methods gamma :: RF n -> RF n Source # digamma :: RF n -> RF n Source # lgamma :: RF n -> RF n Source # zeta :: RF n -> RF n Source # erf :: RF n -> RF n Source # airy :: RF n -> (RF n, RF n, RF n, RF n) Source # airyZeros :: Fmpz -> (RF n, RF n, RF n, RF n) Source # besselJ :: RF n -> RF n -> RF n Source # besselY :: RF n -> RF n -> RF n Source # besselI :: RF n -> RF n -> RF n Source # besselK :: RF n -> RF n -> RF n Source # modj :: RF n -> RF n Source # modjq :: RF n -> RF n Source # modeta :: RF n -> RF n Source # modetaq :: RF n -> RF n Source # modlambda :: RF n -> RF n Source # modlambdaq :: RF n -> RF n Source # ellipp :: RF n -> RF n -> RF n Source # ellipzeta :: RF n -> RF n -> RF n Source # ellipsigma :: RF n -> RF n -> RF n Source # barnesg :: RF n -> RF n Source # agm :: RF n -> RF n -> RF n Source # fresnels :: RF n -> RF n Source # fresnelc :: RF n -> RF n Source #

fromDouble :: forall n. KnownNat n => Double -> RF n Source #

toDouble :: forall n. KnownNat n => RF n -> Double Source #