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

Grisette.IR.SymPrim.Data.Prim.PartialEval.Bool

Description

 

Documentation

trueTerm :: Term Bool Source #

falseTerm :: Term Bool Source #

pattern BoolConTerm :: Bool -> Term a Source #

pattern TrueTerm :: Term a Source #

pattern FalseTerm :: Term a Source #

pattern BoolTerm :: Term Bool -> Term a Source #

pevalNotTerm :: Term Bool -> Term Bool Source #

pevalEqvTerm :: forall a. SupportedPrim a => Term a -> Term a -> Term Bool Source #

pevalNotEqvTerm :: SupportedPrim a => Term a -> Term a -> Term Bool Source #

pevalOrTerm :: Term Bool -> Term Bool -> Term Bool Source #

pevalAndTerm :: Term Bool -> Term Bool -> Term Bool Source #

pevalITETerm :: forall a. SupportedPrim a => Term Bool -> Term a -> Term a -> Term a Source #

pevalImplyTerm :: Term Bool -> Term Bool -> Term Bool Source #

pevalXorTerm :: Term Bool -> Term Bool -> Term Bool Source #