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.

Exact lookup

1. hscMaybeWriteIface :: Logger -> DynFlags -> Bool -> ModIface -> Maybe Fingerprint -> ModLocation -> IO ()

   ghc	GHC.Driver.Main

   Write interface files

2. ioMsgMaybe :: IO (Messages GhcMessage, Maybe a) -> Hsc a

   ghc	GHC.Driver.Main

   Deal with errors and warnings returned by a compilation step In order to reduce dependencies to other parts of the compiler, functions outside the "main" parts of GHC return warnings and errors as a parameter and signal success via by wrapping the result in a Maybe type. This function logs the returned warnings and propagates errors as exceptions (of type SourceError). This function assumes the following invariants:

   1. If the second result indicates success (is of the form 'Just x'), there must be no error messages in the first result.
   2. If there are no error messages, but the second result indicates failure there should be warnings in the first result. That is, if the action failed, it must have been due to the warnings (i.e., -Werror).

3. annProvenanceName_maybe :: UnXRec p => AnnProvenance p -> Maybe (IdP p)

   ghc	GHC.Hs.Decls

   No documentation available.

4. getRecConArgs_maybe :: ConDecl GhcRn -> Maybe (LocatedL [LConDeclField GhcRn])

   ghc	GHC.Hs.Decls

   Return Just fields if a data constructor declaration uses record syntax (i.e., RecCon), where fields are the field selectors. Otherwise, return Nothing.

5. pprMaybeWithDoc :: Maybe (LHsDoc name) -> SDoc -> SDoc

   ghc	GHC.Hs.Doc

   See pprWithHsDoc

6. tupArgPresent_maybe :: forall (p :: Pass) . HsTupArg (GhcPass p) -> Maybe (LHsExpr (GhcPass p))

   ghc	GHC.Hs.Expr

   No documentation available.

7. tupArgsPresent_maybe :: forall (p :: Pass) . [HsTupArg (GhcPass p)] -> Maybe [LHsExpr (GhcPass p)]

   ghc	GHC.Hs.Expr

   No documentation available.

8. fromMaybeContext :: forall (p :: Pass) . Maybe (LHsContext (GhcPass p)) -> HsContext (GhcPass p)

   ghc	GHC.Hs.Type

   No documentation available.

9. getLHsInstDeclClass_maybe :: forall (p :: Pass) . Anno (IdGhcP p) ~ SrcSpanAnnN => LHsSigType (GhcPass p) -> Maybe (LocatedN (IdP (GhcPass p)))

   ghc	GHC.Hs.Type

   Decompose a type class instance type (of the form forall tvs. context => instance_head) into the instance_head and retrieve the underlying class type constructor (if it exists).

10. hsTyGetAppHead_maybe :: forall (p :: Pass) . Anno (IdGhcP p) ~ SrcSpanAnnN => LHsType (GhcPass p) -> Maybe (LocatedN (IdP (GhcPass p)))

    ghc	GHC.Hs.Type

    Retrieve the name of the "head" of a nested type application. This is somewhat like GHC.Tc.Gen.HsType.splitHsAppTys, but a little more thorough. The purpose of this function is to examine instance heads, so it doesn't handle *all* cases (like lists, tuples, (~), etc.).

Page 131 of many | Previous | Next