Copyright	(c) Galois Inc. 2018
License	BSD-3
Maintainer	benselfridge@galois.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Data.BitVector.Sized.Signed

Description

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

Synopsis

newtype SignedBV w = SignedBV (BV w)
mkSignedBV :: NatRepr w -> Integer -> SignedBV w

Documentation

newtype SignedBV w Source #

Signed bit vector.

Constructors

SignedBV (BV w)

Instances

(KnownNat w, 1 <= w) => Bounded (SignedBV w) Source #
Instance details Defined in Data.BitVector.Sized.Signed Methods minBound :: SignedBV w # maxBound :: SignedBV w #
(KnownNat w, 1 <= w) => Enum (SignedBV w) Source #
Instance details 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) Source #
Instance details Defined in Data.BitVector.Sized.Signed Methods (==) :: SignedBV w -> SignedBV w -> Bool # (/=) :: SignedBV w -> SignedBV w -> Bool #
(KnownNat w, 1 <= w) => Num (SignedBV w) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.BitVector.Sized.Signed Methods finiteBitSize :: SignedBV w -> Int # countLeadingZeros :: SignedBV w -> Int # countTrailingZeros :: SignedBV w -> Int #
type Rep (SignedBV w) Source #
Instance details 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 Source #

Convenience wrapper for mkBV.