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	None
Language	Haskell2010

Grisette.Internal.Unified.UnifiedAlgReal

Description

Synopsis

class UnifiedAlgRealImpl mode (GetAlgReal mode) => UnifiedAlgReal (mode :: EvalModeTag)
type family GetAlgReal (mode :: EvalModeTag) = (real :: Type) | real -> mode

Documentation

class UnifiedAlgRealImpl mode (GetAlgReal mode) => UnifiedAlgReal (mode :: EvalModeTag) Source #

Evaluation mode with unified AlgReal type.

Instances details

UnifiedAlgReal 'C Source #
Instance details Defined in Grisette.Internal.Unified.UnifiedAlgReal
UnifiedAlgReal 'S Source #
Instance details Defined in Grisette.Internal.Unified.UnifiedAlgReal

type family GetAlgReal (mode :: EvalModeTag) = (real :: Type) | 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 details

type GetAlgReal 'C Source #
Instance details Defined in Grisette.Internal.Unified.UnifiedAlgReal type GetAlgReal 'C = AlgReal
type GetAlgReal 'S Source #
Instance details Defined in Grisette.Internal.Unified.UnifiedAlgReal type GetAlgReal 'S = SymAlgReal