Grisette.Core.Data.Class.SafeDivision

Documentation

data ArithException

Arithmetic exceptions.

Constructors

Overflow

Underflow

DivideByZero

Instances

Exception ArithException

Since: base-4.0.0.0

Defined in GHC.Exception.Type

Methods

toException :: ArithException -> SomeException

fromException :: SomeException -> Maybe ArithException

displayException :: ArithException -> String

Show ArithException

Since: base-4.0.0.0

Defined in GHC.Exception.Type

Methods

showsPrec :: Int -> ArithException -> ShowS

show :: ArithException -> String

showList :: [ArithException] -> ShowS

Eq ArithException

Since: base-3.0

Defined in GHC.Exception.Type

Methods

(==) :: ArithException -> ArithException -> Bool

(/=) :: ArithException -> ArithException -> Bool

Ord ArithException

Since: base-3.0

Defined in GHC.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

Defined in Grisette.Core.Data.Class.Mergeable

Methods

rootStrategy :: MergingStrategy ArithException

TransformError ArithException AssertionError

Defined in Grisette.Core.Data.Class.Error

Methods

transformError :: ArithException -> AssertionError

SafeDivision ArithException Int16

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf Int16

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf Int16

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf (Int16, Int16)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf Int16

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf Int16

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf (Int16, Int16)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf Int16

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf Int16

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf (Int16, Int16)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf Int16

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf Int16

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf (Int16, Int16)

SafeDivision ArithException Int32

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf Int32

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf Int32

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf (Int32, Int32)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf Int32

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf Int32

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf (Int32, Int32)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf Int32

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf Int32

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf (Int32, Int32)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf Int32

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf Int32

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf (Int32, Int32)

SafeDivision ArithException Int64

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf Int64

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf Int64

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf (Int64, Int64)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf Int64

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf Int64

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf (Int64, Int64)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf Int64

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf Int64

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf (Int64, Int64)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf Int64

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf Int64

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf (Int64, Int64)

SafeDivision ArithException Int8

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf Int8

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf Int8

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf (Int8, Int8)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf Int8

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf Int8

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf (Int8, Int8)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf Int8

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf Int8

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf (Int8, Int8)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf Int8

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf Int8

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf (Int8, Int8)

SafeDivision ArithException Word16

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf Word16

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf Word16

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf (Word16, Word16)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf Word16

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf Word16

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf (Word16, Word16)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf Word16

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf Word16

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf (Word16, Word16)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf Word16

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf Word16

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf (Word16, Word16)

SafeDivision ArithException Word32

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf Word32

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf Word32

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf (Word32, Word32)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf Word32

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf Word32

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf (Word32, Word32)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf Word32

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf Word32

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf (Word32, Word32)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf Word32

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf Word32

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf (Word32, Word32)

SafeDivision ArithException Word64

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf Word64

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf Word64

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf (Word64, Word64)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf Word64

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf Word64

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf (Word64, Word64)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf Word64

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf Word64

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf (Word64, Word64)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf Word64

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf Word64

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf (Word64, Word64)

SafeDivision ArithException Word8

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf Word8

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf Word8

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf (Word8, Word8)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf Word8

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf Word8

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf (Word8, Word8)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf Word8

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf Word8

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf (Word8, Word8)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf Word8

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf Word8

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf (Word8, Word8)

SafeDivision ArithException SymInteger

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf SymInteger

safeMod :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf SymInteger

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf (SymInteger, SymInteger)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf SymInteger

safeRem :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf SymInteger

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf (SymInteger, SymInteger)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf SymInteger

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf SymInteger

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf (SymInteger, SymInteger)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf SymInteger

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf SymInteger

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf (SymInteger, SymInteger)

SafeDivision ArithException Integer

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf Integer

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf Integer

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf (Integer, Integer)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf Integer

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf Integer

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf (Integer, Integer)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf Integer

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf Integer

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf (Integer, Integer)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf Integer

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf Integer

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf (Integer, Integer)

SafeDivision ArithException Int

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf Int

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf Int

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf (Int, Int)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf Int

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf Int

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf (Int, Int)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf Int

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf Int

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf (Int, Int)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf Int

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf Int

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf (Int, Int)

SafeDivision ArithException Word

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf Word

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf Word

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf (Word, Word)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf Word

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf Word

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf (Word, Word)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf Word

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf Word

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf (Word, Word)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf Word

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf Word

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf (Word, Word)

SafeLinearArith ArithException Int16

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf Int16

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> uf Int16

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf Int16

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf Int16

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> uf Int16

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf Int16

