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. patSynIsInfix :: PatSyn -> Bool

   ghc	GHC.Core.PatSyn

   Should the PatSyn be presented infix?

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

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

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

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

6. typeHasFixedRuntimeRep :: HasDebugCallStack => Type -> Bool

   ghc	GHC.Core.Type

   Returns True if a type has a syntactically fixed runtime rep, as per Note [Fixed RuntimeRep] in GHC.Tc.Utils.Concrete. This function is equivalent to `isFixedRuntimeRepKind . typeKind` but much faster. Precondition: The type has kind (TYPE blah)

7. unfoldingReportPrefix :: UnfoldingOpts -> !Maybe String

   ghc	GHC.Core.Unfold

   Only report inlining decisions for names with this prefix

8. updateReportPrefix :: Maybe String -> UnfoldingOpts -> UnfoldingOpts

   ghc	GHC.Core.Unfold

   No documentation available.

9. ruleMatchTyKiX :: TyCoVarSet -> RnEnv2 -> TvSubstEnv -> Type -> Type -> Maybe TvSubstEnv

   ghc	GHC.Core.Unify

   This one is called from the expression matcher, which already has a MatchEnv in hand

10. fixM :: (a -> IOEnv env a) -> IOEnv env a

    ghc	GHC.Data.IOEnv

    No documentation available.

Page 70 of many | Previous | Next