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 #
Float r => Float (P r) Source #
Methods float :: Float -> P r h Float Source # floatZero :: P r h Float Source # floatOne :: P r h Float Source # floatPlus :: P r h (Float -> Float -> Float) Source # floatMinus :: P r h (Float -> Float -> Float) Source # floatMult :: P r h (Float -> Float -> Float) Source # floatDivide :: P r h (Float -> Float -> Float) Source # floatExp :: P r h (Float -> Float) Source #
SubL c Float => Float (Term c) Source #
Methods float :: Float -> Term c h Float Source # floatZero :: Term c h Float Source # floatOne :: Term c h Float Source # floatPlus :: Term c h (Float -> Float -> Float) Source # floatMinus :: Term c h (Float -> Float -> Float) Source # floatMult :: Term c h (Float -> Float -> Float) Source # floatDivide :: Term c h (Float -> Float -> Float) Source # floatExp :: Term c 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 #
(Prod r, Float r) => Float (UnLiftEnv r) Source #
Methods float :: Float -> UnLiftEnv r h Float Source # floatZero :: UnLiftEnv r h Float Source # floatOne :: UnLiftEnv r h Float Source # floatPlus :: UnLiftEnv r h (Float -> Float -> Float) Source # floatMinus :: UnLiftEnv r h (Float -> Float -> Float) Source # floatMult :: UnLiftEnv r h (Float -> Float -> Float) Source # floatDivide :: UnLiftEnv r h (Float -> Float -> Float) Source # floatExp :: UnLiftEnv 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 #
type SubLC c Float Source #
type SubLC c Float = SubL c DBI

floatPlus1 :: Float r => r h Float -> r h (Float -> Float) Source #

floatPlus2 :: Float r => r h Float -> r h Float -> r h Float Source #

floatMinus1 :: Float r => r h Float -> r h (Float -> Float) Source #

floatMinus2 :: Float r => r h Float -> r h Float -> r h Float Source #

floatMult1 :: Float r => r h Float -> r h (Float -> Float) Source #

floatMult2 :: Float r => r h Float -> r h Float -> r h Float Source #

floatDivide1 :: Float r => r h Float -> r h (Float -> Float) Source #

floatDivide2 :: Float r => r h Float -> r h Float -> r h Float Source #

floatExp1 :: Float r => r h Float -> r h Float Source #

module DDF.DBI