Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
PathAbstractionFailed :: Abs Type -> TypeErrorAgda Agda.TypeChecking.Monad.Base No documentation available.
PatternErr :: Blocker -> TCErrAgda Agda.TypeChecking.Monad.Base The exception which is usually caught. Raised for pattern violations during unification (assignV) but also in other situations where we want to backtrack. Contains an unblocker to control when the computation should be retried.
PatternInPathLambda :: TypeErrorAgda Agda.TypeChecking.Monad.Base Attempt to pattern match in an abstraction of interval type.
-
Agda Agda.TypeChecking.Monad.Base Attempt to pattern or copattern match in a system. Data errors
PatternLambdas :: NotAllowedInDotPatternsAgda Agda.TypeChecking.Monad.Base No documentation available.
PatternShadowsConstructor :: Name -> QName -> WarningAgda Agda.TypeChecking.Monad.Base A pattern variable has the name of a constructor (data constructor or matchable record constructor).
-
Agda Agda.TypeChecking.Monad.Base A variable to be bound in the pattern synonym resolved on the rhs as name of a constructor or a pattern synonym. The resolvents are given in the list.
-
Agda Agda.TypeChecking.Monad.Base No documentation available.
-
Agda Agda.TypeChecking.Monad.Base A part of the state which is not reverted when an error is thrown or the state is reset.
-
Agda Agda.TypeChecking.Monad.Base No documentation available.