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.

  1. allNameSpaces :: [NameSpaceId]

    Agda Agda.Syntax.Scope.Base

    No documentation available.

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

    Agda Agda.Syntax.Scope.Base

    Return all names in a scope.

  3. allNamesInScope' :: InScope a => Scope -> ThingsInScope (a, Access)

    Agda Agda.Syntax.Scope.Base

    No documentation available.

  4. allThingsInScope :: Scope -> NameSpace

    Agda Agda.Syntax.Scope.Base

    No documentation available.

  5. allFreeVars :: Free t => t -> VarSet

    Agda Agda.TypeChecking.Free

    Collect all free variables.

  6. allRelevantVars :: Free t => t -> VarSet

    Agda Agda.TypeChecking.Free

    Collect all relevant free variables, excluding the "unused" ones.

  7. allRelevantVarsIgnoring :: Free t => IgnoreSorts -> t -> VarSet

    Agda Agda.TypeChecking.Free

    Collect all relevant free variables, possibly ignoring sorts.

  8. allVars :: VarMap -> VarSet

    Agda Agda.TypeChecking.Free

    No documentation available.

  9. allIrrelevantOrPropTel :: (PureTCM m, MonadBlock m) => Telescope -> m Bool

    Agda Agda.TypeChecking.Irrelevance

    No documentation available.

  10. allowedVars :: OccursM (Nat -> Bool)

    Agda Agda.TypeChecking.MetaVars.Occurs

    Construct a test whether a de Bruijn index is allowed or needs to be pruned.

Page 125 of many | Previous | Next