Grisette.Core.Data.Class.SymRotate

Documentation

class Bits a => SymRotate a where

Methods

symRotate :: a -> a -> a

Instances

SymRotate Int16

Defined in Grisette.Core.Data.Class.SymRotate

Methods

symRotate :: Int16 -> Int16 -> Int16

SymRotate Int32

Defined in Grisette.Core.Data.Class.SymRotate

Methods

symRotate :: Int32 -> Int32 -> Int32

SymRotate Int64

Defined in Grisette.Core.Data.Class.SymRotate

Methods

symRotate :: Int64 -> Int64 -> Int64

SymRotate Int8

Defined in Grisette.Core.Data.Class.SymRotate

Methods

symRotate :: Int8 -> Int8 -> Int8

SymRotate Word16

Defined in Grisette.Core.Data.Class.SymRotate

Methods

symRotate :: Word16 -> Word16 -> Word16

SymRotate Word32

Defined in Grisette.Core.Data.Class.SymRotate

Methods

symRotate :: Word32 -> Word32 -> Word32

SymRotate Word64

Defined in Grisette.Core.Data.Class.SymRotate

Methods

symRotate :: Word64 -> Word64 -> Word64

SymRotate Word8

Defined in Grisette.Core.Data.Class.SymRotate

Methods

symRotate :: Word8 -> Word8 -> Word8

SymRotate Int

Defined in Grisette.Core.Data.Class.SymRotate

Methods

symRotate :: Int -> Int -> Int

SymRotate Word

Defined in Grisette.Core.Data.Class.SymRotate

Methods

symRotate :: Word -> Word -> Word

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

Defined in Grisette.Core.Data.BV

Methods

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

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

Defined in Grisette.Core.Data.BV

Methods

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

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

Defined in Grisette.Core.Data.Class.SymRotate

Methods

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

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

Defined in Grisette.IR.SymPrim.Data.SymPrim

Methods

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

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

Defined in Grisette.IR.SymPrim.Data.SymPrim

Methods

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

newtype DefaultFiniteBitsSymRotate a

Constructors

DefaultFiniteBitsSymRotate

Fields

• unDefaultFiniteBitsSymRotate :: a

Instances

Bits a => Bits (DefaultFiniteBitsSymRotate a)

Defined in Grisette.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.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.Core.Data.Class.SymRotate

Methods

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