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

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

   Agda	Agda.TypeChecking.Free.Lazy

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Context

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Context

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Context

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

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

7. lookupInteractionMeta :: ReadTCState m => InteractionId -> m (Maybe MetaId)

   Agda	Agda.TypeChecking.Monad.MetaVars

   Check whether an interaction id is already associated with a meta variable.

8. lookupInteractionMeta_ :: InteractionId -> InteractionPoints -> Maybe MetaId

   Agda	Agda.TypeChecking.Monad.MetaVars

   No documentation available.

9. lookupInteractionPoint :: (ReadTCState m, MonadError TCErr m, MonadTCEnv m) => InteractionId -> m InteractionPoint

   Agda	Agda.TypeChecking.Monad.MetaVars

   Get the information associated to an interaction point.

10. lookupLocalMeta :: (HasCallStack, MonadDebug m, ReadTCState m) => MetaId -> m MetaVariable

    Agda	Agda.TypeChecking.Monad.MetaVars

    Find information about the given local meta-variable.

Page 120 of many | Previous | Next