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 {
- asBV :: BV w
}
mkUnsignedBV :: NatRepr w -> Integer -> UnsignedBV w

Documentation

newtype UnsignedBV w Source #

Signed bit vector.

Constructors

UnsignedBV
Fields asBV :: BV w

Instances

KnownNat w => Bounded (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned Methods minBound :: UnsignedBV w # maxBound :: UnsignedBV w #
KnownNat w => Enum (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned Methods succ :: UnsignedBV w -> UnsignedBV w # pred :: UnsignedBV w -> UnsignedBV w # toEnum :: Int -> UnsignedBV w # fromEnum :: UnsignedBV w -> Int # enumFrom :: UnsignedBV w -> [UnsignedBV w] # enumFromThen :: UnsignedBV w -> UnsignedBV w -> [UnsignedBV w] # enumFromTo :: UnsignedBV w -> UnsignedBV w -> [UnsignedBV w] # enumFromThenTo :: UnsignedBV w -> UnsignedBV w -> UnsignedBV w -> [UnsignedBV w] #
Eq (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned Methods (==) :: UnsignedBV w -> UnsignedBV w -> Bool # (/=) :: UnsignedBV w -> UnsignedBV w -> Bool #
KnownNat w => Num (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned Methods (+) :: UnsignedBV w -> UnsignedBV w -> UnsignedBV w # (-) :: UnsignedBV w -> UnsignedBV w -> UnsignedBV w # (*) :: UnsignedBV w -> UnsignedBV w -> UnsignedBV w # negate :: UnsignedBV w -> UnsignedBV w # abs :: UnsignedBV w -> UnsignedBV w # signum :: UnsignedBV w -> UnsignedBV w # fromInteger :: Integer -> UnsignedBV w #
Ord (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned Methods compare :: UnsignedBV w -> UnsignedBV w -> Ordering # (<) :: UnsignedBV w -> UnsignedBV w -> Bool # (<=) :: UnsignedBV w -> UnsignedBV w -> Bool # (>) :: UnsignedBV w -> UnsignedBV w -> Bool # (>=) :: UnsignedBV w -> UnsignedBV w -> Bool # max :: UnsignedBV w -> UnsignedBV w -> UnsignedBV w # min :: UnsignedBV w -> UnsignedBV w -> UnsignedBV w #
Read (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned Methods readsPrec :: Int -> ReadS (UnsignedBV w) # readList :: ReadS [UnsignedBV w] # readPrec :: ReadPrec (UnsignedBV w) # readListPrec :: ReadPrec [UnsignedBV w] #
Show (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned Methods showsPrec :: Int -> UnsignedBV w -> ShowS # show :: UnsignedBV w -> String # showList :: [UnsignedBV w] -> ShowS #
KnownNat w => Ix (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned Methods range :: (UnsignedBV w, UnsignedBV w) -> [UnsignedBV w] # index :: (UnsignedBV w, UnsignedBV w) -> UnsignedBV w -> Int # unsafeIndex :: (UnsignedBV w, UnsignedBV w) -> UnsignedBV w -> Int inRange :: (UnsignedBV w, UnsignedBV w) -> UnsignedBV w -> Bool # rangeSize :: (UnsignedBV w, UnsignedBV w) -> Int # unsafeRangeSize :: (UnsignedBV w, UnsignedBV w) -> Int
Generic (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned Associated Types type Rep (UnsignedBV w) :: Type -> Type # Methods from :: UnsignedBV w -> Rep (UnsignedBV w) x # to :: Rep (UnsignedBV w) x -> UnsignedBV w #
KnownNat w => Bits (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned Methods (.&.) :: UnsignedBV w -> UnsignedBV w -> UnsignedBV w # (.\|.) :: UnsignedBV w -> UnsignedBV w -> UnsignedBV w # xor :: UnsignedBV w -> UnsignedBV w -> UnsignedBV w # complement :: UnsignedBV w -> UnsignedBV w # shift :: UnsignedBV w -> Int -> UnsignedBV w # rotate :: UnsignedBV w -> Int -> UnsignedBV w # zeroBits :: UnsignedBV w # bit :: Int -> UnsignedBV w # setBit :: UnsignedBV w -> Int -> UnsignedBV w # clearBit :: UnsignedBV w -> Int -> UnsignedBV w # complementBit :: UnsignedBV w -> Int -> UnsignedBV w # testBit :: UnsignedBV w -> Int -> Bool # bitSizeMaybe :: UnsignedBV w -> Maybe Int # bitSize :: UnsignedBV w -> Int # isSigned :: UnsignedBV w -> Bool # shiftL :: UnsignedBV w -> Int -> UnsignedBV w # unsafeShiftL :: UnsignedBV w -> Int -> UnsignedBV w # shiftR :: UnsignedBV w -> Int -> UnsignedBV w # unsafeShiftR :: UnsignedBV w -> Int -> UnsignedBV w # rotateL :: UnsignedBV w -> Int -> UnsignedBV w # rotateR :: UnsignedBV w -> Int -> UnsignedBV w # popCount :: UnsignedBV w -> Int #
KnownNat w => FiniteBits (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned Methods finiteBitSize :: UnsignedBV w -> Int # countLeadingZeros :: UnsignedBV w -> Int # countTrailingZeros :: UnsignedBV w -> Int #
type Rep (UnsignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Unsigned type Rep (UnsignedBV w) = D1 (MetaData "UnsignedBV" "Data.BitVector.Sized.Unsigned" "bv-sized-1.0.0-7ojTcINbUEOBofHAbwvbSS" True) (C1 (MetaCons "UnsignedBV" PrefixI True) (S1 (MetaSel (Just "asBV") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (BV w))))

mkUnsignedBV :: NatRepr w -> Integer -> UnsignedBV w Source #

Convenience wrapper for mkBV.