Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tcg_fix_env :: TcGblEnv -> FixityEnvghc GHC.Tc.Types Just for things in this module
-
ghc GHC.Tc.Types.Origin The context in which a representation-polymorphism check was performed. Does not include the type on which the check was performed; see FixedRuntimeRepOrigin for that.
-
ghc GHC.Tc.Types.Origin The context for a representation-polymorphism check. For example, when typechecking (a :: k) -> ..., we are checking the type a because it's the type of a term variable bound in a lambda, so we use FRRBinder.
FixedRuntimeRepOrigin :: Type -> FixedRuntimeRepContext -> FixedRuntimeRepOriginghc GHC.Tc.Types.Origin No documentation available.
pprFixedRuntimeRepContext :: FixedRuntimeRepContext -> SDocghc GHC.Tc.Types.Origin Print the context for a FixedRuntimeRep representation-polymorphism check. Note that this function does not include the specific RuntimeRep which is not fixed. That information is stored in FixedRuntimeRepOrigin and is reported separately.
-
ghc GHC.Tc.Utils.Concrete Given a type ty :: ki, this function ensures that ty has a fixed RuntimeRep, by emitting a new equality constraint ki ~ concrete_tv for a concrete metavariable concrete_tv. Returns a coercion co :: ty ~# concrete_ty as evidence. If ty obviously has a fixed RuntimeRep, e.g ki = IntRep, then this function immediately returns MRefl, without emitting any constraints.
hasFixedRuntimeRep_syntactic :: HasDebugCallStack => FixedRuntimeRepContext -> TcType -> TcM ()ghc GHC.Tc.Utils.Concrete Like hasFixedRuntimeRep, but we perform an eager syntactic check. Throws an error in the TcM monad if the check fails. This is useful if we are not actually going to use the coercion returned from hasFixedRuntimeRep; it would generally be unsound to allow a non-reflexive coercion but not actually make use of it in a cast. The goal is to eliminate all uses of this function and replace them with hasFixedRuntimeRep, making use of the returned coercion. This is what is meant by going from PHASE 1 to PHASE 2, in Note [The Concrete mechanism].
extendFixityEnv :: [(Name, FixItem)] -> RnM a -> RnM aghc GHC.Tc.Utils.Monad No documentation available.
fixSafeInstances :: SafeHaskellMode -> [ClsInst] -> [ClsInst]ghc GHC.Tc.Utils.Monad Switch instances to safe instances if we're in Safe mode.
getFixityEnv :: TcRn FixityEnvghc GHC.Tc.Utils.Monad No documentation available.