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

Grisette.Internal.Core.Data.Class.SafeDiv

Description

Synopsis

data ArithException
- = Overflow
- | Underflow
- | DivideByZero
class (MonadError e m, TryMerge m, Mergeable a, DivOr a) => SafeDiv e a (m :: Type -> Type) where
- safeDiv :: a -> a -> m a
- safeMod :: a -> a -> m a
- safeDivMod :: a -> a -> m (a, a)
- safeQuot :: a -> a -> m a
- safeRem :: a -> a -> m a
- safeQuotRem :: a -> a -> m (a, a)
class DivOr a where
- divOr :: a -> a -> a -> a
- modOr :: a -> a -> a -> a
- divModOr :: (a, a) -> a -> a -> (a, a)
- quotOr :: a -> a -> a -> a
- remOr :: a -> a -> a -> a
- quotRemOr :: (a, a) -> a -> a -> (a, a)
divOrZero :: (DivOr a, Num a) => a -> a -> a
modOrDividend :: (DivOr a, Num a) => a -> a -> a
quotOrZero :: (DivOr a, Num a) => a -> a -> a
remOrDividend :: (DivOr a, Num a) => a -> a -> a
divModOrZeroDividend :: (DivOr a, Num a) => a -> a -> (a, a)
quotRemOrZeroDividend :: (DivOr a, Num a) => a -> a -> (a, a)

Documentation

data ArithException #

Arithmetic exceptions.

Constructors

Overflow
Underflow
DivideByZero

Instances

Instances details

