@hackage / bv-sized-lens

Well-typed lenses for bv-sized bitvectors.

Latest0.1.0.0

Dependencies

library:bv-sized-lens (4 dependencies)

@hackage / lens Lenses, Folds and Traversals
- Version: >=5.0 && <5.1
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.14 && <4.16
- License: BSD-3-Clause
@hackage / parameterized-utils Classes and data structures for working with data-kind indexed types
- Version: >=2.1.3.0 && <2.2
- License: BSD-3-Clause
@hackage / bv-sized a bitvector datatype that is parameterized by the vector width
- Version: >=1.0 && <1.1
- License: BSD-3-Clause