Hoogle Search

Within LTS Haskell 24.61 (ghc-9.10.3)

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

  1. lookupVarEnv' :: HasCallStack => VarEnv a -> Var b -> a

    clash-lib Clash.Core.VarEnv

    Lookup a value based on the variable Errors out when the variable is not present

  2. lookupVarEnvDirectly :: Unique -> VarEnv a -> Maybe a

    clash-lib Clash.Core.VarEnv

    Lookup a value based on the unique of a variable

  3. lookupFreshCache# :: FreshCache -> Identifier -> Maybe Word

    clash-lib Clash.Netlist.Id.Internal

    Return identifier with highest extension for given identifier. See is_freshCache for more information. For example, if the FreshCache contains "foo_12_25" and the given identifier is "foo_12_13" this function would return "Just 25". In this case, "foo_12_26" is guaranteed to be a fresh identifier.

  4. lookupUsage :: Identifier -> UsageMap -> Maybe Usage

    clash-lib Clash.Netlist.Types

    No documentation available.

  5. lookupComparison :: String -> TypeRep -> [Expr] -> Maybe Expr

    code-conjure Conjure.Engine

    O(n). Lookups for a comparison function (:: a -> a -> Bool) with the given name and argument type.

  6. lookupName :: [Expr] -> Expr -> String

    code-conjure Conjure.Engine

    O(n+m). Like name but lifted over an instance list and an Expr.

    > lookupName preludeNameInstances (val False)
    "p"
    
    > lookupName preludeNameInstances (val (0::Int))
    "x"
    
    This function defaults to "x" when no appropriate name is found.
    > lookupName [] (val False)
    "x"
    

  7. lookupNames :: [Expr] -> Expr -> [String]

    code-conjure Conjure.Engine

    O(n+m). A mix between lookupName and names: this returns an infinite list of names based on an instances list and an Expr.

  8. lookupComparison :: String -> TypeRep -> [Expr] -> Maybe Expr

    code-conjure Conjure.Expr

    O(n). Lookups for a comparison function (:: a -> a -> Bool) with the given name and argument type.

  9. lookupName :: [Expr] -> Expr -> String

    code-conjure Conjure.Expr

    O(n+m). Like name but lifted over an instance list and an Expr.

    > lookupName preludeNameInstances (val False)
    "p"
    
    > lookupName preludeNameInstances (val (0::Int))
    "x"
    
    This function defaults to "x" when no appropriate name is found.
    > lookupName [] (val False)
    "x"
    

  10. lookupNames :: [Expr] -> Expr -> [String]

    code-conjure Conjure.Expr

    O(n+m). A mix between lookupName and names: this returns an infinite list of names based on an instances list and an Expr.

Page 128 of many | Previous | Next