Data.TypeRep.Types.IntWord

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

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

Render IntWordType

TypeEq IntWordType t

PWitness Eq IntWordType t

PWitness Integral IntWordType t

PWitness Num IntWordType t

PWitness Ord IntWordType t

PWitness Show IntWordType t

PWitness Any IntWordType t

Witness Eq IntWordType t

Witness Integral IntWordType t

Witness Num IntWordType t

Witness Ord IntWordType t

Witness Show IntWordType t

Witness Any IntWordType t

PWitness (Typeable *) IntWordType t

Witness (Typeable *) IntWordType t

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

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

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

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

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

word16Type :: (Syntactic a, IntWordType :<: Domain a, Internal a ~ Word16) => a

word32Type :: (Syntactic a, IntWordType :<: Domain a, Internal a ~ Word32) => a

word64Type :: (Syntactic a, IntWordType :<: Domain a, Internal a ~ Word64) => a