Descrição
Uma biblioteca Haskell para bitvectors cuja largura é controlada como parte do tipo. Isso permite que o código expresse valores binários de tamanho fixo com garantias mais fortes sobre tamanho e operações.
Desenvolvedores a usam em modelagem de hardware, trabalho com protocolos, código próximo de criptografia e manipulação binária com segurança de tipos. Diferenças de largura ficam mais fáceis de detectar durante o desenvolvimento.