Numeric.AD.Internal.Identity

Documentation

newtype Id a s

Constructors

Id

Fields

runId :: a

Instances

Typeable2 Id

Bounded a => Bounded (Id a s)

Enum a => Enum (Id a s)

Eq a => Eq (Id a s)

Floating a => Floating (Id a s)

Fractional a => Fractional (Id a s)

(Data a, Data s) => Data (Id a s)

Num a => Num (Id a s)

Ord a => Ord (Id a s)

Real a => Real (Id a s)

RealFloat a => RealFloat (Id a s)

RealFrac a => RealFrac (Id a s)

Show a => Show (Id a s)

Monoid a => Monoid (Id a s)

Erf a => Erf (Id a s)

InvErf a => InvErf (Id a s)

Num a => Mode (Id a s)

probe :: a -> Id a s

unprobe :: Id a s -> a

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

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