Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- class Prd a => TripInt16 a where
- ceil16 :: TripInt16 a => a -> a
- floor16 :: TripInt16 a => a -> a
- trunc16 :: (Additive - Monoid) a => TripInt16 a => a -> a
- round16 :: (Additive - Group) a => TripInt16 a => a -> a
- class Prd a => TripInt32 a where
- ceil32 :: TripInt32 a => a -> a
- floor32 :: TripInt32 a => a -> a
- trunc32 :: (Additive - Monoid) a => TripInt32 a => a -> a
- round32 :: (Additive - Group) a => TripInt32 a => a -> a
- data Mode
- half :: Prd a => Prd b => (Additive - Group) a => Trip a b -> a -> Maybe Ordering
- tied :: Prd a => Prd b => (Additive - Group) a => Trip a b -> a -> Bool
- above :: Prd a => Prd b => (Additive - Group) a => Trip a b -> a -> Bool
- below :: Prd a => Prd b => (Additive - Group) a => Trip a b -> a -> Bool
- addWith :: (Prd a, Prd b, (Additive - Group) a) => Trip a b -> Mode -> b -> b -> b
- negWith :: (Prd a, Prd b, (Additive - Group) a) => Trip a b -> Mode -> b -> b
- subWith :: (Prd a, Prd b, (Additive - Group) a) => Trip a b -> Mode -> b -> b -> b
- mulWith :: (Prd a, Prd b, Ring a) => Trip a b -> Mode -> b -> b -> b
- fmaWith :: (Prd a, Prd b, Ring a) => Trip a b -> Mode -> b -> b -> b -> b
- remWith :: (Prd a, Prd b, Field a) => Trip a b -> Mode -> b -> b -> b
- divWith :: (Prd a, Prd b, Field a) => Trip a b -> Mode -> b -> b -> b
- divWith' :: (Prd a, Prd b, Field a) => Trip a b -> Mode -> b -> b -> b
Rounding Classes
Rounding Utils
The four primary IEEE rounding modes.
half :: Prd a => Prd b => (Additive - Group) a => Trip a b -> a -> Maybe Ordering Source #
Determine which half of the interval between two representations of a a particular value lies.