| Copyright | (c) Sirui Lu 2024 |
|---|---|
| License | BSD-3-Clause (see the LICENSE file) |
| Maintainer | siruilu@cs.washington.edu |
| Stability | Experimental |
| Portability | GHC only |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Grisette.Unified.Internal.MonadWithMode
Description
Synopsis
- type MonadWithMode mode m = (EvalMode mode, Monad m, TryMerge m, UnifiedBranching mode m)
Documentation
type MonadWithMode mode m = (EvalMode mode, Monad m, TryMerge m, UnifiedBranching mode m) Source #
A constraint that specifies that the mode is valid, and provide all the corresponding constraints for the operations for the types.
This also provide the branching constraints for the monad, and the safe
operations: for example, SafeUnifiedInteger provides
safeDiv for the integer type with in ExceptT ArithException m.
For users with GHC prior to 9.2.1, see notes in EvalMode.