| 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.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 'Con Source # | |
Defined in Grisette.Unified.Internal.UnifiedAlgReal | |
| UnifiedAlgReal 'Sym Source # | |
Defined in Grisette.Unified.Internal.UnifiedAlgReal | |
type family GetAlgReal mode = real | real -> mode Source #
Get a unified algebraic real type. Resolves to AlgReal in Con mode,
and SymAlgReal in Sym mode.
Floating, LogBaseOr and SafeLogBase for
SymAlgReal are not provided as they are not available for AlgReal.
Instances
| type GetAlgReal 'Con Source # | |
Defined in Grisette.Unified.Internal.UnifiedAlgReal | |
| type GetAlgReal 'Sym Source # | |
Defined in Grisette.Unified.Internal.UnifiedAlgReal | |