Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

  1. getVarsToBind :: ScopeM LocalVars

    Agda Agda.Syntax.Scope.Monad

    No documentation available.

  2. intersectVars :: Elims -> Elims -> Maybe [Bool]

    Agda Agda.TypeChecking.Conversion

    intersectVars us vs checks whether all relevant elements in us and vs are variables, and if yes, returns a prune list which says True for arguments which are different and can be pruned.

  3. data SplitPatVar

    Agda Agda.TypeChecking.Coverage.Match

    For each variable in the patterns of a split clause, we remember the de Bruijn-index and the literals excluded by previous matches.

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

    Agda Agda.TypeChecking.Coverage.Match

    No documentation available.

  5. splitPatVarIndex :: SplitPatVar -> Int

    Agda Agda.TypeChecking.Coverage.Match

    No documentation available.

  6. splitPatVarName :: SplitPatVar -> PatVarName

    Agda Agda.TypeChecking.Coverage.Match

    No documentation available.

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

    Agda Agda.TypeChecking.Free

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

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

    Agda Agda.TypeChecking.Free

    Collect all relevant free variables, possibly ignoring sorts.

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

    Agda Agda.TypeChecking.Monad.Base

    the meta is what we might be blocked on.

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

    Agda Agda.TypeChecking.Monad.Base

    Failed to apply injectivity to constructor of indexed datatype

Page 53 of many | Previous | Next