bv-sized-lens (hackage): Well-typed lenses for bv-sized bitvectors. Use with bv-sized and parameterized-utils.
Keywords: bit-vectors|bsd3|library