Grisette.Internal.Core.Data.Class.SafeSymRotate

Documentation

class (MonadError e m, TryMerge m, Mergeable a) => SafeSymRotate e a m where

Safe rotation operations. The operators will reject negative shift amounts.

Methods

safeSymRotateL :: a -> a -> m a

safeSymRotateR :: a -> a -> m a

Instances

(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int16 m

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

Methods

safeSymRotateL :: Int16 -> Int16 -> m Int16

safeSymRotateR :: Int16 -> Int16 -> m Int16

(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int32 m

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

Methods

safeSymRotateL :: Int32 -> Int32 -> m Int32

safeSymRotateR :: Int32 -> Int32 -> m Int32

(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int64 m

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

Methods

safeSymRotateL :: Int64 -> Int64 -> m Int64

safeSymRotateR :: Int64 -> Int64 -> m Int64

(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int8 m

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

Methods

safeSymRotateL :: Int8 -> Int8 -> m Int8

safeSymRotateR :: Int8 -> Int8 -> m Int8

(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word16 m

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

Methods

safeSymRotateL :: Word16 -> Word16 -> m Word16

safeSymRotateR :: Word16 -> Word16 -> m Word16

(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word32 m

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

Methods

safeSymRotateL :: Word32 -> Word32 -> m Word32

safeSymRotateR :: Word32 -> Word32 -> m Word32

(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word64 m

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

Methods

safeSymRotateL :: Word64 -> Word64 -> m Word64

safeSymRotateR :: Word64 -> Word64 -> m Word64

(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word8 m

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

Methods

safeSymRotateL :: Word8 -> Word8 -> m Word8

safeSymRotateR :: Word8 -> Word8 -> m Word8

(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int m

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

Methods

safeSymRotateL :: Int -> Int -> m Int

safeSymRotateR :: Int -> Int -> m Int

(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word m

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

Methods

safeSymRotateL :: Word -> Word -> m Word

safeSymRotateR :: Word -> Word -> m Word

(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (IntN n) m

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

Methods

safeSymRotateL :: IntN n -> IntN n -> m (IntN n)

safeSymRotateR :: IntN n -> IntN n -> m (IntN n)

(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (WordN n) m

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

Methods

safeSymRotateL :: WordN n -> WordN n -> m (WordN n)

safeSymRotateR :: WordN n -> WordN n -> m (WordN n)

(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (SymIntN n) m

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

Methods

safeSymRotateL :: SymIntN n -> SymIntN n -> m (SymIntN n)

safeSymRotateR :: SymIntN n -> SymIntN n -> m (SymIntN n)

(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (SymWordN n) m

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

Methods

safeSymRotateL :: SymWordN n -> SymWordN n -> m (SymWordN n)

safeSymRotateR :: SymWordN n -> SymWordN n -> m (SymWordN n)

(forall (n :: Nat). (KnownNat n, 1 <= n) => SafeSymRotate e (bv n) (ExceptT e m), MonadError (Either BitwidthMismatch e) m, TryMerge m, Mergeable e) => SafeSymRotate (Either BitwidthMismatch e) (SomeBV bv) m

Defined in Grisette.Internal.SymPrim.SomeBV

Methods

safeSymRotateL :: SomeBV bv -> SomeBV bv -> m (SomeBV bv)

safeSymRotateR :: SomeBV bv -> SomeBV bv -> m (SomeBV bv)