Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulenumeric-prelude-0.4.4Haskell98

Number.FixedPoint.Check

1 type
15 values

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

Types

1 declaration

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

1 declaration

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

4 declarations

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

3 declarations

valueappPrec :: Int

valuedefltDenominator :: Integer

valuedefltShow :: T -> String