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.

Exact lookup

1. insertLookupWithKeyPrecondition :: (Ord k, Eq v, Eq (Tag v), HasTag v) => (k -> v -> v -> v) -> k -> v -> BiMap k v -> Bool

   Agda	Agda.Utils.BiMap

   The precondition for insertLookupWithKey f k v m is that, if the value v' is inserted into m, and tag v' is defined, then no key other than k may map to a value v'' for which tag v'' = tag v'.

2. invLookup :: Ord (Tag v) => Tag v -> BiMap k v -> Maybe k

   Agda	Agda.Utils.BiMap

   Inverse lookup. O(log n).

3. sigLookup :: IsFun a => a -> CF -> Maybe (WithPosition Type)

   BNFC	BNFC.CF

   Get the type of a rule label.

4. deriveTypeScriptLookupType :: Name -> String -> Q [Dec]

   aeson-typescript	Data.Aeson.TypeScript.TH

   Generates a TypeScript declaration for a closed type family as a lookup type.

5. newtype HsFieldLookup

   beam-migrate	Database.Beam.Haskell.Syntax

   No documentation available.

6. HsFieldLookup :: (Text -> Maybe (Text, Type ())) -> HsFieldLookup

   beam-migrate	Database.Beam.Haskell.Syntax

   No documentation available.

7. hsFieldLookup :: HsFieldLookup -> Text -> Maybe (Text, Type ())

   beam-migrate	Database.Beam.Haskell.Syntax

   No documentation available.

8. data AlloyLookupFailed

   call-alloy	Language.Alloy.Exceptions

   A lookup within an AlloyInstance failed.

9. heapLookup :: IdScope -> Id -> Machine -> Maybe Term

   clash-lib	Clash.Core.Evaluator.Types

   No documentation available.

10. primLookup :: Int -> Machine -> Maybe Term

    clash-lib	Clash.Core.Evaluator.Types

    No documentation available.

Page 218 of many | Previous | Next