Data.Convert.Instances.Num

Documentation

data BoundError

Constructors

BoundError

Instances

Show BoundError

Methods

showsPrec :: Int -> BoundError -> ShowS

show :: BoundError -> String

showList :: [BoundError] -> ShowS

Default BoundError

Methods

def :: BoundError

data Sign

Constructors

Signed

Unsigned

Instances

Eq Sign

Methods

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

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

Show Sign

Methods

showsPrec :: Int -> Sign -> ShowS

show :: Sign -> String

showList :: [Sign] -> ShowS

data NumRange

Constructors

BitRange Sign Integer

InfiniteRange

Instances

Eq NumRange

Methods

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

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

Show NumRange

Methods

showsPrec :: Int -> NumRange -> ShowS

show :: NumRange -> String

showList :: [NumRange] -> ShowS

data NumType

Constructors

NumType

Fields

• _name :: Name
• _layout :: NumRange

Instances

Eq NumType

Methods

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

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

Show NumType

Methods

showsPrec :: Int -> NumType -> ShowS

show :: NumType -> String

showList :: [NumType] -> ShowS

name :: Lens' NumType Name

layout :: Lens' NumType NumRange

intTypes :: [NumType]

wordTypes :: [NumType]

floatTypes :: [NumType]

integralTypes :: [NumType]

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

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

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

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

conversions :: Q [Dec]

Orphan instances

Convertible Int CSize

Methods

convert :: Int -> CSize

Convertible Word64 (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)

Methods

convert :: Word64 -> (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)