Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. mapMaybeFvRn :: (a -> RnM (b, FreeVars)) -> Maybe a -> RnM (Maybe b, FreeVars)

   ghc-lib	GHC.Rename.Utils

   No documentation available.

2. mkStgRhsCon_maybe :: MkStgRhs -> Maybe StgRhs

   ghc-lib	GHC.Stg.Make

   Try to make a non top-level StgRhsCon if appropriate

3. mkTopStgRhsCon_maybe :: (DataCon -> [StgArg] -> Bool) -> MkStgRhs -> Maybe StgRhs

   ghc-lib	GHC.Stg.Make

   Try to make a top-level StgRhsCon if appropriate

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

   ghc-lib	GHC.StgToCmm.Env

   Retrieve cg info for a name if it already exists.

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

   ghc-lib	GHC.Tc.Gen.Head

   No documentation available.

6. completeSigPolyId_maybe :: TcSigInfo -> Maybe TcId

   ghc-lib	GHC.Tc.Gen.Sig

   No documentation available.

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

   ghc-lib	GHC.Tc.Gen.Splice

   No documentation available.

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

   ghc-lib	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

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

   ghc-lib	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.

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

    ghc-lib	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

Page 301 of many | Previous | Next