json2-0.8.3: Library provides support for JSON.

Data.JSON2.Internal

Contents

Synopsis

Helpers of check conversion.

type ConvResult a = Either ConvError aSource

checkBoundsIntegral :: (Typeable a, Bounded a, Integral a) => (Rational -> a) -> Rational -> ConvResult aSource

Conversion Rational number to Integral number with check bounds.

checkBoundsEnum :: (Typeable a, Bounded a, Enum a) => (Rational -> a) -> Rational -> ConvResult aSource

Conversion Rational number to Bounded values with check bounds. checkBoundsEnum (toEnum . round)

checkInfinite :: (Typeable a, RealFloat a) => (Rational -> a) -> Rational -> ConvResult aSource

Conversion Rational to RealFloat values with check infinity.

data ConvError Source

Constructors

ConvError String String String String 

Instances

mkError :: (Show a, Typeable a, Typeable b) => a -> ConvResult bSource

Create conversion error.

mkError' :: (Show a, Typeable a, Typeable b) => String -> a -> ConvResult bSource

Create conversion error with message.