Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

Exact lookup

1. lookupVar :: BindingMonad t v m => v -> m (Maybe (UTerm t v))

   unification-fd	Control.Unification

   Given a variable pointing to UTerm t v, return the term it's bound to, or Nothing if the variable is unbound.

2. lookupRankVar :: RankedBindingMonad t v m => v -> m (Rank t v)

   unification-fd	Control.Unification.Types

   Given a variable pointing to UTerm t v, return its rank and the term it's bound to.

3. lookupVar :: BindingMonad t v m => v -> m (Maybe (UTerm t v))

   unification-fd	Control.Unification.Types

   Given a variable pointing to UTerm t v, return the term it's bound to, or Nothing if the variable is unbound.

4. lookupFlattened :: Union a -> Node -> (Node, a)

   union-find-array	Data.Union

   Version of lookup that assumes the forest to be flattened. (cf. flatten.) Do not use otherwise: It will give wrong results!

5. lookupProject :: ProjectName -> X (Maybe Project)

   xmonad-contrib	XMonad.Actions.DynamicProjects

   Find a project based on its name.

6. data LookupRes a

   unordered-containers	Data.HashMap.Internal

   No documentation available.

7. data LookupResult

   wai-app-static	WaiAppStatic.Types

   Result of looking up a file in some storage backend. The lookup is either a file or folder, or does not exist.

8. data LookupSym0 (a1 :: TyFun a [(a, b)] ~> Maybe b)

   singletons-base	Data.List.Singletons

   No documentation available.

9. data LookupSym1 (a6989586621679827053 :: a) (b1 :: TyFun [(a, b)] Maybe b)

   singletons-base	Data.List.Singletons

   No documentation available.

10. type family LookupSym2 (a6989586621679827053 :: a) (a6989586621679827054 :: [(a, b)]) :: Maybe b

    singletons-base	Data.List.Singletons

    No documentation available.

Page 130 of many | Previous | Next