Hoogle Search

Within LTS Haskell 24.24 (ghc-9.10.3)

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

Exact lookup

1. llvmFixupAsm :: Platform -> FilePath -> FilePath -> IO ()

   ghc	GHC.CmmToLlvm

   Read in assembly file and process

2. llvmFixupAsm :: Platform -> FilePath -> FilePath -> IO ()

   ghc	GHC.CmmToLlvm.Mangler

   Read in assembly file and process

3. conLikeIsInfix :: ConLike -> Bool

   ghc	GHC.Core.ConLike

   No documentation available.

4. dataConIsInfix :: DataCon -> Bool

   ghc	GHC.Core.DataCon

   Should the DataCon be presented infix?

5. lf_check_fixed_rep :: LintFlags -> Bool

   ghc	GHC.Core.Lint

   No documentation available.

6. patSynIsInfix :: PatSyn -> Bool

   ghc	GHC.Core.PatSyn

   Should the PatSyn be presented infix?

7. data_fixed_lev :: AlgTyConRhs -> Bool

   ghc	GHC.Core.TyCon

   True if the data type constructor has a known, fixed levity when fully applied to its arguments, False otherwise. This can only be False with UnliftedDatatypes, e.g.

   data A :: TYPE (BoxedRep l) where { MkA :: Int -> A }
   

   This boolean is cached to make it cheaper to check for levity and representation-polymorphism in tcHasFixedRuntimeRep.

8. nt_fixed_rep :: AlgTyConRhs -> Bool

   ghc	GHC.Core.TyCon

   True if the newtype has a known, fixed representation when fully applied to its arguments, False otherwise. This can only ever be False with UnliftedNewtypes. Example:

   newtype N (a :: TYPE r) = MkN a
   

   Invariant: nt_fixed_rep nt = tcHasFixedRuntimeRep (nt_rhs nt) This boolean is cached to make it cheaper to check if a variable binding is representation-polymorphic in tcHasFixedRuntimeRep.

9. tcHasFixedRuntimeRep :: TyCon -> Bool

   ghc	GHC.Core.TyCon

   Does this TyCon have a syntactically fixed RuntimeRep when fully applied, as per Note [Fixed RuntimeRep] in GHC.Tc.Utils.Concrete? False is safe. True means we're sure. Does only a quick check, based on the TyCon's category. See Note [Representation-polymorphic TyCons]

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

    ghc	GHC.Core.Type

    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`

Page 70 of many | Previous | Next