DDF.Float

Documentation

class DBI r => Float r where

Minimal complete definition

float, floatPlus, floatMinus, floatMult, floatDivide, floatExp

Methods

float :: Float -> r h Float

floatZero :: r h Float

floatOne :: r h Float

floatPlus :: r h (Float -> Float -> Float)

floatMinus :: r h (Float -> Float -> Float)

floatMult :: r h (Float -> Float -> Float)

floatDivide :: r h (Float -> Float -> Float)

floatExp :: r h (Float -> Float)

Instances

Float Eval

Methods

float :: Float -> Eval h Float

floatZero :: Eval h Float

floatOne :: Eval h Float

floatPlus :: Eval h (Float -> Float -> Float)

floatMinus :: Eval h (Float -> Float -> Float)

floatMult :: Eval h (Float -> Float -> Float)

floatDivide :: Eval h (Float -> Float -> Float)

floatExp :: Eval h (Float -> Float)

Float Show

Methods

float :: Float -> Show h Float

floatZero :: Show h Float

floatOne :: Show h Float

floatPlus :: Show h (Float -> Float -> Float)

floatMinus :: Show h (Float -> Float -> Float)

floatMult :: Show h (Float -> Float -> Float)

floatDivide :: Show h (Float -> Float -> Float)

floatExp :: Show h (Float -> Float)

Float Size

Methods

float :: Float -> Size h Float

floatZero :: Size h Float

floatOne :: Size h Float

floatPlus :: Size h (Float -> Float -> Float)

floatMinus :: Size h (Float -> Float -> Float)

floatMult :: Size h (Float -> Float -> Float)

floatDivide :: Size h (Float -> Float -> Float)

floatExp :: Size h (Float -> Float)

Lang r => Float (GWDiff r)

Methods

float :: Float -> GWDiff r h Float

floatZero :: GWDiff r h Float

floatOne :: GWDiff r h Float

floatPlus :: GWDiff r h (Float -> Float -> Float)

floatMinus :: GWDiff r h (Float -> Float -> Float)

floatMult :: GWDiff r h (Float -> Float -> Float)

floatDivide :: GWDiff r h (Float -> Float -> Float)

floatExp :: GWDiff r h (Float -> Float)

(Prod r, Float r) => Float (ImpW r)

Methods

float :: Float -> ImpW r h Float

floatZero :: ImpW r h Float

floatOne :: ImpW r h Float

floatPlus :: ImpW r h (Float -> Float -> Float)

floatMinus :: ImpW r h (Float -> Float -> Float)

floatMult :: ImpW r h (Float -> Float -> Float)

floatDivide :: ImpW r h (Float -> Float -> Float)

floatExp :: ImpW r h (Float -> Float)

Float r => Float (UnHOAS r)

Methods

float :: Float -> UnHOAS r h Float

floatZero :: UnHOAS r h Float

floatOne :: UnHOAS r h Float

floatPlus :: UnHOAS r h (Float -> Float -> Float)

floatMinus :: UnHOAS r h (Float -> Float -> Float)

floatMult :: UnHOAS r h (Float -> Float -> Float)

floatDivide :: UnHOAS r h (Float -> Float -> Float)

floatExp :: UnHOAS r h (Float -> Float)

(Float l, Float r) => Float (Combine l r)

Methods

float :: Float -> Combine l r h Float

floatZero :: Combine l r h Float

floatOne :: Combine l r h Float

floatPlus :: Combine l r h (Float -> Float -> Float)

floatMinus :: Combine l r h (Float -> Float -> Float)

floatMult :: Combine l r h (Float -> Float -> Float)

floatDivide :: Combine l r h (Float -> Float -> Float)

floatExp :: Combine l r h (Float -> Float)

(Vector r v, Lang r) => Float (WDiff r v)

Methods

float :: Float -> WDiff r v h Float

floatZero :: WDiff r v h Float

floatOne :: WDiff r v h Float

floatPlus :: WDiff r v h (Float -> Float -> Float)

floatMinus :: WDiff r v h (Float -> Float -> Float)

floatMult :: WDiff r v h (Float -> Float -> Float)

floatDivide :: WDiff r v h (Float -> Float -> Float)

floatExp :: WDiff r v h (Float -> Float)

module DDF.DBI