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

Description

 
Synopsis

Documentation

type BasicGrisetteType t = (AllSyms t, Eq t, EvalSym t, ExtractSym t, PPrint t, Hashable t, Lift t, Mergeable t, NFData t, SymEq t, Show t, SymOrd t, SubstSym t) Source #

A type that is used as a constraint for all the types in Grisette.

type ConSymConversion conType symType t = (ToCon t conType, ToSym conType t, ToCon symType t, ToSym t symType) Source #

A type that is used as a constraint for all the types in Grisette that can be converted between concrete and symbolic types.