Data.Type.Binary.TH

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.

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