djot-0.1.4.1: Parser and renderer for djot light markup syntax.

Safe Haskell | None
Language | Haskell2010

Djot.AST

Synopsis

- data Inline
  - = 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
- newtype Many a = Many {
  - unMany :: Seq a
  }
- type Inlines = Many (Node Inline)
- data MathStyle
  - = DisplayMath
  - | InlineMath
- newtype Format = Format {
  - unFormat :: ByteString
  }
- data Node a = Node Pos Attr a
- data Pos
  - = NoPos
  - | Pos Int Int Int Int
- addAttr :: Attr -> Node a -> Node a
- addPos :: Pos -> Node a -> Node a
- data Block
  - = 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
- type Blocks = Many (Node Block)
- data Doc = Doc {
  - docBlocks :: Blocks
  - docFootnotes :: NoteMap
  - docReferences :: ReferenceMap
  - docAutoReferences :: ReferenceMap
  - docAutoIdentifiers :: Set ByteString
  }
- newtype NoteMap = NoteMap {
  - unNoteMap :: Map ByteString Blocks
  }
- insertNote :: ByteString -> Blocks -> NoteMap -> NoteMap
- lookupNote :: ByteString -> NoteMap -> Maybe Blocks
- newtype ReferenceMap = ReferenceMap {
  - unReferenceMap :: Map ByteString (ByteString, Attr)
  }
- insertReference :: ByteString -> (ByteString, Attr) -> ReferenceMap -> ReferenceMap
- lookupReference :: ByteString -> ReferenceMap -> Maybe (ByteString, Attr)
- normalizeLabel :: ByteString -> ByteString
- newtype Attr = Attr [(ByteString, ByteString)]
- data Target
  - = Direct ByteString
  - | Reference ByteString
- data TaskStatus
  - = Complete
  - | Incomplete
- data Align
  - = AlignLeft
  - | AlignRight
  - | AlignCenter
  - | AlignDefault
- data Cell = Cell CellType Align Inlines
- data CellType
  - = HeadCell
  - | BodyCell
- newtype Caption = Caption Blocks
- data ListSpacing
  - = Tight
  - | Loose
- data OrderedListAttributes = OrderedListAttributes {
  - orderedListStyle :: OrderedListStyle
  - orderedListDelim :: OrderedListDelim
  - orderedListStart :: Int
  }
- data OrderedListDelim
  - = RightPeriod
  - | RightParen
  - | LeftRightParen
- data OrderedListStyle
  - = Decimal
  - | LetterUpper
  - | LetterLower
  - | RomanUpper
  - | RomanLower
- data QuoteType
  - = SingleQuotes
  - | DoubleQuotes
- 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

# Documentation

data Inline Source #

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

Instances details

Monoid Inlines Source # |
Instance details Defined in Djot.AST Methods mempty :: Inlines Source # mappend :: Inlines -> Inlines -> Inlines Source # mconcat :: [Inlines] -> Inlines Source #
Semigroup Inlines Source # |
Instance details Defined in Djot.AST Methods (<>) :: Inlines -> Inlines -> Inlines Source # sconcat :: NonEmpty Inlines -> Inlines Source # stimes :: Integral b => b -> Inlines -> Inlines Source #
Data Inline Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Inline -> c Inline Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inline Source #

toConstr :: Inline -> Constr Source #

dataTypeOf :: Inline -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inline) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Inline -> Inline Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Inline -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Inline -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inline -> m Inline Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline Source #

Generic Inline Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep Inline |

Instance details

Defined in Djot.AST

type Rep Inline = D1 ('MetaData "Inline" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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))))))

Methods

from :: Inline -> Rep Inline x Source #

to :: Rep Inline x -> Inline Source #

Show Inline Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Inline -> ShowS Source # show :: Inline -> String Source # showList :: [Inline] -> ShowS Source #
Eq Inline Source # |
Instance details Defined in Djot.AST Methods (==) :: Inline -> Inline -> Bool Source # (/=) :: Inline -> Inline -> Bool Source #
Ord Inline Source # |
Instance details Defined in Djot.AST Methods compare :: Inline -> Inline -> Ordering Source # (<) :: Inline -> Inline -> Bool Source # (<=) :: Inline -> Inline -> Bool Source # (>) :: Inline -> Inline -> Bool Source # (>=) :: Inline -> Inline -> Bool Source # max :: Inline -> Inline -> Inline Source # min :: Inline -> Inline -> Inline Source #
Lift Inline Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Inline -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Inline -> Code m Inline Source #
type Rep Inline Source # |

Instance details

Defined in Djot.AST

type Rep Inline = D1 ('MetaData "Inline" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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 Source #

Constructors

Many |

Fields

- unMany :: Seq a

#### Instances

Instances details

Functor Many Source # |
Instance details Defined in Djot.AST Methods fmap :: (a -> b) -> Many a -> Many b Source # (<$) :: a -> Many b -> Many a Source #
Monoid Blocks Source # |
Instance details Defined in Djot.AST Methods mempty :: Blocks Source # mappend :: Blocks -> Blocks -> Blocks Source # mconcat :: [Blocks] -> Blocks Source #
Monoid Inlines Source # |
Instance details Defined in Djot.AST Methods mempty :: Inlines Source # mappend :: Inlines -> Inlines -> Inlines Source # mconcat :: [Inlines] -> Inlines Source #
Semigroup Blocks Source # |
Instance details Defined in Djot.AST Methods (<>) :: Blocks -> Blocks -> Blocks Source # sconcat :: NonEmpty Blocks -> Blocks Source # stimes :: Integral b => b -> Blocks -> Blocks Source #
Semigroup Inlines Source # |
Instance details Defined in Djot.AST Methods (<>) :: Inlines -> Inlines -> Inlines Source # sconcat :: NonEmpty Inlines -> Inlines Source # stimes :: Integral b => b -> Inlines -> Inlines Source #
Foldable Many Source # |

Instance details

Defined in Djot.AST

Methods

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

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

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

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

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

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

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

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

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

toList :: Many a -> [a] Source #

null :: Many a -> Bool Source #

length :: Many a -> Int Source #

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

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

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

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

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

Traversable Many Source # |
Instance details Defined in Djot.AST Methods traverse :: Applicative f => (a -> f b) -> Many a -> f (Many b) Source # sequenceA :: Applicative f => Many (f a) -> f (Many a) Source # mapM :: Monad m => (a -> m b) -> Many a -> m (Many b) Source # sequence :: Monad m => Many (m a) -> m (Many a) Source #
Lift a => Lift (Many a :: Type) Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Many a -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Many a -> Code m (Many a) Source #
Data a => Data (Many a) Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Many a -> c (Many a) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Many a) Source #

toConstr :: Many a -> Constr Source #

dataTypeOf :: Many a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Many a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Many a)) Source #

