Data.Extensible.Bits

data BitProd r h xs

class FromBits r a

type family TotalBits h xs where ...

type BitFields r h xs

blookup

bupdate

toBitProd

fromBitProd

type BitRecordOf r h

type BitRecord r