| 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.Internal.Unified.UnifiedAlgReal
Description
Synopsis
- class UnifiedAlgRealImpl mode (GetAlgReal mode) => UnifiedAlgReal (mode :: EvalModeTag)
- type family GetAlgReal mode = real | real -> mode
Documentation
class UnifiedAlgRealImpl mode (GetAlgReal mode) => UnifiedAlgReal (mode :: EvalModeTag) Source #
Evaluation mode with unified AlgReal type.
Instances
| UnifiedAlgReal 'C Source # | |
Defined in Grisette.Internal.Unified.UnifiedAlgReal | |
| UnifiedAlgReal 'S Source # | |
Defined in Grisette.Internal.Unified.UnifiedAlgReal | |
type family GetAlgReal mode = real | real -> mode Source #
Get a unified algebraic real type. Resolves to AlgReal in C mode,
and SymAlgReal in S mode.
Floating, LogBaseOr and SafeLogBase for
SymAlgReal are not provided as they are not available for AlgReal.
Instances
| type GetAlgReal 'C Source # | |
Defined in Grisette.Internal.Unified.UnifiedAlgReal | |
| type GetAlgReal 'S Source # | |
Defined in Grisette.Internal.Unified.UnifiedAlgReal | |