Numeric.AD.Internal.Identity

Documentation

newtype Id a

Constructors

Id

Fields

runId :: a

Instances

Bounded a => Bounded (Id a)

Enum a => Enum (Id a)

Eq a => Eq (Id a)

Floating a => Floating (Id a)

Fractional a => Fractional (Id a)

Data a => Data (Id a)

Num a => Num (Id a)

Ord a => Ord (Id a)

Real a => Real (Id a)

RealFloat a => RealFloat (Id a)

RealFrac a => RealFrac (Id a)

Show a => Show (Id a)

Monoid a => Monoid (Id a)

Erf a => Erf (Id a)

InvErf a => InvErf (Id a)

Num a => Mode (Id a)

Typeable (* -> *) Id

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