Copyright | (c) Galois Inc. 2018 |
---|---|
License | BSD-3 |
Maintainer | benselfridge@galois.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.BitVector.Sized.Unsigned
Description
This module defines a wrapper around the BV
type, UnsignedBV
, with
instances not provided by BV
.
Synopsis
- newtype UnsignedBV w = UnsignedBV {}
- mkUnsignedBV :: NatRepr w -> Integer -> UnsignedBV w
Documentation
newtype UnsignedBV w Source #
Signed bit vector.
Constructors
UnsignedBV | |
Instances
mkUnsignedBV :: NatRepr w -> Integer -> UnsignedBV w Source #
Convenience wrapper for mkBV
.