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.UnifiedInteger

Description

Synopsis

type family GetInteger (mode :: EvalModeTag) = (int :: Type) | int -> mode
class UnifiedIntegerImpl mode (GetInteger mode) => UnifiedInteger (mode :: EvalModeTag)

Documentation

type family GetInteger (mode :: EvalModeTag) = (int :: Type) | int -> mode Source #

Get a unified Integer type. Resolves to Integer in C mode, and SymInteger in S mode.

Instances details

type GetInteger 'C Source #
Instance details Defined in Grisette.Internal.Unified.UnifiedInteger type GetInteger 'C = Integer
type GetInteger 'S Source #
Instance details Defined in Grisette.Internal.Unified.UnifiedInteger type GetInteger 'S = SymInteger

class UnifiedIntegerImpl mode (GetInteger mode) => UnifiedInteger (mode :: EvalModeTag) Source #

Evaluation mode with unified Integer type.

Instances details

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