SafeLinearArith ArithException Int32

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf Int32

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> uf Int32

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf Int32

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf Int32

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> uf Int32

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf Int32

SafeLinearArith ArithException Int64

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf Int64

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> uf Int64

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf Int64

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf Int64

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> uf Int64

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf Int64

SafeLinearArith ArithException Int8

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf Int8

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> uf Int8

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf Int8

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf Int8

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> uf Int8

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf Int8

SafeLinearArith ArithException Word16

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf Word16

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> uf Word16

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf Word16

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf Word16

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> uf Word16

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf Word16

SafeLinearArith ArithException Word32

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf Word32

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> uf Word32

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf Word32

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf Word32

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> uf Word32

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf Word32

SafeLinearArith ArithException Word64

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf Word64

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> uf Word64

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf Word64

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf Word64

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> uf Word64

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf Word64

SafeLinearArith ArithException Word8

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf Word8

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> uf Word8

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf Word8

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf Word8

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> uf Word8

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf Word8

SafeLinearArith ArithException SymInteger

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf SymInteger

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> uf SymInteger

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf SymInteger

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf SymInteger

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> uf SymInteger

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf SymInteger

SafeLinearArith ArithException Integer

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf Integer

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => Integer -> uf Integer

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf Integer

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf Integer

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> uf Integer

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf Integer

SafeLinearArith ArithException Int

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf Int

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => Int -> uf Int

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf Int

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf Int

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> uf Int

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf Int

SafeLinearArith ArithException Word

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf Word

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => Word -> uf Word

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf Word

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf Word

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> uf Word

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf Word

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

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) => SafeDivision ArithException (IntN n)

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n)

safeMod :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n)

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n, IntN n)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n)

safeRem :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n)

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n, IntN n)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n)

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n)

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n, IntN n)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n)

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n)

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n, IntN n)

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

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n)

safeMod :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n)

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n, WordN n)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n)

safeRem :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n)

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n, WordN n)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n)

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n)

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n, WordN n)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n)

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n)

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n, WordN n)

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

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n)

safeMod :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n)

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n, SymIntN n)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n)

safeRem :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n)

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n, SymIntN n)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n)

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n)

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n, SymIntN n)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n)

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n)

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n, SymIntN n)

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

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n)

safeMod :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n)

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n, SymWordN n)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n)

safeRem :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n)

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n, SymWordN n)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n)

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n)

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n, SymWordN n)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n)

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n)

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n, SymWordN n)

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

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n)

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> uf (IntN n)

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n)

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n)

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> uf (IntN n)

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n)

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

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n)

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> uf (WordN n)

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n)

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n)

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> uf (WordN n)

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n)

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

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n)

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> uf (SymIntN n)

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n)

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n)

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> uf (SymIntN n)

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n)

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

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n)

safeNeg :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> uf (SymWordN n)

safeMinus :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n)

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n)

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> uf (SymWordN n)

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n)

(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)

(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)

SafeDivision (Either BitwidthMismatch ArithException) SomeIntN

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf SomeIntN

safeMod :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf SomeIntN

safeDivMod :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf (SomeIntN, SomeIntN)

safeQuot :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf SomeIntN

safeRem :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf SomeIntN

safeQuotRem :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf (SomeIntN, SomeIntN)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf SomeIntN

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf SomeIntN

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf (SomeIntN, SomeIntN)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf SomeIntN

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf SomeIntN

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf (SomeIntN, SomeIntN)

SafeDivision (Either BitwidthMismatch ArithException) SomeWordN

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf SomeWordN

safeMod :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf SomeWordN

safeDivMod :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf (SomeWordN, SomeWordN)

safeQuot :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf SomeWordN

safeRem :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf SomeWordN

safeQuotRem :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf (SomeWordN, SomeWordN)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf SomeWordN

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf SomeWordN

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf (SomeWordN, SomeWordN)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf SomeWordN

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf SomeWordN

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf (SomeWordN, SomeWordN)

SafeLinearArith (Either BitwidthMismatch ArithException) SomeIntN

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf SomeIntN

safeNeg :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> uf SomeIntN

safeMinus :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf SomeIntN

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf SomeIntN

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> uf SomeIntN

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf SomeIntN

SafeLinearArith (Either BitwidthMismatch ArithException) SomeWordN

Defined in Grisette.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf SomeWordN

safeNeg :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> uf SomeWordN

safeMinus :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf SomeWordN

safeAdd' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf SomeWordN

safeNeg' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> uf SomeWordN

safeMinus' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf SomeWordN

class (SOrd a, Num a, Mergeable a, Mergeable e) => SafeDivision e a | a -> e where

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

