Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
lookupLooseDef :: forall (m :: Type -> Type) . GVal m -> GVal m -> GVal m -> GVal mginger Text.Ginger.GVal Like lookupLoose, but fall back to the given default value if the key is not in the dictionary, or if the indexee is not a dictionary-like object.
lookupException :: String -> Exceptions -> Maybe [Int]hyphenation Text.Hyphenation.Exception Try to find a matching hyphenation exception.
lookupPattern :: String -> Patterns -> [Int]hyphenation Text.Hyphenation.Pattern Tallies the hyphenation scores for a word considering all tails.
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"
lookupValue :: Text -> Text -> Ini -> Either String Textini Data.Ini Lookup one value in the config. Example:
>>> parseIni "[SERVER]\nport: 6667\nhostname: localhost" >>= lookupValue "SERVER" "hostname" Right "localhost"
lookup' :: KeySpec -> KVITable v -> Maybe vkvitable 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.
lookupCMap :: (?callStack :: CallStack) => CMap a -> SubcId -> aliquid-fixpoint Language.Fixpoint.Graph.Types CMap API -------------------------------------------------------------
lookupLocalRewrites :: BindId -> LocalRewritesEnv -> Maybe LocalRewritesliquid-fixpoint Language.Fixpoint.Types.Constraints No documentation available.
lookupRewrite :: Symbol -> LocalRewrites -> Maybe Exprliquid-fixpoint Language.Fixpoint.Types.Constraints No documentation available.
lookupBindEnv :: BindId -> BindEnv a -> (Symbol, SortedReft, a)liquid-fixpoint Language.Fixpoint.Types.Environments No documentation available.