Grisette.Core.Data.Class.SymShift

Documentation

class Bits a => SymShift a where

Methods

symShift :: a -> a -> a

Instances

SymShift Int16

Defined in Grisette.Core.Data.Class.SymShift

Methods

symShift :: Int16 -> Int16 -> Int16

SymShift Int32

Defined in Grisette.Core.Data.Class.SymShift

Methods

symShift :: Int32 -> Int32 -> Int32

SymShift Int64

Defined in Grisette.Core.Data.Class.SymShift

Methods

symShift :: Int64 -> Int64 -> Int64

SymShift Int8

Defined in Grisette.Core.Data.Class.SymShift

Methods

symShift :: Int8 -> Int8 -> Int8

SymShift Word16

Defined in Grisette.Core.Data.Class.SymShift

Methods

symShift :: Word16 -> Word16 -> Word16

SymShift Word32

Defined in Grisette.Core.Data.Class.SymShift

Methods

symShift :: Word32 -> Word32 -> Word32

SymShift Word64

Defined in Grisette.Core.Data.Class.SymShift

Methods

symShift :: Word64 -> Word64 -> Word64

SymShift Word8

Defined in Grisette.Core.Data.Class.SymShift

Methods

symShift :: Word8 -> Word8 -> Word8

SymShift Int

Defined in Grisette.Core.Data.Class.SymShift

Methods

symShift :: Int -> Int -> Int

SymShift Word

Defined in Grisette.Core.Data.Class.SymShift

Methods

symShift :: Word -> Word -> Word

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

Defined in Grisette.Core.Data.BV

Methods

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

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

Defined in Grisette.Core.Data.BV

Methods

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

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

Defined in Grisette.Core.Data.Class.SymShift

Methods

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

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

Defined in Grisette.IR.SymPrim.Data.SymPrim

Methods

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

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

Defined in Grisette.IR.SymPrim.Data.SymPrim

Methods

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

newtype DefaultFiniteBitsSymShift a

Constructors

DefaultFiniteBitsSymShift

Fields

• unDefaultFiniteBitsSymShift :: a

Instances

Bits a => Bits (DefaultFiniteBitsSymShift a)

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

Methods

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