Copyright	(c) Sirui Lu 2023-2024
License	BSD-3-Clause (see the LICENSE file)
Maintainer	siruilu@cs.washington.edu
Stability	Experimental
Portability	GHC only
Safe Haskell	Trustworthy
Language	Haskell2010

Grisette.Internal.Core.Data.Class.SafeSymRotate

Description

Synopsis

class (MonadError e m, TryMerge m, Mergeable a) => SafeSymRotate e a m where
- safeSymRotateL :: a -> a -> m a
- safeSymRotateR :: a -> a -> m a

Documentation

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

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

Methods

safeSymRotateL :: a -> a -> m a Source #

safeSymRotateR :: a -> a -> m a Source #

Instances

Instances details

(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int16 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: Int16 -> Int16 -> m Int16 Source # safeSymRotateR :: Int16 -> Int16 -> m Int16 Source #
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int32 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: Int32 -> Int32 -> m Int32 Source # safeSymRotateR :: Int32 -> Int32 -> m Int32 Source #
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int64 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: Int64 -> Int64 -> m Int64 Source # safeSymRotateR :: Int64 -> Int64 -> m Int64 Source #
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int8 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: Int8 -> Int8 -> m Int8 Source # safeSymRotateR :: Int8 -> Int8 -> m Int8 Source #
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word16 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: Word16 -> Word16 -> m Word16 Source # safeSymRotateR :: Word16 -> Word16 -> m Word16 Source #
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word32 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: Word32 -> Word32 -> m Word32 Source # safeSymRotateR :: Word32 -> Word32 -> m Word32 Source #
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word64 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: Word64 -> Word64 -> m Word64 Source # safeSymRotateR :: Word64 -> Word64 -> m Word64 Source #
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word8 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: Word8 -> Word8 -> m Word8 Source # safeSymRotateR :: Word8 -> Word8 -> m Word8 Source #
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: Int -> Int -> m Int Source # safeSymRotateR :: Int -> Int -> m Int Source #
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: Word -> Word -> m Word Source # safeSymRotateR :: Word -> Word -> m Word Source #
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (IntN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: IntN n -> IntN n -> m (IntN n) Source # safeSymRotateR :: IntN n -> IntN n -> m (IntN n) Source #
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (WordN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: WordN n -> WordN n -> m (WordN n) Source # safeSymRotateR :: WordN n -> WordN n -> m (WordN n) Source #
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (SymIntN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeSymRotateR :: SymIntN n -> SymIntN n -> m (SymIntN n) Source #
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (SymWordN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymRotate Methods safeSymRotateL :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeSymRotateR :: SymWordN n -> SymWordN n -> m (SymWordN n) Source #
(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 Source #
Instance details Defined in Grisette.Internal.SymPrim.SomeBV Methods safeSymRotateL :: SomeBV bv -> SomeBV bv -> m (SomeBV bv) Source # safeSymRotateR :: SomeBV bv -> SomeBV bv -> m (SomeBV bv) Source #