convert-1.0: Safe and unsafe data conversion utilities with strong type-level operation. checking.

Safe Haskell	None
Language	Haskell2010

Data.Convert.Bound

Documentation

boundedConversion :: (Bounded b, Ord a, Convertible a Rational, Convertible (Bounds b) (Bounds Rational)) => (a -> b) -> a -> Either BoundError b Source

data BoundError Source

Constructors

Instances

Show BoundError Source

data Conversion Source

Constructors

Conversion (Q Exp) Type Type

Instances

Show Conversion Source

class Conversions a b where Source

Methods

conversions :: Q Exp -> a -> b -> [Conversion] Source

Instances

Conversions Type Type Source
Conversions Type [Type] Source
Conversions [Type] Type Source
Conversions [Type] [Type] Source

genConversion :: Conversion -> Q Dec Source

genConversions :: [Conversion] -> Q [Dec] Source

data Type Source

Constructors

Type
Fields name :: Name tbounds :: Bounds Integer

Instances

Eq Type Source
Show Type Source
Conversions Type Type Source
Conversions Type [Type] Source
Conversions [Type] Type Source
Conversions [Type] [Type] Source

data Layout Source

Constructors

IntLayout Sign Integer
InfiniteLayout

Instances

Eq Layout Source
Show Layout Source

data Sign Source

Constructors

Signed
Unsigned

Instances

Eq Sign Source
Show Sign Source

layoutBounds :: Layout -> Bounds Integer Source

data Value a Source

Constructors

MinusInfinity
Value a
Infinity

Instances

Functor Value Source
Eq a => Eq (Value a) Source
Num a => Num (Value a) Source
Ord a => Ord (Value a) Source
Show a => Show (Value a) Source
Convertible a b => Convertible (Value a) (Value b) Source

data Bounds a Source

Constructors

Bounds (Value a) (Value a)

Instances

Functor Bounds Source
Eq a => Eq (Bounds a) Source
Show a => Show (Bounds a) Source
Convertible a b => Convertible (Bounds a) (Bounds b) Source

class Bounded a where Source

Methods

bounds :: Bounds a Source

Instances

Bounded Double Source
Bounded Float Source
Bounded Integer Source
Bounded Rational Source
Bounded a => Bounded a Source

infiniteBounds :: Bounds a Source

isSubBound :: Ord a => Bounds a -> Bounds a -> Bool Source

boundedBy :: Ord a => a -> Bounds a -> Bool Source