Safe Haskell | None |
---|---|
Language | Haskell2010 |
Representations for signed and unsigned integer types
The reason for using symbol names ending with _t
is that deriveRender
uses everything that comes before _
when rendering the constructor.
Documentation
data IntWordType a where Source
Int8_t :: IntWordType (Full Int8) | |
Int16_t :: IntWordType (Full Int16) | |
Int32_t :: IntWordType (Full Int32) | |
Int64_t :: IntWordType (Full Int64) | |
Word8_t :: IntWordType (Full Word8) | |
Word16_t :: IntWordType (Full Word16) | |
Word32_t :: IntWordType (Full Word32) | |
Word64_t :: IntWordType (Full Word64) |
word16Type :: (Syntactic a, IntWordType :<: Domain a, Internal a ~ Word16) => a Source
word32Type :: (Syntactic a, IntWordType :<: Domain a, Internal a ~ Word32) => a Source
word64Type :: (Syntactic a, IntWordType :<: Domain a, Internal a ~ Word64) => a Source