Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. SplitPatVar :: PatVarName -> Int -> [Literal] -> SplitPatVar

   Agda	Agda.TypeChecking.Coverage.Match

   No documentation available.

2. splitPatVarIndex :: SplitPatVar -> Int

   Agda	Agda.TypeChecking.Coverage.Match

   No documentation available.

3. splitPatVarName :: SplitPatVar -> PatVarName

   Agda	Agda.TypeChecking.Coverage.Match

   No documentation available.

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. SortOfSplitVarError :: Maybe Blocker -> Doc -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   the meta is what we might be blocked on.

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

   Agda	Agda.TypeChecking.Monad.Base

   Failed to apply injectivity to constructor of indexed datatype

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

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Context

   No documentation available.

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

    Agda	Agda.TypeChecking.Monad.Context

    No documentation available.

Page 54 of many | Previous | Next