Grisette.Core.Data.Class.SafeSymRotate

Documentation

class SymRotate a => SafeSymRotate e a | a -> e where

Minimal complete definition

safeSymRotateL', safeSymRotateR'

Methods

safeSymRotateL :: (MonadError e m, UnionLike m) => a -> a -> m a

safeSymRotateR :: (MonadError e m, UnionLike m) => a -> a -> m a

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (e -> e') -> a -> a -> m a

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (e -> e') -> a -> a -> m a

Instances

SafeSymRotate ArithException Int16

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => Int16 -> Int16 -> m Int16

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => Int16 -> Int16 -> m Int16

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Int16 -> Int16 -> m Int16

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Int16 -> Int16 -> m Int16

SafeSymRotate ArithException Int32

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => Int32 -> Int32 -> m Int32

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => Int32 -> Int32 -> m Int32

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Int32 -> Int32 -> m Int32

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Int32 -> Int32 -> m Int32

SafeSymRotate ArithException Int64

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => Int64 -> Int64 -> m Int64

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => Int64 -> Int64 -> m Int64

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Int64 -> Int64 -> m Int64

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Int64 -> Int64 -> m Int64

SafeSymRotate ArithException Int8

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => Int8 -> Int8 -> m Int8

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => Int8 -> Int8 -> m Int8

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Int8 -> Int8 -> m Int8

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Int8 -> Int8 -> m Int8

SafeSymRotate ArithException Word16

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => Word16 -> Word16 -> m Word16

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => Word16 -> Word16 -> m Word16

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Word16 -> Word16 -> m Word16

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Word16 -> Word16 -> m Word16

SafeSymRotate ArithException Word32

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => Word32 -> Word32 -> m Word32

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => Word32 -> Word32 -> m Word32

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Word32 -> Word32 -> m Word32

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Word32 -> Word32 -> m Word32

SafeSymRotate ArithException Word64

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => Word64 -> Word64 -> m Word64

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => Word64 -> Word64 -> m Word64

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Word64 -> Word64 -> m Word64

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Word64 -> Word64 -> m Word64

SafeSymRotate ArithException Word8

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => Word8 -> Word8 -> m Word8

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => Word8 -> Word8 -> m Word8

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Word8 -> Word8 -> m Word8

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Word8 -> Word8 -> m Word8

SafeSymRotate ArithException Int

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => Int -> Int -> m Int

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => Int -> Int -> m Int

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Int -> Int -> m Int

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Int -> Int -> m Int

SafeSymRotate ArithException Word

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => Word -> Word -> m Word

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => Word -> Word -> m Word

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Word -> Word -> m Word

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> Word -> Word -> m Word

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

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => IntN n -> IntN n -> m (IntN n)

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => IntN n -> IntN n -> m (IntN n)

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> IntN n -> IntN n -> m (IntN n)

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> IntN n -> IntN n -> m (IntN n)

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

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => WordN n -> WordN n -> m (WordN n)

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => WordN n -> WordN n -> m (WordN n)

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> WordN n -> WordN n -> m (WordN n)

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> WordN n -> WordN n -> m (WordN n)

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

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => SymIntN n -> SymIntN n -> m (SymIntN n)

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => SymIntN n -> SymIntN n -> m (SymIntN n)

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> SymIntN n -> SymIntN n -> m (SymIntN n)

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> SymIntN n -> SymIntN n -> m (SymIntN n)

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

Defined in Grisette.Core.Data.Class.SafeSymRotate

Methods

safeSymRotateL :: (MonadError ArithException m, UnionLike m) => SymWordN n -> SymWordN n -> m (SymWordN n)

safeSymRotateR :: (MonadError ArithException m, UnionLike m) => SymWordN n -> SymWordN n -> m (SymWordN n)

safeSymRotateL' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> SymWordN n -> SymWordN n -> m (SymWordN n)

safeSymRotateR' :: (MonadError e' m, UnionLike m) => (ArithException -> e') -> SymWordN n -> SymWordN n -> m (SymWordN n)