Grisette.Internal.Core.Data.Class.SymShift

Documentation

class Bits a => SymShift a where

A class for shifting operations.

The symShift function shifts the value to the left if the shift amount is positive, and to the right if the shift amount is negative. If shifting beyond the bit width of the value, the result is the same as shifting with the bit width.

The symShiftNegated function shifts the value to the right if the shift amount is positive, and to the left if the shift amount is negative. This function is introduced to handle the asymmetry of the range of values.

Methods

symShift :: a -> a -> a

symShiftNegated :: a -> a -> a

Instances

SymShift Int16

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: Int16 -> Int16 -> Int16

symShiftNegated :: Int16 -> Int16 -> Int16

SymShift Int32

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: Int32 -> Int32 -> Int32

symShiftNegated :: Int32 -> Int32 -> Int32

SymShift Int64

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: Int64 -> Int64 -> Int64

symShiftNegated :: Int64 -> Int64 -> Int64

SymShift Int8

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: Int8 -> Int8 -> Int8

symShiftNegated :: Int8 -> Int8 -> Int8

SymShift Word16

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: Word16 -> Word16 -> Word16

symShiftNegated :: Word16 -> Word16 -> Word16

SymShift Word32

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: Word32 -> Word32 -> Word32

symShiftNegated :: Word32 -> Word32 -> Word32

SymShift Word64

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: Word64 -> Word64 -> Word64

symShiftNegated :: Word64 -> Word64 -> Word64

SymShift Word8

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: Word8 -> Word8 -> Word8

symShiftNegated :: Word8 -> Word8 -> Word8

SymShift Int

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: Int -> Int -> Int

symShiftNegated :: Int -> Int -> Int

SymShift Word

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: Word -> Word -> Word

symShiftNegated :: Word -> Word -> Word

(Integral a, FiniteBits a) => SymShift (DefaultFiniteBitsSymShift a)

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a

symShiftNegated :: DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a

(KnownNat n, 1 <= n) => SymShift (IntN n)

Defined in Grisette.Internal.SymPrim.BV

Methods

symShift :: IntN n -> IntN n -> IntN n

symShiftNegated :: IntN n -> IntN n -> IntN n

(KnownNat n, 1 <= n) => SymShift (WordN n)

Defined in Grisette.Internal.SymPrim.BV

Methods

symShift :: WordN n -> WordN n -> WordN n

symShiftNegated :: WordN n -> WordN n -> WordN n

(forall (n :: Nat). (KnownNat n, 1 <= n) => SymShift (bv n)) => SymShift (SomeBV bv)

Defined in Grisette.Internal.SymPrim.SomeBV

Methods

symShift :: SomeBV bv -> SomeBV bv -> SomeBV bv

symShiftNegated :: SomeBV bv -> SomeBV bv -> SomeBV bv

(KnownNat n, 1 <= n) => SymShift (SymIntN n)

Defined in Grisette.Internal.SymPrim.SymBV

Methods

symShift :: SymIntN n -> SymIntN n -> SymIntN n

symShiftNegated :: SymIntN n -> SymIntN n -> SymIntN n

(KnownNat n, 1 <= n) => SymShift (SymWordN n)

Defined in Grisette.Internal.SymPrim.SymBV

Methods

symShift :: SymWordN n -> SymWordN n -> SymWordN n

symShiftNegated :: SymWordN n -> SymWordN n -> SymWordN n

newtype DefaultFiniteBitsSymShift a

Constructors

DefaultFiniteBitsSymShift

Fields

• unDefaultFiniteBitsSymShift :: a

Instances

Bits a => Bits (DefaultFiniteBitsSymShift a)

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

(.&.) :: DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a

(.|.) :: DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a

xor :: DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a

complement :: DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a

shift :: DefaultFiniteBitsSymShift a -> Int -> DefaultFiniteBitsSymShift a

rotate :: DefaultFiniteBitsSymShift a -> Int -> DefaultFiniteBitsSymShift a

zeroBits :: DefaultFiniteBitsSymShift a

bit :: Int -> DefaultFiniteBitsSymShift a

setBit :: DefaultFiniteBitsSymShift a -> Int -> DefaultFiniteBitsSymShift a

clearBit :: DefaultFiniteBitsSymShift a -> Int -> DefaultFiniteBitsSymShift a

complementBit :: DefaultFiniteBitsSymShift a -> Int -> DefaultFiniteBitsSymShift a

testBit :: DefaultFiniteBitsSymShift a -> Int -> Bool

bitSizeMaybe :: DefaultFiniteBitsSymShift a -> Maybe Int

bitSize :: DefaultFiniteBitsSymShift a -> Int

isSigned :: DefaultFiniteBitsSymShift a -> Bool

shiftL :: DefaultFiniteBitsSymShift a -> Int -> DefaultFiniteBitsSymShift a

unsafeShiftL :: DefaultFiniteBitsSymShift a -> Int -> DefaultFiniteBitsSymShift a

shiftR :: DefaultFiniteBitsSymShift a -> Int -> DefaultFiniteBitsSymShift a

unsafeShiftR :: DefaultFiniteBitsSymShift a -> Int -> DefaultFiniteBitsSymShift a

rotateL :: DefaultFiniteBitsSymShift a -> Int -> DefaultFiniteBitsSymShift a

rotateR :: DefaultFiniteBitsSymShift a -> Int -> DefaultFiniteBitsSymShift a

popCount :: DefaultFiniteBitsSymShift a -> Int

Eq a => Eq (DefaultFiniteBitsSymShift a)

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

(==) :: DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a -> Bool

(/=) :: DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a -> Bool

(Integral a, FiniteBits a) => SymShift (DefaultFiniteBitsSymShift a)

Defined in Grisette.Internal.Core.Data.Class.SymShift

Methods

symShift :: DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a

symShiftNegated :: DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a -> DefaultFiniteBitsSymShift a