Agda.Compiler.MAlonzo.Pragmas

data HaskellPragma

parsePragma

parseHaskellPragma

getHaskellPragma

sanityCheckPragma

getHaskellConstructor

foreignHaskell

data KindOfForeignCode

classifyForeign

classifyPragma

partitionByKindOfForeignCode