Safe Haskell	Safe
Language	Haskell2010

DDF.Float

Documentation

class DBI r => Float r where Source #

Minimal complete definition

float, floatPlus, floatMinus, floatMult, floatDivide, floatExp

Methods

float :: Float -> r h Float Source #

floatZero :: r h Float Source #

floatOne :: r h Float Source #

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

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

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

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

floatExp :: r h (Float -> Float) Source #

Instances

Float Eval Source #
Methods float :: Float -> Eval h Float Source # floatZero :: Eval h Float Source # floatOne :: Eval h Float Source # floatPlus :: Eval h (Float -> Float -> Float) Source # floatMinus :: Eval h (Float -> Float -> Float) Source # floatMult :: Eval h (Float -> Float -> Float) Source # floatDivide :: Eval h (Float -> Float -> Float) Source # floatExp :: Eval h (Float -> Float) Source #
Float Show Source #
Methods float :: Float -> Show h Float Source # floatZero :: Show h Float Source # floatOne :: Show h Float Source # floatPlus :: Show h (Float -> Float -> Float) Source # floatMinus :: Show h (Float -> Float -> Float) Source # floatMult :: Show h (Float -> Float -> Float) Source # floatDivide :: Show h (Float -> Float -> Float) Source # floatExp :: Show h (Float -> Float) Source #
Float Size Source #
Methods float :: Float -> Size h Float Source # floatZero :: Size h Float Source # floatOne :: Size h Float Source # floatPlus :: Size h (Float -> Float -> Float) Source # floatMinus :: Size h (Float -> Float -> Float) Source # floatMult :: Size h (Float -> Float -> Float) Source # floatDivide :: Size h (Float -> Float -> Float) Source # floatExp :: Size h (Float -> Float) Source #
Lang r => Float (GWDiff r) Source #
Methods float :: Float -> GWDiff r h Float Source # floatZero :: GWDiff r h Float Source # floatOne :: GWDiff r h Float Source # floatPlus :: GWDiff r h (Float -> Float -> Float) Source # floatMinus :: GWDiff r h (Float -> Float -> Float) Source # floatMult :: GWDiff r h (Float -> Float -> Float) Source # floatDivide :: GWDiff r h (Float -> Float -> Float) Source # floatExp :: GWDiff r h (Float -> Float) Source #
(Prod r, Float r) => Float (ImpW r) Source #
Methods float :: Float -> ImpW r h Float Source # floatZero :: ImpW r h Float Source # floatOne :: ImpW r h Float Source # floatPlus :: ImpW r h (Float -> Float -> Float) Source # floatMinus :: ImpW r h (Float -> Float -> Float) Source # floatMult :: ImpW r h (Float -> Float -> Float) Source # floatDivide :: ImpW r h (Float -> Float -> Float) Source # floatExp :: ImpW r h (Float -> Float) Source #
Float r => Float (UnHOAS r) Source #
Methods float :: Float -> UnHOAS r h Float Source # floatZero :: UnHOAS r h Float Source # floatOne :: UnHOAS r h Float Source # floatPlus :: UnHOAS r h (Float -> Float -> Float) Source # floatMinus :: UnHOAS r h (Float -> Float -> Float) Source # floatMult :: UnHOAS r h (Float -> Float -> Float) Source # floatDivide :: UnHOAS r h (Float -> Float -> Float) Source # floatExp :: UnHOAS r h (Float -> Float) Source #
(Float l, Float r) => Float (Combine l r) Source #
Methods float :: Float -> Combine l r h Float Source # floatZero :: Combine l r h Float Source # floatOne :: Combine l r h Float Source # floatPlus :: Combine l r h (Float -> Float -> Float) Source # floatMinus :: Combine l r h (Float -> Float -> Float) Source # floatMult :: Combine l r h (Float -> Float -> Float) Source # floatDivide :: Combine l r h (Float -> Float -> Float) Source # floatExp :: Combine l r h (Float -> Float) Source #
(Vector r v, Lang r) => Float (WDiff r v) Source #
Methods float :: Float -> WDiff r v h Float Source # floatZero :: WDiff r v h Float Source # floatOne :: WDiff r v h Float Source # floatPlus :: WDiff r v h (Float -> Float -> Float) Source # floatMinus :: WDiff r v h (Float -> Float -> Float) Source # floatMult :: WDiff r v h (Float -> Float -> Float) Source # floatDivide :: WDiff r v h (Float -> Float -> Float) Source # floatExp :: WDiff r v h (Float -> Float) Source #

module DDF.DBI