The text of the comments in a module's header: the run of blank
space, comments, pragmas and lines starting with # before anything
else. Pragmas and # lines are skipped, not returned, and the header
ends at the first other token, usually module.
Modulewerrorwolf-plugin-0.2.0.0GHC2024
Werrorwolf.Generated
Whether a module's source says it was generated by a tool.
Synopsis
- value headerComments
- value generatedHeader
- value markers
- Packagewerrorwolf-plugin-0.2.0.0
- Exports3
- LanguageGHC2024
- LicenceMIT
- SourceGenerated.hs
Whether a module's source has a header comment holding one of the markers, ignoring case.
The phrases that mark a module as generated, in lower case. A header comment marks the module when, in lower case, it contains one of them.