Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

  1. data SymbolVarBimap t

    what4 What4.Expr.Builder

    A bijective map between vars and their canonical name for printing purposes. Parameter t is a phantom type brand used to track nonces.

  2. emptySymbolVarBimap :: SymbolVarBimap t

    what4 What4.Expr.Builder

    Empty symbol var bimap

  3. getSymbolVarBimap :: forall t (st :: Type -> Type) fs . ExprBuilder t st fs -> IO (SymbolVarBimap t)

    what4 What4.Expr.Builder

    Get current variable bindings.

  4. ArrayMapping :: (Assignment GroundValueWrapper idx -> IO (GroundValue b)) -> GroundArray (idx :: Ctx BaseType) (b :: BaseType)

    what4 What4.Expr.GroundEval

    Lookup function for querying by index

  5. type QuantifierInfoMap t = Map NonceAppExpr t BaseBoolType Some QuantifierInfo t

    what4 What4.Expr.VarIdentification

    No documentation available.

  6. arrayFromMap :: forall (idx :: Ctx BaseType) (itp :: BaseType) (tp :: BaseType) . IsExprBuilder sym => sym -> Assignment BaseTypeRepr (idx ::> itp) -> ArrayUpdateMap (SymExpr sym) (idx ::> itp) tp -> SymExpr sym tp -> IO (SymArray sym (idx ::> itp) tp)

    what4 What4.Interface

    Create an array from a map of concrete indices to values. This is implemented, but designed to be overridden for efficiency.

  7. arrayMap :: forall (ctx :: Ctx BaseType) (d :: BaseType) (r :: BaseType) (idx :: Ctx BaseType) (itp :: BaseType) . IsExprBuilder sym => sym -> SymFn sym (ctx ::> d) r -> Assignment (ArrayResultWrapper (SymExpr sym) (idx ::> itp)) (ctx ::> d) -> IO (SymArray sym (idx ::> itp) r)

    what4 What4.Interface

    Create an array by mapping a function over one or more existing arrays.

  8. BoolTypeMap :: TypeMap 'BaseBoolType

    what4 What4.Protocol.SMTWriter

    No documentation available.

  9. ComplexToArrayTypeMap :: TypeMap 'BaseComplexType

    what4 What4.Protocol.SMTWriter

    No documentation available.

  10. ComplexToStructTypeMap :: TypeMap 'BaseComplexType

    what4 What4.Protocol.SMTWriter

    No documentation available.

Page 1097 of many | Previous | Next