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

Description

Synopsis

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)
type ConSymConversion conType symType t = (ToCon t conType, ToSym conType t, ToCon symType t, ToSym t symType)

Documentation

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.