Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. Positive :: Polarity

   what4	What4.Expr.VarIdentification

   No documentation available.

2. type Pred sym = SymExpr sym BaseBoolType

   what4	What4.Interface

   Symbolic boolean values, AKA predicates.

3. module What4.Panic

   No documentation available.

4. data Panic a

   what4	What4.Panic

   The exception thrown when panicing.

5. module What4.Partial

   Often, various operations on values are only partially defined (in the case of Crucible expressions, consider loading a value from a pointer - this is only defined in the case that the pointer is valid and non-null). The PartExpr type allows for packaging values together with predicates that express their partiality: the value is only valid if the predicate is true.

6. pattern PE :: p -> v -> PartExpr p v

   what4	What4.Partial

   No documentation available.

7. type PartExpr p v = PartialWithErr () p v

   what4	What4.Partial

   A PartExpr is a PartialWithErr that provides no information about what went wrong. Its name is historic.

8. data Partial p v

   what4	What4.Partial

   A partial value represents a value that may or may not be valid. The _partialPred field represents a predicate (optionally with additional provenance information) embodying the value's partiality.

9. Partial :: p -> v -> Partial p v

   what4	What4.Partial

   No documentation available.

10. newtype PartialT sym (m :: Type -> Type) a

    what4	What4.Partial

    A monad transformer which enables symbolic partial computations to run by maintaining a predicate on the value.

Page 1090 of many | Previous | Next