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 Eval

Methods

double :: Double -> Eval h Double

doubleZero :: Eval h Double

doubleOne :: Eval h Double

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

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

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

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

doubleExp :: Eval h (Double -> Double)

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

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 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)

SubL c Double => Double (Term c)

Methods

double :: Double -> Term c h Double

doubleZero :: Term c h Double

doubleOne :: Term c h Double

doublePlus :: Term c h (Double -> Double -> Double)

doubleMinus :: Term c h (Double -> Double -> Double)

doubleMult :: Term c h (Double -> Double -> Double)

doubleDivide :: Term c h (Double -> Double -> Double)

doubleExp :: Term c h (Double -> Double)

doubleEq :: Term c h (Double -> Double -> Bool)

Double r => Double (UnHOAS r)

Methods

double :: Double -> UnHOAS r h Double

doubleZero :: UnHOAS r h Double

doubleOne :: UnHOAS r h Double

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

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

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

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

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

doubleEq :: UnHOAS 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)

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

Methods

double :: Double -> ImpW r h Double

doubleZero :: ImpW r h Double

doubleOne :: ImpW r h Double

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

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

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

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

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

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

type SubLC c Double

type SubLC c Double = SubL c 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