Hoogle Search
Within LTS Haskell 24.36 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
lookupOccRn_maybe :: RdrName -> RnM (Maybe GlobalRdrElt)ghc GHC.Rename.Env No documentation available.
lookupSameOccRn_maybe :: RdrName -> RnM (Maybe Name)ghc GHC.Rename.Env No documentation available.
-
ghc GHC.Rename.HsType No documentation available.
mapMaybeFvRn :: (a -> RnM (b, FreeVars)) -> Maybe a -> RnM (Maybe b, FreeVars)ghc GHC.Rename.Utils No documentation available.
stgArgRep_maybe :: StgArg -> Maybe [PrimRep]ghc GHC.Stg.Syntax No documentation available.
getCgInfo_maybe :: Name -> FCode (Maybe CgIdInfo)ghc GHC.StgToCmm.Env Retrieve cg info for a name if it already exists.
tcInferAppHead_maybe :: HsExpr GhcRn -> TcM (Maybe (HsExpr GhcTc, TcSigmaType))ghc GHC.Tc.Gen.Head No documentation available.
completeSigPolyId_maybe :: TcSigInfo -> Maybe TcIdghc GHC.Tc.Gen.Sig No documentation available.
lookupThName_maybe :: Name -> TcM (Maybe Name)ghc GHC.Tc.Gen.Splice No documentation available.
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