| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hakyll.Contrib.Agda
- literateAgdaCompiler :: CommandLineOptions -> FileType -> URI -> Compiler (Item String)
- literateAgdaCompilerWith :: CommandLineOptions -> FileType -> URI -> ReaderOptions -> WriterOptions -> Compiler (Item String)
- literateAgdaCompilerWithTransform :: CommandLineOptions -> FileType -> URI -> ReaderOptions -> WriterOptions -> (Item Pandoc -> Item Pandoc) -> Compiler (Item String)
- literateAgdaCompilerWithTransformM :: CommandLineOptions -> FileType -> URI -> ReaderOptions -> WriterOptions -> (Item Pandoc -> Compiler (Item Pandoc)) -> Compiler (Item String)
- defaultFileType :: FileType -> (Item a -> Compiler (Item b)) -> Item a -> Compiler (Item b)
- readLiterateAgda :: CommandLineOptions -> URI -> Item String -> Compiler (Item 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
Literate Agda Compilers
Arguments
| :: CommandLineOptions | Agda command line options |
| -> FileType | Format to use when reading other, non-Agda blocks. |
| -> URI | Base URI where external libraries can be found. |
| -> Compiler (Item String) |
Compile a literate Agda document with the given Agda command line options, text block format type, and library uri for hyperlinks.
literateAgdaCompilerWith Source #
Arguments
| :: CommandLineOptions | Agda command line options |
| -> FileType | Format to use when reading other, non-Agda blocks. |
| -> URI | Base URI where external libraries can be found. |
| -> ReaderOptions | Pandoc reader options |
| -> WriterOptions | Pandoc writer options |
| -> Compiler (Item String) |
Like literateAgdaCompiler, but Pandoc options can be specified.
literateAgdaCompilerWithTransform Source #
Arguments
| :: CommandLineOptions | Agda command line options |
| -> FileType | Format to use when reading other, non-Agda blocks. |
| -> URI | Base URI where external libraries can be found. |
| -> ReaderOptions | Pandoc reader options |
| -> WriterOptions | Pandoc writer options |
| -> (Item Pandoc -> Item Pandoc) | Transformation to run |
| -> Compiler (Item String) |
Like literateAgdaCompilerWith, but an arbitrary transformation of the Pandoc
document can be added.
literateAgdaCompilerWithTransformM Source #
Arguments
| :: CommandLineOptions | Agda command line options |
| -> FileType | Format to use when reading other, non-Agda blocks. |
| -> URI | Base URI where external libraries can be found. |
| -> ReaderOptions | Pandoc reader options |
| -> WriterOptions | Pandoc writer options |
| -> (Item Pandoc -> Compiler (Item Pandoc)) | Transformation to run |
| -> Compiler (Item String) |
Like literateAgdaCompilerWithTransform, but the transformation given is monadic.
Building Blocks
Arguments
| :: FileType | File type to default to |
| -> (Item a -> Compiler (Item b)) | Pipeline function to run |
| -> Item a | |
| -> Compiler (Item b) |
Run a function that might be part of your compiler pipeline, except that if the
text format type cannot be detected from the extension (e.g, if it's a lagda file),
the specified file type will be used instead of Binary.
Arguments
| :: CommandLineOptions | Agda command line options |
| -> URI | Base URI where external libraries can be found. |
| -> Item String | |
| -> Compiler (Item String) |
Read a literate Agda document using the given options, producing a string with literate Agda snippets replaced with HTML, but everything else untouched.
Command line options
data CommandLineOptions :: * #
Constructors
Instances