ModuleAgda-2.8.0.2Haskell2010
Agda.Compiler.MAlonzo.Pragmas
- 4 types
- 9 values
- PackageAgda-2.8.0.2
- Exports13
- LanguageHaskell2010
- LicenceMIT
- SourcePragmas.hs
GHC backend translation pragmas.
Constructors
HsDefn Range HaskellCodeHsType Range HaskellTypeHsData Range HaskellType [HaskellCode]@COMPILE GHC X = data D (c₁ | ... | cₙ)
HsExport Range HaskellCodeCOMPILE GHC x as f
Instances4Eq, Show, Pretty, HasRange
Eq HaskellPragmaDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.PragmasShow HaskellPragmaDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.PragmasPretty HaskellPragmaDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.PragmasHasRange HaskellPragmaDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pragmas
Retrieve and parse a COMPILE GHC pragma stored for a name.
Check whether the parsed COMPILE GHC pragma matches the kind of identifier it attaches to.
Get content of FOREIGN GHC pragmas, sorted by KindOfForeignCode:
file header pragmas, import statements, rest.
Classify FOREIGN Haskell code.
Constructors
ForeignFileHeaderPragmaA pragma that must appear before the module header.
ForeignImportAn import statement. Must appear right after the module header.
ForeignOtherThe rest. To appear after the import statements.
Classify a FOREIGN GHC declaration.
Classify a Haskell pragma into whether it is a file header pragma or not.
Partition a list by KindOfForeignCode attribute.