Djot.AST

djot-0.1.1.3: 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 #

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

Data Inline # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inline # toConstr :: Inline -> Constr # dataTypeOf :: Inline -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inline) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Inline) # gmapT :: (forall b. Data b => b -> b) -> Inline -> Inline # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r # gmapQ :: (forall d. Data d => d -> u) -> Inline -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Inline -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inline -> m Inline # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline #
Monoid Inlines # |
Instance details Defined in Djot.AST Methods mempty :: Inlines # mappend :: Inlines -> Inlines -> Inlines # mconcat :: [Inlines] -> Inlines #
Semigroup Inlines # |
Instance details Defined in Djot.AST Methods (<>) :: Inlines -> Inlines -> Inlines # sconcat :: NonEmpty Inlines -> Inlines # stimes :: Integral b => b -> Inlines -> Inlines #
Generic Inline # |
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.1.3-IPWksF4INLE8lR98AlzOK3" '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 # to :: Rep Inline x -> Inline #
Show Inline # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Inline -> ShowS # show :: Inline -> String # showList :: [Inline] -> ShowS #
Eq Inline # |
Instance details Defined in Djot.AST Methods (==) :: Inline -> Inline -> Bool # (/=) :: Inline -> Inline -> Bool #
Ord Inline # |
Instance details Defined in Djot.AST Methods compare :: Inline -> Inline -> Ordering # (<) :: Inline -> Inline -> Bool # (<=) :: Inline -> Inline -> Bool # (>) :: Inline -> Inline -> Bool # (>=) :: Inline -> Inline -> Bool # max :: Inline -> Inline -> Inline # min :: Inline -> Inline -> Inline #
type Rep Inline # |
Instance details Defined in Djot.AST type Rep Inline = D1 ('MetaData "Inline" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) ((((C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Emph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))) :+: (C1 ('MetaCons "Strong" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Highlight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: C1 ('MetaCons "Insert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))))) :+: ((C1 ('MetaCons "Delete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Superscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: C1 ('MetaCons "Subscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)))) :+: (C1 ('MetaCons "Verbatim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: (C1 ('MetaCons "Symbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Math" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MathStyle) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))))) :+: (((C1 ('MetaCons "Link" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target)) :+: C1 ('MetaCons "Image" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target))) :+: (C1 ('MetaCons "Span" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "FootnoteReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "UrlLink" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))))) :+: ((C1 ('MetaCons "EmailLink" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: (C1 ('MetaCons "RawInline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "NonBreakingSpace" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Quoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 QuoteType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "SoftBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HardBreak" 'PrefixI 'False) (U1 :: Type -> Type))))))

newtype Many a #

Constructors

Many |
Fields unMany :: Seq a

#### Instances

Instances details

Foldable Many # |
Instance details Defined in Djot.AST Methods fold :: Monoid m => Many m -> m # foldMap :: Monoid m => (a -> m) -> Many a -> m # foldMap' :: Monoid m => (a -> m) -> Many a -> m # foldr :: (a -> b -> b) -> b -> Many a -> b # foldr' :: (a -> b -> b) -> b -> Many a -> b # foldl :: (b -> a -> b) -> b -> Many a -> b # foldl' :: (b -> a -> b) -> b -> Many a -> b # foldr1 :: (a -> a -> a) -> Many a -> a # foldl1 :: (a -> a -> a) -> Many a -> a # toList :: Many a -> [a] # null :: Many a -> Bool # length :: Many a -> Int # elem :: Eq a => a -> Many a -> Bool # maximum :: Ord a => Many a -> a # minimum :: Ord a => Many a -> a # sum :: Num a => Many a -> a # product :: Num a => Many a -> a #
Traversable Many # |
Instance details Defined in Djot.AST Methods traverse :: Applicative f => (a -> f b) -> Many a -> f (Many b) # sequenceA :: Applicative f => Many (f a) -> f (Many a) # mapM :: Monad m => (a -> m b) -> Many a -> m (Many b) # sequence :: Monad m => Many (m a) -> m (Many a) #
Functor Many # |
Instance details Defined in Djot.AST Methods fmap :: (a -> b) -> Many a -> Many b # (<$) :: a -> Many b -> Many a #
Monoid Blocks # |
Instance details Defined in Djot.AST Methods mempty :: Blocks # mappend :: Blocks -> Blocks -> Blocks # mconcat :: [Blocks] -> Blocks #
Monoid Inlines # |
Instance details Defined in Djot.AST Methods mempty :: Inlines # mappend :: Inlines -> Inlines -> Inlines # mconcat :: [Inlines] -> Inlines #
Semigroup Blocks # |
Instance details Defined in Djot.AST Methods (<>) :: Blocks -> Blocks -> Blocks # sconcat :: NonEmpty Blocks -> Blocks # stimes :: Integral b => b -> Blocks -> Blocks #
Semigroup Inlines # |
Instance details Defined in Djot.AST Methods (<>) :: Inlines -> Inlines -> Inlines # sconcat :: NonEmpty Inlines -> Inlines # stimes :: Integral b => b -> Inlines -> Inlines #
Data a => Data (Many a) # |
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) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Many a) # toConstr :: Many a -> Constr # dataTypeOf :: Many a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Many a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Many a)) # gmapT :: (forall b. Data b => b -> b) -> Many a -> Many a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Many a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Many a -> r # gmapQ :: (forall d. Data d => d -> u) -> Many a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Many a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Many a -> m (Many a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Many a -> m (Many a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Many a -> m (Many a) #
Generic (Many a) # |
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.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "Many" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMany") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq a))))
Methods from :: Many a -> Rep (Many a) x # to :: Rep (Many a) x -> Many a #
Show a => Show (Many a) # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Many a -> ShowS # show :: Many a -> String # showList :: [Many a] -> ShowS #
Eq a => Eq (Many a) # |
Instance details Defined in Djot.AST Methods (==) :: Many a -> Many a -> Bool # (/=) :: Many a -> Many a -> Bool #
Ord a => Ord (Many a) # |
Instance details Defined in Djot.AST Methods compare :: Many a -> Many a -> Ordering # (<) :: Many a -> Many a -> Bool # (<=) :: Many a -> Many a -> Bool # (>) :: Many a -> Many a -> Bool # (>=) :: Many a -> Many a -> Bool # max :: Many a -> Many a -> Many a # min :: Many a -> Many a -> Many a #
type Rep (Many a) # |
Instance details Defined in Djot.AST type Rep (Many a) = D1 ('MetaData "Many" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "Many" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMany") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq a))))

type Inlines = Many (Node Inline) #

data MathStyle #

Constructors

DisplayMath |
InlineMath |

#### Instances

Instances details

Data MathStyle # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MathStyle # toConstr :: MathStyle -> Constr # dataTypeOf :: MathStyle -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MathStyle) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MathStyle) # gmapT :: (forall b. Data b => b -> b) -> MathStyle -> MathStyle # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MathStyle -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MathStyle -> r # gmapQ :: (forall d. Data d => d -> u) -> MathStyle -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MathStyle -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle #
Generic MathStyle # |
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.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: Type -> Type))
Methods from :: MathStyle -> Rep MathStyle x # to :: Rep MathStyle x -> MathStyle #
Show MathStyle # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> MathStyle -> ShowS # show :: MathStyle -> String # showList :: [MathStyle] -> ShowS #
Eq MathStyle # |
Instance details Defined in Djot.AST Methods (==) :: MathStyle -> MathStyle -> Bool # (/=) :: MathStyle -> MathStyle -> Bool #
Ord MathStyle # |
Instance details Defined in Djot.AST Methods compare :: MathStyle -> MathStyle -> Ordering # (<) :: MathStyle -> MathStyle -> Bool # (<=) :: MathStyle -> MathStyle -> Bool # (>) :: MathStyle -> MathStyle -> Bool # (>=) :: MathStyle -> MathStyle -> Bool # max :: MathStyle -> MathStyle -> MathStyle # min :: MathStyle -> MathStyle -> MathStyle #
type Rep MathStyle # |
Instance details Defined in Djot.AST type Rep MathStyle = D1 ('MetaData "MathStyle" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Format #

Constructors

Format |
Fields unFormat :: ByteString

#### Instances

Instances details

Data Format # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Format # toConstr :: Format -> Constr # dataTypeOf :: Format -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Format) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Format) # gmapT :: (forall b. Data b => b -> b) -> Format -> Format # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Format -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Format -> r # gmapQ :: (forall d. Data d => d -> u) -> Format -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Format -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Format -> m Format # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Format -> m Format # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Format -> m Format #
Generic Format # |
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.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "Format" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))
Methods from :: Format -> Rep Format x # to :: Rep Format x -> Format #
Show Format # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Format -> ShowS # show :: Format -> String # showList :: [Format] -> ShowS #
Eq Format # |
Instance details Defined in Djot.AST Methods (==) :: Format -> Format -> Bool # (/=) :: Format -> Format -> Bool #
Ord Format # |
Instance details Defined in Djot.AST Methods compare :: Format -> Format -> Ordering # (<) :: Format -> Format -> Bool # (<=) :: Format -> Format -> Bool # (>) :: Format -> Format -> Bool # (>=) :: Format -> Format -> Bool # max :: Format -> Format -> Format # min :: Format -> Format -> Format #
type Rep Format # |
Instance details Defined in Djot.AST type Rep Format = D1 ('MetaData "Format" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "Format" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data Node a #

Constructors

Node Pos Attr a |

#### Instances

Instances details

Foldable Node # |
Instance details Defined in Djot.AST Methods fold :: Monoid m => Node m -> m # foldMap :: Monoid m => (a -> m) -> Node a -> m # foldMap' :: Monoid m => (a -> m) -> Node a -> m # foldr :: (a -> b -> b) -> b -> Node a -> b # foldr' :: (a -> b -> b) -> b -> Node a -> b # foldl :: (b -> a -> b) -> b -> Node a -> b # foldl' :: (b -> a -> b) -> b -> Node a -> b # foldr1 :: (a -> a -> a) -> Node a -> a # foldl1 :: (a -> a -> a) -> Node a -> a # toList :: Node a -> [a] # null :: Node a -> Bool # length :: Node a -> Int # elem :: Eq a => a -> Node a -> Bool # maximum :: Ord a => Node a -> a # minimum :: Ord a => Node a -> a # sum :: Num a => Node a -> a # product :: Num a => Node a -> a #
Traversable Node # |
Instance details Defined in Djot.AST Methods traverse :: Applicative f => (a -> f b) -> Node a -> f (Node b) # sequenceA :: Applicative f => Node (f a) -> f (Node a) # mapM :: Monad m => (a -> m b) -> Node a -> m (Node b) # sequence :: Monad m => Node (m a) -> m (Node a) #
Functor Node # |
Instance details Defined in Djot.AST Methods fmap :: (a -> b) -> Node a -> Node b # (<$) :: a -> Node b -> Node a #
Monoid Blocks # |
Instance details Defined in Djot.AST Methods mempty :: Blocks # mappend :: Blocks -> Blocks -> Blocks # mconcat :: [Blocks] -> Blocks #
Monoid Inlines # |
Instance details Defined in Djot.AST Methods mempty :: Inlines # mappend :: Inlines -> Inlines -> Inlines # mconcat :: [Inlines] -> Inlines #
Semigroup Blocks # |
Instance details Defined in Djot.AST Methods (<>) :: Blocks -> Blocks -> Blocks # sconcat :: NonEmpty Blocks -> Blocks # stimes :: Integral b => b -> Blocks -> Blocks #
Semigroup Inlines # |
Instance details Defined in Djot.AST Methods (<>) :: Inlines -> Inlines -> Inlines # sconcat :: NonEmpty Inlines -> Inlines # stimes :: Integral b => b -> Inlines -> Inlines #
Data a => Data (Node a) # |
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) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Node a) # toConstr :: Node a -> Constr # dataTypeOf :: Node a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Node a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Node a)) # gmapT :: (forall b. Data b => b -> b) -> Node a -> Node a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Node a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Node a -> r # gmapQ :: (forall d. Data d => d -> u) -> Node a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Node a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) #
Generic (Node a) # |
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.1.3-IPWksF4INLE8lR98AlzOK3" '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 # to :: Rep (Node a) x -> Node a #
Show a => Show (Node a) # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Node a -> ShowS # show :: Node a -> String # showList :: [Node a] -> ShowS #
Eq a => Eq (Node a) # |
Instance details Defined in Djot.AST Methods (==) :: Node a -> Node a -> Bool # (/=) :: Node a -> Node a -> Bool #
Ord a => Ord (Node a) # |
Instance details Defined in Djot.AST Methods compare :: Node a -> Node a -> Ordering # (<) :: Node a -> Node a -> Bool # (<=) :: Node a -> Node a -> Bool # (>) :: Node a -> Node a -> Bool # (>=) :: Node a -> Node a -> Bool # max :: Node a -> Node a -> Node a # min :: Node a -> Node a -> Node a #
type Rep (Node a) # |
Instance details Defined in Djot.AST type Rep (Node a) = D1 ('MetaData "Node" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "Node" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Pos) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))

data Pos #

Constructors

NoPos |
Pos Int Int Int Int |

#### Instances

Instances details

Data Pos # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos # toConstr :: Pos -> Constr # dataTypeOf :: Pos -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pos) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pos) # gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r # gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos #
Monoid Pos # |
Instance details Defined in Djot.AST Methods mempty :: Pos # mappend :: Pos -> Pos -> Pos # mconcat :: [Pos] -> Pos #
Semigroup Pos # |
Instance details Defined in Djot.AST Methods (<>) :: Pos -> Pos -> Pos # sconcat :: NonEmpty Pos -> Pos # stimes :: Integral b => b -> Pos -> Pos #
Generic Pos # |
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.1.3-IPWksF4INLE8lR98AlzOK3" '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 # to :: Rep Pos x -> Pos #
Show Pos # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Pos -> ShowS # show :: Pos -> String # showList :: [Pos] -> ShowS #
Eq Pos # |
Instance details Defined in Djot.AST Methods (==) :: Pos -> Pos -> Bool # (/=) :: Pos -> Pos -> Bool #
Ord Pos # |
Instance details Defined in Djot.AST Methods compare :: Pos -> Pos -> Ordering # (<) :: Pos -> Pos -> Bool # (<=) :: Pos -> Pos -> Bool # (>) :: Pos -> Pos -> Bool # (>=) :: Pos -> Pos -> Bool # max :: Pos -> Pos -> Pos # min :: Pos -> Pos -> Pos #
type Rep Pos # |
Instance details Defined in Djot.AST type Rep Pos = D1 ('MetaData "Pos" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "NoPos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pos" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))))

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

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

data Block #

Constructors

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

#### Instances

Instances details

Data Block # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block # toConstr :: Block -> Constr # dataTypeOf :: Block -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Block) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Block) # gmapT :: (forall b. Data b => b -> b) -> Block -> Block # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r # gmapQ :: (forall d. Data d => d -> u) -> Block -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block #
Monoid Blocks # |
Instance details Defined in Djot.AST Methods mempty :: Blocks # mappend :: Blocks -> Blocks -> Blocks # mconcat :: [Blocks] -> Blocks #
Semigroup Blocks # |
Instance details Defined in Djot.AST Methods (<>) :: Blocks -> Blocks -> Blocks # sconcat :: NonEmpty Blocks -> Blocks # stimes :: Integral b => b -> Blocks -> Blocks #
Generic Block # |
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.1.3-IPWksF4INLE8lR98AlzOK3" '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 # to :: Rep Block x -> Block #
Show Block # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
Eq Block # |
Instance details Defined in Djot.AST Methods (==) :: Block -> Block -> Bool # (/=) :: Block -> Block -> Bool #
Ord Block # |
Instance details Defined in Djot.AST Methods compare :: Block -> Block -> Ordering # (<) :: Block -> Block -> Bool # (<=) :: Block -> Block -> Bool # (>) :: Block -> Block -> Bool # (>=) :: Block -> Block -> Bool # max :: Block -> Block -> Block # min :: Block -> Block -> Block #
type Rep Block # |
Instance details Defined in Djot.AST type Rep Block = D1 ('MetaData "Block" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (((C1 ('MetaCons "Para" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Section" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks)) :+: C1 ('MetaCons "Heading" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)))) :+: (C1 ('MetaCons "BlockQuote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks)) :+: (C1 ('MetaCons "CodeBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Div" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks))))) :+: ((C1 ('MetaCons "OrderedList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListAttributes) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Blocks]))) :+: (C1 ('MetaCons "BulletList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Blocks])) :+: C1 ('MetaCons "TaskList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(TaskStatus, Blocks)])))) :+: ((C1 ('MetaCons "DefinitionList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(Inlines, Blocks)])) :+: C1 ('MetaCons "ThematicBreak" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Table" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Caption)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [[Cell]])) :+: C1 ('MetaCons "RawBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))))))

type Blocks = Many (Node Block) #

data Doc #

Constructors

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

#### Instances

Instances details

Data Doc # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Doc # toConstr :: Doc -> Constr # dataTypeOf :: Doc -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Doc) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Doc) # gmapT :: (forall b. Data b => b -> b) -> Doc -> Doc # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Doc -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Doc -> r # gmapQ :: (forall d. Data d => d -> u) -> Doc -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Doc -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Doc -> m Doc # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Doc -> m Doc # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Doc -> m Doc #
Monoid Doc # |
Instance details Defined in Djot.AST Methods mempty :: Doc # mappend :: Doc -> Doc -> Doc # mconcat :: [Doc] -> Doc #
Semigroup Doc # |
Instance details Defined in Djot.AST Methods (<>) :: Doc -> Doc -> Doc # sconcat :: NonEmpty Doc -> Doc # stimes :: Integral b => b -> Doc -> Doc #
Generic Doc # |
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.1.3-IPWksF4INLE8lR98AlzOK3" '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 # to :: Rep Doc x -> Doc #
Show Doc # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Doc -> ShowS # show :: Doc -> String # showList :: [Doc] -> ShowS #
Eq Doc # |
Instance details Defined in Djot.AST Methods (==) :: Doc -> Doc -> Bool # (/=) :: Doc -> Doc -> Bool #
Ord Doc # |
Instance details Defined in Djot.AST Methods compare :: Doc -> Doc -> Ordering # (<) :: Doc -> Doc -> Bool # (<=) :: Doc -> Doc -> Bool # (>) :: Doc -> Doc -> Bool # (>=) :: Doc -> Doc -> Bool # max :: Doc -> Doc -> Doc # min :: Doc -> Doc -> Doc #
type Rep Doc # |
Instance details Defined in Djot.AST type Rep Doc = D1 ('MetaData "Doc" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "Doc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "docBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks) :*: S1 ('MetaSel ('Just "docFootnotes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NoteMap)) :*: (S1 ('MetaSel ('Just "docReferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ReferenceMap) :*: (S1 ('MetaSel ('Just "docAutoReferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ReferenceMap) :*: S1 ('MetaSel ('Just "docAutoIdentifiers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set ByteString))))))

newtype NoteMap #

A map from labels to contents.

Constructors

NoteMap |
Fields unNoteMap :: Map ByteString Blocks

#### Instances

Instances details

Data NoteMap # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NoteMap # toConstr :: NoteMap -> Constr # dataTypeOf :: NoteMap -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NoteMap) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NoteMap) # gmapT :: (forall b. Data b => b -> b) -> NoteMap -> NoteMap # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NoteMap -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NoteMap -> r # gmapQ :: (forall d. Data d => d -> u) -> NoteMap -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NoteMap -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap #
Monoid NoteMap # |
Instance details Defined in Djot.AST Methods mempty :: NoteMap # mappend :: NoteMap -> NoteMap -> NoteMap # mconcat :: [NoteMap] -> NoteMap #
Semigroup NoteMap # |
Instance details Defined in Djot.AST Methods (<>) :: NoteMap -> NoteMap -> NoteMap # sconcat :: NonEmpty NoteMap -> NoteMap # stimes :: Integral b => b -> NoteMap -> NoteMap #
Generic NoteMap # |
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.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "NoteMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNoteMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString Blocks))))
Methods from :: NoteMap -> Rep NoteMap x # to :: Rep NoteMap x -> NoteMap #
Show NoteMap # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> NoteMap -> ShowS # show :: NoteMap -> String # showList :: [NoteMap] -> ShowS #
Eq NoteMap # |
Instance details Defined in Djot.AST Methods (==) :: NoteMap -> NoteMap -> Bool # (/=) :: NoteMap -> NoteMap -> Bool #
Ord NoteMap # |
Instance details Defined in Djot.AST Methods compare :: NoteMap -> NoteMap -> Ordering # (<) :: NoteMap -> NoteMap -> Bool # (<=) :: NoteMap -> NoteMap -> Bool # (>) :: NoteMap -> NoteMap -> Bool # (>=) :: NoteMap -> NoteMap -> Bool # max :: NoteMap -> NoteMap -> NoteMap # min :: NoteMap -> NoteMap -> NoteMap #
type Rep NoteMap # |
Instance details Defined in Djot.AST type Rep NoteMap = D1 ('MetaData "NoteMap" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "NoteMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNoteMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString Blocks))))

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

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

newtype ReferenceMap #

Constructors

ReferenceMap |
Fields unReferenceMap :: Map ByteString (ByteString, Attr)

#### Instances

Instances details

Data ReferenceMap # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ReferenceMap # toConstr :: ReferenceMap -> Constr # dataTypeOf :: ReferenceMap -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ReferenceMap) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ReferenceMap) # gmapT :: (forall b. Data b => b -> b) -> ReferenceMap -> ReferenceMap # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ReferenceMap -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ReferenceMap -> r # gmapQ :: (forall d. Data d => d -> u) -> ReferenceMap -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ReferenceMap -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap #
Monoid ReferenceMap # |
Instance details Defined in Djot.AST Methods mempty :: ReferenceMap # mappend :: ReferenceMap -> ReferenceMap -> ReferenceMap # mconcat :: [ReferenceMap] -> ReferenceMap #
Semigroup ReferenceMap # |
Instance details Defined in Djot.AST Methods (<>) :: ReferenceMap -> ReferenceMap -> ReferenceMap # sconcat :: NonEmpty ReferenceMap -> ReferenceMap # stimes :: Integral b => b -> ReferenceMap -> ReferenceMap #
Generic ReferenceMap # |
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.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "ReferenceMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unReferenceMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString (ByteString, Attr)))))
Methods from :: ReferenceMap -> Rep ReferenceMap x # to :: Rep ReferenceMap x -> ReferenceMap #
Show ReferenceMap # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> ReferenceMap -> ShowS # show :: ReferenceMap -> String # showList :: [ReferenceMap] -> ShowS #
Eq ReferenceMap # |
Instance details Defined in Djot.AST Methods (==) :: ReferenceMap -> ReferenceMap -> Bool # (/=) :: ReferenceMap -> ReferenceMap -> Bool #
Ord ReferenceMap # |
Instance details Defined in Djot.AST Methods compare :: ReferenceMap -> ReferenceMap -> Ordering # (<) :: ReferenceMap -> ReferenceMap -> Bool # (<=) :: ReferenceMap -> ReferenceMap -> Bool # (>) :: ReferenceMap -> ReferenceMap -> Bool # (>=) :: ReferenceMap -> ReferenceMap -> Bool # max :: ReferenceMap -> ReferenceMap -> ReferenceMap # min :: ReferenceMap -> ReferenceMap -> ReferenceMap #
type Rep ReferenceMap # |
Instance details Defined in Djot.AST type Rep ReferenceMap = D1 ('MetaData "ReferenceMap" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "ReferenceMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unReferenceMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString (ByteString, Attr)))))

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

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

normalizeLabel :: ByteString -> ByteString #

newtype Attr #

Constructors

Attr [(ByteString, ByteString)] |

#### Instances

Instances details

Data Attr # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr # toConstr :: Attr -> Constr # dataTypeOf :: Attr -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr) # gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r # gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr #
Monoid Attr # |
Instance details Defined in Djot.AST Methods mempty :: Attr # mappend :: Attr -> Attr -> Attr # mconcat :: [Attr] -> Attr #
Semigroup Attr # |
Instance details Defined in Djot.AST Methods (<>) :: Attr -> Attr -> Attr # sconcat :: NonEmpty Attr -> Attr # stimes :: Integral b => b -> Attr -> Attr #
Generic Attr # |
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.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ByteString, ByteString)])))
Methods from :: Attr -> Rep Attr x # to :: Rep Attr x -> Attr #
Show Attr # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Attr -> ShowS # show :: Attr -> String # showList :: [Attr] -> ShowS #
Eq Attr # |
Instance details Defined in Djot.AST Methods (==) :: Attr -> Attr -> Bool # (/=) :: Attr -> Attr -> Bool #
Ord Attr # |
Instance details Defined in Djot.AST Methods compare :: Attr -> Attr -> Ordering # (<) :: Attr -> Attr -> Bool # (<=) :: Attr -> Attr -> Bool # (>) :: Attr -> Attr -> Bool # (>=) :: Attr -> Attr -> Bool # max :: Attr -> Attr -> Attr # min :: Attr -> Attr -> Attr #
type Rep Attr # |
Instance details Defined in Djot.AST type Rep Attr = D1 ('MetaData "Attr" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ByteString, ByteString)])))

data Target #

Constructors

Direct ByteString |
Reference ByteString |

#### Instances

Instances details

Data Target # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Target # toConstr :: Target -> Constr # dataTypeOf :: Target -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Target) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Target) # gmapT :: (forall b. Data b => b -> b) -> Target -> Target # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r # gmapQ :: (forall d. Data d => d -> u) -> Target -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Target -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Target -> m Target # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target #
Generic Target # |
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.1.3-IPWksF4INLE8lR98AlzOK3" '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 # to :: Rep Target x -> Target #
Show Target # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Target -> ShowS # show :: Target -> String # showList :: [Target] -> ShowS #
Eq Target # |
Instance details Defined in Djot.AST Methods (==) :: Target -> Target -> Bool # (/=) :: Target -> Target -> Bool #
Ord Target # |
Instance details Defined in Djot.AST Methods compare :: Target -> Target -> Ordering # (<) :: Target -> Target -> Bool # (<=) :: Target -> Target -> Bool # (>) :: Target -> Target -> Bool # (>=) :: Target -> Target -> Bool # max :: Target -> Target -> Target # min :: Target -> Target -> Target #
type Rep Target # |
Instance details Defined in Djot.AST type Rep Target = D1 ('MetaData "Target" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "Direct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Reference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))

data TaskStatus #

Constructors

Complete |
Incomplete |

#### Instances

Instances details

Data TaskStatus # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TaskStatus # toConstr :: TaskStatus -> Constr # dataTypeOf :: TaskStatus -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TaskStatus) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TaskStatus) # gmapT :: (forall b. Data b => b -> b) -> TaskStatus -> TaskStatus # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TaskStatus -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TaskStatus -> r # gmapQ :: (forall d. Data d => d -> u) -> TaskStatus -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TaskStatus -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus #
Generic TaskStatus # |
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.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "Complete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incomplete" 'PrefixI 'False) (U1 :: Type -> Type))
Methods from :: TaskStatus -> Rep TaskStatus x # to :: Rep TaskStatus x -> TaskStatus #
Show TaskStatus # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> TaskStatus -> ShowS # show :: TaskStatus -> String # showList :: [TaskStatus] -> ShowS #
Eq TaskStatus # |
Instance details Defined in Djot.AST Methods (==) :: TaskStatus -> TaskStatus -> Bool # (/=) :: TaskStatus -> TaskStatus -> Bool #
Ord TaskStatus # |
Instance details Defined in Djot.AST Methods compare :: TaskStatus -> TaskStatus -> Ordering # (<) :: TaskStatus -> TaskStatus -> Bool # (<=) :: TaskStatus -> TaskStatus -> Bool # (>) :: TaskStatus -> TaskStatus -> Bool # (>=) :: TaskStatus -> TaskStatus -> Bool # max :: TaskStatus -> TaskStatus -> TaskStatus # min :: TaskStatus -> TaskStatus -> TaskStatus #
type Rep TaskStatus # |
Instance details Defined in Djot.AST type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "Complete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incomplete" 'PrefixI 'False) (U1 :: Type -> Type))

data Align #

Constructors

AlignLeft |
AlignRight |
AlignCenter |
AlignDefault |

#### Instances

Instances details

Data Align # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Align # toConstr :: Align -> Constr # dataTypeOf :: Align -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Align) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Align) # gmapT :: (forall b. Data b => b -> b) -> Align -> Align # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Align -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Align -> r # gmapQ :: (forall d. Data d => d -> u) -> Align -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Align -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Align -> m Align # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Align -> m Align # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Align -> m Align #
Generic Align # |
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.1.3-IPWksF4INLE8lR98AlzOK3" '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 # to :: Rep Align x -> Align #
Show Align # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Align -> ShowS # show :: Align -> String # showList :: [Align] -> ShowS #
Eq Align # |
Instance details Defined in Djot.AST Methods (==) :: Align -> Align -> Bool # (/=) :: Align -> Align -> Bool #
Ord Align # |
Instance details Defined in Djot.AST Methods compare :: Align -> Align -> Ordering # (<) :: Align -> Align -> Bool # (<=) :: Align -> Align -> Bool # (>) :: Align -> Align -> Bool # (>=) :: Align -> Align -> Bool # max :: Align -> Align -> Align # min :: Align -> Align -> Align #
type Rep Align # |
Instance details Defined in Djot.AST type Rep Align = D1 ('MetaData "Align" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) ((C1 ('MetaCons "AlignLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AlignCenter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignDefault" 'PrefixI 'False) (U1 :: Type -> Type)))

