ModuleAgda-2.7.0.1Haskell2010
Agda.Compiler.MAlonzo.Pragmas
- 4 types
- 9 values
- PackageAgda-2.7.0.1
- 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.7.0.1 · Agda.Compiler.MAlonzo.PragmasShow HaskellPragmaDefined in Agda-2.7.0.1 · Agda.Compiler.MAlonzo.PragmasPretty HaskellPragmaDefined in Agda-2.7.0.1 · Agda.Compiler.MAlonzo.PragmasHasRange HaskellPragmaDefined in Agda-2.7.0.1 · Agda.Compiler.MAlonzo.Pragmas
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.