Moduledjot-0.1.2Haskell2010

Djot.AST

24 types
45 values

Packagedjot-0.1.2
Exports69
LanguageHaskell2010
LicenceMIT
SourceAST.hs

datadata Inline

Constructors

Str ByteString
Emph Inlines
Strong Inlines
Highlight Inlines
Insert Inlines
Delete Inlines
Superscript Inlines
Subscript Inlines
Verbatim ByteString
Symbol ByteString
Math MathStyle ByteString
Link Inlines Target
Image Inlines Target
Span Inlines
FootnoteReference ByteString
UrlLink ByteString
EmailLink ByteString
RawInline Format ByteString
NonBreakingSpace
Quoted QuoteType Inlines
SoftBreak
HardBreak

Instances13Eq, Data, Ord, Show, Generic, Semigroup, …

Eq InlineDefined in djot-0.1.2 · Djot.AST
Data InlineDefined in djot-0.1.2 · Djot.AST
Ord InlineDefined in djot-0.1.2 · Djot.AST
Show InlineDefined in djot-0.1.2 · Djot.AST
Generic InlineDefined in djot-0.1.2 · Djot.AST
Semigroup InlinesDefined in djot-0.1.2 · Djot.AST
Monoid InlinesDefined in djot-0.1.2 · Djot.AST
ToLayout InlinesDefined in djot-0.1.2 · Djot.Djot
ToBuilder InlinesDefined in djot-0.1.2 · Djot.Html
Lift InlineDefined in djot-0.1.2 · Djot.AST
ToLayout (Node Inline)Defined in djot-0.1.2 · Djot.Djot
ToBuilder (Node Inline)Defined in djot-0.1.2 · Djot.Html
type Rep Inline = D1 ('MetaData "Inline" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) ((((C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Emph" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))) :+: (C1 ('MetaCons "Strong" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Highlight" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: C1 ('MetaCons "Insert" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))))) :+: ((C1 ('MetaCons "Delete" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Superscript" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: C1 ('MetaCons "Subscript" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)))) :+: (C1 ('MetaCons "Verbatim" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: (C1 ('MetaCons "Symbol" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Math" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MathStyle) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))))) :+: (((C1 ('MetaCons "Link" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target)) :+: C1 ('MetaCons "Image" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target))) :+: (C1 ('MetaCons "Span" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "FootnoteReference" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "UrlLink" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))))) :+: ((C1 ('MetaCons "EmailLink" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: (C1 ('MetaCons "RawInline" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "NonBreakingSpace" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "Quoted" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 QuoteType) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "SoftBreak" 'PrefixI 'False) U1 :+: C1 ('MetaCons "HardBreak" 'PrefixI 'False) U1)))))Defined in djot-0.1.2 · Djot.AST

newtypenewtype Many a

Constructors

Many
- unMany :: Seq a

Instances18Functor, Foldable, Traversable, Semigroup, Monoid, ToLayout, …

Functor ManyDefined in djot-0.1.2 · Djot.AST
Foldable ManyDefined in djot-0.1.2 · Djot.AST
Traversable ManyDefined in djot-0.1.2 · Djot.AST
Semigroup BlocksDefined in djot-0.1.2 · Djot.AST
Semigroup InlinesDefined in djot-0.1.2 · Djot.AST
Monoid BlocksDefined in djot-0.1.2 · Djot.AST
Monoid InlinesDefined in djot-0.1.2 · Djot.AST
ToLayout BlocksDefined in djot-0.1.2 · Djot.Djot
ToLayout InlinesDefined in djot-0.1.2 · Djot.Djot
ToBuilder BlocksDefined in djot-0.1.2 · Djot.Html
ToBuilder InlinesDefined in djot-0.1.2 · Djot.Html
Lift a => Lift (Many a)Defined in djot-0.1.2 · Djot.AST
Eq a => Eq (Many a)Defined in djot-0.1.2 · Djot.AST
Data a => Data (Many a)Defined in djot-0.1.2 · Djot.AST
Ord a => Ord (Many a)Defined in djot-0.1.2 · Djot.AST
Show a => Show (Many a)Defined in djot-0.1.2 · Djot.AST
Generic (Many a)Defined in djot-0.1.2 · Djot.AST
type Rep (Many a) = D1 ('MetaData "Many" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'True) (C1 ('MetaCons "Many" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMany") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq a))))Defined in djot-0.1.2 · Djot.AST

typetype Inlines = Many (Node Inline)

datadata MathStyle

DisplayMath InlineMath

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq MathStyleDefined in djot-0.1.2 · Djot.AST
Data MathStyleDefined in djot-0.1.2 · Djot.AST
Ord MathStyleDefined in djot-0.1.2 · Djot.AST
Show MathStyleDefined in djot-0.1.2 · Djot.AST
Generic MathStyleDefined in djot-0.1.2 · Djot.AST
Lift MathStyleDefined in djot-0.1.2 · Djot.AST
type Rep MathStyle = D1 ('MetaData "MathStyle" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) U1 :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) U1)Defined in djot-0.1.2 · Djot.AST

newtypenewtype Format

Constructors

Format
- unFormat :: ByteString

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq FormatDefined in djot-0.1.2 · Djot.AST
Data FormatDefined in djot-0.1.2 · Djot.AST
Ord FormatDefined in djot-0.1.2 · Djot.AST
Show FormatDefined in djot-0.1.2 · Djot.AST
Generic FormatDefined in djot-0.1.2 · Djot.AST
Lift FormatDefined in djot-0.1.2 · Djot.AST
type Rep Format = D1 ('MetaData "Format" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'True) (C1 ('MetaCons "Format" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))Defined in djot-0.1.2 · Djot.AST

datadata Node a

Constructors

Node Pos Attr a

Instances22Functor, Foldable, Traversable, Semigroup, Monoid, Lift, …

Functor NodeDefined in djot-0.1.2 · Djot.AST
Foldable NodeDefined in djot-0.1.2 · Djot.AST
Traversable NodeDefined in djot-0.1.2 · Djot.AST
Semigroup BlocksDefined in djot-0.1.2 · Djot.AST
Semigroup InlinesDefined in djot-0.1.2 · Djot.AST
Monoid BlocksDefined in djot-0.1.2 · Djot.AST
Monoid InlinesDefined in djot-0.1.2 · Djot.AST
ToLayout BlocksDefined in djot-0.1.2 · Djot.Djot
ToLayout InlinesDefined in djot-0.1.2 · Djot.Djot
ToBuilder BlocksDefined in djot-0.1.2 · Djot.Html
ToBuilder InlinesDefined in djot-0.1.2 · Djot.Html
Lift a => Lift (Node a)Defined in djot-0.1.2 · Djot.AST
Eq a => Eq (Node a)Defined in djot-0.1.2 · Djot.AST
Data a => Data (Node a)Defined in djot-0.1.2 · Djot.AST
Ord a => Ord (Node a)Defined in djot-0.1.2 · Djot.AST
Show a => Show (Node a)Defined in djot-0.1.2 · Djot.AST
Generic (Node a)Defined in djot-0.1.2 · Djot.AST
ToLayout (Node Block)Defined in djot-0.1.2 · Djot.Djot
ToLayout (Node Inline)Defined in djot-0.1.2 · Djot.Djot
ToBuilder (Node Block)Defined in djot-0.1.2 · Djot.Html
ToBuilder (Node Inline)Defined in djot-0.1.2 · Djot.Html
type Rep (Node a) = D1 ('MetaData "Node" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "Node" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Pos) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))Defined in djot-0.1.2 · Djot.AST

datadata Pos

Constructors

NoPos
Pos Int Int Int Int

Instances9Eq, Data, Ord, Show, Generic, Semigroup, …

Eq PosDefined in djot-0.1.2 · Djot.AST
Data PosDefined in djot-0.1.2 · Djot.AST
Ord PosDefined in djot-0.1.2 · Djot.AST
Show PosDefined in djot-0.1.2 · Djot.AST
Generic PosDefined in djot-0.1.2 · Djot.AST
Semigroup PosDefined in djot-0.1.2 · Djot.AST
Monoid PosDefined in djot-0.1.2 · Djot.AST
Lift PosDefined in djot-0.1.2 · Djot.AST
type Rep Pos = D1 ('MetaData "Pos" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "NoPos" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Pos" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Int)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Int))))Defined in djot-0.1.2 · Djot.AST

valueaddAttr :: Attr -> Node a -> Node a

valueaddPos :: Pos -> Node a -> Node a

datadata Block

Constructors

Para Inlines
Section Blocks
Heading Int Inlines
BlockQuote Blocks
CodeBlock ByteString ByteString
Div Blocks
OrderedList OrderedListAttributes ListSpacing [Blocks]
BulletList ListSpacing [Blocks]
TaskList ListSpacing [(TaskStatus, Blocks)]
DefinitionList ListSpacing [(Inlines, Blocks)]
ThematicBreak
Table (Maybe Caption) [[Cell]]
RawBlock Format ByteString

Instances13Eq, Data, Ord, Show, Generic, Semigroup, …

Eq BlockDefined in djot-0.1.2 · Djot.AST
Data BlockDefined in djot-0.1.2 · Djot.AST
Ord BlockDefined in djot-0.1.2 · Djot.AST
Show BlockDefined in djot-0.1.2 · Djot.AST
Generic BlockDefined in djot-0.1.2 · Djot.AST
Semigroup BlocksDefined in djot-0.1.2 · Djot.AST
Monoid BlocksDefined in djot-0.1.2 · Djot.AST
ToLayout BlocksDefined in djot-0.1.2 · Djot.Djot
ToBuilder BlocksDefined in djot-0.1.2 · Djot.Html
Lift BlockDefined in djot-0.1.2 · Djot.AST
ToLayout (Node Block)Defined in djot-0.1.2 · Djot.Djot
ToBuilder (Node Block)Defined in djot-0.1.2 · Djot.Html
type Rep Block = D1 ('MetaData "Block" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (((C1 ('MetaCons "Para" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Section" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks)) :+: C1 ('MetaCons "Heading" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)))) :+: (C1 ('MetaCons "BlockQuote" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks)) :+: (C1 ('MetaCons "CodeBlock" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Div" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks))))) :+: ((C1 ('MetaCons "OrderedList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListAttributes) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Blocks]))) :+: (C1 ('MetaCons "BulletList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Blocks])) :+: C1 ('MetaCons "TaskList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(TaskStatus, Blocks)])))) :+: ((C1 ('MetaCons "DefinitionList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(Inlines, Blocks)])) :+: C1 ('MetaCons "ThematicBreak" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "Table" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Caption)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [[Cell]])) :+: C1 ('MetaCons "RawBlock" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))))))Defined in djot-0.1.2 · Djot.AST

typetype Blocks = Many (Node Block)

datadata Doc

Constructors

Doc
- docBlocks :: Blocks
- docFootnotes :: NoteMap
- docReferences :: ReferenceMap
- docAutoReferences :: ReferenceMap
- docAutoIdentifiers :: Set ByteString

Instances9Eq, Data, Ord, Show, Generic, Semigroup, …

Eq DocDefined in djot-0.1.2 · Djot.AST
Data DocDefined in djot-0.1.2 · Djot.AST
Ord DocDefined in djot-0.1.2 · Djot.AST
Show DocDefined in djot-0.1.2 · Djot.AST
Generic DocDefined in djot-0.1.2 · Djot.AST
Semigroup DocDefined in djot-0.1.2 · Djot.AST
Monoid DocDefined in djot-0.1.2 · Djot.AST
Lift DocDefined in djot-0.1.2 · Djot.AST
type Rep Doc = D1 ('MetaData "Doc" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "Doc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "docBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks) :*: S1 ('MetaSel ('Just "docFootnotes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NoteMap)) :*: (S1 ('MetaSel ('Just "docReferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ReferenceMap) :*: (S1 ('MetaSel ('Just "docAutoReferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ReferenceMap) :*: S1 ('MetaSel ('Just "docAutoIdentifiers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set ByteString))))))Defined in djot-0.1.2 · Djot.AST

newtypenewtype NoteMap

A map from labels to contents.

Constructors

NoteMap
- unNoteMap :: Map ByteString Blocks

Instances9Eq, Data, Ord, Show, Generic, Semigroup, …

Eq NoteMapDefined in djot-0.1.2 · Djot.AST
Data NoteMapDefined in djot-0.1.2 · Djot.AST
Ord NoteMapDefined in djot-0.1.2 · Djot.AST
Show NoteMapDefined in djot-0.1.2 · Djot.AST
Generic NoteMapDefined in djot-0.1.2 · Djot.AST
Semigroup NoteMapDefined in djot-0.1.2 · Djot.AST
Monoid NoteMapDefined in djot-0.1.2 · Djot.AST
Lift NoteMapDefined in djot-0.1.2 · Djot.AST
type Rep NoteMap = D1 ('MetaData "NoteMap" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'True) (C1 ('MetaCons "NoteMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNoteMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString Blocks))))Defined in djot-0.1.2 · Djot.AST

valueinsertNote :: ByteString -> Blocks -> NoteMap -> NoteMap

valuelookupNote :: ByteString -> NoteMap -> Maybe Blocks

newtypenewtype ReferenceMap

Constructors

ReferenceMap
- unReferenceMap :: Map ByteString (ByteString, Attr)

Instances9Eq, Data, Ord, Show, Generic, Semigroup, …

Eq ReferenceMapDefined in djot-0.1.2 · Djot.AST
Data ReferenceMapDefined in djot-0.1.2 · Djot.AST
Ord ReferenceMapDefined in djot-0.1.2 · Djot.AST
Show ReferenceMapDefined in djot-0.1.2 · Djot.AST
Generic ReferenceMapDefined in djot-0.1.2 · Djot.AST
Semigroup ReferenceMapDefined in djot-0.1.2 · Djot.AST
Monoid ReferenceMapDefined in djot-0.1.2 · Djot.AST
Lift ReferenceMapDefined in djot-0.1.2 · Djot.AST
type Rep ReferenceMap = D1 ('MetaData "ReferenceMap" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'True) (C1 ('MetaCons "ReferenceMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unReferenceMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString (ByteString, Attr)))))Defined in djot-0.1.2 · Djot.AST

valueinsertReference

valuelookupReference :: ByteString -> ReferenceMap -> Maybe (ByteString, Attr)

valuenormalizeLabel :: ByteString -> ByteString

newtypenewtype Attr

Constructors

Attr [(ByteString, ByteString)]

Instances10Eq, Data, Ord, Show, Generic, Semigroup, …

Eq AttrDefined in djot-0.1.2 · Djot.AST
Data AttrDefined in djot-0.1.2 · Djot.AST
Ord AttrDefined in djot-0.1.2 · Djot.AST
Show AttrDefined in djot-0.1.2 · Djot.AST
Generic AttrDefined in djot-0.1.2 · Djot.AST
Semigroup AttrDefined in djot-0.1.2 · Djot.AST
Monoid AttrDefined in djot-0.1.2 · Djot.AST
ToLayout AttrDefined in djot-0.1.2 · Djot.Djot
Lift AttrDefined in djot-0.1.2 · Djot.AST
type Rep Attr = D1 ('MetaData "Attr" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'True) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ByteString, ByteString)])))Defined in djot-0.1.2 · Djot.AST

datadata Target

Constructors

Direct ByteString
Reference ByteString

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq TargetDefined in djot-0.1.2 · Djot.AST
Data TargetDefined in djot-0.1.2 · Djot.AST
Ord TargetDefined in djot-0.1.2 · Djot.AST
Show TargetDefined in djot-0.1.2 · Djot.AST
Generic TargetDefined in djot-0.1.2 · Djot.AST
Lift TargetDefined in djot-0.1.2 · Djot.AST
type Rep Target = D1 ('MetaData "Target" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "Direct" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Reference" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))Defined in djot-0.1.2 · Djot.AST

datadata TaskStatus

Complete Incomplete

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq TaskStatusDefined in djot-0.1.2 · Djot.AST
Data TaskStatusDefined in djot-0.1.2 · Djot.AST
Ord TaskStatusDefined in djot-0.1.2 · Djot.AST
Show TaskStatusDefined in djot-0.1.2 · Djot.AST
Generic TaskStatusDefined in djot-0.1.2 · Djot.AST
Lift TaskStatusDefined in djot-0.1.2 · Djot.AST
type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "Complete" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Incomplete" 'PrefixI 'False) U1)Defined in djot-0.1.2 · Djot.AST

datadata Align

AlignLeft AlignRight AlignCenter AlignDefault

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq AlignDefined in djot-0.1.2 · Djot.AST
Data AlignDefined in djot-0.1.2 · Djot.AST
Ord AlignDefined in djot-0.1.2 · Djot.AST
Show AlignDefined in djot-0.1.2 · Djot.AST
Generic AlignDefined in djot-0.1.2 · Djot.AST
Lift AlignDefined in djot-0.1.2 · Djot.AST
type Rep Align = D1 ('MetaData "Align" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) ((C1 ('MetaCons "AlignLeft" 'PrefixI 'False) U1 :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "AlignCenter" 'PrefixI 'False) U1 :+: C1 ('MetaCons "AlignDefault" 'PrefixI 'False) U1))Defined in djot-0.1.2 · Djot.AST

datadata Cell

Constructors

Cell CellType Align Inlines

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq CellDefined in djot-0.1.2 · Djot.AST
Data CellDefined in djot-0.1.2 · Djot.AST
Ord CellDefined in djot-0.1.2 · Djot.AST
Show CellDefined in djot-0.1.2 · Djot.AST
Generic CellDefined in djot-0.1.2 · Djot.AST
Lift CellDefined in djot-0.1.2 · Djot.AST
type Rep Cell = D1 ('MetaData "Cell" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "Cell" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CellType) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Align) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))))Defined in djot-0.1.2 · Djot.AST

datadata CellType

HeadCell BodyCell

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq CellTypeDefined in djot-0.1.2 · Djot.AST
Data CellTypeDefined in djot-0.1.2 · Djot.AST
Ord CellTypeDefined in djot-0.1.2 · Djot.AST
Show CellTypeDefined in djot-0.1.2 · Djot.AST
Generic CellTypeDefined in djot-0.1.2 · Djot.AST
Lift CellTypeDefined in djot-0.1.2 · Djot.AST
type Rep CellType = D1 ('MetaData "CellType" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "HeadCell" 'PrefixI 'False) U1 :+: C1 ('MetaCons "BodyCell" 'PrefixI 'False) U1)Defined in djot-0.1.2 · Djot.AST

newtypenewtype Caption

Constructors

Caption Blocks

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq CaptionDefined in djot-0.1.2 · Djot.AST
Data CaptionDefined in djot-0.1.2 · Djot.AST
Ord CaptionDefined in djot-0.1.2 · Djot.AST
Show CaptionDefined in djot-0.1.2 · Djot.AST
Generic CaptionDefined in djot-0.1.2 · Djot.AST
Lift CaptionDefined in djot-0.1.2 · Djot.AST
type Rep Caption = D1 ('MetaData "Caption" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'True) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))Defined in djot-0.1.2 · Djot.AST

datadata ListSpacing

Tight Loose

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq ListSpacingDefined in djot-0.1.2 · Djot.AST
Data ListSpacingDefined in djot-0.1.2 · Djot.AST
Ord ListSpacingDefined in djot-0.1.2 · Djot.AST
Show ListSpacingDefined in djot-0.1.2 · Djot.AST
Generic ListSpacingDefined in djot-0.1.2 · Djot.AST
Lift ListSpacingDefined in djot-0.1.2 · Djot.AST
type Rep ListSpacing = D1 ('MetaData "ListSpacing" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "Tight" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Loose" 'PrefixI 'False) U1)Defined in djot-0.1.2 · Djot.AST

datadata OrderedListAttributes

Constructors

OrderedListAttributes
- orderedListStyle :: OrderedListStyle
- orderedListDelim :: OrderedListDelim
- orderedListStart :: Int

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq OrderedListAttributesDefined in djot-0.1.2 · Djot.AST
Data OrderedListAttributesDefined in djot-0.1.2 · Djot.AST
Ord OrderedListAttributesDefined in djot-0.1.2 · Djot.AST
Show OrderedListAttributesDefined in djot-0.1.2 · Djot.AST
Generic OrderedListAttributesDefined in djot-0.1.2 · Djot.AST
Lift OrderedListAttributesDefined in djot-0.1.2 · Djot.AST
type Rep OrderedListAttributes = D1 ('MetaData "OrderedListAttributes" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "OrderedListAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "orderedListStyle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListStyle) :*: (S1 ('MetaSel ('Just "orderedListDelim") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListDelim) :*: S1 ('MetaSel ('Just "orderedListStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Int))))Defined in djot-0.1.2 · Djot.AST

datadata OrderedListDelim

RightPeriod RightParen LeftRightParen

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq OrderedListDelimDefined in djot-0.1.2 · Djot.AST
Data OrderedListDelimDefined in djot-0.1.2 · Djot.AST
Ord OrderedListDelimDefined in djot-0.1.2 · Djot.AST
Show OrderedListDelimDefined in djot-0.1.2 · Djot.AST
Generic OrderedListDelimDefined in djot-0.1.2 · Djot.AST
Lift OrderedListDelimDefined in djot-0.1.2 · Djot.AST
type Rep OrderedListDelim = D1 ('MetaData "OrderedListDelim" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "RightPeriod" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "RightParen" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LeftRightParen" 'PrefixI 'False) U1))Defined in djot-0.1.2 · Djot.AST

datadata OrderedListStyle

Decimal LetterUpper LetterLower RomanUpper RomanLower

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq OrderedListStyleDefined in djot-0.1.2 · Djot.AST
Data OrderedListStyleDefined in djot-0.1.2 · Djot.AST
Ord OrderedListStyleDefined in djot-0.1.2 · Djot.AST
Show OrderedListStyleDefined in djot-0.1.2 · Djot.AST
Generic OrderedListStyleDefined in djot-0.1.2 · Djot.AST
Lift OrderedListStyleDefined in djot-0.1.2 · Djot.AST
type Rep OrderedListStyle = D1 ('MetaData "OrderedListStyle" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) ((C1 ('MetaCons "Decimal" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LetterUpper" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "LetterLower" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "RomanUpper" 'PrefixI 'False) U1 :+: C1 ('MetaCons "RomanLower" 'PrefixI 'False) U1)))Defined in djot-0.1.2 · Djot.AST

datadata QuoteType

SingleQuotes DoubleQuotes

Instances7Eq, Data, Ord, Show, Generic, Lift, …

Eq QuoteTypeDefined in djot-0.1.2 · Djot.AST
Data QuoteTypeDefined in djot-0.1.2 · Djot.AST
Ord QuoteTypeDefined in djot-0.1.2 · Djot.AST
Show QuoteTypeDefined in djot-0.1.2 · Djot.AST
Generic QuoteTypeDefined in djot-0.1.2 · Djot.AST
Lift QuoteTypeDefined in djot-0.1.2 · Djot.AST
type Rep QuoteType = D1 ('MetaData "QuoteType" "Djot.AST" "djot-0.1.2-EeZaYPj1DtC2LE0bfb80rS" 'False) (C1 ('MetaCons "SingleQuotes" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DoubleQuotes" 'PrefixI 'False) U1)Defined in djot-0.1.2 · Djot.AST

valuedelete :: Inlines -> Inlines

valuedisplayMath :: ByteString -> Inlines

valueinsert :: Inlines -> Inlines

valueemailLink :: ByteString -> Inlines

valueemph :: Inlines -> Inlines

valuefootnoteReference :: ByteString -> Inlines

valuehardBreak :: Inlines

valuehighlight :: Inlines -> Inlines

valueimage :: Inlines -> Target -> Inlines

valueinlineMath :: ByteString -> Inlines

valuelink :: Inlines -> Target -> Inlines

valuenonBreakingSpace :: Inlines

valuerawInline :: Format -> ByteString -> Inlines

valuesoftBreak :: Inlines

valuespan_ :: Inlines -> Inlines

valuestr :: ByteString -> Inlines

valuestrong :: Inlines -> Inlines

valuesubscript :: Inlines -> Inlines

valuesuperscript :: Inlines -> Inlines

valuesingleQuoted :: Inlines -> Inlines

valuedoubleQuoted :: Inlines -> Inlines

valuesymbol :: ByteString -> Inlines

valueverbatim :: ByteString -> Inlines

valueurlLink :: ByteString -> Inlines

valuepara :: Inlines -> Blocks

valuesection :: Blocks -> Blocks

valueheading :: Int -> Inlines -> Blocks

valueblockQuote :: Blocks -> Blocks

valuecodeBlock :: ByteString -> ByteString -> Blocks

valuediv :: Blocks -> Blocks

valuebulletList :: ListSpacing -> [Blocks] -> Blocks

valueorderedList :: OrderedListAttributes -> ListSpacing -> [Blocks] -> Blocks

valuedefinitionList :: ListSpacing -> [(Inlines, Blocks)] -> Blocks

valuetaskList :: ListSpacing -> [(TaskStatus, Blocks)] -> Blocks

valuethematicBreak :: Blocks

valuetable :: Maybe Caption -> [[Cell]] -> Blocks

valuerawBlock :: Format -> ByteString -> Blocks

valueinlinesToByteString :: Inlines -> ByteString