Agda.Compiler.MAlonzo.Pragmas
data HaskellPragma
parsePragma
parseHaskellPragma
getHaskellPragma
sanityCheckPragma
getHaskellConstructor
foreignHaskell
data KindOfForeignCode
classifyForeign
classifyPragma
partitionByKindOfForeignCode