Exception ArithException | Since: base-4.0.0.0 |
Instance detailsDefined in GHC.Exception.Type |
Show ArithException | Since: base-4.0.0.0 |
Instance detailsDefined in GHC.Exception.Type |
Eq ArithException | Since: base-3.0 |
Instance detailsDefined in GHC.Exception.Type |
Ord ArithException | Since: base-3.0 |
Instance detailsDefined in GHC.Exception.Type |
Mergeable ArithException Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.Mergeable |
TransformError ArithException AssertionError Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.Error |
(MonadError ArithException m, TryMerge m) => SafeDivision ArithException Int16 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m) => SafeDivision ArithException Int32 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m) => SafeDivision ArithException Int64 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m) => SafeDivision ArithException Int8 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m) => SafeDivision ArithException Word16 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m) => SafeDivision ArithException Word32 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m) => SafeDivision ArithException Word64 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m) => SafeDivision ArithException Word8 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadUnion m, MonadError ArithException m) => SafeDivision ArithException SymInteger m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m) => SafeDivision ArithException Integer m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m) => SafeDivision ArithException Int m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m) => SafeDivision ArithException Word m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Int16 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Int32 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Int64 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Int8 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Word16 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Word32 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Word64 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Word8 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException SymInteger m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Integer m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Int m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException Word m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int16 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int32 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int64 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int8 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word16 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word32 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word64 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word8 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Int m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m) => SafeSymRotate ArithException Word m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Int16 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Int32 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Int64 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Int8 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Word16 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Word32 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Word64 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Word8 m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Int m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, TryMerge m) => SafeSymShift ArithException Word m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeDivision ArithException (IntN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeDivision ArithException (WordN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeDivision ArithException (SymIntN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeDivision ArithException (SymWordN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeDivision |
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeLinearArith ArithException (IntN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeLinearArith ArithException (WordN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeLinearArith ArithException (SymIntN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeLinearArith ArithException (SymWordN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeLinearArith |
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (IntN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (WordN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (SymIntN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymRotate ArithException (SymWordN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymRotate |
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymShift ArithException (IntN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, TryMerge m, KnownNat n, 1 <= n) => SafeSymShift ArithException (WordN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeSymShift ArithException (SymIntN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |
(MonadError ArithException m, MonadUnion m, KnownNat n, 1 <= n) => SafeSymShift ArithException (SymWordN n) m Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SafeSymShift |