Hoogle Search

Within LTS Haskell 24.42 (ghc-9.10.3)

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

Exact lookup

1. allBlockingMetas :: Blocker -> Set MetaId

   Agda	Agda.Syntax.Internal.Blockers

   No documentation available.

2. allBlockingProblems :: Blocker -> Set ProblemId

   Agda	Agda.Syntax.Internal.Blockers

   No documentation available.

3. allApplyElims :: [Elim' a] -> Maybe [Arg a]

   Agda	Agda.Syntax.Internal.Elim

   Drop Apply constructors. (Safe)

4. allProjElims :: [Elim' t] -> Maybe [(ProjOrigin, QName)]

   Agda	Agda.Syntax.Internal.Elim

   Drop Proj constructors. (Safe)

5. allMetas :: (AllMetas t, Monoid m) => (MetaId -> m) -> t -> m

   Agda	Agda.Syntax.Internal.MetaVars

   No documentation available.

6. allMetas' :: (TermLike a, Monoid m) => (MetaId -> m) -> a -> m

   Agda	Agda.Syntax.Internal.MetaVars

   No documentation available.

7. allMetasList :: AllMetas a => a -> [MetaId]

   Agda	Agda.Syntax.Internal.MetaVars

   Returns allMetas in a list. allMetasList = allMetas (:[]). Note: this resulting list is computed via difference lists. Thus, use this function if you actually need the whole list of metas. Otherwise, use allMetas with a suitable monoid.

8. allKindsOfNames :: KindsOfNames

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

9. allNameSpaces :: [NameSpaceId]

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

10. allNamesInScope :: InScope a => Scope -> ThingsInScope a

    Agda	Agda.Syntax.Scope.Base

    Return all names in a scope.

Page 124 of many | Previous | Next