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.
data
PatersonCondFailureContext ghc-lib-parser 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-lib-parser 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-lib-parser 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-lib-parser GHC.Tc.Utils.TcType No documentation available.
-
ghc-lib-parser 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" Phase :: PhaseNum -> CompilerPhaseghc-lib-parser GHC.Types.Basic No documentation available.
-
ghc-lib-parser GHC.Types.Basic Phase Number
-
ghc-lib-parser GHC.Types.Basic A general-purpose pretty-printing precedence type.
-
ghc-lib-parser GHC.Types.Basic No documentation available.
PromotedDataConFlavour :: TyConFlavour tcghc-lib-parser GHC.Types.Basic No documentation available.