Data.BitVector.Sized.Signed

This module defines a wrapper around the BV type, SignedBV, with instances not provided by BV.

Documentation

newtype SignedBV w

Signed bit vector.

Constructors

SignedBV (BV w)

Instances

(KnownNat w, 1 <= w) => Bounded (SignedBV w)

Defined in Data.BitVector.Sized.Signed

Methods

minBound :: SignedBV w

maxBound :: SignedBV w

(KnownNat w, 1 <= w) => Enum (SignedBV w)

Defined in Data.BitVector.Sized.Signed

Methods

succ :: SignedBV w -> SignedBV w

pred :: SignedBV w -> SignedBV w

toEnum :: Int -> SignedBV w

fromEnum :: SignedBV w -> Int

enumFrom :: SignedBV w -> [SignedBV w]

enumFromThen :: SignedBV w -> SignedBV w -> [SignedBV w]

enumFromTo :: SignedBV w -> SignedBV w -> [SignedBV w]

enumFromThenTo :: SignedBV w -> SignedBV w -> SignedBV w -> [SignedBV w]

Eq (SignedBV w)

Defined in Data.BitVector.Sized.Signed

Methods

(==) :: SignedBV w -> SignedBV w -> Bool

(/=) :: SignedBV w -> SignedBV w -> Bool

(KnownNat w, 1 <= w) => Num (SignedBV w)

Defined in Data.BitVector.Sized.Signed

Methods

(+) :: SignedBV w -> SignedBV w -> SignedBV w

(-) :: SignedBV w -> SignedBV w -> SignedBV w

(*) :: SignedBV w -> SignedBV w -> SignedBV w

negate :: SignedBV w -> SignedBV w

abs :: SignedBV w -> SignedBV w

signum :: SignedBV w -> SignedBV w

fromInteger :: Integer -> SignedBV w

(KnownNat w, 1 <= w) => Ord (SignedBV w)

Defined in Data.BitVector.Sized.Signed

Methods

compare :: SignedBV w -> SignedBV w -> Ordering

(<) :: SignedBV w -> SignedBV w -> Bool

(<=) :: SignedBV w -> SignedBV w -> Bool

(>) :: SignedBV w -> SignedBV w -> Bool

(>=) :: SignedBV w -> SignedBV w -> Bool

max :: SignedBV w -> SignedBV w -> SignedBV w

min :: SignedBV w -> SignedBV w -> SignedBV w

Read (SignedBV w)

Defined in Data.BitVector.Sized.Signed

Methods

readsPrec :: Int -> ReadS (SignedBV w)

readList :: ReadS [SignedBV w]

readPrec :: ReadPrec (SignedBV w)

readListPrec :: ReadPrec [SignedBV w]

Show (SignedBV w)

Defined in Data.BitVector.Sized.Signed

Methods

showsPrec :: Int -> SignedBV w -> ShowS

show :: SignedBV w -> String

showList :: [SignedBV w] -> ShowS

(KnownNat w, 1 <= w) => Ix (SignedBV w)

Defined in Data.BitVector.Sized.Signed

Methods

range :: (SignedBV w, SignedBV w) -> [SignedBV w]

index :: (SignedBV w, SignedBV w) -> SignedBV w -> Int

unsafeIndex :: (SignedBV w, SignedBV w) -> SignedBV w -> Int

inRange :: (SignedBV w, SignedBV w) -> SignedBV w -> Bool

rangeSize :: (SignedBV w, SignedBV w) -> Int

unsafeRangeSize :: (SignedBV w, SignedBV w) -> Int

Generic (SignedBV w)

Defined in Data.BitVector.Sized.Signed

Associated Types

type Rep (SignedBV w) :: Type -> Type

Methods

from :: SignedBV w -> Rep (SignedBV w) x

to :: Rep (SignedBV w) x -> SignedBV w

(KnownNat w, 1 <= w) => Bits (SignedBV w)

Defined in Data.BitVector.Sized.Signed

Methods

(.&.) :: SignedBV w -> SignedBV w -> SignedBV w

(.|.) :: SignedBV w -> SignedBV w -> SignedBV w

xor :: SignedBV w -> SignedBV w -> SignedBV w

complement :: SignedBV w -> SignedBV w

shift :: SignedBV w -> Int -> SignedBV w

rotate :: SignedBV w -> Int -> SignedBV w

zeroBits :: SignedBV w

bit :: Int -> SignedBV w

setBit :: SignedBV w -> Int -> SignedBV w

clearBit :: SignedBV w -> Int -> SignedBV w

complementBit :: SignedBV w -> Int -> SignedBV w

testBit :: SignedBV w -> Int -> Bool

bitSizeMaybe :: SignedBV w -> Maybe Int

bitSize :: SignedBV w -> Int

isSigned :: SignedBV w -> Bool

shiftL :: SignedBV w -> Int -> SignedBV w

unsafeShiftL :: SignedBV w -> Int -> SignedBV w

shiftR :: SignedBV w -> Int -> SignedBV w

unsafeShiftR :: SignedBV w -> Int -> SignedBV w

rotateL :: SignedBV w -> Int -> SignedBV w

rotateR :: SignedBV w -> Int -> SignedBV w

popCount :: SignedBV w -> Int

(KnownNat w, 1 <= w) => FiniteBits (SignedBV w)

Defined in Data.BitVector.Sized.Signed

Methods

finiteBitSize :: SignedBV w -> Int

countLeadingZeros :: SignedBV w -> Int

countTrailingZeros :: SignedBV w -> Int

type Rep (SignedBV w)

Defined in Data.BitVector.Sized.Signed

type Rep (SignedBV w) = D1 (MetaData "SignedBV" "Data.BitVector.Sized.Signed" "bv-sized-1.0.0-7ojTcINbUEOBofHAbwvbSS" True) (C1 (MetaCons "SignedBV" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (BV w))))

mkSignedBV :: NatRepr w -> Integer -> SignedBV w

Convenience wrapper for mkBV.