Portability | GHC only |
---|---|
Stability | experimental |
Maintainer | ekmett@gmail.com |
Safe Haskell | Safe-Infered |
Documentation
class Lifted t => Mode t whereSource
isKnownConstant :: t a -> BoolSource
allowed to return False for items with a zero derivative, but we'll give more NaNs than strictly necessary
isKnownZero :: Num a => t a -> BoolSource
allowed to return False for zero, but we give more NaN's than strictly necessary then
lift :: Num a => a -> t aSource
Embed a constant
(<+>) :: Num a => t a -> t a -> t aSource
Vector sum
(*^) :: Num a => a -> t a -> t aSource
Scalar-vector multiplication
(^*) :: Num a => t a -> a -> t aSource
Vector-scalar multiplication
(^/) :: Fractional a => t a -> a -> t aSource
Scalar division
(<**>) :: Floating a => t a -> t a -> t aSource
Exponentiation, this should be overloaded if you can figure out anything about what is constant!
'zero' = 'lift' 0