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.

  1. lookupLT :: Ord k => k -> LeqMap k p -> Maybe (k, p)

    what4 What4.Utils.LeqMap

    Find less than element that is less than key (if any).

  2. lookupWordMap :: forall sym (w :: Nat) (a :: BaseType) . IsExprBuilder sym => sym -> NatRepr w -> BaseTypeRepr a -> SymBV sym w -> WordMap sym w a -> IO (PartExpr (Pred sym) (SymExpr sym a))

    what4 What4.WordMap

    Lookup the value of an index in a word map.

  3. lookUpListElement :: forall k w (t :: k) (lt :: [k]) . TestEquality w => w t -> ListType w lt -> Maybe (ListElementType lt t)

    witness Data.Type.Witness.Specific.List.Element

    No documentation available.

  4. lookupColor :: Display -> Colormap -> String -> IO (Color, Color)

    xmonad XMonad

    interface to the X11 library function XLookupColor().

  5. lookupKeysym :: XKeyEventPtr -> CInt -> IO KeySym

    xmonad XMonad

    interface to the X11 library function XLookupKeysym().

  6. lookupString :: XKeyEventPtr -> IO (Maybe KeySym, String)

    xmonad XMonad

    interface to the X11 library function XLookupString().

  7. lookupWorkspace :: Eq s => s -> StackSet i l a s sd -> Maybe i

    xmonad XMonad.StackSet

    Find the tag of the workspace visible on Xinerama screen sc. Nothing if screen is out of bounds.

  8. lookupMeta :: GetDefsEnv b -> MetaId -> Maybe Term

    Agda Agda.Syntax.Internal.Defs

    No documentation available.

  9. lookupImportedName :: (Ord n1, Ord m1) => ImportedNameMap n1 n2 m1 m2 -> ImportedName' n1 m1 -> ImportedName' n2 m2

    Agda Agda.Syntax.Scope.Monad

    Apply a ImportedNameMap.

  10. lookupDT :: (Ord a, PrettyTCM a) => Term -> DiscrimTree a -> TCM (QueryResult a)

    Agda Agda.TypeChecking.DiscrimTree

    Look up a Term in the given discrimination tree, treating local variables as rigid symbols. The returned set is guaranteed to contain everything that could overlap the given key.

Page 119 of many | Previous | Next