Ivory.Language.BitData.DefBitRep

Documentation

defBitRep :: Name -> Name -> [Integer] -> DecsQ

Define the type instance:

type instance fname x = rname

for each "n" in "xs".

Used to define the set of representation types for bit lengths.