Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Agda.Compiler.UHC.Bridge
Description
Exports the UHC API, and provides dummy definitions if the backend is disabled.
Documentation
putSerializeFile :: FilePath -> a -> IO () #
unserialize :: Get x #
mkUndefined :: EHCOpts -> CExpr #
mkBind1Nm1 :: HsName -> CBind #
mkPatRestEmpty :: CPatRest #
mkMetaData :: HsName -> [CDataCon] -> CDeclMeta #
mkMetaDataConFromCTag :: CTag -> Maybe CDataCon #
printModule :: EHCOpts -> CModule -> PP_Doc #