Djot.AST

Documentation

data 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

Instances

Monoid Inlines

Defined in Djot.AST

Methods

mempty :: Inlines

mappend :: Inlines -> Inlines -> Inlines

mconcat :: [Inlines] -> Inlines

Semigroup Inlines

Defined in Djot.AST

Methods

(<>) :: Inlines -> Inlines -> Inlines

sconcat :: NonEmpty Inlines -> Inlines

stimes :: Integral b => b -> Inlines -> Inlines

Generic Inline

Defined in Djot.AST

Associated Types

type Rep Inline :: Type -> Type

Methods

from :: Inline -> Rep Inline x

to :: Rep Inline x -> Inline

Show Inline

Defined in Djot.AST

Methods

showsPrec :: Int -> Inline -> ShowS

show :: Inline -> String

showList :: [Inline] -> ShowS

Eq Inline

Defined in Djot.AST

Methods

(==) :: Inline -> Inline -> Bool

(/=) :: Inline -> Inline -> Bool

Ord Inline

Defined in Djot.AST

Methods

compare :: Inline -> Inline -> Ordering

(<) :: Inline -> Inline -> Bool

(<=) :: Inline -> Inline -> Bool

(>) :: Inline -> Inline -> Bool

(>=) :: Inline -> Inline -> Bool

max :: Inline -> Inline -> Inline

min :: Inline -> Inline -> Inline

type Rep Inline

Defined in Djot.AST

