Hoogle Search

Within LTS Haskell 24.12 (ghc-9.10.3)

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

Exact lookup

1. 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.

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

   Agda	Agda.Syntax.Internal.Defs

   No documentation available.

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

   Agda	Agda.Syntax.Scope.Monad

   Apply a ImportedNameMap.

4. 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.

5. lookupUnifyDT :: (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 wildcards.

6. lookupVarMap :: Variable -> VarMap' a -> Maybe (VarOcc' a)

   Agda	Agda.TypeChecking.Free.Lazy

   No documentation available.

7. lookupBV :: (MonadDebug m, MonadTCEnv m) => Nat -> m ContextEntry

   Agda	Agda.TypeChecking.Monad.Context

   No documentation available.

8. lookupBV' :: MonadTCEnv m => Nat -> m (Maybe ContextEntry)

   Agda	Agda.TypeChecking.Monad.Context

   No documentation available.

9. lookupBV_ :: Nat -> Context -> Maybe ContextEntry

   Agda	Agda.TypeChecking.Monad.Context

   get type of bound variable (i.e. deBruijn index)

10. lookupInteractionId :: (ReadTCState m, MonadError TCErr m, MonadTCEnv m) => InteractionId -> m MetaId

    Agda	Agda.TypeChecking.Monad.MetaVars

    Get MetaId for an interaction point. Precondition: interaction point is connected.

Page 118 of many | Previous | Next