Safe Haskell | None |
---|
- data Fix a = Fix {}
- class Splittable t => Fixable t where
- freezeFix :: Type a => Fix a -> (Data IntN, Data a)
- freezeFix' :: Bits a => IntN -> Fix a -> Data a
- unfreezeFix :: Type a => (Data IntN, Data a) -> Fix a
- unfreezeFix' :: IntN -> Data a -> Fix a
- (?!) :: forall a. (Syntax a, Splittable a) => Data Bool -> (a, a) -> a
- fixFold :: forall a b. Splittable a => (a -> b -> a) -> a -> Vector b -> a
Documentation
Abstract real number type with exponent and mantissa
Type a => Eq (Fix a) | |
(Num (Fix a), Integral a, Bits a, Real a) => Fractional (Fix a) | |
(Integral a, Bits a, Real a) => Num (Fix a) | |
Type a => Show (Fix a) | |
Type a => Syntactic (Fix a) | |
(Syntactic (Fix a), ~ (* -> *) (Domain (Fix a)) FeldDomainAll, Type (Internal (Fix a)), Type a) => Syntax (Fix a) | |
(Syntax (Dynamic (Fix a)), Bits a) => Splittable (Fix a) | |
(Splittable (Fix a), Bits a) => Fixable (Fix a) |
freezeFix :: Type a => Fix a -> (Data IntN, Data a)Source
Converts an abstract real number to a pair of exponent and mantissa
freezeFix' :: Bits a => IntN -> Fix a -> Data aSource
Converts an abstract real number to fixed point integer with given exponent
unfreezeFix :: Type a => (Data IntN, Data a) -> Fix aSource
Converts a pair of exponent and mantissa to an abstract real number
unfreezeFix' :: IntN -> Data a -> Fix aSource
Converts a fixed point integer with given exponent to an abstract real number