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.

Exact lookup

1. 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

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

3. 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

4. module GHC.Types.Fixity

   Fixity

5. data Fixity

   ghc	GHC.Types.Fixity

   No documentation available.

6. Fixity :: SourceText -> Int -> FixityDirection -> Fixity

   ghc	GHC.Types.Fixity

   No documentation available.

7. data FixityDirection

   ghc	GHC.Types.Fixity

   No documentation available.

8. Infix :: LexicalFixity

   ghc	GHC.Types.Fixity

   No documentation available.

9. InfixL :: FixityDirection

   ghc	GHC.Types.Fixity

   No documentation available.

10. InfixN :: FixityDirection

    ghc	GHC.Types.Fixity

    No documentation available.

Page 86 of many | Previous | Next