Exception ArithException	@since base-4.0.0.0
Instance details Defined in GHC.Internal.Exception.Type Methods toException :: ArithException -> SomeException # fromException :: SomeException -> Maybe ArithException # displayException :: ArithException -> String # backtraceDesired :: ArithException -> Bool #
Show ArithException	@since base-4.0.0.0
Instance details Defined in GHC.Internal.Exception.Type Methods showsPrec :: Int -> ArithException -> ShowS # show :: ArithException -> String # showList :: [ArithException] -> ShowS #
Eq ArithException	@since base-3.0
Instance details Defined in GHC.Internal.Exception.Type Methods (==) :: ArithException -> ArithException -> Bool # (/=) :: ArithException -> ArithException -> Bool #
Ord ArithException	@since base-3.0
Instance details Defined in GHC.Internal.Exception.Type Methods compare :: ArithException -> ArithException -> Ordering # (<) :: ArithException -> ArithException -> Bool # (<=) :: ArithException -> ArithException -> Bool # (>) :: ArithException -> ArithException -> Bool # (>=) :: ArithException -> ArithException -> Bool # max :: ArithException -> ArithException -> ArithException # min :: ArithException -> ArithException -> ArithException #
Mergeable ArithException Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.Mergeable Methods rootStrategy :: MergingStrategy ArithException Source # sortIndices :: ArithException -> [DynamicSortedIdx] Source #
TransformError ArithException AssertionError Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Error Methods transformError :: ArithException -> AssertionError Source #
(MonadError ArithException m, TryMerge m) => SafeFdiv ArithException AlgReal m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeFdiv Methods safeFdiv :: AlgReal -> AlgReal -> m AlgReal Source # safeRecip :: AlgReal -> m AlgReal Source #
(MonadError ArithException m, MonadUnion m) => SafeFdiv ArithException SymAlgReal m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeFdiv Methods safeFdiv :: SymAlgReal -> SymAlgReal -> m SymAlgReal Source # safeRecip :: SymAlgReal -> m SymAlgReal Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Int16 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: Int16 -> Int16 -> m Int16 Source # safeNeg :: Int16 -> m Int16 Source # safeSub :: Int16 -> Int16 -> m Int16 Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Int32 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: Int32 -> Int32 -> m Int32 Source # safeNeg :: Int32 -> m Int32 Source # safeSub :: Int32 -> Int32 -> m Int32 Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Int64 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: Int64 -> Int64 -> m Int64 Source # safeNeg :: Int64 -> m Int64 Source # safeSub :: Int64 -> Int64 -> m Int64 Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Int8 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: Int8 -> Int8 -> m Int8 Source # safeNeg :: Int8 -> m Int8 Source # safeSub :: Int8 -> Int8 -> m Int8 Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Word16 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: Word16 -> Word16 -> m Word16 Source # safeNeg :: Word16 -> m Word16 Source # safeSub :: Word16 -> Word16 -> m Word16 Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Word32 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: Word32 -> Word32 -> m Word32 Source # safeNeg :: Word32 -> m Word32 Source # safeSub :: Word32 -> Word32 -> m Word32 Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Word64 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: Word64 -> Word64 -> m Word64 Source # safeNeg :: Word64 -> m Word64 Source # safeSub :: Word64 -> Word64 -> m Word64 Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Word8 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: Word8 -> Word8 -> m Word8 Source # safeNeg :: Word8 -> m Word8 Source # safeSub :: Word8 -> Word8 -> m Word8 Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException SymInteger m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: SymInteger -> SymInteger -> m SymInteger Source # safeNeg :: SymInteger -> m SymInteger Source # safeSub :: SymInteger -> SymInteger -> m SymInteger Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Integer m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: Integer -> Integer -> m Integer Source # safeNeg :: Integer -> m Integer Source # safeSub :: Integer -> Integer -> m Integer Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Int m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: Int -> Int -> m Int Source # safeNeg :: Int -> m Int Source # safeSub :: Int -> Int -> m Int Source #
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Word m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: Word -> Word -> m Word Source # safeNeg :: Word -> m Word Source # safeSub :: Word -> Word -> m Word Source #
(MonadError ArithException m, MonadUnion m) => SafeLogBase ArithException SymAlgReal m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLogBase Methods safeLogBase :: SymAlgReal -> SymAlgReal -> m SymAlgReal Source #
(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) => SafeSymShift ArithException Int16 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: Int16 -> Int16 -> m Int16 Source # safeSymShiftR :: Int16 -> Int16 -> m Int16 Source # safeSymStrictShiftL :: Int16 -> Int16 -> m Int16 Source # safeSymStrictShiftR :: Int16 -> Int16 -> m Int16 Source #
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Int32 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: Int32 -> Int32 -> m Int32 Source # safeSymShiftR :: Int32 -> Int32 -> m Int32 Source # safeSymStrictShiftL :: Int32 -> Int32 -> m Int32 Source # safeSymStrictShiftR :: Int32 -> Int32 -> m Int32 Source #
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Int64 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: Int64 -> Int64 -> m Int64 Source # safeSymShiftR :: Int64 -> Int64 -> m Int64 Source # safeSymStrictShiftL :: Int64 -> Int64 -> m Int64 Source # safeSymStrictShiftR :: Int64 -> Int64 -> m Int64 Source #
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Int8 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: Int8 -> Int8 -> m Int8 Source # safeSymShiftR :: Int8 -> Int8 -> m Int8 Source # safeSymStrictShiftL :: Int8 -> Int8 -> m Int8 Source # safeSymStrictShiftR :: Int8 -> Int8 -> m Int8 Source #
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Word16 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: Word16 -> Word16 -> m Word16 Source # safeSymShiftR :: Word16 -> Word16 -> m Word16 Source # safeSymStrictShiftL :: Word16 -> Word16 -> m Word16 Source # safeSymStrictShiftR :: Word16 -> Word16 -> m Word16 Source #
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Word32 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: Word32 -> Word32 -> m Word32 Source # safeSymShiftR :: Word32 -> Word32 -> m Word32 Source # safeSymStrictShiftL :: Word32 -> Word32 -> m Word32 Source # safeSymStrictShiftR :: Word32 -> Word32 -> m Word32 Source #
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Word64 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: Word64 -> Word64 -> m Word64 Source # safeSymShiftR :: Word64 -> Word64 -> m Word64 Source # safeSymStrictShiftL :: Word64 -> Word64 -> m Word64 Source # safeSymStrictShiftR :: Word64 -> Word64 -> m Word64 Source #
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Word8 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: Word8 -> Word8 -> m Word8 Source # safeSymShiftR :: Word8 -> Word8 -> m Word8 Source # safeSymStrictShiftL :: Word8 -> Word8 -> m Word8 Source # safeSymStrictShiftR :: Word8 -> Word8 -> m Word8 Source #
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Int m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: Int -> Int -> m Int Source # safeSymShiftR :: Int -> Int -> m Int Source # safeSymStrictShiftL :: Int -> Int -> m Int Source # safeSymStrictShiftR :: Int -> Int -> m Int Source #
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Word m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: Word -> Word -> m Word Source # safeSymShiftR :: Word -> Word -> m Word Source # safeSymStrictShiftL :: Word -> Word -> m Word Source # safeSymStrictShiftR :: Word -> Word -> m Word Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Int16 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Int16 -> Int16 -> m Int16 Source # safeMod :: Int16 -> Int16 -> m Int16 Source # safeDivMod :: Int16 -> Int16 -> m (Int16, Int16) Source # safeQuot :: Int16 -> Int16 -> m Int16 Source # safeRem :: Int16 -> Int16 -> m Int16 Source # safeQuotRem :: Int16 -> Int16 -> m (Int16, Int16) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Int32 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Int32 -> Int32 -> m Int32 Source # safeMod :: Int32 -> Int32 -> m Int32 Source # safeDivMod :: Int32 -> Int32 -> m (Int32, Int32) Source # safeQuot :: Int32 -> Int32 -> m Int32 Source # safeRem :: Int32 -> Int32 -> m Int32 Source # safeQuotRem :: Int32 -> Int32 -> m (Int32, Int32) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Int64 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Int64 -> Int64 -> m Int64 Source # safeMod :: Int64 -> Int64 -> m Int64 Source # safeDivMod :: Int64 -> Int64 -> m (Int64, Int64) Source # safeQuot :: Int64 -> Int64 -> m Int64 Source # safeRem :: Int64 -> Int64 -> m Int64 Source # safeQuotRem :: Int64 -> Int64 -> m (Int64, Int64) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Int8 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Int8 -> Int8 -> m Int8 Source # safeMod :: Int8 -> Int8 -> m Int8 Source # safeDivMod :: Int8 -> Int8 -> m (Int8, Int8) Source # safeQuot :: Int8 -> Int8 -> m Int8 Source # safeRem :: Int8 -> Int8 -> m Int8 Source # safeQuotRem :: Int8 -> Int8 -> m (Int8, Int8) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Word16 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Word16 -> Word16 -> m Word16 Source # safeMod :: Word16 -> Word16 -> m Word16 Source # safeDivMod :: Word16 -> Word16 -> m (Word16, Word16) Source # safeQuot :: Word16 -> Word16 -> m Word16 Source # safeRem :: Word16 -> Word16 -> m Word16 Source # safeQuotRem :: Word16 -> Word16 -> m (Word16, Word16) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Word32 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Word32 -> Word32 -> m Word32 Source # safeMod :: Word32 -> Word32 -> m Word32 Source # safeDivMod :: Word32 -> Word32 -> m (Word32, Word32) Source # safeQuot :: Word32 -> Word32 -> m Word32 Source # safeRem :: Word32 -> Word32 -> m Word32 Source # safeQuotRem :: Word32 -> Word32 -> m (Word32, Word32) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Word64 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Word64 -> Word64 -> m Word64 Source # safeMod :: Word64 -> Word64 -> m Word64 Source # safeDivMod :: Word64 -> Word64 -> m (Word64, Word64) Source # safeQuot :: Word64 -> Word64 -> m Word64 Source # safeRem :: Word64 -> Word64 -> m Word64 Source # safeQuotRem :: Word64 -> Word64 -> m (Word64, Word64) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Word8 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Word8 -> Word8 -> m Word8 Source # safeMod :: Word8 -> Word8 -> m Word8 Source # safeDivMod :: Word8 -> Word8 -> m (Word8, Word8) Source # safeQuot :: Word8 -> Word8 -> m Word8 Source # safeRem :: Word8 -> Word8 -> m Word8 Source # safeQuotRem :: Word8 -> Word8 -> m (Word8, Word8) Source #
(MonadUnion m, MonadError ArithException m) => SafeDiv ArithException SymInteger m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: SymInteger -> SymInteger -> m SymInteger Source # safeMod :: SymInteger -> SymInteger -> m SymInteger Source # safeDivMod :: SymInteger -> SymInteger -> m (SymInteger, SymInteger) Source # safeQuot :: SymInteger -> SymInteger -> m SymInteger Source # safeRem :: SymInteger -> SymInteger -> m SymInteger Source # safeQuotRem :: SymInteger -> SymInteger -> m (SymInteger, SymInteger) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Integer m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Integer -> Integer -> m Integer Source # safeMod :: Integer -> Integer -> m Integer Source # safeDivMod :: Integer -> Integer -> m (Integer, Integer) Source # safeQuot :: Integer -> Integer -> m Integer Source # safeRem :: Integer -> Integer -> m Integer Source # safeQuotRem :: Integer -> Integer -> m (Integer, Integer) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Int m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Int -> Int -> m Int Source # safeMod :: Int -> Int -> m Int Source # safeDivMod :: Int -> Int -> m (Int, Int) Source # safeQuot :: Int -> Int -> m Int Source # safeRem :: Int -> Int -> m Int Source # safeQuotRem :: Int -> Int -> m (Int, Int) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Word m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Word -> Word -> m Word Source # safeMod :: Word -> Word -> m Word Source # safeDivMod :: Word -> Word -> m (Word, Word) Source # safeQuot :: Word -> Word -> m Word Source # safeRem :: Word -> Word -> m Word Source # safeQuotRem :: Word -> Word -> m (Word, Word) Source #
(MonadError ArithException m, UnifiedBranching 'S m) => UnifiedSafeDiv 'S ArithException SymInteger m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeDiv Methods withBaseSafeDiv :: (SafeDiv ArithException SymInteger m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching mode m) => UnifiedSafeDiv mode ArithException Integer m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeDiv Methods withBaseSafeDiv :: (SafeDiv ArithException Integer m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching 'S m) => UnifiedSafeFdiv 'S ArithException SymAlgReal m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeFdiv Methods withBaseUnifiedSafeFdiv :: (SafeFdiv ArithException SymAlgReal m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching mode m) => UnifiedSafeFdiv mode ArithException AlgReal m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeFdiv Methods withBaseUnifiedSafeFdiv :: (SafeFdiv ArithException AlgReal m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching 'S m) => UnifiedSafeLinearArith 'S ArithException SymInteger m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeLinearArith Methods withBaseSafeLinearArith :: (SafeLinearArith ArithException SymInteger m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching mode m) => UnifiedSafeLinearArith mode ArithException Integer m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeLinearArith Methods withBaseSafeLinearArith :: (SafeLinearArith ArithException Integer m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching 'S m, KnownNat n, 1 <= n) => UnifiedSafeDiv 'S ArithException (SymIntN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeDiv Methods withBaseSafeDiv :: (SafeDiv ArithException (SymIntN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching 'S m, KnownNat n, 1 <= n) => UnifiedSafeDiv 'S ArithException (SymWordN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeDiv Methods withBaseSafeDiv :: (SafeDiv ArithException (SymWordN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching mode m, KnownNat n, 1 <= n) => UnifiedSafeDiv mode ArithException (IntN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeDiv Methods withBaseSafeDiv :: (SafeDiv ArithException (IntN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching mode m, KnownNat n, 1 <= n) => UnifiedSafeDiv mode ArithException (WordN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeDiv Methods withBaseSafeDiv :: (SafeDiv ArithException (WordN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching 'S m, KnownNat n, 1 <= n) => UnifiedSafeLinearArith 'S ArithException (SymIntN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeLinearArith Methods withBaseSafeLinearArith :: (SafeLinearArith ArithException (SymIntN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching 'S m, KnownNat n, 1 <= n) => UnifiedSafeLinearArith 'S ArithException (SymWordN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeLinearArith Methods withBaseSafeLinearArith :: (SafeLinearArith ArithException (SymWordN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching mode m, KnownNat n, 1 <= n) => UnifiedSafeLinearArith mode ArithException (IntN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeLinearArith Methods withBaseSafeLinearArith :: (SafeLinearArith ArithException (IntN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching mode m, KnownNat n, 1 <= n) => UnifiedSafeLinearArith mode ArithException (WordN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeLinearArith Methods withBaseSafeLinearArith :: (SafeLinearArith ArithException (WordN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching 'S m, KnownNat n, 1 <= n) => UnifiedSafeSymRotate 'S ArithException (SymIntN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymRotate Methods withBaseSafeSymRotate :: (SafeSymRotate ArithException (SymIntN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching 'S m, KnownNat n, 1 <= n) => UnifiedSafeSymRotate 'S ArithException (SymWordN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymRotate Methods withBaseSafeSymRotate :: (SafeSymRotate ArithException (SymWordN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching mode m, KnownNat n, 1 <= n) => UnifiedSafeSymRotate mode ArithException (IntN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymRotate Methods withBaseSafeSymRotate :: (SafeSymRotate ArithException (IntN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching mode m, KnownNat n, 1 <= n) => UnifiedSafeSymRotate mode ArithException (WordN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymRotate Methods withBaseSafeSymRotate :: (SafeSymRotate ArithException (WordN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching 'S m, KnownNat n, 1 <= n) => UnifiedSafeSymShift 'S ArithException (SymIntN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymShift Methods withBaseSafeSymShift :: (SafeSymShift ArithException (SymIntN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching 'S m, KnownNat n, 1 <= n) => UnifiedSafeSymShift 'S ArithException (SymWordN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymShift Methods withBaseSafeSymShift :: (SafeSymShift ArithException (SymWordN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching mode m, KnownNat n, 1 <= n) => UnifiedSafeSymShift mode ArithException (IntN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymShift Methods withBaseSafeSymShift :: (SafeSymShift ArithException (IntN n) m => r) -> r Source #
(MonadError ArithException m, UnifiedBranching mode m, KnownNat n, 1 <= n) => UnifiedSafeSymShift mode ArithException (WordN n) m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymShift Methods withBaseSafeSymShift :: (SafeSymShift ArithException (WordN n) m => r) -> r Source #
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeLinearArith ArithException (IntN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: IntN n -> IntN n -> m (IntN n) Source # safeNeg :: IntN n -> m (IntN n) Source # safeSub :: IntN n -> IntN n -> m (IntN n) Source #
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeLinearArith ArithException (WordN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: WordN n -> WordN n -> m (WordN n) Source # safeNeg :: WordN n -> m (WordN n) Source # safeSub :: WordN n -> WordN n -> m (WordN n) Source #
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeLinearArith ArithException (SymIntN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeNeg :: SymIntN n -> m (SymIntN n) Source # safeSub :: SymIntN n -> SymIntN n -> m (SymIntN n) Source #
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeLinearArith ArithException (SymWordN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith Methods safeAdd :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeNeg :: SymWordN n -> m (SymWordN n) Source # safeSub :: SymWordN n -> SymWordN n -> m (SymWordN n) 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 #
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymShift ArithException (IntN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: IntN n -> IntN n -> m (IntN n) Source # safeSymShiftR :: IntN n -> IntN n -> m (IntN n) Source # safeSymStrictShiftL :: IntN n -> IntN n -> m (IntN n) Source # safeSymStrictShiftR :: IntN n -> IntN n -> m (IntN n) Source #
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymShift ArithException (WordN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: WordN n -> WordN n -> m (WordN n) Source # safeSymShiftR :: WordN n -> WordN n -> m (WordN n) Source # safeSymStrictShiftL :: WordN n -> WordN n -> m (WordN n) Source # safeSymStrictShiftR :: WordN n -> WordN n -> m (WordN n) Source #
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeSymShift ArithException (SymIntN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeSymShiftR :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeSymStrictShiftL :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeSymStrictShiftR :: SymIntN n -> SymIntN n -> m (SymIntN n) Source #
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeSymShift ArithException (SymWordN n) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeSymShift Methods safeSymShiftL :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeSymShiftR :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeSymStrictShiftL :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeSymStrictShiftR :: SymWordN n -> SymWordN n -> m (SymWordN n) Source #
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeDiv ArithException (IntN n) m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: IntN n -> IntN n -> m (IntN n) Source # safeMod :: IntN n -> IntN n -> m (IntN n) Source # safeDivMod :: IntN n -> IntN n -> m (IntN n, IntN n) Source # safeQuot :: IntN n -> IntN n -> m (IntN n) Source # safeRem :: IntN n -> IntN n -> m (IntN n) Source # safeQuotRem :: IntN n -> IntN n -> m (IntN n, IntN n) Source #
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeDiv ArithException (WordN n) m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: WordN n -> WordN n -> m (WordN n) Source # safeMod :: WordN n -> WordN n -> m (WordN n) Source # safeDivMod :: WordN n -> WordN n -> m (WordN n, WordN n) Source # safeQuot :: WordN n -> WordN n -> m (WordN n) Source # safeRem :: WordN n -> WordN n -> m (WordN n) Source # safeQuotRem :: WordN n -> WordN n -> m (WordN n, WordN n) Source #
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeDiv ArithException (SymIntN n) m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeMod :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeDivMod :: SymIntN n -> SymIntN n -> m (SymIntN n, SymIntN n) Source # safeQuot :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeRem :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeQuotRem :: SymIntN n -> SymIntN n -> m (SymIntN n, SymIntN n) Source #
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeDiv ArithException (SymWordN n) m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeMod :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeDivMod :: SymWordN n -> SymWordN n -> m (SymWordN n, SymWordN n) Source # safeQuot :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeRem :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeQuotRem :: SymWordN n -> SymWordN n -> m (SymWordN n, SymWordN n) Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching 'S m) => UnifiedSafeDiv 'S (Either SomeBVException ArithException) SomeSymIntN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeDiv Methods withBaseSafeDiv :: (SafeDiv (Either SomeBVException ArithException) SomeSymIntN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching 'S m) => UnifiedSafeDiv 'S (Either SomeBVException ArithException) SomeSymWordN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeDiv Methods withBaseSafeDiv :: (SafeDiv (Either SomeBVException ArithException) SomeSymWordN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching mode m) => UnifiedSafeDiv mode (Either SomeBVException ArithException) SomeIntN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeDiv Methods withBaseSafeDiv :: (SafeDiv (Either SomeBVException ArithException) SomeIntN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching mode m) => UnifiedSafeDiv mode (Either SomeBVException ArithException) SomeWordN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeDiv Methods withBaseSafeDiv :: (SafeDiv (Either SomeBVException ArithException) SomeWordN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching 'S m) => UnifiedSafeLinearArith 'S (Either SomeBVException ArithException) SomeSymIntN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeLinearArith Methods withBaseSafeLinearArith :: (SafeLinearArith (Either SomeBVException ArithException) SomeSymIntN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching 'S m) => UnifiedSafeLinearArith 'S (Either SomeBVException ArithException) SomeSymWordN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeLinearArith Methods withBaseSafeLinearArith :: (SafeLinearArith (Either SomeBVException ArithException) SomeSymWordN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching mode m) => UnifiedSafeLinearArith mode (Either SomeBVException ArithException) SomeIntN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeLinearArith Methods withBaseSafeLinearArith :: (SafeLinearArith (Either SomeBVException ArithException) SomeIntN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching mode m) => UnifiedSafeLinearArith mode (Either SomeBVException ArithException) SomeWordN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeLinearArith Methods withBaseSafeLinearArith :: (SafeLinearArith (Either SomeBVException ArithException) SomeWordN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching 'S m) => UnifiedSafeSymRotate 'S (Either SomeBVException ArithException) SomeSymIntN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymRotate Methods withBaseSafeSymRotate :: (SafeSymRotate (Either SomeBVException ArithException) SomeSymIntN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching 'S m) => UnifiedSafeSymRotate 'S (Either SomeBVException ArithException) SomeSymWordN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymRotate Methods withBaseSafeSymRotate :: (SafeSymRotate (Either SomeBVException ArithException) SomeSymWordN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching mode m) => UnifiedSafeSymRotate mode (Either SomeBVException ArithException) SomeIntN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymRotate Methods withBaseSafeSymRotate :: (SafeSymRotate (Either SomeBVException ArithException) SomeIntN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching mode m) => UnifiedSafeSymRotate mode (Either SomeBVException ArithException) SomeWordN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymRotate Methods withBaseSafeSymRotate :: (SafeSymRotate (Either SomeBVException ArithException) SomeWordN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching 'S m) => UnifiedSafeSymShift 'S (Either SomeBVException ArithException) SomeSymIntN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymShift Methods withBaseSafeSymShift :: (SafeSymShift (Either SomeBVException ArithException) SomeSymIntN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching 'S m) => UnifiedSafeSymShift 'S (Either SomeBVException ArithException) SomeSymWordN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymShift Methods withBaseSafeSymShift :: (SafeSymShift (Either SomeBVException ArithException) SomeSymWordN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching mode m) => UnifiedSafeSymShift mode (Either SomeBVException ArithException) SomeIntN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymShift Methods withBaseSafeSymShift :: (SafeSymShift (Either SomeBVException ArithException) SomeIntN m => r) -> r Source #
(MonadError (Either SomeBVException ArithException) m, UnifiedBranching mode m) => UnifiedSafeSymShift mode (Either SomeBVException ArithException) SomeWordN m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeSymShift Methods withBaseSafeSymShift :: (SafeSymShift (Either SomeBVException ArithException) SomeWordN m => r) -> r Source #

class (MonadError e m, TryMerge m, Mergeable a, DivOr a) => SafeDiv e a (m :: Type -> Type) where Source #

Safe division with monadic error handling in multi-path execution. These procedures throw an exception when the divisor is zero. The result should be able to handle errors with MonadError.

Minimal complete definition

(safeDiv, safeMod | safeDivMod), (safeQuot, safeRem | safeQuotRem)

Methods

safeDiv :: a -> a -> m a Source #

Safe div with monadic error handling in multi-path execution.

>>> safeDiv "a" "b" :: ExceptT ArithException Union SymInteger
ExceptT {If (= b 0) (Left divide by zero) (Right (div a b))}

safeMod :: a -> a -> m a Source #

Safe mod with monadic error handling in multi-path execution.

>>> safeMod "a" "b" :: ExceptT ArithException Union SymInteger
ExceptT {If (= b 0) (Left divide by zero) (Right (mod a b))}

safeDivMod :: a -> a -> m (a, a) Source #

Safe divMod with monadic error handling in multi-path execution.

>>> safeDivMod "a" "b" :: ExceptT ArithException Union (SymInteger, SymInteger)
ExceptT {If (= b 0) (Left divide by zero) (Right ((div a b),(mod a b)))}

safeQuot :: a -> a -> m a Source #

Safe quot with monadic error handling in multi-path execution.

safeRem :: a -> a -> m a Source #

Safe rem with monadic error handling in multi-path execution.

safeQuotRem :: a -> a -> m (a, a) Source #

Safe quotRem with monadic error handling in multi-path execution.

Instances

Instances details

(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Int16 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Int16 -> Int16 -> m Int16 Source # safeMod :: Int16 -> Int16 -> m Int16 Source # safeDivMod :: Int16 -> Int16 -> m (Int16, Int16) Source # safeQuot :: Int16 -> Int16 -> m Int16 Source # safeRem :: Int16 -> Int16 -> m Int16 Source # safeQuotRem :: Int16 -> Int16 -> m (Int16, Int16) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Int32 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Int32 -> Int32 -> m Int32 Source # safeMod :: Int32 -> Int32 -> m Int32 Source # safeDivMod :: Int32 -> Int32 -> m (Int32, Int32) Source # safeQuot :: Int32 -> Int32 -> m Int32 Source # safeRem :: Int32 -> Int32 -> m Int32 Source # safeQuotRem :: Int32 -> Int32 -> m (Int32, Int32) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Int64 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Int64 -> Int64 -> m Int64 Source # safeMod :: Int64 -> Int64 -> m Int64 Source # safeDivMod :: Int64 -> Int64 -> m (Int64, Int64) Source # safeQuot :: Int64 -> Int64 -> m Int64 Source # safeRem :: Int64 -> Int64 -> m Int64 Source # safeQuotRem :: Int64 -> Int64 -> m (Int64, Int64) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Int8 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Int8 -> Int8 -> m Int8 Source # safeMod :: Int8 -> Int8 -> m Int8 Source # safeDivMod :: Int8 -> Int8 -> m (Int8, Int8) Source # safeQuot :: Int8 -> Int8 -> m Int8 Source # safeRem :: Int8 -> Int8 -> m Int8 Source # safeQuotRem :: Int8 -> Int8 -> m (Int8, Int8) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Word16 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Word16 -> Word16 -> m Word16 Source # safeMod :: Word16 -> Word16 -> m Word16 Source # safeDivMod :: Word16 -> Word16 -> m (Word16, Word16) Source # safeQuot :: Word16 -> Word16 -> m Word16 Source # safeRem :: Word16 -> Word16 -> m Word16 Source # safeQuotRem :: Word16 -> Word16 -> m (Word16, Word16) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Word32 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Word32 -> Word32 -> m Word32 Source # safeMod :: Word32 -> Word32 -> m Word32 Source # safeDivMod :: Word32 -> Word32 -> m (Word32, Word32) Source # safeQuot :: Word32 -> Word32 -> m Word32 Source # safeRem :: Word32 -> Word32 -> m Word32 Source # safeQuotRem :: Word32 -> Word32 -> m (Word32, Word32) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Word64 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Word64 -> Word64 -> m Word64 Source # safeMod :: Word64 -> Word64 -> m Word64 Source # safeDivMod :: Word64 -> Word64 -> m (Word64, Word64) Source # safeQuot :: Word64 -> Word64 -> m Word64 Source # safeRem :: Word64 -> Word64 -> m Word64 Source # safeQuotRem :: Word64 -> Word64 -> m (Word64, Word64) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Word8 m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Word8 -> Word8 -> m Word8 Source # safeMod :: Word8 -> Word8 -> m Word8 Source # safeDivMod :: Word8 -> Word8 -> m (Word8, Word8) Source # safeQuot :: Word8 -> Word8 -> m Word8 Source # safeRem :: Word8 -> Word8 -> m Word8 Source # safeQuotRem :: Word8 -> Word8 -> m (Word8, Word8) Source #
(MonadUnion m, MonadError ArithException m) => SafeDiv ArithException SymInteger m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: SymInteger -> SymInteger -> m SymInteger Source # safeMod :: SymInteger -> SymInteger -> m SymInteger Source # safeDivMod :: SymInteger -> SymInteger -> m (SymInteger, SymInteger) Source # safeQuot :: SymInteger -> SymInteger -> m SymInteger Source # safeRem :: SymInteger -> SymInteger -> m SymInteger Source # safeQuotRem :: SymInteger -> SymInteger -> m (SymInteger, SymInteger) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Integer m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Integer -> Integer -> m Integer Source # safeMod :: Integer -> Integer -> m Integer Source # safeDivMod :: Integer -> Integer -> m (Integer, Integer) Source # safeQuot :: Integer -> Integer -> m Integer Source # safeRem :: Integer -> Integer -> m Integer Source # safeQuotRem :: Integer -> Integer -> m (Integer, Integer) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Int m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Int -> Int -> m Int Source # safeMod :: Int -> Int -> m Int Source # safeDivMod :: Int -> Int -> m (Int, Int) Source # safeQuot :: Int -> Int -> m Int Source # safeRem :: Int -> Int -> m Int Source # safeQuotRem :: Int -> Int -> m (Int, Int) Source #
(MonadError ArithException m, TryMerge m) => SafeDiv ArithException Word m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: Word -> Word -> m Word Source # safeMod :: Word -> Word -> m Word Source # safeDivMod :: Word -> Word -> m (Word, Word) Source # safeQuot :: Word -> Word -> m Word Source # safeRem :: Word -> Word -> m Word Source # safeQuotRem :: Word -> Word -> m (Word, Word) Source #
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeDiv ArithException (IntN n) m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: IntN n -> IntN n -> m (IntN n) Source # safeMod :: IntN n -> IntN n -> m (IntN n) Source # safeDivMod :: IntN n -> IntN n -> m (IntN n, IntN n) Source # safeQuot :: IntN n -> IntN n -> m (IntN n) Source # safeRem :: IntN n -> IntN n -> m (IntN n) Source # safeQuotRem :: IntN n -> IntN n -> m (IntN n, IntN n) Source #
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeDiv ArithException (WordN n) m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: WordN n -> WordN n -> m (WordN n) Source # safeMod :: WordN n -> WordN n -> m (WordN n) Source # safeDivMod :: WordN n -> WordN n -> m (WordN n, WordN n) Source # safeQuot :: WordN n -> WordN n -> m (WordN n) Source # safeRem :: WordN n -> WordN n -> m (WordN n) Source # safeQuotRem :: WordN n -> WordN n -> m (WordN n, WordN n) Source #
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeDiv ArithException (SymIntN n) m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeMod :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeDivMod :: SymIntN n -> SymIntN n -> m (SymIntN n, SymIntN n) Source # safeQuot :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeRem :: SymIntN n -> SymIntN n -> m (SymIntN n) Source # safeQuotRem :: SymIntN n -> SymIntN n -> m (SymIntN n, SymIntN n) Source #
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeDiv ArithException (SymWordN n) m Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods safeDiv :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeMod :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeDivMod :: SymWordN n -> SymWordN n -> m (SymWordN n, SymWordN n) Source # safeQuot :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeRem :: SymWordN n -> SymWordN n -> m (SymWordN n) Source # safeQuotRem :: SymWordN n -> SymWordN n -> m (SymWordN n, SymWordN n) Source #
(forall (n :: Nat). (KnownNat n, 1 <= n) => SafeDiv e (bv n) (ExceptT e m), MonadError (Either SomeBVException e) m, TryMerge m, Mergeable e, forall (n :: Nat). (KnownNat n, 1 <= n) => Num (bv n), MaySomeBV bv) => SafeDiv (Either SomeBVException e) (SomeBV bv) m Source #
Instance details Defined in Grisette.Internal.SymPrim.SomeBV Methods safeDiv :: SomeBV bv -> SomeBV bv -> m (SomeBV bv) Source # safeMod :: SomeBV bv -> SomeBV bv -> m (SomeBV bv) Source # safeDivMod :: SomeBV bv -> SomeBV bv -> m (SomeBV bv, SomeBV bv) Source # safeQuot :: SomeBV bv -> SomeBV bv -> m (SomeBV bv) Source # safeRem :: SomeBV bv -> SomeBV bv -> m (SomeBV bv) Source # safeQuotRem :: SomeBV bv -> SomeBV bv -> m (SomeBV bv, SomeBV bv) Source #

class DivOr a where Source #

Safe division handling with default values returned on exception.

Methods

divOr :: a -> a -> a -> a Source #

Safe div with default value returned on exception.

>>> divOr "d" "a" "b" :: SymInteger
(ite (= b 0) d (div a b))

modOr :: a -> a -> a -> a Source #

Safe mod with default value returned on exception.

>>> modOr "d" "a" "b" :: SymInteger
(ite (= b 0) d (mod a b))

divModOr :: (a, a) -> a -> a -> (a, a) Source #

Safe divMod with default value returned on exception.

>>> divModOr ("d", "m") "a" "b" :: (SymInteger, SymInteger)
((ite (= b 0) d (div a b)),(ite (= b 0) m (mod a b)))

quotOr :: a -> a -> a -> a Source #

Safe quot with default value returned on exception.

remOr :: a -> a -> a -> a Source #

Safe rem with default value returned on exception.

quotRemOr :: (a, a) -> a -> a -> (a, a) Source #

Safe quotRem with default value returned on exception.

Instances

Instances details

DivOr Int16 Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: Int16 -> Int16 -> Int16 -> Int16 Source # modOr :: Int16 -> Int16 -> Int16 -> Int16 Source # divModOr :: (Int16, Int16) -> Int16 -> Int16 -> (Int16, Int16) Source # quotOr :: Int16 -> Int16 -> Int16 -> Int16 Source # remOr :: Int16 -> Int16 -> Int16 -> Int16 Source # quotRemOr :: (Int16, Int16) -> Int16 -> Int16 -> (Int16, Int16) Source #
DivOr Int32 Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: Int32 -> Int32 -> Int32 -> Int32 Source # modOr :: Int32 -> Int32 -> Int32 -> Int32 Source # divModOr :: (Int32, Int32) -> Int32 -> Int32 -> (Int32, Int32) Source # quotOr :: Int32 -> Int32 -> Int32 -> Int32 Source # remOr :: Int32 -> Int32 -> Int32 -> Int32 Source # quotRemOr :: (Int32, Int32) -> Int32 -> Int32 -> (Int32, Int32) Source #
DivOr Int64 Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: Int64 -> Int64 -> Int64 -> Int64 Source # modOr :: Int64 -> Int64 -> Int64 -> Int64 Source # divModOr :: (Int64, Int64) -> Int64 -> Int64 -> (Int64, Int64) Source # quotOr :: Int64 -> Int64 -> Int64 -> Int64 Source # remOr :: Int64 -> Int64 -> Int64 -> Int64 Source # quotRemOr :: (Int64, Int64) -> Int64 -> Int64 -> (Int64, Int64) Source #
DivOr Int8 Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: Int8 -> Int8 -> Int8 -> Int8 Source # modOr :: Int8 -> Int8 -> Int8 -> Int8 Source # divModOr :: (Int8, Int8) -> Int8 -> Int8 -> (Int8, Int8) Source # quotOr :: Int8 -> Int8 -> Int8 -> Int8 Source # remOr :: Int8 -> Int8 -> Int8 -> Int8 Source # quotRemOr :: (Int8, Int8) -> Int8 -> Int8 -> (Int8, Int8) Source #
DivOr Word16 Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: Word16 -> Word16 -> Word16 -> Word16 Source # modOr :: Word16 -> Word16 -> Word16 -> Word16 Source # divModOr :: (Word16, Word16) -> Word16 -> Word16 -> (Word16, Word16) Source # quotOr :: Word16 -> Word16 -> Word16 -> Word16 Source # remOr :: Word16 -> Word16 -> Word16 -> Word16 Source # quotRemOr :: (Word16, Word16) -> Word16 -> Word16 -> (Word16, Word16) Source #
DivOr Word32 Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: Word32 -> Word32 -> Word32 -> Word32 Source # modOr :: Word32 -> Word32 -> Word32 -> Word32 Source # divModOr :: (Word32, Word32) -> Word32 -> Word32 -> (Word32, Word32) Source # quotOr :: Word32 -> Word32 -> Word32 -> Word32 Source # remOr :: Word32 -> Word32 -> Word32 -> Word32 Source # quotRemOr :: (Word32, Word32) -> Word32 -> Word32 -> (Word32, Word32) Source #
DivOr Word64 Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: Word64 -> Word64 -> Word64 -> Word64 Source # modOr :: Word64 -> Word64 -> Word64 -> Word64 Source # divModOr :: (Word64, Word64) -> Word64 -> Word64 -> (Word64, Word64) Source # quotOr :: Word64 -> Word64 -> Word64 -> Word64 Source # remOr :: Word64 -> Word64 -> Word64 -> Word64 Source # quotRemOr :: (Word64, Word64) -> Word64 -> Word64 -> (Word64, Word64) Source #
DivOr Word8 Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: Word8 -> Word8 -> Word8 -> Word8 Source # modOr :: Word8 -> Word8 -> Word8 -> Word8 Source # divModOr :: (Word8, Word8) -> Word8 -> Word8 -> (Word8, Word8) Source # quotOr :: Word8 -> Word8 -> Word8 -> Word8 Source # remOr :: Word8 -> Word8 -> Word8 -> Word8 Source # quotRemOr :: (Word8, Word8) -> Word8 -> Word8 -> (Word8, Word8) Source #
DivOr SymInteger Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: SymInteger -> SymInteger -> SymInteger -> SymInteger Source # modOr :: SymInteger -> SymInteger -> SymInteger -> SymInteger Source # divModOr :: (SymInteger, SymInteger) -> SymInteger -> SymInteger -> (SymInteger, SymInteger) Source # quotOr :: SymInteger -> SymInteger -> SymInteger -> SymInteger Source # remOr :: SymInteger -> SymInteger -> SymInteger -> SymInteger Source # quotRemOr :: (SymInteger, SymInteger) -> SymInteger -> SymInteger -> (SymInteger, SymInteger) Source #
DivOr Integer Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: Integer -> Integer -> Integer -> Integer Source # modOr :: Integer -> Integer -> Integer -> Integer Source # divModOr :: (Integer, Integer) -> Integer -> Integer -> (Integer, Integer) Source # quotOr :: Integer -> Integer -> Integer -> Integer Source # remOr :: Integer -> Integer -> Integer -> Integer Source # quotRemOr :: (Integer, Integer) -> Integer -> Integer -> (Integer, Integer) Source #
DivOr Int Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: Int -> Int -> Int -> Int Source # modOr :: Int -> Int -> Int -> Int Source # divModOr :: (Int, Int) -> Int -> Int -> (Int, Int) Source # quotOr :: Int -> Int -> Int -> Int Source # remOr :: Int -> Int -> Int -> Int Source # quotRemOr :: (Int, Int) -> Int -> Int -> (Int, Int) Source #
DivOr Word Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: Word -> Word -> Word -> Word Source # modOr :: Word -> Word -> Word -> Word Source # divModOr :: (Word, Word) -> Word -> Word -> (Word, Word) Source # quotOr :: Word -> Word -> Word -> Word Source # remOr :: Word -> Word -> Word -> Word Source # quotRemOr :: (Word, Word) -> Word -> Word -> (Word, Word) Source #
(KnownNat n, 1 <= n) => DivOr (IntN n) Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: IntN n -> IntN n -> IntN n -> IntN n Source # modOr :: IntN n -> IntN n -> IntN n -> IntN n Source # divModOr :: (IntN n, IntN n) -> IntN n -> IntN n -> (IntN n, IntN n) Source # quotOr :: IntN n -> IntN n -> IntN n -> IntN n Source # remOr :: IntN n -> IntN n -> IntN n -> IntN n Source # quotRemOr :: (IntN n, IntN n) -> IntN n -> IntN n -> (IntN n, IntN n) Source #
(KnownNat n, 1 <= n) => DivOr (WordN n) Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: WordN n -> WordN n -> WordN n -> WordN n Source # modOr :: WordN n -> WordN n -> WordN n -> WordN n Source # divModOr :: (WordN n, WordN n) -> WordN n -> WordN n -> (WordN n, WordN n) Source # quotOr :: WordN n -> WordN n -> WordN n -> WordN n Source # remOr :: WordN n -> WordN n -> WordN n -> WordN n Source # quotRemOr :: (WordN n, WordN n) -> WordN n -> WordN n -> (WordN n, WordN n) Source #
(forall (n :: Nat). (KnownNat n, 1 <= n) => DivOr (bv n), forall (n :: Nat). (KnownNat n, 1 <= n) => Num (bv n), MaySomeBV bv) => DivOr (SomeBV bv) Source #
Instance details Defined in Grisette.Internal.SymPrim.SomeBV Methods divOr :: SomeBV bv -> SomeBV bv -> SomeBV bv -> SomeBV bv Source # modOr :: SomeBV bv -> SomeBV bv -> SomeBV bv -> SomeBV bv Source # divModOr :: (SomeBV bv, SomeBV bv) -> SomeBV bv -> SomeBV bv -> (SomeBV bv, SomeBV bv) Source # quotOr :: SomeBV bv -> SomeBV bv -> SomeBV bv -> SomeBV bv Source # remOr :: SomeBV bv -> SomeBV bv -> SomeBV bv -> SomeBV bv Source # quotRemOr :: (SomeBV bv, SomeBV bv) -> SomeBV bv -> SomeBV bv -> (SomeBV bv, SomeBV bv) Source #
(KnownNat n, 1 <= n) => DivOr (SymIntN n) Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: SymIntN n -> SymIntN n -> SymIntN n -> SymIntN n Source # modOr :: SymIntN n -> SymIntN n -> SymIntN n -> SymIntN n Source # divModOr :: (SymIntN n, SymIntN n) -> SymIntN n -> SymIntN n -> (SymIntN n, SymIntN n) Source # quotOr :: SymIntN n -> SymIntN n -> SymIntN n -> SymIntN n Source # remOr :: SymIntN n -> SymIntN n -> SymIntN n -> SymIntN n Source # quotRemOr :: (SymIntN n, SymIntN n) -> SymIntN n -> SymIntN n -> (SymIntN n, SymIntN n) Source #
(KnownNat n, 1 <= n) => DivOr (SymWordN n) Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SafeDiv Methods divOr :: SymWordN n -> SymWordN n -> SymWordN n -> SymWordN n Source # modOr :: SymWordN n -> SymWordN n -> SymWordN n -> SymWordN n Source # divModOr :: (SymWordN n, SymWordN n) -> SymWordN n -> SymWordN n -> (SymWordN n, SymWordN n) Source # quotOr :: SymWordN n -> SymWordN n -> SymWordN n -> SymWordN n Source # remOr :: SymWordN n -> SymWordN n -> SymWordN n -> SymWordN n Source # quotRemOr :: (SymWordN n, SymWordN n) -> SymWordN n -> SymWordN n -> (SymWordN n, SymWordN n) Source #

divOrZero :: (DivOr a, Num a) => a -> a -> a Source #

Safe div with 0 returned on exception.

modOrDividend :: (DivOr a, Num a) => a -> a -> a Source #

Safe mod with dividend returned on exception.

quotOrZero :: (DivOr a, Num a) => a -> a -> a Source #

Safe quot with 0 returned on exception.

remOrDividend :: (DivOr a, Num a) => a -> a -> a Source #

Safe rem with dividend returned on exception.

divModOrZeroDividend :: (DivOr a, Num a) => a -> a -> (a, a) Source #

Safe divMod with 0 returned on exception.

quotRemOrZeroDividend :: (DivOr a, Num a) => a -> a -> (a, a) Source #

Safe quotRem with 0 returned on exception.