Safe Haskell | None |
---|---|
Language | Haskell2010 |
Defines UHC Core functions used in other parts of Agda.
E.g. parsing Core pragmas uses the parseCoreCode
function.
- module Agda.Compiler.UHC.Pragmas.Base
- parseCoreExpr :: String -> Either String CoreExpr
- coreExprToCExpr :: CoreExpr -> Either String CExpr
- parseCoreData :: MonadTCM m => String -> m CoreType
- parseCoreConstrs :: MonadTCM m => CoreType -> [String] -> m [CoreConstr]
Documentation
parseCoreData :: MonadTCM m => String -> m CoreType Source #
Parse a COMPILED_DATA_UHC specification.
parseCoreConstrs :: MonadTCM m => CoreType -> [String] -> m [CoreConstr] Source #