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 :: Nat) = UnsignedBV {}
- mkUnsignedBV :: forall (w :: Nat). NatRepr w -> Integer -> UnsignedBV w
Documentation
newtype UnsignedBV (w :: Nat) Source #
Signed bit vector.
Constructors
UnsignedBV | |
Instances
mkUnsignedBV :: forall (w :: Nat). NatRepr w -> Integer -> UnsignedBV w Source #
Convenience wrapper for mkBV
.