Agda.Compiler.MAlonzo.Pragmas

Documentation

data HaskellPragma

Constructors

HsDefn Range HaskellCode

HsType Range HaskellType

HsData Range HaskellType [HaskellCode]

HsExport Range HaskellCode

Instances

Eq HaskellPragma

Methods

(==) :: HaskellPragma -> HaskellPragma -> Bool

(/=) :: HaskellPragma -> HaskellPragma -> Bool

Show HaskellPragma

Methods

showsPrec :: Int -> HaskellPragma -> ShowS

show :: HaskellPragma -> String

showList :: [HaskellPragma] -> ShowS

HasRange HaskellPragma

Methods

getRange :: HaskellPragma -> Range

parsePragma :: CompilerPragma -> Either String HaskellPragma

parseHaskellPragma :: CompilerPragma -> TCM HaskellPragma

getHaskellPragma :: QName -> TCM (Maybe HaskellPragma)

sanityCheckPragma :: Definition -> Maybe HaskellPragma -> TCM ()

getHaskellConstructor :: QName -> TCM (Maybe HaskellCode)

isImport :: String -> Bool

foreignHaskell :: TCM [String]

inlineHaskell :: TCM [String]

haskellImports :: TCM [String]