ad-4.2.1.1: Automatic Differentiation

Copyright(c) Edward Kmett 2010-2014
LicenseBSD3
Maintainerekmett@gmail.com
Stabilityexperimental
PortabilityGHC only
Safe HaskellNone
LanguageHaskell2010

Numeric.AD.Internal.Identity

Description

 

Documentation

newtype Id a Source

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 Source

unprobe :: Id a -> a Source

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

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