Hoogle Search
Within LTS Haskell 24.28 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data
BoolMap (f :: BaseType -> Type)what4 What4.Expr.BoolMap This data structure keeps track of a collection of expressions together with their polarities. Such a collection might represent either a conjunction or a disjunction of expressions. The implementation uses a map from expression values to their polarities, and thus automatically implements the associative, commutative and idempotency laws common to both conjunctions and disjunctions. Moreover, if the same expression occurs in the collection with opposite polarities, the entire collection collapses via a resolution step to an "inconsistent" map. For conjunctions this corresponds to a contradiction and represents false; for disjunction, this corresponds to the law of the excluded middle and represents true.
BoolMapDualUnit :: BoolMapView (f :: BaseType -> Type)what4 What4.Expr.BoolMap An inconsistent bool map, represents the dual of the operation unit
BoolMapTerms :: NonEmpty (f BaseBoolType, Polarity) -> BoolMapView (f :: BaseType -> Type)what4 What4.Expr.BoolMap The terms appearing in the bool map, of which there is at least one
BoolMapUnit :: BoolMapView (f :: BaseType -> Type)what4 What4.Expr.BoolMap A bool map with no expressions, represents the unit of the corresponding operation
data
BoolMapView (f :: BaseType -> Type)what4 What4.Expr.BoolMap Represents the state of a bool map
BoolExpr :: forall t . !Bool -> !ProgramLoc -> Expr t 'BaseBoolTypewhat4 What4.Expr.Builder No documentation available.
type
BoolExpr t = Expr t BaseBoolTypewhat4 What4.Expr.Builder No documentation available.
-
what4 What4.Expr.MATLAB No documentation available.
BoolTypeMap :: TypeMap 'BaseBoolTypewhat4 What4.Protocol.SMTWriter No documentation available.
BoolLit :: Bool -> Exp 'BaseBoolTypewhat4 What4.Protocol.VerilogWriter.AST No documentation available.