(safeDivMod | safeDiv, safeMod), (safeDivMod' | safeDiv', safeMod')

Methods

safeDiv :: (MonadError e uf, MonadUnion uf) => a -> a -> uf a

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

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

safeMod :: (MonadError e uf, MonadUnion uf) => a -> a -> uf a

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

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

safeDivMod :: (MonadError e uf, MonadUnion uf) => a -> a -> uf (a, a)

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

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

safeQuot :: (MonadError e uf, MonadUnion uf) => a -> a -> uf a

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

safeRem :: (MonadError e uf, MonadUnion uf) => a -> a -> uf a

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

safeQuotRem :: (MonadError e uf, MonadUnion uf) => a -> a -> uf (a, a)

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

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (e -> e') -> a -> a -> uf a

Safe signed div with monadic error handling in multi-path execution. The error is transformed.

>>> safeDiv' (const ()) (ssym "a") (ssym "b") :: ExceptT () UnionM SymInteger
ExceptT {If (= b 0) (Left ()) (Right (div a b))}

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (e -> e') -> a -> a -> uf a

Safe signed mod with monadic error handling in multi-path execution. The error is transformed.

>>> safeMod' (const ()) (ssym "a") (ssym "b") :: ExceptT () UnionM SymInteger
ExceptT {If (= b 0) (Left ()) (Right (mod a b))}

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (e -> e') -> a -> a -> uf (a, a)

Safe signed divMod with monadic error handling in multi-path execution. The error is transformed.

>>> safeDivMod' (const ()) (ssym "a") (ssym "b") :: ExceptT () UnionM (SymInteger, SymInteger)
ExceptT {If (= b 0) (Left ()) (Right ((div a b),(mod a b)))}

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (e -> e') -> a -> a -> uf a

Safe signed quot with monadic error handling in multi-path execution. The error is transformed.

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (e -> e') -> a -> a -> uf a

Safe signed rem with monadic error handling in multi-path execution. The error is transformed.

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (e -> e') -> a -> a -> uf (a, a)

Safe signed quotRem with monadic error handling in multi-path execution. The error is transformed.

Instances

SafeDivision ArithException Int16

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf Int16

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf Int16

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf (Int16, Int16)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf Int16

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf Int16

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Int16 -> Int16 -> uf (Int16, Int16)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf Int16

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf Int16

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf (Int16, Int16)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf Int16

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf Int16

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int16 -> Int16 -> uf (Int16, Int16)

SafeDivision ArithException Int32

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf Int32

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf Int32

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf (Int32, Int32)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf Int32

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf Int32

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Int32 -> Int32 -> uf (Int32, Int32)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf Int32

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf Int32

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf (Int32, Int32)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf Int32

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf Int32

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int32 -> Int32 -> uf (Int32, Int32)

SafeDivision ArithException Int64

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf Int64

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf Int64

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf (Int64, Int64)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf Int64

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf Int64

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Int64 -> Int64 -> uf (Int64, Int64)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf Int64

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf Int64

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf (Int64, Int64)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf Int64

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf Int64

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int64 -> Int64 -> uf (Int64, Int64)

SafeDivision ArithException Int8

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf Int8

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf Int8

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf (Int8, Int8)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf Int8

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf Int8

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Int8 -> Int8 -> uf (Int8, Int8)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf Int8

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf Int8

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf (Int8, Int8)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf Int8

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf Int8

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int8 -> Int8 -> uf (Int8, Int8)

SafeDivision ArithException Word16

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf Word16

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf Word16

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf (Word16, Word16)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf Word16

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf Word16

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Word16 -> Word16 -> uf (Word16, Word16)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf Word16

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf Word16

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf (Word16, Word16)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf Word16

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf Word16

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word16 -> Word16 -> uf (Word16, Word16)

SafeDivision ArithException Word32

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf Word32

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf Word32

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf (Word32, Word32)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf Word32

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf Word32

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Word32 -> Word32 -> uf (Word32, Word32)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf Word32

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf Word32

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf (Word32, Word32)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf Word32

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf Word32

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word32 -> Word32 -> uf (Word32, Word32)

SafeDivision ArithException Word64

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf Word64

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf Word64

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf (Word64, Word64)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf Word64

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf Word64

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Word64 -> Word64 -> uf (Word64, Word64)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf Word64

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf Word64

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf (Word64, Word64)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf Word64

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf Word64

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word64 -> Word64 -> uf (Word64, Word64)

SafeDivision ArithException Word8

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf Word8

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf Word8

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf (Word8, Word8)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf Word8

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf Word8

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Word8 -> Word8 -> uf (Word8, Word8)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf Word8

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf Word8

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf (Word8, Word8)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf Word8

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf Word8

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word8 -> Word8 -> uf (Word8, Word8)

SafeDivision ArithException SymInteger

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf SymInteger

safeMod :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf SymInteger

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf (SymInteger, SymInteger)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf SymInteger

safeRem :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf SymInteger

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => SymInteger -> SymInteger -> uf (SymInteger, SymInteger)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf SymInteger

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf SymInteger

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf (SymInteger, SymInteger)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf SymInteger

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf SymInteger

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymInteger -> SymInteger -> uf (SymInteger, SymInteger)

SafeDivision ArithException Integer

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf Integer

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf Integer

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf (Integer, Integer)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf Integer

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf Integer

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Integer -> Integer -> uf (Integer, Integer)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf Integer

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf Integer

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf (Integer, Integer)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf Integer

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf Integer

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Integer -> Integer -> uf (Integer, Integer)

SafeDivision ArithException Int

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf Int

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf Int

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf (Int, Int)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf Int

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf Int

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Int -> Int -> uf (Int, Int)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf Int

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf Int

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf (Int, Int)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf Int

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf Int

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Int -> Int -> uf (Int, Int)

SafeDivision ArithException Word

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf Word

safeMod :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf Word

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf (Word, Word)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf Word

safeRem :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf Word

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => Word -> Word -> uf (Word, Word)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf Word

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf Word

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf (Word, Word)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf Word

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf Word

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> Word -> Word -> uf (Word, Word)

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

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n)

safeMod :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n)

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n, IntN n)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n)

safeRem :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n)

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => IntN n -> IntN n -> uf (IntN n, IntN n)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n)

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n)

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n, IntN n)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n)

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n)

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> IntN n -> IntN n -> uf (IntN n, IntN n)

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

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n)

