Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data
PatersonCondFailureContext ghc GHC.Tc.Utils.TcType Indicates whether a Paterson condition failure occurred in an instance declaration or a type family equation. Useful for differentiating context in error messages.
-
ghc GHC.Tc.Utils.TcType The Paterson size of a given type, in the sense of Note [Paterson conditions] in GHC.Tc.Validity
- after expanding synonyms,
- ignoring coercions (as they are not user written).
-
ghc GHC.Tc.Utils.TcType A PiTyBinder represents an argument to a function. PiTyBinders can be dependent (Named) or nondependent (Anon). They may also be visible or not. See Note [PiTyBinders]
-
ghc GHC.Tc.Utils.TcType No documentation available.
-
ghc GHC.Tc.Utils.TcType A type of the form p of constraint kind represents a value whose type is the Haskell predicate p, where a predicate is what occurs before the => in a Haskell type. We use PredType as documentation to mark those types that we guarantee to have this kind. It can be expanded into its representation, but:
- The type checker must treat it as opaque
- The rest of the compiler treats it as transparent
f :: (Eq a) => a -> Int g :: (?x :: Int -> Int) => a -> Int h :: (r\l) => {r} => {l::Int | r}Here the Eq a and ?x :: Int -> Int and rl are all called "predicates" PuFail :: CheckTyEqResult -> PuResult a bghc GHC.Tc.Utils.Unify No documentation available.
PuOK :: Bag a -> b -> PuResult a bghc GHC.Tc.Utils.Unify No documentation available.
-
ghc GHC.Tc.Utils.Unify No documentation available.
-
ghc GHC.Tc.Validity No documentation available.
PatSynCtxt :: Name -> UserTypeCtxtghc GHC.Tc.Validity No documentation available.