Safe Haskell	Safe-Inferred
Language	Haskell2010

Djot.Options

Synopsis

newtype ParseOptions = ParseOptions {
- sourcePositions :: SourcePosOption
}
newtype RenderOptions = RenderOptions {
- preserveSoftBreaks :: Bool
}
data SourcePosOption
- = NoSourcePos
- | BlockSourcePos
- | AllSourcePos

Documentation

newtype ParseOptions Source #

Constructors

ParseOptions
Fields sourcePositions :: SourcePosOption Add attributes for source lines

Instances

Instances details

Show ParseOptions Source #
Instance details Defined in Djot.Options Methods showsPrec :: Int -> ParseOptions -> ShowS show :: ParseOptions -> String showList :: [ParseOptions] -> ShowS

newtype RenderOptions Source #

Constructors

RenderOptions
Fields preserveSoftBreaks :: Bool Preserve soft breaks as in the source

Instances

Instances details

Show RenderOptions Source #
Instance details Defined in Djot.Options Methods showsPrec :: Int -> RenderOptions -> ShowS show :: RenderOptions -> String showList :: [RenderOptions] -> 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

Instances details

Show SourcePosOption Source #
Instance details Defined in Djot.Options Methods showsPrec :: Int -> SourcePosOption -> ShowS show :: SourcePosOption -> String showList :: [SourcePosOption] -> ShowS
Eq SourcePosOption Source #
Instance details Defined in Djot.Options Methods (==) :: SourcePosOption -> SourcePosOption -> Bool (/=) :: SourcePosOption -> SourcePosOption -> Bool
Ord SourcePosOption Source #
Instance details 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