data Cell #

Constructors

Cell CellType Align Inlines |

#### Instances

Instances details

Data Cell # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Cell # toConstr :: Cell -> Constr # dataTypeOf :: Cell -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Cell) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Cell) # gmapT :: (forall b. Data b => b -> b) -> Cell -> Cell # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Cell -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Cell -> r # gmapQ :: (forall d. Data d => d -> u) -> Cell -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Cell -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Cell -> m Cell # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Cell -> m Cell # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Cell -> m Cell #
Generic Cell # |
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.1.3-IPWksF4INLE8lR98AlzOK3" '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 # to :: Rep Cell x -> Cell #
Show Cell # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Cell -> ShowS # show :: Cell -> String # showList :: [Cell] -> ShowS #
Eq Cell # |
Instance details Defined in Djot.AST Methods (==) :: Cell -> Cell -> Bool # (/=) :: Cell -> Cell -> Bool #
Ord Cell # |
Instance details Defined in Djot.AST Methods compare :: Cell -> Cell -> Ordering # (<) :: Cell -> Cell -> Bool # (<=) :: Cell -> Cell -> Bool # (>) :: Cell -> Cell -> Bool # (>=) :: Cell -> Cell -> Bool # max :: Cell -> Cell -> Cell # min :: Cell -> Cell -> Cell #
type Rep Cell # |
Instance details Defined in Djot.AST type Rep Cell = D1 ('MetaData "Cell" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "Cell" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CellType) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Align) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))))

data CellType #

Constructors

HeadCell |
BodyCell |

#### Instances

Instances details

Data CellType # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CellType # toConstr :: CellType -> Constr # dataTypeOf :: CellType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CellType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CellType) # gmapT :: (forall b. Data b => b -> b) -> CellType -> CellType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CellType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CellType -> r # gmapQ :: (forall d. Data d => d -> u) -> CellType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CellType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CellType -> m CellType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CellType -> m CellType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CellType -> m CellType #
Generic CellType # |
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.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "HeadCell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BodyCell" 'PrefixI 'False) (U1 :: Type -> Type))
Methods from :: CellType -> Rep CellType x # to :: Rep CellType x -> CellType #
Show CellType # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> CellType -> ShowS # show :: CellType -> String # showList :: [CellType] -> ShowS #
Eq CellType # |
Instance details Defined in Djot.AST Methods (==) :: CellType -> CellType -> Bool # (/=) :: CellType -> CellType -> Bool #
Ord CellType # |
Instance details Defined in Djot.AST Methods compare :: CellType -> CellType -> Ordering # (<) :: CellType -> CellType -> Bool # (<=) :: CellType -> CellType -> Bool # (>) :: CellType -> CellType -> Bool # (>=) :: CellType -> CellType -> Bool # max :: CellType -> CellType -> CellType # min :: CellType -> CellType -> CellType #
type Rep CellType # |
Instance details Defined in Djot.AST type Rep CellType = D1 ('MetaData "CellType" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "HeadCell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BodyCell" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Caption #

Constructors

Caption Blocks |

#### Instances

Instances details

Data Caption # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Caption # toConstr :: Caption -> Constr # dataTypeOf :: Caption -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Caption) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Caption) # gmapT :: (forall b. Data b => b -> b) -> Caption -> Caption # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Caption -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Caption -> r # gmapQ :: (forall d. Data d => d -> u) -> Caption -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Caption -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Caption -> m Caption # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Caption -> m Caption # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Caption -> m Caption #
Generic Caption # |
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.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))
Methods from :: Caption -> Rep Caption x # to :: Rep Caption x -> Caption #
Show Caption # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Caption -> ShowS # show :: Caption -> String # showList :: [Caption] -> ShowS #
Eq Caption # |
Instance details Defined in Djot.AST Methods (==) :: Caption -> Caption -> Bool # (/=) :: Caption -> Caption -> Bool #
Ord Caption # |
Instance details Defined in Djot.AST Methods compare :: Caption -> Caption -> Ordering # (<) :: Caption -> Caption -> Bool # (<=) :: Caption -> Caption -> Bool # (>) :: Caption -> Caption -> Bool # (>=) :: Caption -> Caption -> Bool # max :: Caption -> Caption -> Caption # min :: Caption -> Caption -> Caption #
type Rep Caption # |
Instance details Defined in Djot.AST type Rep Caption = D1 ('MetaData "Caption" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'True) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))