type Rep Inline = D1 ('MetaData "Inline" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) ((((C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Emph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))) :+: (C1 ('MetaCons "Strong" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Highlight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: C1 ('MetaCons "Insert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))))) :+: ((C1 ('MetaCons "Delete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Superscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: C1 ('MetaCons "Subscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)))) :+: (C1 ('MetaCons "Verbatim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: (C1 ('MetaCons "Symbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Math" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MathStyle) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))))) :+: (((C1 ('MetaCons "Link" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target)) :+: C1 ('MetaCons "Image" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target))) :+: (C1 ('MetaCons "Span" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "FootnoteReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "UrlLink" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))))) :+: ((C1 ('MetaCons "EmailLink" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: (C1 ('MetaCons "RawInline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "NonBreakingSpace" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Quoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 QuoteType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "SoftBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HardBreak" 'PrefixI 'False) (U1 :: Type -> Type))))))

newtype Many a

Constructors

Many

Fields

• unMany :: Seq a

Instances

Foldable Many

Defined in Djot.AST

Methods

fold :: Monoid m => Many m -> m

foldMap :: Monoid m => (a -> m) -> Many a -> m

foldMap' :: Monoid m => (a -> m) -> Many a -> m

foldr :: (a -> b -> b) -> b -> Many a -> b

foldr' :: (a -> b -> b) -> b -> Many a -> b

foldl :: (b -> a -> b) -> b -> Many a -> b

foldl' :: (b -> a -> b) -> b -> Many a -> b

foldr1 :: (a -> a -> a) -> Many a -> a

foldl1 :: (a -> a -> a) -> Many a -> a

toList :: Many a -> [a]

null :: Many a -> Bool

length :: Many a -> Int

elem :: Eq a => a -> Many a -> Bool

maximum :: Ord a => Many a -> a

minimum :: Ord a => Many a -> a

sum :: Num a => Many a -> a

product :: Num a => Many a -> a

Traversable Many

Defined in Djot.AST

Methods

traverse :: Applicative f => (a -> f b) -> Many a -> f (Many b)

sequenceA :: Applicative f => Many (f a) -> f (Many a)

mapM :: Monad m => (a -> m b) -> Many a -> m (Many b)

sequence :: Monad m => Many (m a) -> m (Many a)

Functor Many

Defined in Djot.AST

Methods

fmap :: (a -> b) -> Many a -> Many b

(<$) :: a -> Many b -> Many a

Monoid Blocks

Defined in Djot.AST

Methods

mempty :: Blocks

mappend :: Blocks -> Blocks -> Blocks

mconcat :: [Blocks] -> Blocks

Monoid Inlines

Defined in Djot.AST

Methods

mempty :: Inlines

mappend :: Inlines -> Inlines -> Inlines

mconcat :: [Inlines] -> Inlines

Semigroup Blocks

Defined in Djot.AST

Methods

(<>) :: Blocks -> Blocks -> Blocks

sconcat :: NonEmpty Blocks -> Blocks

stimes :: Integral b => b -> Blocks -> Blocks

Semigroup Inlines

Defined in Djot.AST

Methods

(<>) :: Inlines -> Inlines -> Inlines

sconcat :: NonEmpty Inlines -> Inlines

stimes :: Integral b => b -> Inlines -> Inlines

Generic (Many a)

Defined in Djot.AST

Associated Types

type Rep (Many a) :: Type -> Type

Methods

from :: Many a -> Rep (Many a) x

to :: Rep (Many a) x -> Many a

Show a => Show (Many a)

Defined in Djot.AST

Methods

showsPrec :: Int -> Many a -> ShowS

show :: Many a -> String

showList :: [Many a] -> ShowS

Eq a => Eq (Many a)

Defined in Djot.AST

Methods

(==) :: Many a -> Many a -> Bool

(/=) :: Many a -> Many a -> Bool

Ord a => Ord (Many a)

Defined in Djot.AST

Methods

compare :: Many a -> Many a -> Ordering

(<) :: Many a -> Many a -> Bool

(<=) :: Many a -> Many a -> Bool

(>) :: Many a -> Many a -> Bool

(>=) :: Many a -> Many a -> Bool

max :: Many a -> Many a -> Many a

min :: Many a -> Many a -> Many a

type Rep (Many a)

Defined in Djot.AST

type Rep (Many a) = D1 ('MetaData "Many" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'True) (C1 ('MetaCons "Many" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMany") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq a))))

type Inlines = Many (Node Inline)

data MathStyle

Constructors

DisplayMath

InlineMath

Instances

Generic MathStyle

Defined in Djot.AST

Associated Types

type Rep MathStyle :: Type -> Type

Methods

from :: MathStyle -> Rep MathStyle x

to :: Rep MathStyle x -> MathStyle

Show MathStyle

Defined in Djot.AST

Methods

showsPrec :: Int -> MathStyle -> ShowS

show :: MathStyle -> String

showList :: [MathStyle] -> ShowS

Eq MathStyle

Defined in Djot.AST

Methods

(==) :: MathStyle -> MathStyle -> Bool

(/=) :: MathStyle -> MathStyle -> Bool

Ord MathStyle

Defined in Djot.AST

Methods

compare :: MathStyle -> MathStyle -> Ordering

(<) :: MathStyle -> MathStyle -> Bool

(<=) :: MathStyle -> MathStyle -> Bool

(>) :: MathStyle -> MathStyle -> Bool

(>=) :: MathStyle -> MathStyle -> Bool

max :: MathStyle -> MathStyle -> MathStyle

min :: MathStyle -> MathStyle -> MathStyle

type Rep MathStyle

Defined in Djot.AST

type Rep MathStyle = D1 ('MetaData "MathStyle" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Format

Constructors

Format

Fields

• unFormat :: ByteString

Instances

Generic Format

Defined in Djot.AST

Associated Types

type Rep Format :: Type -> Type

Methods

from :: Format -> Rep Format x

to :: Rep Format x -> Format

Show Format

Defined in Djot.AST

Methods

showsPrec :: Int -> Format -> ShowS

show :: Format -> String

showList :: [Format] -> ShowS

Eq Format

Defined in Djot.AST

Methods

(==) :: Format -> Format -> Bool

(/=) :: Format -> Format -> Bool

Ord Format

Defined in Djot.AST

Methods

compare :: Format -> Format -> Ordering

(<) :: Format -> Format -> Bool

(<=) :: Format -> Format -> Bool

(>) :: Format -> Format -> Bool

(>=) :: Format -> Format -> Bool

max :: Format -> Format -> Format

min :: Format -> Format -> Format

type Rep Format

Defined in Djot.AST

type Rep Format = D1 ('MetaData "Format" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'True) (C1 ('MetaCons "Format" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data Node a

Constructors

Node Pos Attr a

Instances

Foldable Node

Defined in Djot.AST

Methods

fold :: Monoid m => Node m -> m

foldMap :: Monoid m => (a -> m) -> Node a -> m

foldMap' :: Monoid m => (a -> m) -> Node a -> m

foldr :: (a -> b -> b) -> b -> Node a -> b

foldr' :: (a -> b -> b) -> b -> Node a -> b

foldl :: (b -> a -> b) -> b -> Node a -> b

foldl' :: (b -> a -> b) -> b -> Node a -> b

foldr1 :: (a -> a -> a) -> Node a -> a

foldl1 :: (a -> a -> a) -> Node a -> a

toList :: Node a -> [a]

null :: Node a -> Bool

length :: Node a -> Int

elem :: Eq a => a -> Node a -> Bool

maximum :: Ord a => Node a -> a

minimum :: Ord a => Node a -> a

sum :: Num a => Node a -> a

product :: Num a => Node a -> a

Traversable Node

Defined in Djot.AST

Methods

traverse :: Applicative f => (a -> f b) -> Node a -> f (Node b)

sequenceA :: Applicative f => Node (f a) -> f (Node a)

mapM :: Monad m => (a -> m b) -> Node a -> m (Node b)

sequence :: Monad m => Node (m a) -> m (Node a)

Functor Node

Defined in Djot.AST

Methods

fmap :: (a -> b) -> Node a -> Node b

(<$) :: a -> Node b -> Node a

Monoid Blocks

Defined in Djot.AST

Methods

mempty :: Blocks

mappend :: Blocks -> Blocks -> Blocks

mconcat :: [Blocks] -> Blocks

Monoid Inlines

Defined in Djot.AST

Methods

mempty :: Inlines

mappend :: Inlines -> Inlines -> Inlines

mconcat :: [Inlines] -> Inlines

Semigroup Blocks

Defined in Djot.AST

Methods

(<>) :: Blocks -> Blocks -> Blocks

sconcat :: NonEmpty Blocks -> Blocks

stimes :: Integral b => b -> Blocks -> Blocks

Semigroup Inlines

Defined in Djot.AST

Methods

(<>) :: Inlines -> Inlines -> Inlines

sconcat :: NonEmpty Inlines -> Inlines

stimes :: Integral b => b -> Inlines -> Inlines

Generic (Node a)

Defined in Djot.AST

Associated Types

type Rep (Node a) :: Type -> Type

Methods

from :: Node a -> Rep (Node a) x

to :: Rep (Node a) x -> Node a

Show a => Show (Node a)

Defined in Djot.AST

Methods

showsPrec :: Int -> Node a -> ShowS

show :: Node a -> String

showList :: [Node a] -> ShowS

Eq a => Eq (Node a)

Defined in Djot.AST

Methods

(==) :: Node a -> Node a -> Bool

(/=) :: Node a -> Node a -> Bool

Ord a => Ord (Node a)

Defined in Djot.AST

Methods

compare :: Node a -> Node a -> Ordering

(<) :: Node a -> Node a -> Bool

(<=) :: Node a -> Node a -> Bool

(>) :: Node a -> Node a -> Bool

(>=) :: Node a -> Node a -> Bool

max :: Node a -> Node a -> Node a

min :: Node a -> Node a -> Node a

type Rep (Node a)

Defined in Djot.AST

type Rep (Node a) = D1 ('MetaData "Node" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) (C1 ('MetaCons "Node" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Pos) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))

data Pos

Constructors

NoPos

Pos Int Int Int Int

Instances

Monoid Pos

Defined in Djot.AST

Methods

mempty :: Pos

mappend :: Pos -> Pos -> Pos

mconcat :: [Pos] -> Pos

Semigroup Pos

Defined in Djot.AST

Methods

(<>) :: Pos -> Pos -> Pos

sconcat :: NonEmpty Pos -> Pos

stimes :: Integral b => b -> Pos -> Pos

Generic Pos

Defined in Djot.AST

Associated Types

type Rep Pos :: Type -> Type

Methods

from :: Pos -> Rep Pos x

to :: Rep Pos x -> Pos

Show Pos

Defined in Djot.AST

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

Eq Pos

Defined in Djot.AST

Methods

(==) :: Pos -> Pos -> Bool

(/=) :: Pos -> Pos -> Bool

Ord Pos

Defined in Djot.AST

Methods

compare :: Pos -> Pos -> Ordering

(<) :: Pos -> Pos -> Bool

(<=) :: Pos -> Pos -> Bool

(>) :: Pos -> Pos -> Bool

(>=) :: Pos -> Pos -> Bool

max :: Pos -> Pos -> Pos

min :: Pos -> Pos -> Pos

type Rep Pos

Defined in Djot.AST

type Rep Pos = D1 ('MetaData "Pos" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) (C1 ('MetaCons "NoPos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pos" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))))

addAttr :: Attr -> Node a -> Node a

addPos :: Pos -> Node a -> Node a

data 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

Instances

Monoid Blocks

Defined in Djot.AST

Methods

mempty :: Blocks

mappend :: Blocks -> Blocks -> Blocks

mconcat :: [Blocks] -> Blocks

Semigroup Blocks

Defined in Djot.AST

Methods

(<>) :: Blocks -> Blocks -> Blocks

sconcat :: NonEmpty Blocks -> Blocks

stimes :: Integral b => b -> Blocks -> Blocks

Generic Block

Defined in Djot.AST

Associated Types

type Rep Block :: Type -> Type

Methods

from :: Block -> Rep Block x

to :: Rep Block x -> Block

Show Block

Defined in Djot.AST

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

Eq Block

Defined in Djot.AST

Methods

(==) :: Block -> Block -> Bool

(/=) :: Block -> Block -> Bool

Ord Block

Defined in Djot.AST

Methods

compare :: Block -> Block -> Ordering

(<) :: Block -> Block -> Bool

(<=) :: Block -> Block -> Bool

(>) :: Block -> Block -> Bool

(>=) :: Block -> Block -> Bool

max :: Block -> Block -> Block

min :: Block -> Block -> Block

type Rep Block

Defined in Djot.AST

type Rep Block = D1 ('MetaData "Block" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) (((C1 ('MetaCons "Para" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Section" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks)) :+: C1 ('MetaCons "Heading" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)))) :+: (C1 ('MetaCons "BlockQuote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks)) :+: (C1 ('MetaCons "CodeBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Div" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks))))) :+: ((C1 ('MetaCons "OrderedList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListAttributes) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Blocks]))) :+: (C1 ('MetaCons "BulletList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Blocks])) :+: C1 ('MetaCons "TaskList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(TaskStatus, Blocks)])))) :+: ((C1 ('MetaCons "DefinitionList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(Inlines, Blocks)])) :+: C1 ('MetaCons "ThematicBreak" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Table" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Caption)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [[Cell]])) :+: C1 ('MetaCons "RawBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))))))

type Blocks = Many (Node Block)

data Doc

Constructors

Doc

Fields

• docBlocks :: Blocks
• docFootnotes :: NoteMap
• docReferences :: ReferenceMap
• docAutoReferences :: ReferenceMap
• docAutoIdentifiers :: Set ByteString

Instances

Monoid Doc

Defined in Djot.AST

Methods

mempty :: Doc

mappend :: Doc -> Doc -> Doc

mconcat :: [Doc] -> Doc

Semigroup Doc

Defined in Djot.AST

Methods

(<>) :: Doc -> Doc -> Doc

sconcat :: NonEmpty Doc -> Doc

stimes :: Integral b => b -> Doc -> Doc

Generic Doc

Defined in Djot.AST

Associated Types

type Rep Doc :: Type -> Type

Methods

from :: Doc -> Rep Doc x

to :: Rep Doc x -> Doc

Show Doc

Defined in Djot.AST

Methods

showsPrec :: Int -> Doc -> ShowS

show :: Doc -> String

showList :: [Doc] -> ShowS

Eq Doc

Defined in Djot.AST

Methods

(==) :: Doc -> Doc -> Bool

(/=) :: Doc -> Doc -> Bool

Ord Doc

Defined in Djot.AST

Methods

compare :: Doc -> Doc -> Ordering

(<) :: Doc -> Doc -> Bool

(<=) :: Doc -> Doc -> Bool

(>) :: Doc -> Doc -> Bool

(>=) :: Doc -> Doc -> Bool

max :: Doc -> Doc -> Doc

min :: Doc -> Doc -> Doc

type Rep Doc

Defined in Djot.AST

type Rep Doc = D1 ('MetaData "Doc" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" '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))))))

