Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. stgArgRep_maybe :: StgArg -> Maybe [PrimRep]

   ghc	GHC.Stg.Syntax

   No documentation available.

2. getCgInfo_maybe :: Name -> FCode (Maybe CgIdInfo)

   ghc	GHC.StgToCmm.Env

   Retrieve cg info for a name if it already exists.

3. tcInferAppHead_maybe :: HsExpr GhcRn -> TcM (Maybe (HsExpr GhcTc, TcSigmaType))

   ghc	GHC.Tc.Gen.Head

   No documentation available.

4. completeSigPolyId_maybe :: TcSigInfo -> Maybe TcId

   ghc	GHC.Tc.Gen.Sig

   No documentation available.

5. lookupThName_maybe :: Name -> TcM (Maybe Name)

   ghc	GHC.Tc.Gen.Splice

   No documentation available.

6. tcInstNewTyCon_maybe :: TyCon -> [TcType] -> Maybe (TcType, TcCoercion)

   ghc	GHC.Tc.Instance.Family

   If co :: T ts ~ rep_ty then:

   instNewTyCon_maybe T ts = Just (rep_ty, co)
   

   Checks for a newtype, and for being saturated Just like Coercion.instNewTyCon_maybe, but returns a TcCoercion

7. tcLookupDataFamInst_maybe :: FamInstEnvs -> TyCon -> [TcType] -> Maybe (TyCon, [TcType], Coercion)

   ghc	GHC.Tc.Instance.Family

   Converts a data family type (eg F [a]) to its representation type (eg FList a) and returns a coercion between the two: co :: F [a] ~R FList a.

8. tcTopNormaliseNewTypeTF_maybe :: FamInstEnvs -> GlobalRdrEnv -> Type -> Maybe ((Bag GlobalRdrElt, TcCoercion), Type)

   ghc	GHC.Tc.Instance.Family

   tcTopNormaliseNewTypeTF_maybe gets rid of top-level newtypes, potentially looking through newtype instances and type synonyms. It is only used by the type inference engine (specifically, when solving representational equality), and hence it is careful to unwrap only if the relevant data constructor is in scope. That's why it gets a GlobalRdrEnv argument. It is careful not to unwrap data/newtype instances nor synonyms if it can't continue unwrapping. Such care is necessary for proper error messages. It does not look through type families. It does not normalise arguments to a tycon. If the result is Just ((gres, co), rep_ty), then co : ty ~R rep_ty gres are the GREs for the data constructors that had to be in scope

9. isFilledMetaTyVar_maybe :: TcTyVar -> TcS (Maybe Type)

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

10. completeSigPolyId_maybe :: TcSigInfo -> Maybe TcId

    ghc	GHC.Tc.Types

    No documentation available.

Page 141 of many | Previous | Next