Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulenumeric-prelude-0.4.4Haskell98

Number.FixedPoint.Check

Contents

Types
Conversion
other number types
Lift core function
Show

Synopsis

data T
value cons
value fromFloat
value fromInteger'
value fromRational'
value fromFloatBasis
value fromIntegerBasis
value fromRationalBasis
value fromFixedPoint
value lift0
value lift1
value lift2
value commonDenominator
value appPrec
value defltDenominator
value defltShow

Packagenumeric-prelude-0.4.4
Exports16
LanguageHaskell98
LicenceBSD-3-Clause
SourceCheck.hs

Types

datadata T

Constructors

Cons
- denominator :: Integer
- numerator :: Integer

Instances13Eq, Fractional, Num, Ord, Show, C, …

Eq TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
Fractional TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
Num TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
Ord TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
Show TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
C TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
C TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
C TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
C TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
C TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
C TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
C TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check
C TDefined in numeric-prelude-0.4.4 · Number.FixedPoint.Check

Conversion

valuecons :: Integer -> Integer -> T

other number types

valuefromFloat :: C a => Integer -> a -> T

valuefromInteger' :: Integer -> Integer -> T

valuefromRational' :: Integer -> Rational -> T

valuefromFloatBasis :: C a => Integer -> Int -> a -> T

valuefromIntegerBasis :: Integer -> Int -> Integer -> T

valuefromRationalBasis :: Integer -> Int -> Rational -> T

valuefromFixedPoint :: Integer -> T -> T

denominator conversion

Lift core function

valuelift0 :: Integer -> (Integer -> Integer) -> T

valuelift1 :: (Integer -> Integer -> Integer) -> T -> T

valuelift2 :: (Integer -> Integer -> Integer -> Integer) -> T -> T -> T

valuecommonDenominator :: Integer -> Integer -> a -> a

Show

valueappPrec :: Int

valuedefltDenominator :: Integer

valuedefltShow :: T -> String