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

Safe HaskellNone
LanguageHaskell2010

Data.Convert.Instances.Num

Contents

Documentation

data BoundError Source #

Constructors

BoundError 
Instances
Show BoundError Source # 
Instance details

Defined in Data.Convert.Instances.Num

Methods

showsPrec :: Int -> BoundError -> ShowS #

show :: BoundError -> String #

showList :: [BoundError] -> ShowS #

Default BoundError Source # 
Instance details

Defined in Data.Convert.Instances.Num

Methods

def :: BoundError #

data Sign Source #

Constructors

Signed 
Unsigned 
Instances
Eq Sign Source # 
Instance details

Defined in Data.Convert.Instances.Num

Methods

(==) :: Sign -> Sign -> Bool #

(/=) :: Sign -> Sign -> Bool #

Show Sign Source # 
Instance details

Defined in Data.Convert.Instances.Num

Methods

showsPrec :: Int -> Sign -> ShowS #

show :: Sign -> String #

showList :: [Sign] -> ShowS #

data NumRange Source #

Constructors

BitRange Sign Integer 
InfiniteRange 
Instances
Eq NumRange Source # 
Instance details

Defined in Data.Convert.Instances.Num

Methods

(==) :: NumRange -> NumRange -> Bool #

(/=) :: NumRange -> NumRange -> Bool #

Show NumRange Source # 
Instance details

Defined in Data.Convert.Instances.Num

Methods

showsPrec :: Int -> NumRange -> ShowS #

show :: NumRange -> String #

showList :: [NumRange] -> ShowS #

data NumType Source #

Constructors

NumType 

Fields

Instances
Eq NumType Source # 
Instance details

Defined in Data.Convert.Instances.Num

Methods

(==) :: NumType -> NumType -> Bool #

(/=) :: NumType -> NumType -> Bool #

Show NumType Source # 
Instance details

Defined in Data.Convert.Instances.Num

Methods

showsPrec :: Int -> NumType -> ShowS #

show :: NumType -> String #

showList :: [NumType] -> ShowS #

name :: Lens' NumType Name Source #

layout :: Lens' NumType NumRange Source #

intTypes :: [NumType] Source #

wordTypes :: [NumType] Source #

floatTypes :: [NumType] Source #

integralTypes :: [NumType] Source #

defNumConvertAssert :: forall r a. (Num a, Ord a, Bounded r, Integral r) => a -> Maybe BoundError Source #

defNumConvertAssertP :: forall r a. (Num a, Ord a, Bounded r, Integral r) => Proxy r -> a -> Maybe BoundError Source #

mkConversion :: Q Exp -> NumType -> NumType -> Q Dec Source #

mkConversions :: Q Exp -> [NumType] -> [NumType] -> Q [Dec] Source #

conversions :: Q [Dec] Source #

Orphan instances