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

Description

Synopsis

Documentation

Evaluation mode for unified types. Con means concrete evaluation, Sym means symbolic evaluation.

Constructors

Con
Sym

Instances details

Lift EvalModeTag Source #
Instance details Defined in Grisette.Unified.Internal.EvalModeTag Methods lift :: Quote m => EvalModeTag -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => EvalModeTag -> Code m EvalModeTag #

type family IsConMode (mode :: EvalModeTag) = (r :: Bool) | r -> mode where ... Source #

Type family to check if a mode is Con.

Equations

IsConMode 'Con = 'True
IsConMode 'Sym = 'False