Haskus.Format.Binary.FixedPoint

Fixed-point numbers

Documentation

data FixedPoint w i f

Fixed-point number w is the backing type i is the number of bits for the integer part (before the readix point) f is the number of bits for the fractional part (after the radix point)

Instances

(Integral w, Bits w, Field w, (~) Nat (BitSize w) ((+) n d), KnownNat n, KnownNat d) => Eq (FixedPoint w n d)

Methods

(==) :: FixedPoint w n d -> FixedPoint w n d -> Bool

(/=) :: FixedPoint w n d -> FixedPoint w n d -> Bool

(Integral w, Bits w, Field w, (~) Nat (BitSize w) ((+) n d), KnownNat n, KnownNat d, Show w) => Show (FixedPoint w n d)

Methods

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)

Methods

peekIO :: Ptr (FixedPoint w i f) -> IO (FixedPoint w i f)

pokeIO :: Ptr (FixedPoint w i f) -> FixedPoint w i f -> IO ()

alignment :: FixedPoint w i f -> Word

sizeOf :: FixedPoint w i f -> Word

toFixedPoint :: forall a w n d. (RealFrac a, BitSize w ~ (n + d), KnownNat n, KnownNat d, Bits w, Field w, Num w, Integral w) => a -> FixedPoint w n d

Convert to a fixed point value

fromFixedPoint :: forall a w n d. (RealFrac a, BitSize w ~ (n + d), KnownNat n, KnownNat d, Bits w, Field w, Num w, Integral w) => FixedPoint w n d -> a

Convert from a fixed-point value