newtype NoteMap

A map from labels to contents.

Constructors

NoteMap

Fields

• unNoteMap :: Map ByteString Blocks

Instances

Monoid NoteMap

Defined in Djot.AST

Methods

mempty :: NoteMap

mappend :: NoteMap -> NoteMap -> NoteMap

mconcat :: [NoteMap] -> NoteMap

Semigroup NoteMap

Defined in Djot.AST

Methods

(<>) :: NoteMap -> NoteMap -> NoteMap

sconcat :: NonEmpty NoteMap -> NoteMap

stimes :: Integral b => b -> NoteMap -> NoteMap

Generic NoteMap

Defined in Djot.AST

Associated Types

type Rep NoteMap :: Type -> Type

Methods

from :: NoteMap -> Rep NoteMap x

to :: Rep NoteMap x -> NoteMap

Show NoteMap

Defined in Djot.AST

Methods

showsPrec :: Int -> NoteMap -> ShowS

show :: NoteMap -> String

showList :: [NoteMap] -> ShowS

Eq NoteMap

Defined in Djot.AST

Methods

(==) :: NoteMap -> NoteMap -> Bool

(/=) :: NoteMap -> NoteMap -> Bool

Ord NoteMap

Defined in Djot.AST

Methods

compare :: NoteMap -> NoteMap -> Ordering

