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

Description

Synopsis

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

Documentation

type family GetInteger mode = int | int -> mode Source #

Get a unified Integer type. Resolves to Integer in Con mode, and SymInteger in Sym mode.

Instances details

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

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

Evaluation mode with unified Integer type.

Instances details

UnifiedInteger 'Con Source #
Instance details Defined in Grisette.Unified.Internal.UnifiedInteger
UnifiedInteger 'Sym Source #
Instance details Defined in Grisette.Unified.Internal.UnifiedInteger