Safe Haskell | None |
---|---|
Language | Haskell2010 |
- renderAgdaSnippets :: CommandLineOptions -> CSSClass -> URI -> FilePath -> IO String
- type CSSClass = String
- data CommandLineOptions :: * = Options {
- optProgramName :: String
- optInputFile :: Maybe FilePath
- optIncludePaths :: [FilePath]
- optAbsoluteIncludePaths :: [AbsolutePath]
- optLibraries :: [LibName]
- optOverrideLibrariesFile :: Maybe FilePath
- optDefaultLibs :: Bool
- optUseLibs :: Bool
- optShowVersion :: Bool
- optShowHelp :: Bool
- optInteractive :: Bool
- optGHCiInteraction :: Bool
- optCompileNoMain :: Bool
- optGhcCompile :: Bool
- optGhcCallGhc :: Bool
- optGhcFlags :: [String]
- optEpicCompile :: Bool
- optJSCompile :: Bool
- optUHCCompile :: Bool
- optUHCBin :: Maybe FilePath
- optUHCTextualCore :: Bool
- optUHCCallUHC :: Bool
- optUHCTraceLevel :: Int
- optUHCFlags :: [String]
- optOptimSmashing :: Bool
- optCompileDir :: Maybe FilePath
- optGenerateVimFile :: Bool
- optGenerateLaTeX :: Bool
- optGenerateHTML :: Bool
- optDependencyGraph :: Maybe FilePath
- optLaTeXDir :: FilePath
- optHTMLDir :: FilePath
- optCSSFile :: Maybe FilePath
- optIgnoreInterfaces :: Bool
- optForcing :: Bool
- optPragmaOptions :: PragmaOptions
- optEpicFlags :: [String]
- optSafe :: Bool
- optSharing :: Bool
- optCaching :: Bool
- defaultOptions :: CommandLineOptions
Documentation
:: CommandLineOptions | Agda Command line options |
-> CSSClass | CSS Class name |
-> URI | URI where other Agda HTML listings are found (for library links etc) |
-> FilePath | File name of literate agda file |
-> IO String | Returns the file contents as a string, where each code block has been rendered to HTML. |
Render a literate Agda module's code snippets to HTML.
data CommandLineOptions :: * #