Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. sym_evaluate :: forall m r p (n :: Nat) . (Applicative m, Monad m) => (Integer -> m r) -> (p -> r -> r -> m r) -> UnaryBV p n -> m r

   what4	What4.Expr.UnaryBV

   Evaluate a unary bitvector given an evaluation function. This function is used to convert a unary bitvector into some other representation such as a binary bitvector or vector of bits. It is polymorphic over the result type r, and requires functions for manipulating values of type r to construct it.

2. tryEvaluate :: Exception e => a -> Either e a

   witch	Witch.Instances

   No documentation available.

3. cevaluate :: Conjurable f => Int -> Defn -> Maybe f

   code-conjure	Conjure.Conjurable

   Evaluates a Defn into a regular Haskell value returning Nothing when there's a type mismatch. The integer argument indicates the limit of recursive evaluations.

4. conjureEvaluate :: Conjurable a => (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe a

   code-conjure	Conjure.Conjurable

   No documentation available.

5. devaluate :: Typeable a => (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe a

   code-conjure	Conjure.Defn

   Evaluates an Expr expression into Just a regular Haskell value using a Defn definition when it is found. If there's a type-mismatch, this function returns Nothing. This function requires a Expr-deep-reencoding function and a limit to the number of recursive evaluations. (cf. toDynamicWithDefn, deval, devl)

6. mayNotEvaluateArgument :: Expr -> Bool

   code-conjure	Conjure.Expr

   Checks if the given functional expression may refrain from evaluating its next argument.

   > mayNotEvaluateArgument (plus :$ xx)
   False
   

   > mayNotEvaluateArgument (andE :$ pp)
   True
   

   This returns false for non-funcional value even if it involves an application which may not evaluate its argument.

   > mayNotEvaluateArgument (andE :$ pp :$ qq)
   False
   

   This currently works by checking if the function is an if, && or ||.

7. revaluate :: Typeable a => (Expr, Expr) -> Int -> Expr -> Maybe a

   code-conjure	Conjure.Expr

   Evaluates an Expr to a regular Haskell value using the given recursive definition and maximum number of recursive calls. If there's a type mismatch, this function returns Nothing. (cf. evaluate, devaluate)

8. contextEvaluate :: (HasCallStack, MonadIO m, IsContext a) => a -> Text -> Int64 -> m Value

   gi-javascriptcore6	GI.JavaScriptCore.Objects.Context

   Evaluate code in context.

9. contextEvaluateInObject :: (HasCallStack, MonadIO m, IsContext a, IsClass b) => a -> Text -> Int64 -> Ptr () -> Maybe b -> Text -> Word32 -> m (Value, Value)

   gi-javascriptcore6	GI.JavaScriptCore.Objects.Context

   Evaluate code and create an new object where symbols defined in code will be added as properties, instead of being added to context global object. The new object is returned as object parameter. Similar to how valueNewObject works, if objectInstance is not Nothing objectClass must be provided too. The lineNumber is the starting line number in uri; the value is one-based so the first line is 1. uri and lineNumber will be shown in exceptions and they don't affect the behavior of the script.

10. contextEvaluateWithSourceUri :: (HasCallStack, MonadIO m, IsContext a) => a -> Text -> Int64 -> Text -> Word32 -> m Value

    gi-javascriptcore6	GI.JavaScriptCore.Objects.Context

    Evaluate code in context using uri as the source URI. The lineNumber is the starting line number in uri; the value is one-based so the first line is 1. uri and lineNumber will be shown in exceptions and they don't affect the behavior of the script.

Page 13 of many | Previous | Next