Safe Haskell | None |
---|---|
Language | Haskell2010 |
Fixed-point numbers
Synopsis
- data FixedPoint w (i :: Nat) (f :: Nat)
- toFixedPoint :: forall a w (n :: Nat) (d :: Nat). (RealFrac a, BitSize w ~ (n + d), KnownNat n, KnownNat d, Bits w, Field w, Num w, Integral w) => a -> FixedPoint w n d
- fromFixedPoint :: forall a w (n :: Nat) (d :: Nat). (RealFrac a, BitSize w ~ (n + d), KnownNat n, KnownNat d, Bits w, Field w, Num w, Integral w) => FixedPoint w n d -> a
Documentation
data FixedPoint w (i :: Nat) (f :: Nat) Source #
Fixed-point number
* w
is the backing type
* i
is the number of bits for the integer part (before the radix point)
* f
is the number of bits for the fractional part (after the radix point)
Instances
(Integral w, Bits w, Field w, BitSize w ~ (n + d), KnownNat n, KnownNat d) => Eq (FixedPoint w n d) Source # | |
Defined in Haskus.Format.Binary.FixedPoint (==) :: FixedPoint w n d -> FixedPoint w n d -> Bool # (/=) :: FixedPoint w n d -> FixedPoint w n d -> Bool # | |
(Integral w, Bits w, Field w, BitSize w ~ (n + d), KnownNat n, KnownNat d, Show w) => Show (FixedPoint w n d) Source # | |
Defined in Haskus.Format.Binary.FixedPoint showsPrec :: Int -> FixedPoint w n d -> ShowS # show :: FixedPoint w n d -> String # showList :: [FixedPoint w n d] -> ShowS # | |
Storable w => Storable (FixedPoint w i f) Source # | |
Defined in Haskus.Format.Binary.FixedPoint peekIO :: Ptr (FixedPoint w i f) -> IO (FixedPoint w i f) Source # pokeIO :: Ptr (FixedPoint w i f) -> FixedPoint w i f -> IO () Source # alignment :: FixedPoint w i f -> Word Source # sizeOf :: FixedPoint w i f -> Word Source # |