gmapT :: (forall b. Data b => b -> b) -> Many a -> Many a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Many a -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Many a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Many a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Many a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Many a -> m (Many a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Many a -> m (Many a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Many a -> m (Many a) Source #

Generic (Many a) Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep (Many a) |
Instance details Defined in Djot.AST type Rep (Many a) = D1 ('MetaData "Many" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "Many" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMany") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq a))))

Methods

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

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

Show a => Show (Many a) Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Many a -> ShowS Source # show :: Many a -> String Source # showList :: [Many a] -> ShowS Source #
Eq a => Eq (Many a) Source # |
Instance details Defined in Djot.AST Methods (==) :: Many a -> Many a -> Bool Source # (/=) :: Many a -> Many a -> Bool Source #
Ord a => Ord (Many a) Source # |
Instance details Defined in Djot.AST Methods compare :: Many a -> Many a -> Ordering Source # (<) :: Many a -> Many a -> Bool Source # (<=) :: Many a -> Many a -> Bool Source # (>) :: Many a -> Many a -> Bool Source # (>=) :: Many a -> Many a -> Bool Source # max :: Many a -> Many a -> Many a Source # min :: Many a -> Many a -> Many a Source #
type Rep (Many a) Source # |
Instance details Defined in Djot.AST type Rep (Many a) = D1 ('MetaData "Many" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "Many" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMany") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq a))))

type Inlines = Many (Node Inline) Source #

data MathStyle Source #

Constructors

DisplayMath |
InlineMath |

#### Instances

Instances details

Data MathStyle Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MathStyle -> c MathStyle Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MathStyle Source #

toConstr :: MathStyle -> Constr Source #

dataTypeOf :: MathStyle -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MathStyle) Source #

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

gmapT :: (forall b. Data b => b -> b) -> MathStyle -> MathStyle Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MathStyle -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MathStyle -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> MathStyle -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MathStyle -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle Source #

Generic MathStyle Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep MathStyle |
Instance details Defined in Djot.AST type Rep MathStyle = D1 ('MetaData "MathStyle" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: MathStyle -> Rep MathStyle x Source #

to :: Rep MathStyle x -> MathStyle Source #

Show MathStyle Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> MathStyle -> ShowS Source # show :: MathStyle -> String Source # showList :: [MathStyle] -> ShowS Source #
Eq MathStyle Source # |
Instance details Defined in Djot.AST Methods (==) :: MathStyle -> MathStyle -> Bool Source # (/=) :: MathStyle -> MathStyle -> Bool Source #
Ord MathStyle Source # |
Instance details Defined in Djot.AST Methods compare :: MathStyle -> MathStyle -> Ordering Source # (<) :: MathStyle -> MathStyle -> Bool Source # (<=) :: MathStyle -> MathStyle -> Bool Source # (>) :: MathStyle -> MathStyle -> Bool Source # (>=) :: MathStyle -> MathStyle -> Bool Source # max :: MathStyle -> MathStyle -> MathStyle Source # min :: MathStyle -> MathStyle -> MathStyle Source #
Lift MathStyle Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => MathStyle -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => MathStyle -> Code m MathStyle Source #
type Rep MathStyle Source # |
Instance details Defined in Djot.AST type Rep MathStyle = D1 ('MetaData "MathStyle" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Format Source #

Constructors

Format |

Fields

- unFormat :: ByteString

#### Instances

Instances details

Data Format Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Format -> c Format Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Format Source #

toConstr :: Format -> Constr Source #

dataTypeOf :: Format -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Format) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Format -> Format Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Format -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Format -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Format -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Format -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Format -> m Format Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Format -> m Format Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Format -> m Format Source #

Generic Format Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep Format |
Instance details Defined in Djot.AST type Rep Format = D1 ('MetaData "Format" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "Format" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from :: Format -> Rep Format x Source #

to :: Rep Format x -> Format Source #

Show Format Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Format -> ShowS Source # show :: Format -> String Source # showList :: [Format] -> ShowS Source #
Eq Format Source # |
Instance details Defined in Djot.AST Methods (==) :: Format -> Format -> Bool Source # (/=) :: Format -> Format -> Bool Source #
Ord Format Source # |
Instance details Defined in Djot.AST Methods compare :: Format -> Format -> Ordering Source # (<) :: Format -> Format -> Bool Source # (<=) :: Format -> Format -> Bool Source # (>) :: Format -> Format -> Bool Source # (>=) :: Format -> Format -> Bool Source # max :: Format -> Format -> Format Source # min :: Format -> Format -> Format Source #
Lift Format Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Format -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Format -> Code m Format Source #
type Rep Format Source # |
Instance details Defined in Djot.AST type Rep Format = D1 ('MetaData "Format" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "Format" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data Node a Source #

Constructors

Node Pos Attr a |

#### Instances

Instances details

Functor Node Source # |
Instance details Defined in Djot.AST Methods fmap :: (a -> b) -> Node a -> Node b Source # (<$) :: a -> Node b -> Node a Source #
Monoid Blocks Source # |
Instance details Defined in Djot.AST Methods mempty :: Blocks Source # mappend :: Blocks -> Blocks -> Blocks Source # mconcat :: [Blocks] -> Blocks Source #
Monoid Inlines Source # |
Instance details Defined in Djot.AST Methods mempty :: Inlines Source # mappend :: Inlines -> Inlines -> Inlines Source # mconcat :: [Inlines] -> Inlines Source #
Semigroup Blocks Source # |
Instance details Defined in Djot.AST Methods (<>) :: Blocks -> Blocks -> Blocks Source # sconcat :: NonEmpty Blocks -> Blocks Source # stimes :: Integral b => b -> Blocks -> Blocks Source #
Semigroup Inlines Source # |
Instance details Defined in Djot.AST Methods (<>) :: Inlines -> Inlines -> Inlines Source # sconcat :: NonEmpty Inlines -> Inlines Source # stimes :: Integral b => b -> Inlines -> Inlines Source #
Foldable Node Source # |

Instance details

Defined in Djot.AST

Methods

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

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

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

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

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

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

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

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

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

toList :: Node a -> [a] Source #

null :: Node a -> Bool Source #

length :: Node a -> Int Source #

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

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

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

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

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

Traversable Node Source # |
Instance details Defined in Djot.AST Methods traverse :: Applicative f => (a -> f b) -> Node a -> f (Node b) Source # sequenceA :: Applicative f => Node (f a) -> f (Node a) Source # mapM :: Monad m => (a -> m b) -> Node a -> m (Node b) Source # sequence :: Monad m => Node (m a) -> m (Node a) Source #
Lift a => Lift (Node a :: Type) Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Node a -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Node a -> Code m (Node a) Source #
Data a => Data (Node a) Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Node a -> c (Node a) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Node a) Source #

toConstr :: Node a -> Constr Source #

dataTypeOf :: Node a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Node a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Node a)) Source #

gmapT :: (forall b. Data b => b -> b) -> Node a -> Node a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Node a -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Node a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Node a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Node a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) Source #

Generic (Node a) Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep (Node a) |

Instance details

Defined in Djot.AST

type Rep (Node a) = D1 ('MetaData "Node" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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))))

Methods

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

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

Show a => Show (Node a) Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Node a -> ShowS Source # show :: Node a -> String Source # showList :: [Node a] -> ShowS Source #
Eq a => Eq (Node a) Source # |
Instance details Defined in Djot.AST Methods (==) :: Node a -> Node a -> Bool Source # (/=) :: Node a -> Node a -> Bool Source #
Ord a => Ord (Node a) Source # |
Instance details Defined in Djot.AST Methods compare :: Node a -> Node a -> Ordering Source # (<) :: Node a -> Node a -> Bool Source # (<=) :: Node a -> Node a -> Bool Source # (>) :: Node a -> Node a -> Bool Source # (>=) :: Node a -> Node a -> Bool Source # max :: Node a -> Node a -> Node a Source # min :: Node a -> Node a -> Node a Source #
type Rep (Node a) Source # |

Instance details

Defined in Djot.AST

type Rep (Node a) = D1 ('MetaData "Node" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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 Source #

Constructors

NoPos |
Pos Int Int Int Int |

#### Instances

Instances details

Monoid Pos Source # |
Instance details Defined in Djot.AST Methods mempty :: Pos Source # mappend :: Pos -> Pos -> Pos Source # mconcat :: [Pos] -> Pos Source #
Semigroup Pos Source # |
Instance details Defined in Djot.AST Methods (<>) :: Pos -> Pos -> Pos Source # sconcat :: NonEmpty Pos -> Pos Source # stimes :: Integral b => b -> Pos -> Pos Source #
Data Pos Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pos -> c Pos Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos Source #

toConstr :: Pos -> Constr Source #

dataTypeOf :: Pos -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pos) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos Source #

Generic Pos Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep Pos |

Instance details

Defined in Djot.AST

type Rep Pos = D1 ('MetaData "Pos" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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))))

Methods

from :: Pos -> Rep Pos x Source #

to :: Rep Pos x -> Pos Source #

Show Pos Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Pos -> ShowS Source # show :: Pos -> String Source # showList :: [Pos] -> ShowS Source #
Eq Pos Source # |
Instance details Defined in Djot.AST Methods (==) :: Pos -> Pos -> Bool Source # (/=) :: Pos -> Pos -> Bool Source #
Ord Pos Source # |
Instance details Defined in Djot.AST Methods compare :: Pos -> Pos -> Ordering Source # (<) :: Pos -> Pos -> Bool Source # (<=) :: Pos -> Pos -> Bool Source # (>) :: Pos -> Pos -> Bool Source # (>=) :: Pos -> Pos -> Bool Source # max :: Pos -> Pos -> Pos Source # min :: Pos -> Pos -> Pos Source #
Lift Pos Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Pos -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Pos -> Code m Pos Source #
type Rep Pos Source # |

Instance details

Defined in Djot.AST

type Rep Pos = D1 ('MetaData "Pos" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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 Source #

addPos :: Pos -> Node a -> Node a Source #

data Block Source #

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

Instances details

Monoid Blocks Source # |
Instance details Defined in Djot.AST Methods mempty :: Blocks Source # mappend :: Blocks -> Blocks -> Blocks Source # mconcat :: [Blocks] -> Blocks Source #
Semigroup Blocks Source # |
Instance details Defined in Djot.AST Methods (<>) :: Blocks -> Blocks -> Blocks Source # sconcat :: NonEmpty Blocks -> Blocks Source # stimes :: Integral b => b -> Blocks -> Blocks Source #
Data Block Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Block -> c Block Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block Source #

toConstr :: Block -> Constr Source #

dataTypeOf :: Block -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Block) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Block -> Block Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Block -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block Source #

Generic Block Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep Block |

Instance details

Defined in Djot.AST

type Rep Block = D1 ('MetaData "Block" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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))))))

Methods

from :: Block -> Rep Block x Source #

to :: Rep Block x -> Block Source #

Show Block Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Block -> ShowS Source # show :: Block -> String Source # showList :: [Block] -> ShowS Source #
Eq Block Source # |
Instance details Defined in Djot.AST Methods (==) :: Block -> Block -> Bool Source # (/=) :: Block -> Block -> Bool Source #
Ord Block Source # |
Instance details Defined in Djot.AST Methods compare :: Block -> Block -> Ordering Source # (<) :: Block -> Block -> Bool Source # (<=) :: Block -> Block -> Bool Source # (>) :: Block -> Block -> Bool Source # (>=) :: Block -> Block -> Bool Source # max :: Block -> Block -> Block Source # min :: Block -> Block -> Block Source #
Lift Block Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Block -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Block -> Code m Block Source #
type Rep Block Source # |

Instance details

Defined in Djot.AST

type Rep Block = D1 ('MetaData "Block" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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) Source #

data Doc Source #

Constructors

Doc |

Fields

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

#### Instances

Instances details

Monoid Doc Source # |
Instance details Defined in Djot.AST Methods mempty :: Doc Source # mappend :: Doc -> Doc -> Doc Source # mconcat :: [Doc] -> Doc Source #
Semigroup Doc Source # |
Instance details Defined in Djot.AST Methods (<>) :: Doc -> Doc -> Doc Source # sconcat :: NonEmpty Doc -> Doc Source # stimes :: Integral b => b -> Doc -> Doc Source #
Data Doc Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Doc -> c Doc Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Doc Source #

toConstr :: Doc -> Constr Source #

dataTypeOf :: Doc -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Doc) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Doc -> Doc Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Doc -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Doc -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Doc -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Doc -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Doc -> m Doc Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Doc -> m Doc Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Doc -> m Doc Source #

Generic Doc Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep Doc |

Instance details

Defined in Djot.AST

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

Methods

from :: Doc -> Rep Doc x Source #

to :: Rep Doc x -> Doc Source #

Show Doc Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Doc -> ShowS Source # show :: Doc -> String Source # showList :: [Doc] -> ShowS Source #
Eq Doc Source # |
Instance details Defined in Djot.AST Methods (==) :: Doc -> Doc -> Bool Source # (/=) :: Doc -> Doc -> Bool Source #
Ord Doc Source # |
Instance details Defined in Djot.AST Methods compare :: Doc -> Doc -> Ordering Source # (<) :: Doc -> Doc -> Bool Source # (<=) :: Doc -> Doc -> Bool Source # (>) :: Doc -> Doc -> Bool Source # (>=) :: Doc -> Doc -> Bool Source # max :: Doc -> Doc -> Doc Source # min :: Doc -> Doc -> Doc Source #
Lift Doc Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Doc -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Doc -> Code m Doc Source #
type Rep Doc Source # |

Instance details

Defined in Djot.AST

type Rep Doc = D1 ('MetaData "Doc" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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 Source #

A map from labels to contents.

Constructors

NoteMap |

Fields

- unNoteMap :: Map ByteString Blocks

#### Instances

Instances details

Monoid NoteMap Source # |
Instance details Defined in Djot.AST Methods mempty :: NoteMap Source # mappend :: NoteMap -> NoteMap -> NoteMap Source # mconcat :: [NoteMap] -> NoteMap Source #
Semigroup NoteMap Source # |
Instance details Defined in Djot.AST Methods (<>) :: NoteMap -> NoteMap -> NoteMap Source # sconcat :: NonEmpty NoteMap -> NoteMap Source # stimes :: Integral b => b -> NoteMap -> NoteMap Source #
Data NoteMap Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NoteMap -> c NoteMap Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NoteMap Source #

toConstr :: NoteMap -> Constr Source #

dataTypeOf :: NoteMap -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NoteMap) Source #

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

gmapT :: (forall b. Data b => b -> b) -> NoteMap -> NoteMap Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NoteMap -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NoteMap -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> NoteMap -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NoteMap -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap Source #

Generic NoteMap Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep NoteMap |
Instance details Defined in Djot.AST type Rep NoteMap = D1 ('MetaData "NoteMap" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "NoteMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNoteMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString Blocks))))

Methods

from :: NoteMap -> Rep NoteMap x Source #

to :: Rep NoteMap x -> NoteMap Source #

Show NoteMap Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> NoteMap -> ShowS Source # show :: NoteMap -> String Source # showList :: [NoteMap] -> ShowS Source #
Eq NoteMap Source # |
Instance details Defined in Djot.AST Methods (==) :: NoteMap -> NoteMap -> Bool Source # (/=) :: NoteMap -> NoteMap -> Bool Source #
Ord NoteMap Source # |
Instance details Defined in Djot.AST Methods compare :: NoteMap -> NoteMap -> Ordering Source # (<) :: NoteMap -> NoteMap -> Bool Source # (<=) :: NoteMap -> NoteMap -> Bool Source # (>) :: NoteMap -> NoteMap -> Bool Source # (>=) :: NoteMap -> NoteMap -> Bool Source # max :: NoteMap -> NoteMap -> NoteMap Source # min :: NoteMap -> NoteMap -> NoteMap Source #
Lift NoteMap Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => NoteMap -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => NoteMap -> Code m NoteMap Source #
type Rep NoteMap Source # |
Instance details Defined in Djot.AST type Rep NoteMap = D1 ('MetaData "NoteMap" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "NoteMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNoteMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString Blocks))))

insertNote :: ByteString -> Blocks -> NoteMap -> NoteMap Source #

lookupNote :: ByteString -> NoteMap -> Maybe Blocks Source #

newtype ReferenceMap Source #

Constructors

ReferenceMap |

Fields

- unReferenceMap :: Map ByteString (ByteString, Attr)

#### Instances

Instances details

Monoid ReferenceMap Source # |
Instance details Defined in Djot.AST Methods mempty :: ReferenceMap Source # mappend :: ReferenceMap -> ReferenceMap -> ReferenceMap Source # mconcat :: [ReferenceMap] -> ReferenceMap Source #
Semigroup ReferenceMap Source # |
Instance details Defined in Djot.AST Methods (<>) :: ReferenceMap -> ReferenceMap -> ReferenceMap Source # sconcat :: NonEmpty ReferenceMap -> ReferenceMap Source # stimes :: Integral b => b -> ReferenceMap -> ReferenceMap Source #
Data ReferenceMap Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ReferenceMap -> c ReferenceMap Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ReferenceMap Source #

toConstr :: ReferenceMap -> Constr Source #

dataTypeOf :: ReferenceMap -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ReferenceMap) Source #

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

gmapT :: (forall b. Data b => b -> b) -> ReferenceMap -> ReferenceMap Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ReferenceMap -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ReferenceMap -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> ReferenceMap -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ReferenceMap -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap Source #

Generic ReferenceMap Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep ReferenceMap |
Instance details Defined in Djot.AST type Rep ReferenceMap = D1 ('MetaData "ReferenceMap" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "ReferenceMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unReferenceMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString (ByteString, Attr)))))

Methods

from :: ReferenceMap -> Rep ReferenceMap x Source #

to :: Rep ReferenceMap x -> ReferenceMap Source #

Show ReferenceMap Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> ReferenceMap -> ShowS Source # show :: ReferenceMap -> String Source # showList :: [ReferenceMap] -> ShowS Source #
Eq ReferenceMap Source # |
Instance details Defined in Djot.AST Methods (==) :: ReferenceMap -> ReferenceMap -> Bool Source # (/=) :: ReferenceMap -> ReferenceMap -> Bool Source #
Ord ReferenceMap Source # |

Instance details

Defined in Djot.AST

Methods

compare :: ReferenceMap -> ReferenceMap -> Ordering Source #

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

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

(>) :: ReferenceMap -> ReferenceMap -> Bool Source #

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

max :: ReferenceMap -> ReferenceMap -> ReferenceMap Source #

min :: ReferenceMap -> ReferenceMap -> ReferenceMap Source #

Lift ReferenceMap Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => ReferenceMap -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ReferenceMap -> Code m ReferenceMap Source #
type Rep ReferenceMap Source # |
Instance details Defined in Djot.AST type Rep ReferenceMap = D1 ('MetaData "ReferenceMap" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "ReferenceMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unReferenceMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString (ByteString, Attr)))))

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

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

normalizeLabel :: ByteString -> ByteString Source #

newtype Attr Source #

Constructors

Attr [(ByteString, ByteString)] |

#### Instances

Instances details

Monoid Attr Source # |
Instance details Defined in Djot.AST Methods mempty :: Attr Source # mappend :: Attr -> Attr -> Attr Source # mconcat :: [Attr] -> Attr Source #
Semigroup Attr Source # |
Instance details Defined in Djot.AST Methods (<>) :: Attr -> Attr -> Attr Source # sconcat :: NonEmpty Attr -> Attr Source # stimes :: Integral b => b -> Attr -> Attr Source #
Data Attr Source # |

Instance details

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 Source #

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

toConstr :: Attr -> Constr Source #

dataTypeOf :: Attr -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Generic Attr Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep Attr |
Instance details Defined in Djot.AST type Rep Attr = D1 ('MetaData "Attr" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ByteString, ByteString)])))

Methods

from :: Attr -> Rep Attr x Source #

to :: Rep Attr x -> Attr Source #

Show Attr Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Attr -> ShowS Source # show :: Attr -> String Source # showList :: [Attr] -> ShowS Source #
Eq Attr Source # |
Instance details Defined in Djot.AST Methods (==) :: Attr -> Attr -> Bool Source # (/=) :: Attr -> Attr -> Bool Source #
Ord Attr Source # |
Instance details Defined in Djot.AST Methods compare :: Attr -> Attr -> Ordering Source # (<) :: Attr -> Attr -> Bool Source # (<=) :: Attr -> Attr -> Bool Source # (>) :: Attr -> Attr -> Bool Source # (>=) :: Attr -> Attr -> Bool Source # max :: Attr -> Attr -> Attr Source # min :: Attr -> Attr -> Attr Source #
Lift Attr Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Attr -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Attr -> Code m Attr Source #
type Rep Attr Source # |
Instance details Defined in Djot.AST type Rep Attr = D1 ('MetaData "Attr" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ByteString, ByteString)])))

data Target Source #

Constructors

Direct ByteString |
Reference ByteString |

#### Instances

Instances details

Data Target Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Target -> c Target Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Target Source #

toConstr :: Target -> Constr Source #

dataTypeOf :: Target -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Target) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Target -> Target Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Target -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Target -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Target -> m Target Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target Source #

Generic Target Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep Target |

Instance details

Defined in Djot.AST

type Rep Target = D1 ('MetaData "Target" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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)))

Methods

from :: Target -> Rep Target x Source #

to :: Rep Target x -> Target Source #

Show Target Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Target -> ShowS Source # show :: Target -> String Source # showList :: [Target] -> ShowS Source #
Eq Target Source # |
Instance details Defined in Djot.AST Methods (==) :: Target -> Target -> Bool Source # (/=) :: Target -> Target -> Bool Source #
Ord Target Source # |
Instance details Defined in Djot.AST Methods compare :: Target -> Target -> Ordering Source # (<) :: Target -> Target -> Bool Source # (<=) :: Target -> Target -> Bool Source # (>) :: Target -> Target -> Bool Source # (>=) :: Target -> Target -> Bool Source # max :: Target -> Target -> Target Source # min :: Target -> Target -> Target Source #
Lift Target Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Target -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Target -> Code m Target Source #
type Rep Target Source # |

Instance details

Defined in Djot.AST

type Rep Target = D1 ('MetaData "Target" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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 Source #

Constructors

Complete |
Incomplete |

#### Instances

Instances details

Data TaskStatus Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TaskStatus -> c TaskStatus Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TaskStatus Source #

toConstr :: TaskStatus -> Constr Source #

dataTypeOf :: TaskStatus -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TaskStatus) Source #

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

gmapT :: (forall b. Data b => b -> b) -> TaskStatus -> TaskStatus Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TaskStatus -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TaskStatus -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> TaskStatus -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TaskStatus -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus Source #

Generic TaskStatus Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep TaskStatus |
Instance details Defined in Djot.AST type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'False) (C1 ('MetaCons "Complete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incomplete" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: TaskStatus -> Rep TaskStatus x Source #

to :: Rep TaskStatus x -> TaskStatus Source #

Show TaskStatus Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> TaskStatus -> ShowS Source # show :: TaskStatus -> String Source # showList :: [TaskStatus] -> ShowS Source #
Eq TaskStatus Source # |
Instance details Defined in Djot.AST Methods (==) :: TaskStatus -> TaskStatus -> Bool Source # (/=) :: TaskStatus -> TaskStatus -> Bool Source #
Ord TaskStatus Source # |

Instance details

Defined in Djot.AST

Methods

compare :: TaskStatus -> TaskStatus -> Ordering Source #

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

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

(>) :: TaskStatus -> TaskStatus -> Bool Source #

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

max :: TaskStatus -> TaskStatus -> TaskStatus Source #

min :: TaskStatus -> TaskStatus -> TaskStatus Source #

Lift TaskStatus Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => TaskStatus -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => TaskStatus -> Code m TaskStatus Source #
type Rep TaskStatus Source # |
Instance details Defined in Djot.AST type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'False) (C1 ('MetaCons "Complete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incomplete" 'PrefixI 'False) (U1 :: Type -> Type))

data Align Source #

Constructors

AlignLeft |
AlignRight |
AlignCenter |
AlignDefault |

#### Instances

Instances details

Data Align Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Align -> c Align Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Align Source #

toConstr :: Align -> Constr Source #

dataTypeOf :: Align -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Align) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Align -> Align Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Align -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Align -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Align -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Align -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Align -> m Align Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Align -> m Align Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Align -> m Align Source #

Generic Align Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep Align |

Instance details

Defined in Djot.AST

type Rep Align = D1 ('MetaData "Align" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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)))

Methods

from :: Align -> Rep Align x Source #

to :: Rep Align x -> Align Source #

Show Align Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Align -> ShowS Source # show :: Align -> String Source # showList :: [Align] -> ShowS Source #
Eq Align Source # |
Instance details Defined in Djot.AST Methods (==) :: Align -> Align -> Bool Source # (/=) :: Align -> Align -> Bool Source #
Ord Align Source # |
Instance details Defined in Djot.AST Methods compare :: Align -> Align -> Ordering Source # (<) :: Align -> Align -> Bool Source # (<=) :: Align -> Align -> Bool Source # (>) :: Align -> Align -> Bool Source # (>=) :: Align -> Align -> Bool Source # max :: Align -> Align -> Align Source # min :: Align -> Align -> Align Source #
Lift Align Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Align -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Align -> Code m Align Source #
type Rep Align Source # |

Instance details

Defined in Djot.AST

type Rep Align = D1 ('MetaData "Align" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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 Source #

Constructors

Cell CellType Align Inlines |

#### Instances

Instances details

Data Cell Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Cell -> c Cell Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Cell Source #

toConstr :: Cell -> Constr Source #

dataTypeOf :: Cell -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Cell) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Cell -> Cell Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Cell -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Cell -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Cell -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Cell -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Cell -> m Cell Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Cell -> m Cell Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Cell -> m Cell Source #

Generic Cell Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep Cell |

Instance details

Defined in Djot.AST

type Rep Cell = D1 ('MetaData "Cell" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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))))

Methods

from :: Cell -> Rep Cell x Source #

to :: Rep Cell x -> Cell Source #

Show Cell Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Cell -> ShowS Source # show :: Cell -> String Source # showList :: [Cell] -> ShowS Source #
Eq Cell Source # |
Instance details Defined in Djot.AST Methods (==) :: Cell -> Cell -> Bool Source # (/=) :: Cell -> Cell -> Bool Source #
Ord Cell Source # |
Instance details Defined in Djot.AST Methods compare :: Cell -> Cell -> Ordering Source # (<) :: Cell -> Cell -> Bool Source # (<=) :: Cell -> Cell -> Bool Source # (>) :: Cell -> Cell -> Bool Source # (>=) :: Cell -> Cell -> Bool Source # max :: Cell -> Cell -> Cell Source # min :: Cell -> Cell -> Cell Source #
Lift Cell Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Cell -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Cell -> Code m Cell Source #
type Rep Cell Source # |

Instance details

Defined in Djot.AST

type Rep Cell = D1 ('MetaData "Cell" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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 Source #

Constructors

HeadCell |
BodyCell |

#### Instances

Instances details

Data CellType Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CellType -> c CellType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CellType Source #

toConstr :: CellType -> Constr Source #

dataTypeOf :: CellType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CellType) Source #

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

gmapT :: (forall b. Data b => b -> b) -> CellType -> CellType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CellType -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CellType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> CellType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CellType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CellType -> m CellType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CellType -> m CellType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CellType -> m CellType Source #

Generic CellType Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep CellType |
Instance details Defined in Djot.AST type Rep CellType = D1 ('MetaData "CellType" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'False) (C1 ('MetaCons "HeadCell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BodyCell" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: CellType -> Rep CellType x Source #

to :: Rep CellType x -> CellType Source #

Show CellType Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> CellType -> ShowS Source # show :: CellType -> String Source # showList :: [CellType] -> ShowS Source #
Eq CellType Source # |
Instance details Defined in Djot.AST Methods (==) :: CellType -> CellType -> Bool Source # (/=) :: CellType -> CellType -> Bool Source #
Ord CellType Source # |
Instance details Defined in Djot.AST Methods compare :: CellType -> CellType -> Ordering Source # (<) :: CellType -> CellType -> Bool Source # (<=) :: CellType -> CellType -> Bool Source # (>) :: CellType -> CellType -> Bool Source # (>=) :: CellType -> CellType -> Bool Source # max :: CellType -> CellType -> CellType Source # min :: CellType -> CellType -> CellType Source #
Lift CellType Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => CellType -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => CellType -> Code m CellType Source #
type Rep CellType Source # |
Instance details Defined in Djot.AST type Rep CellType = D1 ('MetaData "CellType" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'False) (C1 ('MetaCons "HeadCell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BodyCell" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Caption Source #

Constructors

Caption Blocks |

#### Instances

Instances details

Data Caption Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Caption -> c Caption Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Caption Source #

toConstr :: Caption -> Constr Source #

dataTypeOf :: Caption -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Caption) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Caption -> Caption Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Caption -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Caption -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Caption -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Caption -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Caption -> m Caption Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Caption -> m Caption Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Caption -> m Caption Source #

Generic Caption Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep Caption |
Instance details Defined in Djot.AST type Rep Caption = D1 ('MetaData "Caption" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))

Methods

from :: Caption -> Rep Caption x Source #

to :: Rep Caption x -> Caption Source #

Show Caption Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Caption -> ShowS Source # show :: Caption -> String Source # showList :: [Caption] -> ShowS Source #
Eq Caption Source # |
Instance details Defined in Djot.AST Methods (==) :: Caption -> Caption -> Bool Source # (/=) :: Caption -> Caption -> Bool Source #
Ord Caption Source # |
Instance details Defined in Djot.AST Methods compare :: Caption -> Caption -> Ordering Source # (<) :: Caption -> Caption -> Bool Source # (<=) :: Caption -> Caption -> Bool Source # (>) :: Caption -> Caption -> Bool Source # (>=) :: Caption -> Caption -> Bool Source # max :: Caption -> Caption -> Caption Source # min :: Caption -> Caption -> Caption Source #
Lift Caption Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => Caption -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Caption -> Code m Caption Source #
type Rep Caption Source # |
Instance details Defined in Djot.AST type Rep Caption = D1 ('MetaData "Caption" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'True) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))

data ListSpacing Source #

Constructors

Tight |
Loose |

#### Instances

Instances details

Data ListSpacing Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListSpacing -> c ListSpacing Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListSpacing Source #

toConstr :: ListSpacing -> Constr Source #

dataTypeOf :: ListSpacing -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListSpacing) Source #

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

gmapT :: (forall b. Data b => b -> b) -> ListSpacing -> ListSpacing Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListSpacing -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListSpacing -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> ListSpacing -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ListSpacing -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing Source #

Generic ListSpacing Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep ListSpacing |
Instance details Defined in Djot.AST type Rep ListSpacing = D1 ('MetaData "ListSpacing" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'False) (C1 ('MetaCons "Tight" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Loose" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ListSpacing -> Rep ListSpacing x Source #

to :: Rep ListSpacing x -> ListSpacing Source #

Show ListSpacing Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> ListSpacing -> ShowS Source # show :: ListSpacing -> String Source # showList :: [ListSpacing] -> ShowS Source #
Eq ListSpacing Source # |
Instance details Defined in Djot.AST Methods (==) :: ListSpacing -> ListSpacing -> Bool Source # (/=) :: ListSpacing -> ListSpacing -> Bool Source #
Ord ListSpacing Source # |

Instance details

Defined in Djot.AST

Methods

compare :: ListSpacing -> ListSpacing -> Ordering Source #

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

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

(>) :: ListSpacing -> ListSpacing -> Bool Source #

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

max :: ListSpacing -> ListSpacing -> ListSpacing Source #

min :: ListSpacing -> ListSpacing -> ListSpacing Source #

Lift ListSpacing Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => ListSpacing -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ListSpacing -> Code m ListSpacing Source #
type Rep ListSpacing Source # |
Instance details Defined in Djot.AST type Rep ListSpacing = D1 ('MetaData "ListSpacing" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'False) (C1 ('MetaCons "Tight" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Loose" 'PrefixI 'False) (U1 :: Type -> Type))

data OrderedListAttributes Source #

Constructors

OrderedListAttributes |

Fields

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

#### Instances

Instances details

Data OrderedListAttributes Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderedListAttributes -> c OrderedListAttributes Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListAttributes Source #

toConstr :: OrderedListAttributes -> Constr Source #

dataTypeOf :: OrderedListAttributes -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListAttributes) Source #

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

gmapT :: (forall b. Data b => b -> b) -> OrderedListAttributes -> OrderedListAttributes Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListAttributes -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListAttributes -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> OrderedListAttributes -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListAttributes -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes Source #

Generic OrderedListAttributes Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep OrderedListAttributes |

Instance details

Defined in Djot.AST

type Rep OrderedListAttributes = D1 ('MetaData "OrderedListAttributes" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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))))

Methods

from :: OrderedListAttributes -> Rep OrderedListAttributes x Source #

to :: Rep OrderedListAttributes x -> OrderedListAttributes Source #

Show OrderedListAttributes Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> OrderedListAttributes -> ShowS Source # show :: OrderedListAttributes -> String Source # showList :: [OrderedListAttributes] -> ShowS Source #
Eq OrderedListAttributes Source # |
Instance details Defined in Djot.AST Methods (==) :: OrderedListAttributes -> OrderedListAttributes -> Bool Source # (/=) :: OrderedListAttributes -> OrderedListAttributes -> Bool Source #
Ord OrderedListAttributes Source # |

Instance details

Defined in Djot.AST

Methods

compare :: OrderedListAttributes -> OrderedListAttributes -> Ordering Source #

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

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

(>) :: OrderedListAttributes -> OrderedListAttributes -> Bool Source #

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

max :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes Source #

min :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes Source #

Lift OrderedListAttributes Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => OrderedListAttributes -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => OrderedListAttributes -> Code m OrderedListAttributes Source #
type Rep OrderedListAttributes Source # |

Instance details

Defined in Djot.AST

type Rep OrderedListAttributes = D1 ('MetaData "OrderedListAttributes" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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 Source #

Constructors

RightPeriod |
RightParen |
LeftRightParen |

#### Instances

Instances details

Data OrderedListDelim Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderedListDelim -> c OrderedListDelim Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListDelim Source #

toConstr :: OrderedListDelim -> Constr Source #

dataTypeOf :: OrderedListDelim -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListDelim) Source #

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

gmapT :: (forall b. Data b => b -> b) -> OrderedListDelim -> OrderedListDelim Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListDelim -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListDelim -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> OrderedListDelim -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListDelim -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim Source #

Generic OrderedListDelim Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep OrderedListDelim |
Instance details Defined in Djot.AST type Rep OrderedListDelim = D1 ('MetaData "OrderedListDelim" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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)))

Methods

from :: OrderedListDelim -> Rep OrderedListDelim x Source #

to :: Rep OrderedListDelim x -> OrderedListDelim Source #

Show OrderedListDelim Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> OrderedListDelim -> ShowS Source # show :: OrderedListDelim -> String Source # showList :: [OrderedListDelim] -> ShowS Source #
Eq OrderedListDelim Source # |
Instance details Defined in Djot.AST Methods (==) :: OrderedListDelim -> OrderedListDelim -> Bool Source # (/=) :: OrderedListDelim -> OrderedListDelim -> Bool Source #
Ord OrderedListDelim Source # |

Instance details

Defined in Djot.AST

Methods

compare :: OrderedListDelim -> OrderedListDelim -> Ordering Source #

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

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

(>) :: OrderedListDelim -> OrderedListDelim -> Bool Source #

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

max :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim Source #

min :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim Source #

Lift OrderedListDelim Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => OrderedListDelim -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => OrderedListDelim -> Code m OrderedListDelim Source #
type Rep OrderedListDelim Source # |
Instance details Defined in Djot.AST type Rep OrderedListDelim = D1 ('MetaData "OrderedListDelim" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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 Source #

Constructors

Decimal |
LetterUpper |
LetterLower |
RomanUpper |
RomanLower |

#### Instances

Instances details

Data OrderedListStyle Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderedListStyle -> c OrderedListStyle Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListStyle Source #

toConstr :: OrderedListStyle -> Constr Source #

dataTypeOf :: OrderedListStyle -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListStyle) Source #

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

gmapT :: (forall b. Data b => b -> b) -> OrderedListStyle -> OrderedListStyle Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListStyle -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListStyle -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> OrderedListStyle -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListStyle -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle Source #

Generic OrderedListStyle Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep OrderedListStyle |

Instance details

Defined in Djot.AST

type Rep OrderedListStyle = D1 ('MetaData "OrderedListStyle" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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))))

Methods

from :: OrderedListStyle -> Rep OrderedListStyle x Source #

to :: Rep OrderedListStyle x -> OrderedListStyle Source #

Show OrderedListStyle Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> OrderedListStyle -> ShowS Source # show :: OrderedListStyle -> String Source # showList :: [OrderedListStyle] -> ShowS Source #
Eq OrderedListStyle Source # |
Instance details Defined in Djot.AST Methods (==) :: OrderedListStyle -> OrderedListStyle -> Bool Source # (/=) :: OrderedListStyle -> OrderedListStyle -> Bool Source #
Ord OrderedListStyle Source # |

Instance details

Defined in Djot.AST

Methods

compare :: OrderedListStyle -> OrderedListStyle -> Ordering Source #

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

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

(>) :: OrderedListStyle -> OrderedListStyle -> Bool Source #

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

max :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle Source #

min :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle Source #

Lift OrderedListStyle Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => OrderedListStyle -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => OrderedListStyle -> Code m OrderedListStyle Source #
type Rep OrderedListStyle Source # |

Instance details

Defined in Djot.AST

type Rep OrderedListStyle = D1 ('MetaData "OrderedListStyle" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" '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 Source #

Constructors

SingleQuotes |
DoubleQuotes |

#### Instances

Instances details

Data QuoteType Source # |

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QuoteType -> c QuoteType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QuoteType Source #

toConstr :: QuoteType -> Constr Source #

dataTypeOf :: QuoteType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c QuoteType) Source #

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

gmapT :: (forall b. Data b => b -> b) -> QuoteType -> QuoteType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QuoteType -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QuoteType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> QuoteType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> QuoteType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType Source #

Generic QuoteType Source # |

Instance details

Defined in Djot.AST

Associated Types

type Rep QuoteType |
Instance details Defined in Djot.AST type Rep QuoteType = D1 ('MetaData "QuoteType" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'False) (C1 ('MetaCons "SingleQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuotes" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: QuoteType -> Rep QuoteType x Source #

to :: Rep QuoteType x -> QuoteType Source #

Show QuoteType Source # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> QuoteType -> ShowS Source # show :: QuoteType -> String Source # showList :: [QuoteType] -> ShowS Source #
Eq QuoteType Source # |
Instance details Defined in Djot.AST Methods (==) :: QuoteType -> QuoteType -> Bool Source # (/=) :: QuoteType -> QuoteType -> Bool Source #
Ord QuoteType Source # |
Instance details Defined in Djot.AST Methods compare :: QuoteType -> QuoteType -> Ordering Source # (<) :: QuoteType -> QuoteType -> Bool Source # (<=) :: QuoteType -> QuoteType -> Bool Source # (>) :: QuoteType -> QuoteType -> Bool Source # (>=) :: QuoteType -> QuoteType -> Bool Source # max :: QuoteType -> QuoteType -> QuoteType Source # min :: QuoteType -> QuoteType -> QuoteType Source #
Lift QuoteType Source # |
Instance details Defined in Djot.AST Methods lift :: Quote m => QuoteType -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => QuoteType -> Code m QuoteType Source #
type Rep QuoteType Source # |
Instance details Defined in Djot.AST type Rep QuoteType = D1 ('MetaData "QuoteType" "Djot.AST" "djot-0.1.4.1-t0HF4cqmyfLQC7D3TJefH" 'False) (C1 ('MetaCons "SingleQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuotes" 'PrefixI 'False) (U1 :: Type -> Type))

delete :: Inlines -> Inlines Source #

displayMath :: ByteString -> Inlines Source #

insert :: Inlines -> Inlines Source #

emailLink :: ByteString -> Inlines Source #

emph :: Inlines -> Inlines Source #

footnoteReference :: ByteString -> Inlines Source #

hardBreak :: Inlines Source #

highlight :: Inlines -> Inlines Source #

image :: Inlines -> Target -> Inlines Source #

inlineMath :: ByteString -> Inlines Source #

link :: Inlines -> Target -> Inlines Source #

nonBreakingSpace :: Inlines Source #

rawInline :: Format -> ByteString -> Inlines Source #

softBreak :: Inlines Source #

span_ :: Inlines -> Inlines Source #

str :: ByteString -> Inlines Source #

strong :: Inlines -> Inlines Source #

subscript :: Inlines -> Inlines Source #

superscript :: Inlines -> Inlines Source #

singleQuoted :: Inlines -> Inlines Source #

doubleQuoted :: Inlines -> Inlines Source #

symbol :: ByteString -> Inlines Source #

verbatim :: ByteString -> Inlines Source #

urlLink :: ByteString -> Inlines Source #

para :: Inlines -> Blocks Source #

section :: Blocks -> Blocks Source #

heading :: Int -> Inlines -> Blocks Source #

blockQuote :: Blocks -> Blocks Source #

codeBlock :: ByteString -> ByteString -> Blocks Source #

div :: Blocks -> Blocks Source #

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

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

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

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

thematicBreak :: Blocks Source #

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

rawBlock :: Format -> ByteString -> Blocks Source #

inlinesToByteString :: Inlines -> ByteString Source #