(<) :: NoteMap -> NoteMap -> Bool

(<=) :: NoteMap -> NoteMap -> Bool

(>) :: NoteMap -> NoteMap -> Bool

(>=) :: NoteMap -> NoteMap -> Bool

max :: NoteMap -> NoteMap -> NoteMap

min :: NoteMap -> NoteMap -> NoteMap

type Rep NoteMap

Defined in Djot.AST

type Rep NoteMap = D1 ('MetaData "NoteMap" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'True) (C1 ('MetaCons "NoteMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNoteMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString Blocks))))

insertNote :: ByteString -> Blocks -> NoteMap -> NoteMap

lookupNote :: ByteString -> NoteMap -> Maybe Blocks

newtype ReferenceMap

Constructors

ReferenceMap

Fields

• unReferenceMap :: Map ByteString (ByteString, Attr)

Instances

Monoid ReferenceMap

Defined in Djot.AST

Methods

mempty :: ReferenceMap

mappend :: ReferenceMap -> ReferenceMap -> ReferenceMap

mconcat :: [ReferenceMap] -> ReferenceMap

Semigroup ReferenceMap

Defined in Djot.AST

Methods

(<>) :: ReferenceMap -> ReferenceMap -> ReferenceMap

sconcat :: NonEmpty ReferenceMap -> ReferenceMap

stimes :: Integral b => b -> ReferenceMap -> ReferenceMap

Generic ReferenceMap

Defined in Djot.AST

Associated Types

type Rep ReferenceMap :: Type -> Type

Methods

from :: ReferenceMap -> Rep ReferenceMap x

to :: Rep ReferenceMap x -> ReferenceMap

Show ReferenceMap

Defined in Djot.AST

Methods

showsPrec :: Int -> ReferenceMap -> ShowS

show :: ReferenceMap -> String

showList :: [ReferenceMap] -> ShowS

Eq ReferenceMap

Defined in Djot.AST

Methods

(==) :: ReferenceMap -> ReferenceMap -> Bool

(/=) :: ReferenceMap -> ReferenceMap -> Bool

Ord ReferenceMap

Defined in Djot.AST

Methods

compare :: ReferenceMap -> ReferenceMap -> Ordering

(<) :: ReferenceMap -> ReferenceMap -> Bool

(<=) :: ReferenceMap -> ReferenceMap -> Bool

(>) :: ReferenceMap -> ReferenceMap -> Bool

(>=) :: ReferenceMap -> ReferenceMap -> Bool

max :: ReferenceMap -> ReferenceMap -> ReferenceMap

min :: ReferenceMap -> ReferenceMap -> ReferenceMap

type Rep ReferenceMap

Defined in Djot.AST

type Rep ReferenceMap = D1 ('MetaData "ReferenceMap" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'True) (C1 ('MetaCons "ReferenceMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unReferenceMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString (ByteString, Attr)))))

insertReference :: ByteString -> (ByteString, Attr) -> ReferenceMap -> ReferenceMap

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

normalizeLabel :: ByteString -> ByteString

newtype Attr

Constructors

Attr [(ByteString, ByteString)]

Instances

Data Attr

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attr -> c Attr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr

toConstr :: Attr -> Constr

dataTypeOf :: Attr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr)

gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r

gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr

Monoid Attr

Defined in Djot.AST

Methods

mempty :: Attr

mappend :: Attr -> Attr -> Attr

mconcat :: [Attr] -> Attr

Semigroup Attr

Defined in Djot.AST

Methods

(<>) :: Attr -> Attr -> Attr

sconcat :: NonEmpty Attr -> Attr

stimes :: Integral b => b -> Attr -> Attr

Generic Attr

Defined in Djot.AST

Associated Types

type Rep Attr :: Type -> Type

Methods

from :: Attr -> Rep Attr x

to :: Rep Attr x -> Attr

Show Attr

Defined in Djot.AST

Methods

showsPrec :: Int -> Attr -> ShowS

show :: Attr -> String

showList :: [Attr] -> ShowS

Eq Attr

Defined in Djot.AST

Methods

(==) :: Attr -> Attr -> Bool

(/=) :: Attr -> Attr -> Bool

Ord Attr

Defined in Djot.AST

Methods

compare :: Attr -> Attr -> Ordering

(<) :: Attr -> Attr -> Bool

(<=) :: Attr -> Attr -> Bool

(>) :: Attr -> Attr -> Bool

(>=) :: Attr -> Attr -> Bool

max :: Attr -> Attr -> Attr

min :: Attr -> Attr -> Attr

type Rep Attr

Defined in Djot.AST

type Rep Attr = D1 ('MetaData "Attr" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'True) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ByteString, ByteString)])))

