Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. TraceStep :: (Text, Text) -> UnpickleError -> UnpickleError

   xml-picklers	Data.XML.Pickle

   No documentation available.

2. completionStep :: (?cutoff :: CutOff, Monoid cinfo) => CallGraph cinfo -> CallGraph cinfo -> (CallGraph cinfo, CallGraph cinfo)

   Agda	Agda.Termination.CallGraph

   No documentation available.

3. unfoldDefinitionStep :: Term -> QName -> Elims -> ReduceM (Reduced (Blocked Term) Term)

   Agda	Agda.TypeChecking.Reduce

   No documentation available.

4. badStep :: NoLeftInv -> UnifyStep

   Agda	Agda.TypeChecking.Rules.LHS.Unify

   No documentation available.

5. badStep :: NoLeftInv -> UnifyStep

   Agda	Agda.TypeChecking.Rules.LHS.Unify

   No documentation available.

6. badStep :: NoLeftInv -> UnifyStep

   Agda	Agda.TypeChecking.Rules.LHS.Unify.LeftInverse

   No documentation available.

7. badStep :: NoLeftInv -> UnifyStep

   Agda	Agda.TypeChecking.Rules.LHS.Unify.LeftInverse

   No documentation available.

8. explainStep :: MonadPretty m => UnifyStep -> m Doc

   Agda	Agda.TypeChecking.Rules.LHS.Unify.LeftInverse

   No documentation available.

9. UnificationStep :: UnifyState -> UnifyStep -> UnifyOutput -> UnifyLogEntry

   Agda	Agda.TypeChecking.Rules.LHS.Unify.Types

   No documentation available.

10. data UnifyStep

    Agda	Agda.TypeChecking.Rules.LHS.Unify.Types

    No documentation available.

Page 75 of many | Previous | Next