Copyright	(c) Edward Kmett 2010-2015
License	BSD3
Maintainer	ekmett@gmail.com
Stability	experimental
Portability	GHC only
Safe Haskell	None
Language	Haskell2010

Numeric.AD.Internal.On

Description

Synopsis

newtype On t = On {
- off :: t
}

Documentation

newtype On t Source #

The composition of two AD modes is an AD mode in its own right

Constructors

On
Fields off :: t

Instances

Bounded t => Bounded (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods minBound :: On t # maxBound :: On t #
Enum t => Enum (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods succ :: On t -> On t # pred :: On t -> On t # toEnum :: Int -> On t # fromEnum :: On t -> Int # enumFrom :: On t -> [On t] # enumFromThen :: On t -> On t -> [On t] # enumFromTo :: On t -> On t -> [On t] # enumFromThenTo :: On t -> On t -> On t -> [On t] #
Eq t => Eq (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods (==) :: On t -> On t -> Bool # (/=) :: On t -> On t -> Bool #
Floating t => Floating (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods pi :: On t # exp :: On t -> On t # log :: On t -> On t # sqrt :: On t -> On t # (**) :: On t -> On t -> On t # logBase :: On t -> On t -> On t # sin :: On t -> On t # cos :: On t -> On t # tan :: On t -> On t # asin :: On t -> On t # acos :: On t -> On t # atan :: On t -> On t # sinh :: On t -> On t # cosh :: On t -> On t # tanh :: On t -> On t # asinh :: On t -> On t # acosh :: On t -> On t # atanh :: On t -> On t # log1p :: On t -> On t # expm1 :: On t -> On t # log1pexp :: On t -> On t # log1mexp :: On t -> On t #
Fractional t => Fractional (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods (/) :: On t -> On t -> On t # recip :: On t -> On t # fromRational :: Rational -> On t #
Num t => Num (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods (+) :: On t -> On t -> On t # (-) :: On t -> On t -> On t # (*) :: On t -> On t -> On t # negate :: On t -> On t # abs :: On t -> On t # signum :: On t -> On t # fromInteger :: Integer -> On t #
Ord t => Ord (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods compare :: On t -> On t -> Ordering # (<) :: On t -> On t -> Bool # (<=) :: On t -> On t -> Bool # (>) :: On t -> On t -> Bool # (>=) :: On t -> On t -> Bool # max :: On t -> On t -> On t # min :: On t -> On t -> On t #
Real t => Real (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods toRational :: On t -> Rational #
RealFloat t => RealFloat (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods floatRadix :: On t -> Integer # floatDigits :: On t -> Int # floatRange :: On t -> (Int, Int) # decodeFloat :: On t -> (Integer, Int) # encodeFloat :: Integer -> Int -> On t # exponent :: On t -> Int # significand :: On t -> On t # scaleFloat :: Int -> On t -> On t # isNaN :: On t -> Bool # isInfinite :: On t -> Bool # isDenormalized :: On t -> Bool # isNegativeZero :: On t -> Bool # isIEEE :: On t -> Bool # atan2 :: On t -> On t -> On t #
RealFrac t => RealFrac (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods properFraction :: Integral b => On t -> (b, On t) # truncate :: Integral b => On t -> b # round :: Integral b => On t -> b # ceiling :: Integral b => On t -> b # floor :: Integral b => On t -> b #
Erf t => Erf (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods erf :: On t -> On t # erfc :: On t -> On t # erfcx :: On t -> On t # normcdf :: On t -> On t #
InvErf t => InvErf (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Methods inverf :: On t -> On t # inverfc :: On t -> On t # invnormcdf :: On t -> On t #
(Mode t, Mode (Scalar t)) => Mode (On t) Source #
Instance details Defined in Numeric.AD.Internal.On Associated Types type Scalar (On t) :: Type Source # Methods isKnownConstant :: On t -> Bool Source # isKnownZero :: On t -> Bool Source # auto :: Scalar (On t) -> On t Source # (^) :: Scalar (On t) -> On t -> On t Source # (^) :: On t -> Scalar (On t) -> On t Source # (^/) :: On t -> Scalar (On t) -> On t Source # zero :: On t Source #
type Scalar (On t) Source #
Instance details Defined in Numeric.AD.Internal.On type Scalar (On t) = Scalar (Scalar t)