grisette-0.7.0.0: Symbolic evaluation as a library
Copyright(c) Sirui Lu 2024
LicenseBSD-3-Clause (see the LICENSE file)
Maintainersiruilu@cs.washington.edu
StabilityExperimental
PortabilityGHC only
Safe HaskellSafe-Inferred
LanguageHaskell2010

Grisette.Unified.Internal.UnifiedBool

Description

 
Synopsis

Documentation

class (BasicGrisetteType (GetBool mode), ConSymConversion Bool SymBool (GetBool mode), LogicalOp (GetBool mode)) => UnifiedBool (mode :: EvalModeTag) Source #

Evaluation mode with unified Bool type.

Associated Types

type GetBool mode = bool | bool -> mode Source #

Get a unified Boolean type. Resolves to Bool in Con mode, and SymBool in Sym mode.

Instances

Instances details
UnifiedBool 'Con Source # 
Instance details

Defined in Grisette.Unified.Internal.UnifiedBool

Associated Types

type GetBool 'Con = (bool :: Type) Source #

UnifiedBool 'Sym Source # 
Instance details

Defined in Grisette.Unified.Internal.UnifiedBool

Associated Types

type GetBool 'Sym = (bool :: Type) Source #