 | convertible-1.0.0: Typeclasses and instances for converting between types | Source code | Contents | Index |
| Data.Convertible.Utils |
|
| boundedConversion :: (Ord a, Bounded b, Show a, Show b, Convertible a Integer, Convertible b Integer, Typeable a, Typeable b) => (a -> ConvertResult b) -> a -> ConvertResult b |
| mkTypeName :: String -> TypeRep |
| boundedConversion | Source |
| :: (Ord a, Bounded b, Show a, Show b, Convertible a Integer, Convertible b Integer, Typeable a, Typeable b) | |
| => a -> ConvertResult b | Function to do the conversion |
| -> a | Input data |
| -> ConvertResult b | Result |
Utility function to perform bounds checking as part of a conversion. Does this be examining the bounds of the destination type, converting to the type of the source via safeConvert, comparing to the source value. Results in an error if the conversion is out of bounds. | |
| mkTypeName :: String -> TypeRep | Source |