data ListSpacing #

Constructors

Tight |
Loose |

#### Instances

Instances details

Data ListSpacing # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListSpacing # toConstr :: ListSpacing -> Constr # dataTypeOf :: ListSpacing -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListSpacing) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListSpacing) # gmapT :: (forall b. Data b => b -> b) -> ListSpacing -> ListSpacing # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListSpacing -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListSpacing -> r # gmapQ :: (forall d. Data d => d -> u) -> ListSpacing -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ListSpacing -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing #
Generic ListSpacing # |
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.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "Tight" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Loose" 'PrefixI 'False) (U1 :: Type -> Type))
Methods from :: ListSpacing -> Rep ListSpacing x # to :: Rep ListSpacing x -> ListSpacing #
Show ListSpacing # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> ListSpacing -> ShowS # show :: ListSpacing -> String # showList :: [ListSpacing] -> ShowS #
Eq ListSpacing # |
Instance details Defined in Djot.AST Methods (==) :: ListSpacing -> ListSpacing -> Bool # (/=) :: ListSpacing -> ListSpacing -> Bool #
Ord ListSpacing # |
Instance details Defined in Djot.AST Methods compare :: ListSpacing -> ListSpacing -> Ordering # (<) :: ListSpacing -> ListSpacing -> Bool # (<=) :: ListSpacing -> ListSpacing -> Bool # (>) :: ListSpacing -> ListSpacing -> Bool # (>=) :: ListSpacing -> ListSpacing -> Bool # max :: ListSpacing -> ListSpacing -> ListSpacing # min :: ListSpacing -> ListSpacing -> ListSpacing #
type Rep ListSpacing # |
Instance details Defined in Djot.AST type Rep ListSpacing = D1 ('MetaData "ListSpacing" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "Tight" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Loose" 'PrefixI 'False) (U1 :: Type -> Type))

data OrderedListAttributes #

Constructors

OrderedListAttributes |
Fields orderedListStyle :: OrderedListStyle orderedListDelim :: OrderedListDelim orderedListStart :: Int

#### Instances

Instances details

Data OrderedListAttributes # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListAttributes # toConstr :: OrderedListAttributes -> Constr # dataTypeOf :: OrderedListAttributes -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListAttributes) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderedListAttributes) # gmapT :: (forall b. Data b => b -> b) -> OrderedListAttributes -> OrderedListAttributes # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListAttributes -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListAttributes -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderedListAttributes -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListAttributes -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes #
Generic OrderedListAttributes # |
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.1.3-IPWksF4INLE8lR98AlzOK3" '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 # to :: Rep OrderedListAttributes x -> OrderedListAttributes #
Show OrderedListAttributes # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> OrderedListAttributes -> ShowS # show :: OrderedListAttributes -> String # showList :: [OrderedListAttributes] -> ShowS #
Eq OrderedListAttributes # |
Instance details Defined in Djot.AST Methods (==) :: OrderedListAttributes -> OrderedListAttributes -> Bool # (/=) :: OrderedListAttributes -> OrderedListAttributes -> Bool #
Ord OrderedListAttributes # |
Instance details Defined in Djot.AST Methods compare :: OrderedListAttributes -> OrderedListAttributes -> Ordering # (<) :: OrderedListAttributes -> OrderedListAttributes -> Bool # (<=) :: OrderedListAttributes -> OrderedListAttributes -> Bool # (>) :: OrderedListAttributes -> OrderedListAttributes -> Bool # (>=) :: OrderedListAttributes -> OrderedListAttributes -> Bool # max :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes # min :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes #
type Rep OrderedListAttributes # |
Instance details Defined in Djot.AST type Rep OrderedListAttributes = D1 ('MetaData "OrderedListAttributes" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "OrderedListAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "orderedListStyle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListStyle) :*: (S1 ('MetaSel ('Just "orderedListDelim") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListDelim) :*: S1 ('MetaSel ('Just "orderedListStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))))

data OrderedListDelim #

Constructors

RightPeriod |
RightParen |
LeftRightParen |

#### Instances

Instances details

Data OrderedListDelim # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListDelim # toConstr :: OrderedListDelim -> Constr # dataTypeOf :: OrderedListDelim -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListDelim) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderedListDelim) # gmapT :: (forall b. Data b => b -> b) -> OrderedListDelim -> OrderedListDelim # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListDelim -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListDelim -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderedListDelim -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListDelim -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim #
Generic OrderedListDelim # |
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.1.3-IPWksF4INLE8lR98AlzOK3" '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 # to :: Rep OrderedListDelim x -> OrderedListDelim #
Show OrderedListDelim # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> OrderedListDelim -> ShowS # show :: OrderedListDelim -> String # showList :: [OrderedListDelim] -> ShowS #
Eq OrderedListDelim # |
Instance details Defined in Djot.AST Methods (==) :: OrderedListDelim -> OrderedListDelim -> Bool # (/=) :: OrderedListDelim -> OrderedListDelim -> Bool #
Ord OrderedListDelim # |
Instance details Defined in Djot.AST Methods compare :: OrderedListDelim -> OrderedListDelim -> Ordering # (<) :: OrderedListDelim -> OrderedListDelim -> Bool # (<=) :: OrderedListDelim -> OrderedListDelim -> Bool # (>) :: OrderedListDelim -> OrderedListDelim -> Bool # (>=) :: OrderedListDelim -> OrderedListDelim -> Bool # max :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim # min :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim #
type Rep OrderedListDelim # |
Instance details Defined in Djot.AST type Rep OrderedListDelim = D1 ('MetaData "OrderedListDelim" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "RightPeriod" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightParen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftRightParen" 'PrefixI 'False) (U1 :: Type -> Type)))

data OrderedListStyle #

Constructors

Decimal |
LetterUpper |
LetterLower |
RomanUpper |
RomanLower |

#### Instances

Instances details

Data OrderedListStyle # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListStyle # toConstr :: OrderedListStyle -> Constr # dataTypeOf :: OrderedListStyle -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListStyle) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderedListStyle) # gmapT :: (forall b. Data b => b -> b) -> OrderedListStyle -> OrderedListStyle # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListStyle -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListStyle -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderedListStyle -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListStyle -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle #
Generic OrderedListStyle # |
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.1.3-IPWksF4INLE8lR98AlzOK3" '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 # to :: Rep OrderedListStyle x -> OrderedListStyle #
Show OrderedListStyle # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> OrderedListStyle -> ShowS # show :: OrderedListStyle -> String # showList :: [OrderedListStyle] -> ShowS #
Eq OrderedListStyle # |
Instance details Defined in Djot.AST Methods (==) :: OrderedListStyle -> OrderedListStyle -> Bool # (/=) :: OrderedListStyle -> OrderedListStyle -> Bool #
Ord OrderedListStyle # |
Instance details Defined in Djot.AST Methods compare :: OrderedListStyle -> OrderedListStyle -> Ordering # (<) :: OrderedListStyle -> OrderedListStyle -> Bool # (<=) :: OrderedListStyle -> OrderedListStyle -> Bool # (>) :: OrderedListStyle -> OrderedListStyle -> Bool # (>=) :: OrderedListStyle -> OrderedListStyle -> Bool # max :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle # min :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle #
type Rep OrderedListStyle # |
Instance details Defined in Djot.AST type Rep OrderedListStyle = D1 ('MetaData "OrderedListStyle" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) ((C1 ('MetaCons "Decimal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterUpper" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LetterLower" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RomanUpper" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RomanLower" 'PrefixI 'False) (U1 :: Type -> Type))))

data QuoteType #

Constructors

SingleQuotes |
DoubleQuotes |

#### Instances

Instances details

Data QuoteType # |
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QuoteType # toConstr :: QuoteType -> Constr # dataTypeOf :: QuoteType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c QuoteType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QuoteType) # gmapT :: (forall b. Data b => b -> b) -> QuoteType -> QuoteType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QuoteType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QuoteType -> r # gmapQ :: (forall d. Data d => d -> u) -> QuoteType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> QuoteType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType #
Generic QuoteType # |
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.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "SingleQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuotes" 'PrefixI 'False) (U1 :: Type -> Type))
Methods from :: QuoteType -> Rep QuoteType x # to :: Rep QuoteType x -> QuoteType #
Show QuoteType # |
Instance details Defined in Djot.AST Methods showsPrec :: Int -> QuoteType -> ShowS # show :: QuoteType -> String # showList :: [QuoteType] -> ShowS #
Eq QuoteType # |
Instance details Defined in Djot.AST Methods (==) :: QuoteType -> QuoteType -> Bool # (/=) :: QuoteType -> QuoteType -> Bool #
Ord QuoteType # |
Instance details Defined in Djot.AST Methods compare :: QuoteType -> QuoteType -> Ordering # (<) :: QuoteType -> QuoteType -> Bool # (<=) :: QuoteType -> QuoteType -> Bool # (>) :: QuoteType -> QuoteType -> Bool # (>=) :: QuoteType -> QuoteType -> Bool # max :: QuoteType -> QuoteType -> QuoteType # min :: QuoteType -> QuoteType -> QuoteType #
type Rep QuoteType # |
Instance details Defined in Djot.AST type Rep QuoteType = D1 ('MetaData "QuoteType" "Djot.AST" "djot-0.1.1.3-IPWksF4INLE8lR98AlzOK3" 'False) (C1 ('MetaCons "SingleQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuotes" 'PrefixI 'False) (U1 :: Type -> Type))

delete :: Inlines -> Inlines #

displayMath :: ByteString -> Inlines #

insert :: Inlines -> Inlines #

emailLink :: ByteString -> Inlines #

emph :: Inlines -> Inlines #

footnoteReference :: ByteString -> Inlines #

hardBreak :: Inlines #

highlight :: Inlines -> Inlines #

image :: Inlines -> Target -> Inlines #

inlineMath :: ByteString -> Inlines #

link :: Inlines -> Target -> Inlines #

nonBreakingSpace :: Inlines #

rawInline :: Format -> ByteString -> Inlines #

softBreak :: Inlines #

span_ :: Inlines -> Inlines #

str :: ByteString -> Inlines #

strong :: Inlines -> Inlines #

subscript :: Inlines -> Inlines #

superscript :: Inlines -> Inlines #

singleQuoted :: Inlines -> Inlines #

doubleQuoted :: Inlines -> Inlines #

symbol :: ByteString -> Inlines #

verbatim :: ByteString -> Inlines #

urlLink :: ByteString -> Inlines #

para :: Inlines -> Blocks #

section :: Blocks -> Blocks #

heading :: Int -> Inlines -> Blocks #

blockQuote :: Blocks -> Blocks #

codeBlock :: ByteString -> ByteString -> Blocks #

div :: Blocks -> Blocks #

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

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

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

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

thematicBreak :: Blocks #

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

rawBlock :: Format -> ByteString -> Blocks #

inlinesToByteString :: Inlines -> ByteString #