Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

  1. splitPatVarIndex :: SplitPatVar -> Int

    Agda Agda.TypeChecking.Coverage.Match

    No documentation available.

  2. splitPatVarName :: SplitPatVar -> PatVarName

    Agda Agda.TypeChecking.Coverage.Match

    No documentation available.

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

    Agda Agda.TypeChecking.Free

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

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

    Agda Agda.TypeChecking.Free

    Collect all relevant free variables, possibly ignoring sorts.

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

    Agda Agda.TypeChecking.Monad.Base

    the meta is what we might be blocked on.

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

    Agda Agda.TypeChecking.Monad.Base

    Failed to apply injectivity to constructor of indexed datatype

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

    Agda Agda.TypeChecking.Monad.Builtin

    No documentation available.

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

    Agda Agda.TypeChecking.Monad.Context

    No documentation available.

  9. contextVars' :: Context -> [(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