Safe Haskell | Safe-Inferred |
---|
- in_range :: (Integral r, Integral n) => r -> r -> n -> Bool
- in_int8 :: Integral a => a -> Bool
- in_int16 :: Integral a => a -> Bool
- in_int32 :: Integral a => a -> Bool
- in_int64 :: Integral a => a -> Bool
- ratio_is_integral :: Integral n => Ratio n -> Bool
- ratio_is_bounded_integral :: Integral n => n -> Ratio n -> Bool
- ratio_is_int :: Integral n => Ratio n -> Bool
- ratio_is_word8 :: Integral n => Ratio n -> Bool
Documentation
Rational number predicates
ratio_is_integral :: Integral n => Ratio n -> BoolSource
Is n integral, ie. is denominator
1
.
ratio_is_bounded_integral :: Integral n => n -> Ratio n -> BoolSource
Is n integral, and <=
to m.
ratio_is_int :: Integral n => Ratio n -> BoolSource
Is n integral and in range for Int
.
ratio_is_word8 :: Integral n => Ratio n -> BoolSource
Is n integral and in range for Word8
.