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)

SubL c Float => Float (Term c)

Methods

float :: Float -> Term c h Float

floatZero :: Term c h Float

floatOne :: Term c h Float

floatPlus :: Term c h (Float -> Float -> Float)

floatMinus :: Term c h (Float -> Float -> Float)

floatMult :: Term c h (Float -> Float -> Float)

floatDivide :: Term c h (Float -> Float -> Float)

floatExp :: Term c 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)

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

Methods

float :: Float -> UnLiftEnv r h Float

floatZero :: UnLiftEnv r h Float

floatOne :: UnLiftEnv r h Float

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

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

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

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

floatExp :: UnLiftEnv 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)

type SubLC c Float

type SubLC c Float = SubL c DBI

module DDF.DBI