DDF.Double

Documentation

class Bool r => Double r where

Minimal complete definition

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

Methods

double :: Double -> r h Double

doubleZero :: r h Double

doubleOne :: r h Double

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

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

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

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

doubleExp :: r h (Double -> Double)

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

Instances

Double Show

Methods

double :: Double -> Show h Double

doubleZero :: Show h Double

doubleOne :: Show h Double

doublePlus :: Show h (Double -> Double -> Double)

doubleMinus :: Show h (Double -> Double -> Double)

doubleMult :: Show h (Double -> Double -> Double)

doubleDivide :: Show h (Double -> Double -> Double)

doubleExp :: Show h (Double -> Double)

doubleEq :: Show h (Double -> Double -> Bool)

Double Size

Methods

double :: Double -> Size h Double

doubleZero :: Size h Double

doubleOne :: Size h Double

doublePlus :: Size h (Double -> Double -> Double)

doubleMinus :: Size h (Double -> Double -> Double)

doubleMult :: Size h (Double -> Double -> Double)

doubleDivide :: Size h (Double -> Double -> Double)

doubleExp :: Size h (Double -> Double)

doubleEq :: Size h (Double -> Double -> Bool)

Double UInt

Methods

double :: Double -> UInt h Double

doubleZero :: UInt h Double

doubleOne :: UInt h Double

doublePlus :: UInt h (Double -> Double -> Double)

doubleMinus :: UInt h (Double -> Double -> Double)

doubleMult :: UInt h (Double -> Double -> Double)

doubleDivide :: UInt h (Double -> Double -> Double)

doubleExp :: UInt h (Double -> Double)

doubleEq :: UInt h (Double -> Double -> Bool)

Double r => Double (P r)

Methods

double :: Double -> P r h Double

doubleZero :: P r h Double

doubleOne :: P r h Double

doublePlus :: P r h (Double -> Double -> Double)

doubleMinus :: P r h (Double -> Double -> Double)

doubleMult :: P r h (Double -> Double -> Double)

doubleDivide :: P r h (Double -> Double -> Double)

doubleExp :: P r h (Double -> Double)

doubleEq :: P r h (Double -> Double -> Bool)

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

Methods

double :: Double -> UnLiftEnv r h Double

doubleZero :: UnLiftEnv r h Double

doubleOne :: UnLiftEnv r h Double

doublePlus :: UnLiftEnv r h (Double -> Double -> Double)

doubleMinus :: UnLiftEnv r h (Double -> Double -> Double)

doubleMult :: UnLiftEnv r h (Double -> Double -> Double)

doubleDivide :: UnLiftEnv r h (Double -> Double -> Double)

doubleExp :: UnLiftEnv r h (Double -> Double)

doubleEq :: UnLiftEnv r h (Double -> Double -> Bool)

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

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

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

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

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

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

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

module DDF.Bool