data Target

Constructors

Direct ByteString

Reference ByteString

Instances

Generic Target

Defined in Djot.AST

Associated Types

type Rep Target :: Type -> Type

Methods

from :: Target -> Rep Target x

to :: Rep Target x -> Target

Show Target

Defined in Djot.AST

Methods

showsPrec :: Int -> Target -> ShowS

show :: Target -> String

showList :: [Target] -> ShowS

Eq Target

Defined in Djot.AST

Methods

(==) :: Target -> Target -> Bool

(/=) :: Target -> Target -> Bool

Ord Target

Defined in Djot.AST

Methods

compare :: Target -> Target -> Ordering

(<) :: Target -> Target -> Bool

(<=) :: Target -> Target -> Bool

(>) :: Target -> Target -> Bool

(>=) :: Target -> Target -> Bool

max :: Target -> Target -> Target

min :: Target -> Target -> Target

type Rep Target

Defined in Djot.AST

type Rep Target = D1 ('MetaData "Target" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) (C1 ('MetaCons "Direct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Reference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))

data TaskStatus

Constructors

Complete

Incomplete

Instances

Generic TaskStatus

Defined in Djot.AST

Associated Types

type Rep TaskStatus :: Type -> Type

Methods

from :: TaskStatus -> Rep TaskStatus x

to :: Rep TaskStatus x -> TaskStatus

Show TaskStatus

Defined in Djot.AST

Methods

showsPrec :: Int -> TaskStatus -> ShowS

show :: TaskStatus -> String

showList :: [TaskStatus] -> ShowS

Eq TaskStatus

Defined in Djot.AST

Methods

(==) :: TaskStatus -> TaskStatus -> Bool

(/=) :: TaskStatus -> TaskStatus -> Bool

Ord TaskStatus

Defined in Djot.AST

Methods

compare :: TaskStatus -> TaskStatus -> Ordering

(<) :: TaskStatus -> TaskStatus -> Bool

(<=) :: TaskStatus -> TaskStatus -> Bool

(>) :: TaskStatus -> TaskStatus -> Bool

(>=) :: TaskStatus -> TaskStatus -> Bool

max :: TaskStatus -> TaskStatus -> TaskStatus

min :: TaskStatus -> TaskStatus -> TaskStatus

type Rep TaskStatus

Defined in Djot.AST

type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) (C1 ('MetaCons "Complete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incomplete" 'PrefixI 'False) (U1 :: Type -> Type))

data Align

Constructors

AlignLeft

AlignRight

AlignCenter

AlignDefault

Instances

Generic Align

Defined in Djot.AST

Associated Types

type Rep Align :: Type -> Type

Methods

from :: Align -> Rep Align x

to :: Rep Align x -> Align

Show Align

Defined in Djot.AST

Methods

showsPrec :: Int -> Align -> ShowS

show :: Align -> String

showList :: [Align] -> ShowS

Eq Align

Defined in Djot.AST

Methods

(==) :: Align -> Align -> Bool

(/=) :: Align -> Align -> Bool

Ord Align

Defined in Djot.AST

Methods

compare :: Align -> Align -> Ordering

(<) :: Align -> Align -> Bool

(<=) :: Align -> Align -> Bool

(>) :: Align -> Align -> Bool

(>=) :: Align -> Align -> Bool

max :: Align -> Align -> Align

min :: Align -> Align -> Align

type Rep Align

Defined in Djot.AST

type Rep Align = D1 ('MetaData "Align" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) ((C1 ('MetaCons "AlignLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AlignCenter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignDefault" 'PrefixI 'False) (U1 :: Type -> Type)))

