limp-0.3.2.2: 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 # 

Associated Types

data Z IntDouble :: * Source #

data R IntDouble :: * Source #

Enum (Z IntDouble) Source # 
Enum (R IntDouble) Source # 
Eq (Z IntDouble) Source # 
Eq (R IntDouble) Source # 
Fractional (R IntDouble) Source # 
Integral (Z IntDouble) Source # 
Num (Z IntDouble) Source # 
Num (R IntDouble) Source # 
Ord (Z IntDouble) Source # 
Ord (R IntDouble) Source # 
Real (Z IntDouble) Source # 
Real (R IntDouble) Source # 
RealFrac (R IntDouble) Source # 

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.

Show (R IntDouble) Source # 
data Z IntDouble Source # 
data Z IntDouble = Z Int
data R IntDouble Source # 

unwrapR :: R IntDouble -> Double Source #

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