Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

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

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

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

   Agda	Agda.TypeChecking.Free.Lazy

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Context

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Context

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Context

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

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

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

   Agda	Agda.TypeChecking.Monad.MetaVars

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

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

   Agda	Agda.TypeChecking.Monad.MetaVars

   No documentation available.

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

    Agda	Agda.TypeChecking.Monad.MetaVars

    Get the information associated to an interaction point.

Page 119 of many | Previous | Next