data Cell

Constructors

Cell CellType Align Inlines

Instances

Generic Cell

Defined in Djot.AST

Associated Types

type Rep Cell :: Type -> Type

Methods

from :: Cell -> Rep Cell x

to :: Rep Cell x -> Cell

Show Cell

Defined in Djot.AST

Methods

showsPrec :: Int -> Cell -> ShowS

show :: Cell -> String

showList :: [Cell] -> ShowS

Eq Cell

Defined in Djot.AST

Methods

(==) :: Cell -> Cell -> Bool

(/=) :: Cell -> Cell -> Bool

Ord Cell

Defined in Djot.AST

Methods

compare :: Cell -> Cell -> Ordering

(<) :: Cell -> Cell -> Bool

(<=) :: Cell -> Cell -> Bool

(>) :: Cell -> Cell -> Bool

(>=) :: Cell -> Cell -> Bool

max :: Cell -> Cell -> Cell

min :: Cell -> Cell -> Cell

type Rep Cell

Defined in Djot.AST

type Rep Cell = D1 ('MetaData "Cell" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) (C1 ('MetaCons "Cell" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CellType) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Align) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))))

data CellType

Constructors

HeadCell

BodyCell

Instances

Generic CellType

Defined in Djot.AST

Associated Types

type Rep CellType :: Type -> Type

Methods

from :: CellType -> Rep CellType x

to :: Rep CellType x -> CellType

Show CellType

Defined in Djot.AST

Methods

showsPrec :: Int -> CellType -> ShowS

show :: CellType -> String

showList :: [CellType] -> ShowS

Eq CellType

Defined in Djot.AST

Methods

(==) :: CellType -> CellType -> Bool

(/=) :: CellType -> CellType -> Bool

Ord CellType

Defined in Djot.AST

Methods

compare :: CellType -> CellType -> Ordering

(<) :: CellType -> CellType -> Bool

(<=) :: CellType -> CellType -> Bool

(>) :: CellType -> CellType -> Bool

(>=) :: CellType -> CellType -> Bool

max :: CellType -> CellType -> CellType

min :: CellType -> CellType -> CellType

type Rep CellType

Defined in Djot.AST

