Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. splitPatVarName :: SplitPatVar -> PatVarName

   Agda	Agda.TypeChecking.Coverage.Match

   No documentation available.

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

   Agda	Agda.TypeChecking.Free

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

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

   Agda	Agda.TypeChecking.Free

   Collect all relevant free variables, possibly ignoring sorts.

4. SortOfSplitVarError :: Maybe Blocker -> Doc -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   the meta is what we might be blocked on.

5. UnifyIndicesNotVars :: Telescope -> Type -> Term -> Term -> Args -> UnificationFailure

   Agda	Agda.TypeChecking.Monad.Base

   Failed to apply injectivity to constructor of indexed datatype

6. primAgdaPatVar :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m Term

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

7. contextVars :: Context -> [(Int, Dom Name)]

   Agda	Agda.TypeChecking.Monad.Context

   No documentation available.

8. contextVars' :: Context -> [(Int, Dom Name)]

   Agda	Agda.TypeChecking.Monad.Context

   No documentation available.

9. getContextVars :: MonadTCEnv m => m [(Int, Dom Name)]

   Agda	Agda.TypeChecking.Monad.Context

   No documentation available.

10. getContextVars' :: MonadTCEnv m => m [(Int, Dom Name)]

    Agda	Agda.TypeChecking.Monad.Context

    No documentation available.

Page 54 of many | Previous | Next