Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. allModalPolarities :: [ModalPolarity]

   Agda	Agda.Syntax.Common

   No documentation available.

2. allBlockingDefs :: Blocker -> Set QName

   Agda	Agda.Syntax.Internal.Blockers

   No documentation available.

3. allBlockingMetas :: Blocker -> Set MetaId

   Agda	Agda.Syntax.Internal.Blockers

   No documentation available.

4. allBlockingProblems :: Blocker -> Set ProblemId

   Agda	Agda.Syntax.Internal.Blockers

   No documentation available.

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

   Agda	Agda.Syntax.Internal.Elim

   Drop Apply constructors. (Safe)

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

   Agda	Agda.Syntax.Internal.Elim

   Drop Proj constructors. (Safe)

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

   Agda	Agda.Syntax.Internal.MetaVars

   No documentation available.

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

   Agda	Agda.Syntax.Internal.MetaVars

   No documentation available.

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

10. allKindsOfNames :: KindsOfNames

    Agda	Agda.Syntax.Scope.Base

    No documentation available.

Page 124 of many | Previous | Next