Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. hasFixedRuntimeRep :: HasDebugCallStack => FixedRuntimeRepContext -> TcType -> TcM (TcCoercionN, TcTypeFRR)

   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.

2. 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].

3. extendFixityEnv :: [(Name, FixItem)] -> RnM a -> RnM a

   ghc	GHC.Tc.Utils.Monad

   No documentation available.

4. fixSafeInstances :: SafeHaskellMode -> [ClsInst] -> [ClsInst]

   ghc	GHC.Tc.Utils.Monad

   Switch instances to safe instances if we're in Safe mode.

5. getFixityEnv :: TcRn FixityEnv

   ghc	GHC.Tc.Utils.Monad

   No documentation available.

6. checkTypeHasFixedRuntimeRep :: FixedRuntimeRepProvenance -> Type -> TcM ()

   ghc	GHC.Tc.Utils.TcMType

   Check that the specified type has a fixed runtime representation. If it isn't, throw a representation-polymorphism error appropriate for the context (as specified by the FixedRuntimeRepProvenance). Unlike the other representation polymorphism checks, which can emit new Wanted constraints to be solved by the constraint solver, this function does not emit any constraints: it has enough information to immediately make a decision. See (1) in Note [Representation polymorphism checking] in GHC.Tc.Utils.Concrete

7. isFixedRuntimeRepKind :: HasDebugCallStack => Kind -> Bool

   ghc	GHC.Tc.Utils.TcType

   Checks that a kind of the form Type, Constraint or 'TYPE r is concrete. See isConcreteType. Precondition: The type has kind `TYPE blah` or `CONSTRAINT blah`

8. SuggestFixOrphanInst :: Maybe FamFlavor -> GhcHint

   ghc	GHC.Types.Error

   Suggests to move an orphan instance (for a typeclass or a type or data family), or to newtype-wrap it. Triggered by: TcRnOrphanInstance Test cases(s): warningsshould_compileT9178 typecheckshould_compileT4912 indexed-typesshould_compileT22717_fam_orph

9. module GHC.Types.Fixity

   Fixity

10. data Fixity

    ghc	GHC.Types.Fixity

    No documentation available.

Page 86 of many | Previous | Next