limp-0.3.2.3: representation of Integer Linear Programs

Safe HaskellNone
LanguageHaskell2010

Numeric.Limp.Rep.IntDouble

Description

Fixed/floating precision number representation

Synopsis

Documentation

data IntDouble Source #

A representation that uses native 64-bit ints and 64-bit doubles. Really, this should be 32-bit ints.

Instances
Rep IntDouble Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Associated Types

data Z IntDouble :: Type Source #

data R IntDouble :: Type Source #

Enum (Z IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Enum (R IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Eq (Z IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Eq (R IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Fractional (R IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Integral (Z IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Num (Z IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Num (R IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Ord (Z IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Ord (R IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Real (Z IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Real (R IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

RealFrac (R IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

Methods

properFraction :: Integral b => R IntDouble -> (b, R IntDouble) #

truncate :: Integral b => R IntDouble -> b #

round :: Integral b => R IntDouble -> b #

ceiling :: Integral b => R IntDouble -> b #

floor :: Integral b => R IntDouble -> b #

Show (Z IntDouble) Source #

Define show manually, so we can strip out the Z and R prefixes.

Instance details

Defined in Numeric.Limp.Rep.IntDouble

Show (R IntDouble) Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

data Z IntDouble Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

data Z IntDouble = Z Int
data R IntDouble Source # 
Instance details

Defined in Numeric.Limp.Rep.IntDouble

unwrapR :: R IntDouble -> Double Source #

Convert a wrapped (R IntDouble) to an actual Double.