Grisette.Internal.Core.Data.Class.SymRotate

Documentation

class Bits a => SymRotate a where

The symRotate is similar to rotate, but accepts the type itself instead of Int for the rotate amount. The function works on all inputs, including the rotate amounts that are beyond the bit width of the value.

The symRotateNegated function rotates to the opposite direction of symRotate. This function is introduced to handle the asymmetry of the range of values.

Methods

symRotate :: a -> a -> a

symRotateNegated :: a -> a -> a

Instances

SymRotate Int16

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

Methods

symRotate :: Int16 -> Int16 -> Int16

symRotateNegated :: Int16 -> Int16 -> Int16

SymRotate Int32

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

Methods

symRotate :: Int32 -> Int32 -> Int32

symRotateNegated :: Int32 -> Int32 -> Int32

SymRotate Int64

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

Methods

symRotate :: Int64 -> Int64 -> Int64

symRotateNegated :: Int64 -> Int64 -> Int64

SymRotate Int8

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

Methods

symRotate :: Int8 -> Int8 -> Int8

symRotateNegated :: Int8 -> Int8 -> Int8

SymRotate Word16

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

Methods

symRotate :: Word16 -> Word16 -> Word16

symRotateNegated :: Word16 -> Word16 -> Word16

SymRotate Word32

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

Methods

symRotate :: Word32 -> Word32 -> Word32

symRotateNegated :: Word32 -> Word32 -> Word32

SymRotate Word64

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

Methods

symRotate :: Word64 -> Word64 -> Word64

symRotateNegated :: Word64 -> Word64 -> Word64

SymRotate Word8

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

Methods

symRotate :: Word8 -> Word8 -> Word8

symRotateNegated :: Word8 -> Word8 -> Word8

SymRotate Int

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

Methods

symRotate :: Int -> Int -> Int

symRotateNegated :: Int -> Int -> Int

SymRotate Word

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

Methods

symRotate :: Word -> Word -> Word

symRotateNegated :: Word -> Word -> Word

(Integral a, FiniteBits a) => SymRotate (DefaultFiniteBitsSymRotate a)

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

Methods

symRotate :: DefaultFiniteBitsSymRotate a -> DefaultFiniteBitsSymRotate a -> DefaultFiniteBitsSymRotate a

symRotateNegated :: DefaultFiniteBitsSymRotate a -> DefaultFiniteBitsSymRotate a -> DefaultFiniteBitsSymRotate a

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

Defined in Grisette.Internal.SymPrim.BV

Methods

symRotate :: IntN n -> IntN n -> IntN n

symRotateNegated :: IntN n -> IntN n -> IntN n

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

Defined in Grisette.Internal.SymPrim.BV

Methods

symRotate :: WordN n -> WordN n -> WordN n

symRotateNegated :: WordN n -> WordN n -> WordN n

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

Defined in Grisette.Internal.SymPrim.SomeBV

Methods

symRotate :: SomeBV bv -> SomeBV bv -> SomeBV bv

symRotateNegated :: SomeBV bv -> SomeBV bv -> SomeBV bv

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

Defined in Grisette.Internal.SymPrim.SymBV

Methods

symRotate :: SymIntN n -> SymIntN n -> SymIntN n

symRotateNegated :: SymIntN n -> SymIntN n -> SymIntN n

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

Defined in Grisette.Internal.SymPrim.SymBV

Methods

symRotate :: SymWordN n -> SymWordN n -> SymWordN n

symRotateNegated :: SymWordN n -> SymWordN n -> SymWordN n

newtype DefaultFiniteBitsSymRotate a

A newtype wrapper. Use this to derive SymRotate for types that have FiniteBits instances.

Constructors

DefaultFiniteBitsSymRotate

Fields

• unDefaultFiniteBitsSymRotate :: a

Instances

Bits a => Bits (DefaultFiniteBitsSymRotate a)

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

Methods

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

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

xor :: DefaultFiniteBitsSymRotate a -> DefaultFiniteBitsSymRotate a -> DefaultFiniteBitsSymRotate a

complement :: DefaultFiniteBitsSymRotate a -> DefaultFiniteBitsSymRotate a

shift :: DefaultFiniteBitsSymRotate a -> Int -> DefaultFiniteBitsSymRotate a

rotate :: DefaultFiniteBitsSymRotate a -> Int -> DefaultFiniteBitsSymRotate a

zeroBits :: DefaultFiniteBitsSymRotate a

bit :: Int -> DefaultFiniteBitsSymRotate a

setBit :: DefaultFiniteBitsSymRotate a -> Int -> DefaultFiniteBitsSymRotate a

clearBit :: DefaultFiniteBitsSymRotate a -> Int -> DefaultFiniteBitsSymRotate a

complementBit :: DefaultFiniteBitsSymRotate a -> Int -> DefaultFiniteBitsSymRotate a

testBit :: DefaultFiniteBitsSymRotate a -> Int -> Bool

bitSizeMaybe :: DefaultFiniteBitsSymRotate a -> Maybe Int

bitSize :: DefaultFiniteBitsSymRotate a -> Int

isSigned :: DefaultFiniteBitsSymRotate a -> Bool

shiftL :: DefaultFiniteBitsSymRotate a -> Int -> DefaultFiniteBitsSymRotate a

unsafeShiftL :: DefaultFiniteBitsSymRotate a -> Int -> DefaultFiniteBitsSymRotate a

shiftR :: DefaultFiniteBitsSymRotate a -> Int -> DefaultFiniteBitsSymRotate a

unsafeShiftR :: DefaultFiniteBitsSymRotate a -> Int -> DefaultFiniteBitsSymRotate a

rotateL :: DefaultFiniteBitsSymRotate a -> Int -> DefaultFiniteBitsSymRotate a

rotateR :: DefaultFiniteBitsSymRotate a -> Int -> DefaultFiniteBitsSymRotate a

popCount :: DefaultFiniteBitsSymRotate a -> Int

Eq a => Eq (DefaultFiniteBitsSymRotate a)

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

Methods

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

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

(Integral a, FiniteBits a) => SymRotate (DefaultFiniteBitsSymRotate a)

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

Methods

symRotate :: DefaultFiniteBitsSymRotate a -> DefaultFiniteBitsSymRotate a -> DefaultFiniteBitsSymRotate a

symRotateNegated :: DefaultFiniteBitsSymRotate a -> DefaultFiniteBitsSymRotate a -> DefaultFiniteBitsSymRotate a