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. idxCacheEval :: forall m t f (tp :: BaseType) . MonadIO m => IdxCache t f -> Expr t tp -> m (f tp) -> m (f tp)

    what4 What4.Expr.Builder

    Implements a cached evaluated using the given element. Given an element this function returns the value of the element if bound, and otherwise calls the evaluation function, stores the result in the cache, and returns the value.

  2. idxCacheEval' :: forall m t f (tp :: BaseType) . MonadIO m => IdxCache t f -> Nonce t tp -> m (f tp) -> m (f tp)

    what4 What4.Expr.Builder

    Implements a cached evaluated using the given element. Given an element this function returns the value of the element if bound, and otherwise calls the evaluation function, stores the result in the cache, and returns the value.

  3. identDoc :: Identifier -> Doc ()

    what4 What4.Protocol.VerilogWriter.ABCVerilog

    No documentation available.

  4. ident :: Text -> SExpr

    what4 What4.Serialize.Printer

    Lift an unquoted identifier.

  5. ident :: Text -> SExpr

    what4 What4.Serialize.SETokens

    Lift an unquoted identifier.

  6. ident' :: String -> SExpr

    what4 What4.Serialize.SETokens

    No documentation available.

  7. identityListProduct :: forall (lt :: [Type]) . ListType Identity lt -> ListProduct lt

    witness Data.Type.Witness.Specific.List.Product

    No documentation available.

  8. idHook :: Monoid m => m

    xmonad XMonad.ManageHook

    The identity hook that returns the WindowSet unchanged.

  9. identifier :: LexAction Token

    Agda Agda.Syntax.Parser.LexActions

    Parse an identifier. Identifiers can be qualified (see Name). Example: Foo.Bar.f

  10. idempotent :: (?cutoff :: CutOff) => CallMatrixAug cinfo -> Bool

    Agda Agda.Termination.Termination

    A call c is idempotent if it is an endo (source == target) of order 1. (Endo-calls of higher orders are e.g. argument permutations). We can test idempotency by self-composition. Self-composition c >*< c should not make any parameter-argument relation worse.

Page 307 of many | Previous | Next