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.

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

    Agda Agda.Syntax.Scope.Base

    No documentation available.

  2. allThingsInScope :: Scope -> NameSpace

    Agda Agda.Syntax.Scope.Base

    No documentation available.

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

    Agda Agda.TypeChecking.Free

    Collect all free variables.

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

    Agda Agda.TypeChecking.Free

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

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

    Agda Agda.TypeChecking.Free

    Collect all relevant free variables, possibly ignoring sorts.

  6. allVars :: VarMap -> VarSet

    Agda Agda.TypeChecking.Free

    No documentation available.

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

    Agda Agda.TypeChecking.Irrelevance

    No documentation available.

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

    Agda Agda.TypeChecking.MetaVars.Occurs

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

  9. allReductions :: AllowedReductions

    Agda Agda.TypeChecking.Monad.Base

    Not quite all reductions (skip non-terminating reductions)

  10. allowAllReductions :: MonadTCEnv m => m a -> m a

    Agda Agda.TypeChecking.Monad.Env

    Allow all reductions except for non-terminating functions (default).

Page 125 of many | Previous | Next