Safe Haskell	Safe
Language	Haskell2010

DDF.Double

Documentation

class Bool r => Double r where Source #

Minimal complete definition

double, doublePlus, doubleMinus, doubleMult, doubleDivide, doubleExp, doubleEq

Methods

double :: Double -> r h Double Source #

doubleZero :: r h Double Source #

doubleOne :: r h Double Source #

doublePlus :: r h (Double -> Double -> Double) Source #

doubleMinus :: r h (Double -> Double -> Double) Source #

doubleMult :: r h (Double -> Double -> Double) Source #

doubleDivide :: r h (Double -> Double -> Double) Source #

doubleExp :: r h (Double -> Double) Source #

doubleEq :: r h (Double -> Double -> Bool) Source #

Instances

Double Eval Source #
Methods double :: Double -> Eval h Double Source # doubleZero :: Eval h Double Source # doubleOne :: Eval h Double Source # doublePlus :: Eval h (Double -> Double -> Double) Source # doubleMinus :: Eval h (Double -> Double -> Double) Source # doubleMult :: Eval h (Double -> Double -> Double) Source # doubleDivide :: Eval h (Double -> Double -> Double) Source # doubleExp :: Eval h (Double -> Double) Source # doubleEq :: Eval h (Double -> Double -> Bool) Source #
Double Show Source #
Methods double :: Double -> Show h Double Source # doubleZero :: Show h Double Source # doubleOne :: Show h Double Source # doublePlus :: Show h (Double -> Double -> Double) Source # doubleMinus :: Show h (Double -> Double -> Double) Source # doubleMult :: Show h (Double -> Double -> Double) Source # doubleDivide :: Show h (Double -> Double -> Double) Source # doubleExp :: Show h (Double -> Double) Source # doubleEq :: Show h (Double -> Double -> Bool) Source #
Double Size Source #
Methods double :: Double -> Size h Double Source # doubleZero :: Size h Double Source # doubleOne :: Size h Double Source # doublePlus :: Size h (Double -> Double -> Double) Source # doubleMinus :: Size h (Double -> Double -> Double) Source # doubleMult :: Size h (Double -> Double -> Double) Source # doubleDivide :: Size h (Double -> Double -> Double) Source # doubleExp :: Size h (Double -> Double) Source # doubleEq :: Size h (Double -> Double -> Bool) Source #
Double UInt Source #
Methods double :: Double -> UInt h Double Source # doubleZero :: UInt h Double Source # doubleOne :: UInt h Double Source # doublePlus :: UInt h (Double -> Double -> Double) Source # doubleMinus :: UInt h (Double -> Double -> Double) Source # doubleMult :: UInt h (Double -> Double -> Double) Source # doubleDivide :: UInt h (Double -> Double -> Double) Source # doubleExp :: UInt h (Double -> Double) Source # doubleEq :: UInt h (Double -> Double -> Bool) Source #
Double r => Double (P r) Source #
Methods double :: Double -> P r h Double Source # doubleZero :: P r h Double Source # doubleOne :: P r h Double Source # doublePlus :: P r h (Double -> Double -> Double) Source # doubleMinus :: P r h (Double -> Double -> Double) Source # doubleMult :: P r h (Double -> Double -> Double) Source # doubleDivide :: P r h (Double -> Double -> Double) Source # doubleExp :: P r h (Double -> Double) Source # doubleEq :: P r h (Double -> Double -> Bool) Source #
SubL c Double => Double (Term c) Source #
Methods double :: Double -> Term c h Double Source # doubleZero :: Term c h Double Source # doubleOne :: Term c h Double Source # doublePlus :: Term c h (Double -> Double -> Double) Source # doubleMinus :: Term c h (Double -> Double -> Double) Source # doubleMult :: Term c h (Double -> Double -> Double) Source # doubleDivide :: Term c h (Double -> Double -> Double) Source # doubleExp :: Term c h (Double -> Double) Source # doubleEq :: Term c h (Double -> Double -> Bool) Source #
Double r => Double (UnHOAS r) Source #
Methods double :: Double -> UnHOAS r h Double Source # doubleZero :: UnHOAS r h Double Source # doubleOne :: UnHOAS r h Double Source # doublePlus :: UnHOAS r h (Double -> Double -> Double) Source # doubleMinus :: UnHOAS r h (Double -> Double -> Double) Source # doubleMult :: UnHOAS r h (Double -> Double -> Double) Source # doubleDivide :: UnHOAS r h (Double -> Double -> Double) Source # doubleExp :: UnHOAS r h (Double -> Double) Source # doubleEq :: UnHOAS r h (Double -> Double -> Bool) Source #
(Prod r, Double r) => Double (UnLiftEnv r) Source #
Methods double :: Double -> UnLiftEnv r h Double Source # doubleZero :: UnLiftEnv r h Double Source # doubleOne :: UnLiftEnv r h Double Source # doublePlus :: UnLiftEnv r h (Double -> Double -> Double) Source # doubleMinus :: UnLiftEnv r h (Double -> Double -> Double) Source # doubleMult :: UnLiftEnv r h (Double -> Double -> Double) Source # doubleDivide :: UnLiftEnv r h (Double -> Double -> Double) Source # doubleExp :: UnLiftEnv r h (Double -> Double) Source # doubleEq :: UnLiftEnv r h (Double -> Double -> Bool) Source #
(Prod r, Double r) => Double (ImpW r) Source #
Methods double :: Double -> ImpW r h Double Source # doubleZero :: ImpW r h Double Source # doubleOne :: ImpW r h Double Source # doublePlus :: ImpW r h (Double -> Double -> Double) Source # doubleMinus :: ImpW r h (Double -> Double -> Double) Source # doubleMult :: ImpW r h (Double -> Double -> Double) Source # doubleDivide :: ImpW r h (Double -> Double -> Double) Source # doubleExp :: ImpW r h (Double -> Double) Source # doubleEq :: ImpW r h (Double -> Double -> Bool) Source #
type SubLC c Double Source #
type SubLC c Double = SubL c Bool

doublePlus1 :: Double r => r h Double -> r h (Double -> Double) Source #

doublePlus2 :: Double r => r h Double -> r h Double -> r h Double Source #

doubleMinus2 :: Double r => r h Double -> r h Double -> r h Double Source #

doubleMult2 :: Double r => r h Double -> r h Double -> r h Double Source #

doubleDivide2 :: Double r => r h Double -> r h Double -> r h Double Source #

doubleExp1 :: Double r => r h Double -> r h Double Source #

doubleEq2 :: Double r => r h Double -> r h Double -> r h Bool Source #

module DDF.Bool