| 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 {}
- 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 | |
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 | |
| Eq SourcePosOption Source # | |
Defined in Djot.Options Methods (==) :: SourcePosOption -> SourcePosOption -> Bool Source # (/=) :: SourcePosOption -> SourcePosOption -> Bool Source # | |
| Ord SourcePosOption Source # | |
Defined in Djot.Options Methods compare :: SourcePosOption -> SourcePosOption -> Ordering Source # (<) :: SourcePosOption -> SourcePosOption -> Bool Source # (<=) :: SourcePosOption -> SourcePosOption -> Bool Source # (>) :: SourcePosOption -> SourcePosOption -> Bool Source # (>=) :: SourcePosOption -> SourcePosOption -> Bool Source # max :: SourcePosOption -> SourcePosOption -> SourcePosOption Source # min :: SourcePosOption -> SourcePosOption -> SourcePosOption Source # | |
newtype RenderOptions Source #
Constructors
| RenderOptions | |
Fields
| |
Instances
| Show RenderOptions Source # | |
Defined in Djot.Options | |
module Djot.AST