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.

Exact lookup

1. lookupArray :: Text -> Text -> Ini -> Either String [Text]

   ini	Data.Ini

   Lookup one value in the config. Example:

   >>> parseIni "[SERVER]\nport: 6667\nhostname: localhost" >>= lookupValue "SERVER" "hostname"
   Right "localhost"
   

2. lookupValue :: Text -> Text -> Ini -> Either String Text

   ini	Data.Ini

   Lookup one value in the config. Example:

   >>> parseIni "[SERVER]\nport: 6667\nhostname: localhost" >>= lookupValue "SERVER" "hostname"
   Right "localhost"
   

3. lookup' :: KeySpec -> KVITable v -> Maybe v

   kvitable	Data.KVITable

   Like lookup, but assumes a normalized key (all key elements specified, and in the proper order). Faster than lookup, but will return false negatives if not used with a normalized key.

4. lookupCMap :: (?callStack :: CallStack) => CMap a -> SubcId -> a

   liquid-fixpoint	Language.Fixpoint.Graph.Types

   CMap API -------------------------------------------------------------

5. lookupLocalRewrites :: BindId -> LocalRewritesEnv -> Maybe LocalRewrites

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

6. lookupRewrite :: Symbol -> LocalRewrites -> Maybe Expr

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

7. lookupBindEnv :: BindId -> BindEnv a -> (Symbol, SortedReft, a)

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

8. lookupSEnv :: Symbol -> SEnv a -> Maybe a

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

9. lookupSEnvWithDistance :: Symbol -> SEnv a -> SESearch a

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

10. lookupQBind :: Sol a QBind -> KVar -> QBind

    liquid-fixpoint	Language.Fixpoint.Types.Solutions

    Read / Write Solution at KVar ---------------------------------------------

Page 115 of many | Previous | Next