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

Description

Synopsis

Documentation

Evaluation mode for unified types. C means concrete evaluation, S means symbolic evaluation.

Constructors

C
S

Instances details

Show EvalModeTag Source #
Instance details Defined in Grisette.Internal.Unified.EvalModeTag Methods showsPrec :: Int -> EvalModeTag -> ShowS # show :: EvalModeTag -> String # showList :: [EvalModeTag] -> ShowS #
Eq EvalModeTag Source #
Instance details Defined in Grisette.Internal.Unified.EvalModeTag Methods (==) :: EvalModeTag -> EvalModeTag -> Bool # (/=) :: EvalModeTag -> EvalModeTag -> Bool #
Lift EvalModeTag Source #
Instance details Defined in Grisette.Internal.Unified.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 C.

Equations

IsConMode 'C = 'True
IsConMode 'S = 'False