type-int-0.4: Type Level 2s- and 16s- Complement Integers Contents Index

Data.Type.Binary.TH Portability non-portable (Template Haskell) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Provides a simple way to construct type level binaries. $(binaryE 24) returns an undefined value with the same type as the Type.Binary with value 24.

Synopsis

binaryE :: Integral a => a -> ExpQ binaryT :: Integral a => a -> TypeQ

Documentation

binaryE :: Integral a => a -> ExpQ

$(binaryE n) returns an undefined value of the appropriate TBinary instance

binaryT :: Integral a => a -> TypeQ

$(binaryT n) returns the appropriate TBinary instance

Produced by Haddock version 0.8