Hoogle Search
Within LTS Haskell 24.36 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tcLookupDataFamInst_maybe :: FamInstEnvs -> TyCon -> [TcType] -> Maybe (TyCon, [TcType], Coercion)ghc GHC.Tc.Instance.Family Converts a data family type (eg F [a]) to its representation type (eg FList a) and returns a coercion between the two: co :: F [a] ~R FList a.
-
ghc GHC.Tc.Instance.Family tcTopNormaliseNewTypeTF_maybe gets rid of top-level newtypes, potentially looking through newtype instances and type synonyms. It is only used by the type inference engine (specifically, when solving representational equality), and hence it is careful to unwrap only if the relevant data constructor is in scope. That's why it gets a GlobalRdrEnv argument. It is careful not to unwrap data/newtype instances nor synonyms if it can't continue unwrapping. Such care is necessary for proper error messages. It does not look through type families. It does not normalise arguments to a tycon. If the result is Just ((gres, co), rep_ty), then co : ty ~R rep_ty gres are the GREs for the data constructors that had to be in scope
isFilledMetaTyVar_maybe :: TcTyVar -> TcS (Maybe Type)ghc GHC.Tc.Solver.Monad No documentation available.
completeSigPolyId_maybe :: TcSigInfo -> Maybe TcIdghc GHC.Tc.Types No documentation available.
tcTyThingTyCon_maybe :: TcTyThing -> Maybe TyConghc GHC.Tc.Types completeSigPolyId_maybe :: TcSigInfo -> Maybe TcIdghc GHC.Tc.Types.BasicTypes No documentation available.
tcTyThingTyCon_maybe :: TcTyThing -> Maybe TyConghc GHC.Tc.Types.BasicTypes canEqLHS_maybe :: Xi -> Maybe CanEqLHSghc GHC.Tc.Types.Constraint Is a type a canonical LHS? That is, is it a tyvar or an exactly-saturated type family application? Does not look through type synonyms.
canTyFamEqLHS_maybe :: Xi -> Maybe CanEqLHSghc GHC.Tc.Types.Constraint No documentation available.
ctLocTypeOrKind_maybe :: CtLoc -> Maybe TypeOrKindghc GHC.Tc.Types.Constraint No documentation available.