Constructors
ParseOptionssourcePositions :: SourcePosOptionAdd attributes for source lines
Instances1Show
Show ParseOptionsDefined in djot-0.1.4.3 · Djot.Options
Moduledjot-0.1.4.3Haskell2010
Djot.Options
Synopsis
- newtype ParseOptions
- newtype RenderOptions
- data SourcePosOption
- Packagedjot-0.1.4.3
- Exports3
- LanguageHaskell2010
- LicenceMIT
- SourceOptions.hs
Constructors
RenderOptionspreserveSoftBreaks :: BoolPreserve soft breaks as in the source
Instances1Show
Show RenderOptionsDefined in djot-0.1.4.3 · Djot.Options
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.
Instances3Eq, Ord, Show
Eq SourcePosOptionDefined in djot-0.1.4.3 · Djot.OptionsOrd SourcePosOptionDefined in djot-0.1.4.3 · Djot.OptionsShow SourcePosOptionDefined in djot-0.1.4.3 · Djot.Options