Hoogle Search
Within LTS Haskell 24.63 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tidyTypes :: TidyEnv -> [Type] -> [Type]ghc GHC.Core.TyCo.Tidy Tidy a list of Types See Note [Strictness in tidyType and friends]
tidyVarBndr :: TidyEnv -> TyCoVar -> (TidyEnv, TyCoVar)ghc GHC.Core.TyCo.Tidy No documentation available.
tidyVarBndrs :: TidyEnv -> [TyCoVar] -> (TidyEnv, [TyCoVar])ghc GHC.Core.TyCo.Tidy This tidies up a type for printing in an error message, or in an interface file. It doesn't change the uniques at all, just the print names.
-
ghc GHC.Core.TyCon No documentation available.
-
ghc GHC.Core.TyCon No documentation available.
isValidDTT2TyCon :: TyCon -> Boolghc GHC.Core.TyCon Returns True if a boxed type headed by the given TyCon satisfies condition DTT2 of Note [DataToTag overview] in GHC.Tc.Instance.Class
tyConStupidTheta :: TyCon -> [PredType]ghc GHC.Core.TyCon Find the "stupid theta" of the TyCon. A "stupid theta" is the context to the left of an algebraic type declaration, e.g. Eq a in the declaration data Eq a => T a .... See Note [The stupid context] in GHC.Core.DataCon.
isValidJoinPointType :: JoinArity -> Type -> Boolghc GHC.Core.Type Determine whether a type could be the type of a join point of given total arity, according to the polymorphism rule. A join point cannot be polymorphic in its return type, since given join j a b x y z = e1 in e2, the types of e1 and e2 must be the same, and a and b are not in scope for e2. (See Note [The polymorphism rule of join points] in GHC.Core.) Returns False also if the type simply doesn't have enough arguments. Note that we need to know how many arguments (type *and* value) the putative join point takes; for instance, if j :: forall a. a -> Int then j could be a binary join point returning an Int, but it could *not* be a unary join point returning a -> Int. TODO: See Note [Excess polymorphism and join points]
tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)ghc GHC.Core.Type No documentation available.
tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])ghc GHC.Core.Type No documentation available.