Grisette.Core.Data.Class.SafeSymShift

Documentation

class SymShift a => SafeSymShift e a | a -> e where

Safe version for shiftL or shiftR.

The safeSymShiftL and safeSymShiftR and their primed versions are defined for all non-negative shift amounts.

• Shifting by negative shift amounts is an error.
• The result is defined to be 0 when shifting left by more than or equal to the bit size of the number.
• The result is defined to be 0 when shifting right by more than or equal to the bit size of the number and the number is unsigned or signed non-negative.
• The result is defined to be -1 when shifting right by more than or equal to the bit size of the number and the number is signed negative.

The safeSymStrictShiftL and safeSymStrictShiftR and their primed versions are defined for all non-negative shift amounts that is less than the bit size. Shifting by more than or equal to the bit size is an error, otherwise they are the same as the non-strict versions.

Minimal complete definition

safeSymShiftL', safeSymShiftR', safeSymStrictShiftL', safeSymStrictShiftR'

Methods

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

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

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

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

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

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

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

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

Instances

SafeSymShift ArithException Int16

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

SafeSymShift ArithException Int32

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

SafeSymShift ArithException Int64

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

SafeSymShift ArithException Int8

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

SafeSymShift ArithException Word16

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

SafeSymShift ArithException Word32

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

SafeSymShift ArithException Word64

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

SafeSymShift ArithException Word8

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

SafeSymShift ArithException Int

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

SafeSymShift ArithException Word

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

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

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

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

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

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

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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

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

Defined in Grisette.Core.Data.Class.SafeSymShift

Methods

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

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

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

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

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

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

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

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