safeMod :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n)

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n, WordN n)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n)

safeRem :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n)

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => WordN n -> WordN n -> uf (WordN n, WordN n)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n)

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n)

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n, WordN n)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n)

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n)

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> WordN n -> WordN n -> uf (WordN n, WordN n)

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

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n)

safeMod :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n)

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n, SymIntN n)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n)

safeRem :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n)

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => SymIntN n -> SymIntN n -> uf (SymIntN n, SymIntN n)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n)

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n)

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n, SymIntN n)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n)

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n)

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymIntN n -> SymIntN n -> uf (SymIntN n, SymIntN n)

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

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n)

safeMod :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n)

safeDivMod :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n, SymWordN n)

safeQuot :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n)

safeRem :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n)

safeQuotRem :: (MonadError ArithException uf, MonadUnion uf) => SymWordN n -> SymWordN n -> uf (SymWordN n, SymWordN n)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n)

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n)

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n, SymWordN n)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n)

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n)

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (ArithException -> e') -> SymWordN n -> SymWordN n -> uf (SymWordN n, SymWordN n)

SafeDivision (Either BitwidthMismatch ArithException) SomeIntN

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf SomeIntN

safeMod :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf SomeIntN

safeDivMod :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf (SomeIntN, SomeIntN)

safeQuot :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf SomeIntN

safeRem :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf SomeIntN

safeQuotRem :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeIntN -> SomeIntN -> uf (SomeIntN, SomeIntN)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf SomeIntN

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf SomeIntN

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf (SomeIntN, SomeIntN)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf SomeIntN

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf SomeIntN

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeIntN -> SomeIntN -> uf (SomeIntN, SomeIntN)

SafeDivision (Either BitwidthMismatch ArithException) SomeWordN

Defined in Grisette.Core.Data.Class.SafeDivision

Methods

safeDiv :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf SomeWordN

safeMod :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf SomeWordN

safeDivMod :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf (SomeWordN, SomeWordN)

safeQuot :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf SomeWordN

safeRem :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf SomeWordN

safeQuotRem :: (MonadError (Either BitwidthMismatch ArithException) uf, MonadUnion uf) => SomeWordN -> SomeWordN -> uf (SomeWordN, SomeWordN)

safeDiv' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf SomeWordN

safeMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf SomeWordN

safeDivMod' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf (SomeWordN, SomeWordN)

safeQuot' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf SomeWordN

safeRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf SomeWordN

safeQuotRem' :: (MonadError e' uf, MonadUnion uf, Mergeable e') => (Either BitwidthMismatch ArithException -> e') -> SomeWordN -> SomeWordN -> uf (SomeWordN, SomeWordN)