Numeric.AD.Internal.Identity

Documentation

newtype Id a

Constructors

Id

Fields

• runId :: a

Instances

Bounded a => Bounded (Id a)

Methods

minBound :: Id a

maxBound :: Id a

Enum a => Enum (Id a)

Methods

succ :: Id a -> Id a

pred :: Id a -> Id a

toEnum :: Int -> Id a

fromEnum :: Id a -> Int

enumFrom :: Id a -> [Id a]

enumFromThen :: Id a -> Id a -> [Id a]

enumFromTo :: Id a -> Id a -> [Id a]

enumFromThenTo :: Id a -> Id a -> Id a -> [Id a]

Eq a => Eq (Id a)

Methods

(==) :: Id a -> Id a -> Bool

(/=) :: Id a -> Id a -> Bool

Floating a => Floating (Id a)

Methods

pi :: Id a

exp :: Id a -> Id a

log :: Id a -> Id a

sqrt :: Id a -> Id a

(**) :: Id a -> Id a -> Id a

logBase :: Id a -> Id a -> Id a

sin :: Id a -> Id a

cos :: Id a -> Id a

tan :: Id a -> Id a

asin :: Id a -> Id a

acos :: Id a -> Id a

atan :: Id a -> Id a

sinh :: Id a -> Id a

cosh :: Id a -> Id a

tanh :: Id a -> Id a

asinh :: Id a -> Id a

acosh :: Id a -> Id a

atanh :: Id a -> Id a

log1p :: Id a -> Id a

expm1 :: Id a -> Id a

log1pexp :: Id a -> Id a

log1mexp :: Id a -> Id a

Fractional a => Fractional (Id a)

Methods

(/) :: Id a -> Id a -> Id a

recip :: Id a -> Id a

fromRational :: Rational -> Id a

Data a => Data (Id a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Id a -> c (Id a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Id a)

toConstr :: Id a -> Constr

dataTypeOf :: Id a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Id a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Id a))

gmapT :: (forall b. Data b => b -> b) -> Id a -> Id a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Id a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Id a -> r

gmapQ :: (forall d. Data d => d -> u) -> Id a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Id a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Id a -> m (Id a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Id a -> m (Id a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Id a -> m (Id a)

Num a => Num (Id a)

Methods

(+) :: Id a -> Id a -> Id a

(-) :: Id a -> Id a -> Id a

(*) :: Id a -> Id a -> Id a

negate :: Id a -> Id a

abs :: Id a -> Id a

signum :: Id a -> Id a

fromInteger :: Integer -> Id a

Ord a => Ord (Id a)

Methods

compare :: Id a -> Id a -> Ordering

(<) :: Id a -> Id a -> Bool

(<=) :: Id a -> Id a -> Bool

(>) :: Id a -> Id a -> Bool

(>=) :: Id a -> Id a -> Bool

max :: Id a -> Id a -> Id a

min :: Id a -> Id a -> Id a

Real a => Real (Id a)

Methods

toRational :: Id a -> Rational

RealFloat a => RealFloat (Id a)

Methods

floatRadix :: Id a -> Integer

floatDigits :: Id a -> Int

floatRange :: Id a -> (Int, Int)

decodeFloat :: Id a -> (Integer, Int)

encodeFloat :: Integer -> Int -> Id a

exponent :: Id a -> Int

significand :: Id a -> Id a

scaleFloat :: Int -> Id a -> Id a

isNaN :: Id a -> Bool

isInfinite :: Id a -> Bool

isDenormalized :: Id a -> Bool

isNegativeZero :: Id a -> Bool

isIEEE :: Id a -> Bool

atan2 :: Id a -> Id a -> Id a

RealFrac a => RealFrac (Id a)

Methods

properFraction :: Integral b => Id a -> (b, Id a)

truncate :: Integral b => Id a -> b

round :: Integral b => Id a -> b

ceiling :: Integral b => Id a -> b

floor :: Integral b => Id a -> b

Show a => Show (Id a)

Methods

showsPrec :: Int -> Id a -> ShowS

show :: Id a -> String

showList :: [Id a] -> ShowS

Monoid a => Monoid (Id a)

Methods

mempty :: Id a

mappend :: Id a -> Id a -> Id a

mconcat :: [Id a] -> Id a

Erf a => Erf (Id a)

Methods

erf :: Id a -> Id a

erfc :: Id a -> Id a

erfcx :: Id a -> Id a

normcdf :: Id a -> Id a

InvErf a => InvErf (Id a)

Methods

inverf :: Id a -> Id a

inverfc :: Id a -> Id a

invnormcdf :: Id a -> Id a

Num a => Mode (Id a)

Associated Types

type Scalar (Id a) :: *

Methods

isKnownConstant :: Id a -> Bool

isKnownZero :: Id a -> Bool

auto :: Scalar (Id a) -> Id a

(*^) :: Scalar (Id a) -> Id a -> Id a

(^*) :: Id a -> Scalar (Id a) -> Id a

(^/) :: Id a -> Scalar (Id a) -> Id a

zero :: Id a

type Scalar (Id a)

type Scalar (Id a) = a

probe :: a -> Id a

unprobe :: Id a -> a

probed :: Functor f => f a -> f (Id a)

unprobed :: Functor f => f (Id a) -> f a