@hackage / bv-sized-lens

Well-typed lenses for bv-sized bitvectors.

Latest0.1.0.0

About

Metadata

  • Last updated , by benselfridge
  • License BSD-3-Clause

  • Maintained by: benselfridge@galois.com

  • Lottery factor: 0

Links

Installation

Readme

bv-sized-lens

Copyright (c) Ben Selfridge, May 2021

Lightweight, well-typed, easy-to-use lenses for bitvectors. Uses the bv-sized library. See the haddock documentation for usage details.