type Rep CellType = D1 ('MetaData "CellType" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) (C1 ('MetaCons "HeadCell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BodyCell" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Caption

Constructors

Caption Blocks

Instances

Generic Caption

Defined in Djot.AST

Associated Types

type Rep Caption :: Type -> Type

Methods

from :: Caption -> Rep Caption x

to :: Rep Caption x -> Caption

Show Caption

Defined in Djot.AST

Methods

showsPrec :: Int -> Caption -> ShowS

show :: Caption -> String

showList :: [Caption] -> ShowS

Eq Caption

Defined in Djot.AST

Methods

(==) :: Caption -> Caption -> Bool

(/=) :: Caption -> Caption -> Bool

Ord Caption

Defined in Djot.AST

Methods

compare :: Caption -> Caption -> Ordering

(<) :: Caption -> Caption -> Bool

(<=) :: Caption -> Caption -> Bool

(>) :: Caption -> Caption -> Bool

(>=) :: Caption -> Caption -> Bool

max :: Caption -> Caption -> Caption

min :: Caption -> Caption -> Caption

type Rep Caption

Defined in Djot.AST

type Rep Caption = D1 ('MetaData "Caption" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'True) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))

data ListSpacing

Constructors

Tight

Loose

Instances

Generic ListSpacing

Defined in Djot.AST

Associated Types

type Rep ListSpacing :: Type -> Type

Methods

from :: ListSpacing -> Rep ListSpacing x

to :: Rep ListSpacing x -> ListSpacing

Show ListSpacing

Defined in Djot.AST

Methods

showsPrec :: Int -> ListSpacing -> ShowS

show :: ListSpacing -> String

showList :: [ListSpacing] -> ShowS

Eq ListSpacing

Defined in Djot.AST

Methods

(==) :: ListSpacing -> ListSpacing -> Bool

(/=) :: ListSpacing -> ListSpacing -> Bool

Ord ListSpacing

Defined in Djot.AST

Methods

compare :: ListSpacing -> ListSpacing -> Ordering

(<) :: ListSpacing -> ListSpacing -> Bool

(<=) :: ListSpacing -> ListSpacing -> Bool

(>) :: ListSpacing -> ListSpacing -> Bool

(>=) :: ListSpacing -> ListSpacing -> Bool

max :: ListSpacing -> ListSpacing -> ListSpacing

min :: ListSpacing -> ListSpacing -> ListSpacing

type Rep ListSpacing

Defined in Djot.AST

