open-typerep-0.6.1: Open type representations and dynamic types

Safe HaskellNone
LanguageHaskell2010

Data.TypeRep.Types.IntWord

Description

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

Constructors

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) 

Instances

int8Type :: (Syntactic a, IntWordType :<: Domain a, Internal a ~ Int8) => a Source

int16Type :: (Syntactic a, IntWordType :<: Domain a, Internal a ~ Int16) => a Source

int32Type :: (Syntactic a, IntWordType :<: Domain a, Internal a ~ Int32) => a Source

int64Type :: (Syntactic a, IntWordType :<: Domain a, Internal a ~ Int64) => a Source

word8Type :: (Syntactic a, IntWordType :<: Domain a, Internal a ~ Word8) => a Source

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