| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Djot
Synopsis
- parseDoc :: ParseOptions -> ByteString -> Either String Doc
- renderHtml :: RenderOptions -> Doc -> Builder
- renderDjot :: RenderOptions -> Doc -> Doc Text
- toIdentifier :: ByteString -> ByteString
- newtype ParseOptions = ParseOptions {}
- data SourcePosOption
- newtype RenderOptions = RenderOptions {
- preserveSoftBreaks :: Bool
- module Djot.AST
Documentation
parseDoc :: ParseOptions -> ByteString -> Either String Doc Source #
renderHtml :: RenderOptions -> Doc -> Builder Source #
renderDjot :: RenderOptions -> Doc -> Doc Text Source #
toIdentifier :: ByteString -> ByteString Source #
newtype ParseOptions Source #
Constructors
| ParseOptions | |
Fields
| |
Instances
| Show ParseOptions Source # | |
Defined in Djot.Options Methods showsPrec :: Int -> ParseOptions -> ShowS show :: ParseOptions -> String showList :: [ParseOptions] -> ShowS | |
data SourcePosOption Source #
Adding source positions for blocks adds almost no overhead to parsing. Adding source positions for inlines has a small penalty. For many purposes it is enough to have source lines for blocks, so we offer the option.
Constructors
| NoSourcePos | |
| BlockSourcePos | |
| AllSourcePos |
Instances
| Show SourcePosOption Source # | |
Defined in Djot.Options Methods showsPrec :: Int -> SourcePosOption -> ShowS show :: SourcePosOption -> String showList :: [SourcePosOption] -> ShowS | |
| Eq SourcePosOption Source # | |
Defined in Djot.Options Methods (==) :: SourcePosOption -> SourcePosOption -> Bool (/=) :: SourcePosOption -> SourcePosOption -> Bool | |
| Ord SourcePosOption Source # | |
Defined in Djot.Options Methods compare :: SourcePosOption -> SourcePosOption -> Ordering (<) :: SourcePosOption -> SourcePosOption -> Bool (<=) :: SourcePosOption -> SourcePosOption -> Bool (>) :: SourcePosOption -> SourcePosOption -> Bool (>=) :: SourcePosOption -> SourcePosOption -> Bool max :: SourcePosOption -> SourcePosOption -> SourcePosOption min :: SourcePosOption -> SourcePosOption -> SourcePosOption | |
newtype RenderOptions Source #
Constructors
| RenderOptions | |
Fields
| |
Instances
| Show RenderOptions Source # | |
Defined in Djot.Options Methods showsPrec :: Int -> RenderOptions -> ShowS show :: RenderOptions -> String showList :: [RenderOptions] -> ShowS | |
module Djot.AST