type Rep ListSpacing = D1 ('MetaData "ListSpacing" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) (C1 ('MetaCons "Tight" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Loose" 'PrefixI 'False) (U1 :: Type -> Type))

data OrderedListAttributes

Constructors

OrderedListAttributes

Fields

• orderedListStyle :: OrderedListStyle
• orderedListDelim :: OrderedListDelim
• orderedListStart :: Int

Instances

Generic OrderedListAttributes

Defined in Djot.AST

Associated Types

type Rep OrderedListAttributes :: Type -> Type

Methods

from :: OrderedListAttributes -> Rep OrderedListAttributes x

to :: Rep OrderedListAttributes x -> OrderedListAttributes

Show OrderedListAttributes

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListAttributes -> ShowS

show :: OrderedListAttributes -> String

showList :: [OrderedListAttributes] -> ShowS

Eq OrderedListAttributes

Defined in Djot.AST

Methods

(==) :: OrderedListAttributes -> OrderedListAttributes -> Bool

(/=) :: OrderedListAttributes -> OrderedListAttributes -> Bool

Ord OrderedListAttributes

Defined in Djot.AST

Methods

compare :: OrderedListAttributes -> OrderedListAttributes -> Ordering

(<) :: OrderedListAttributes -> OrderedListAttributes -> Bool

(<=) :: OrderedListAttributes -> OrderedListAttributes -> Bool

(>) :: OrderedListAttributes -> OrderedListAttributes -> Bool

(>=) :: OrderedListAttributes -> OrderedListAttributes -> Bool

max :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes

min :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes

type Rep OrderedListAttributes

Defined in Djot.AST

type Rep OrderedListAttributes = D1 ('MetaData "OrderedListAttributes" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" '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 'DecidedStrict) (Rec0 Int))))

data OrderedListDelim

Constructors

RightPeriod

RightParen

LeftRightParen

Instances

Generic OrderedListDelim

Defined in Djot.AST

Associated Types

type Rep OrderedListDelim :: Type -> Type

Methods

from :: OrderedListDelim -> Rep OrderedListDelim x

to :: Rep OrderedListDelim x -> OrderedListDelim

Show OrderedListDelim

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListDelim -> ShowS

show :: OrderedListDelim -> String

showList :: [OrderedListDelim] -> ShowS

Eq OrderedListDelim

Defined in Djot.AST

Methods

(==) :: OrderedListDelim -> OrderedListDelim -> Bool

(/=) :: OrderedListDelim -> OrderedListDelim -> Bool

Ord OrderedListDelim

Defined in Djot.AST

Methods

compare :: OrderedListDelim -> OrderedListDelim -> Ordering

(<) :: OrderedListDelim -> OrderedListDelim -> Bool

(<=) :: OrderedListDelim -> OrderedListDelim -> Bool

(>) :: OrderedListDelim -> OrderedListDelim -> Bool

(>=) :: OrderedListDelim -> OrderedListDelim -> Bool

max :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim

min :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim

type Rep OrderedListDelim

Defined in Djot.AST

type Rep OrderedListDelim = D1 ('MetaData "OrderedListDelim" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) (C1 ('MetaCons "RightPeriod" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightParen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftRightParen" 'PrefixI 'False) (U1 :: Type -> Type)))

data OrderedListStyle

Constructors

Decimal

LetterUpper

LetterLower

RomanUpper

RomanLower

Instances

Generic OrderedListStyle

Defined in Djot.AST

Associated Types

type Rep OrderedListStyle :: Type -> Type

Methods

from :: OrderedListStyle -> Rep OrderedListStyle x

to :: Rep OrderedListStyle x -> OrderedListStyle

Show OrderedListStyle

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListStyle -> ShowS

show :: OrderedListStyle -> String

showList :: [OrderedListStyle] -> ShowS

Eq OrderedListStyle

Defined in Djot.AST

Methods

(==) :: OrderedListStyle -> OrderedListStyle -> Bool

(/=) :: OrderedListStyle -> OrderedListStyle -> Bool

Ord OrderedListStyle

Defined in Djot.AST

Methods

compare :: OrderedListStyle -> OrderedListStyle -> Ordering

(<) :: OrderedListStyle -> OrderedListStyle -> Bool

(<=) :: OrderedListStyle -> OrderedListStyle -> Bool

(>) :: OrderedListStyle -> OrderedListStyle -> Bool

(>=) :: OrderedListStyle -> OrderedListStyle -> Bool

max :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle

min :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle

type Rep OrderedListStyle

Defined in Djot.AST

type Rep OrderedListStyle = D1 ('MetaData "OrderedListStyle" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) ((C1 ('MetaCons "Decimal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterUpper" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LetterLower" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RomanUpper" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RomanLower" 'PrefixI 'False) (U1 :: Type -> Type))))

data QuoteType

Constructors

SingleQuotes

DoubleQuotes

Instances

Generic QuoteType

Defined in Djot.AST

Associated Types

type Rep QuoteType :: Type -> Type

Methods

from :: QuoteType -> Rep QuoteType x

to :: Rep QuoteType x -> QuoteType

Show QuoteType

Defined in Djot.AST

Methods

showsPrec :: Int -> QuoteType -> ShowS

show :: QuoteType -> String

showList :: [QuoteType] -> ShowS

Eq QuoteType

Defined in Djot.AST

Methods

(==) :: QuoteType -> QuoteType -> Bool

(/=) :: QuoteType -> QuoteType -> Bool

Ord QuoteType

Defined in Djot.AST

Methods

compare :: QuoteType -> QuoteType -> Ordering

(<) :: QuoteType -> QuoteType -> Bool

(<=) :: QuoteType -> QuoteType -> Bool

(>) :: QuoteType -> QuoteType -> Bool

(>=) :: QuoteType -> QuoteType -> Bool

max :: QuoteType -> QuoteType -> QuoteType

min :: QuoteType -> QuoteType -> QuoteType

type Rep QuoteType

Defined in Djot.AST

type Rep QuoteType = D1 ('MetaData "QuoteType" "Djot.AST" "djot-0.1.0.0-30egGiMDX30BrytkAWnGwZ" 'False) (C1 ('MetaCons "SingleQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuotes" 'PrefixI 'False) (U1 :: Type -> Type))

delete :: Inlines -> Inlines

displayMath :: ByteString -> Inlines

insert :: Inlines -> Inlines

emailLink :: ByteString -> Inlines

emph :: Inlines -> Inlines

footnoteReference :: ByteString -> Inlines

hardBreak :: Inlines

highlight :: Inlines -> Inlines

image :: Inlines -> Target -> Inlines

inlineMath :: ByteString -> Inlines

link :: Inlines -> Target -> Inlines

nonBreakingSpace :: Inlines

rawInline :: Format -> ByteString -> Inlines

softBreak :: Inlines

span_ :: Inlines -> Inlines

str :: ByteString -> Inlines

strong :: Inlines -> Inlines

subscript :: Inlines -> Inlines

superscript :: Inlines -> Inlines

singleQuoted :: Inlines -> Inlines

doubleQuoted :: Inlines -> Inlines

symbol :: ByteString -> Inlines

verbatim :: ByteString -> Inlines

urlLink :: ByteString -> Inlines

para :: Inlines -> Blocks

section :: Blocks -> Blocks

heading :: Int -> Inlines -> Blocks

blockQuote :: Blocks -> Blocks

codeBlock :: ByteString -> ByteString -> Blocks

div :: Blocks -> Blocks

bulletList :: ListSpacing -> [Blocks] -> Blocks

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

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

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

thematicBreak :: Blocks

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

rawBlock :: Format -> ByteString -> Blocks

inlinesToByteString :: Inlines -> ByteString