pandoc-types-1.17.0.5: Types for representing a structured document

Copyright | Copyright (C) 2006-2016 John MacFarlane
License | BSD3
Maintainer | John MacFarlane <jgm@berkeley.edu>
Stability | alpha
Portability | portable
Safe Haskell | None
Language | Haskell98

Text.Pandoc.Definition

Description

Definition of `Pandoc` data structure for format-neutral representation of documents.

Synopsis

- data Pandoc = Pandoc Meta [Block]
- newtype Meta = Meta {
  - unMeta :: Map String MetaValue
  }
- data MetaValue
  - = MetaMap (Map String MetaValue)
  - | MetaList [MetaValue]
  - | MetaBool Bool
  - | MetaString String
  - | MetaInlines [Inline]
  - | MetaBlocks [Block]
- nullMeta :: Meta
- isNullMeta :: Meta -> Bool
- lookupMeta :: String -> Meta -> Maybe MetaValue
- docTitle :: Meta -> [Inline]
- docAuthors :: Meta -> [[Inline]]
- docDate :: Meta -> [Inline]
- data Block
  - = Plain [Inline]
  - | Para [Inline]
  - | LineBlock [[Inline]]
  - | CodeBlock Attr String
  - | RawBlock Format String
  - | BlockQuote [Block]
  - | OrderedList ListAttributes [[Block]]
  - | BulletList [[Block]]
  - | DefinitionList [([Inline], [[Block]])]
  - | Header Int Attr [Inline]
  - | HorizontalRule
  - | Table [Inline] [Alignment] [Double] [TableCell] [[TableCell]]
  - | Div Attr [Block]
  - | Null
- data Inline
  - = Str String
  - | Emph [Inline]
  - | Strong [Inline]
  - | Strikeout [Inline]
  - | Superscript [Inline]
  - | Subscript [Inline]
  - | SmallCaps [Inline]
  - | Quoted QuoteType [Inline]
  - | Cite [Citation] [Inline]
  - | Code Attr String
  - | Space
  - | SoftBreak
  - | LineBreak
  - | Math MathType String
  - | RawInline Format String
  - | Link Attr [Inline] Target
  - | Image Attr [Inline] Target
  - | Note [Block]
  - | Span Attr [Inline]
- data Alignment
  - = AlignLeft
  - | AlignRight
  - | AlignCenter
  - | AlignDefault
- type ListAttributes = (Int, ListNumberStyle, ListNumberDelim)
- data ListNumberStyle
  - = DefaultStyle
  - | Example
  - | Decimal
  - | LowerRoman
  - | UpperRoman
  - | LowerAlpha
  - | UpperAlpha
- data ListNumberDelim
  - = DefaultDelim
  - | Period
  - | OneParen
  - | TwoParens
- newtype Format = Format String
- type Attr = (String, [String], [(String, String)])
- nullAttr :: Attr
- type TableCell = [Block]
- data QuoteType
  - = SingleQuote
  - | DoubleQuote
- type Target = (String, String)
- data MathType
  - = DisplayMath
  - | InlineMath
- data Citation = Citation {
  - citationId :: String
  - citationPrefix :: [Inline]
  - citationSuffix :: [Inline]
  - citationMode :: CitationMode
  - citationNoteNum :: Int
  - citationHash :: Int
  }
- data CitationMode
  - = AuthorInText
  - | SuppressAuthor
  - | NormalCitation
- pandocTypesVersion :: Version

# Documentation

data Pandoc #

Constructors

Pandoc Meta [Block] |

Instances

Eq Pandoc # |
Methods (==) :: Pandoc -> Pandoc -> Bool # (/=) :: Pandoc -> Pandoc -> Bool #
Data Pandoc # |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pandoc -> c Pandoc # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pandoc # toConstr :: Pandoc -> Constr # dataTypeOf :: Pandoc -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Pandoc) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pandoc) # gmapT :: (forall b. Data b => b -> b) -> Pandoc -> Pandoc # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pandoc -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pandoc -> r # gmapQ :: (forall d. Data d => d -> u) -> Pandoc -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pandoc -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pandoc -> m Pandoc # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pandoc -> m Pandoc # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pandoc -> m Pandoc #
Ord Pandoc # |
Methods compare :: Pandoc -> Pandoc -> Ordering # (<) :: Pandoc -> Pandoc -> Bool # (<=) :: Pandoc -> Pandoc -> Bool # (>) :: Pandoc -> Pandoc -> Bool # (>=) :: Pandoc -> Pandoc -> Bool # max :: Pandoc -> Pandoc -> Pandoc # min :: Pandoc -> Pandoc -> Pandoc #
Read Pandoc # |
Methods readsPrec :: Int -> ReadS Pandoc # readList :: ReadS [Pandoc] # readPrec :: ReadPrec Pandoc # readListPrec :: ReadPrec [Pandoc] #
Show Pandoc # |
Methods showsPrec :: Int -> Pandoc -> ShowS # show :: Pandoc -> String # showList :: [Pandoc] -> ShowS #
Generic Pandoc # |
Associated Types type Rep Pandoc :: * -> * # Methods from :: Pandoc -> Rep Pandoc x # to :: Rep Pandoc x -> Pandoc #
Monoid Pandoc # |
Methods mempty :: Pandoc # mappend :: Pandoc -> Pandoc -> Pandoc # mconcat :: [Pandoc] -> Pandoc #
FromJSON Pandoc # |
Methods parseJSON :: Value -> Parser Pandoc # parseJSONList :: Value -> Parser [Pandoc] #
ToJSON Pandoc # |
Methods toJSON :: Pandoc -> Value # toEncoding :: Pandoc -> Encoding # toJSONList :: [Pandoc] -> Value # toEncodingList :: [Pandoc] -> Encoding #
NFData Pandoc # |
Methods rnf :: Pandoc -> () #
HasMeta Pandoc # |
Methods setMeta :: ToMetaValue b => String -> b -> Pandoc -> Pandoc # deleteMeta :: String -> Pandoc -> Pandoc #
Walkable Inline Pandoc # |
Methods walk :: (Inline -> Inline) -> Pandoc -> Pandoc # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Pandoc -> m Pandoc # query :: Monoid c => (Inline -> c) -> Pandoc -> c #
Walkable Block Pandoc # |
Methods walk :: (Block -> Block) -> Pandoc -> Pandoc # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Pandoc -> m Pandoc # query :: Monoid c => (Block -> c) -> Pandoc -> c #
Walkable Pandoc Pandoc # |
Methods walk :: (Pandoc -> Pandoc) -> Pandoc -> Pandoc # walkM :: (Monad m, Functor m) => (Pandoc -> m Pandoc) -> Pandoc -> m Pandoc # query :: Monoid c => (Pandoc -> c) -> Pandoc -> c #
type Rep Pandoc # |
type Rep Pandoc = D1 (MetaData "Pandoc" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" False) (C1 (MetaCons "Pandoc" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Meta)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block]))))

newtype Meta #

Metadata for the document: title, authors, date.

Constructors

Meta |
Fields unMeta :: Map String MetaValue

Instances

Eq Meta # |
Methods (==) :: Meta -> Meta -> Bool # (/=) :: Meta -> Meta -> Bool #
Data Meta # |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Meta -> c Meta # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Meta # toConstr :: Meta -> Constr # dataTypeOf :: Meta -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Meta) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Meta) # gmapT :: (forall b. Data b => b -> b) -> Meta -> Meta # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Meta -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Meta -> r # gmapQ :: (forall d. Data d => d -> u) -> Meta -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Meta -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Meta -> m Meta # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Meta -> m Meta # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Meta -> m Meta #
Ord Meta # |
Methods compare :: Meta -> Meta -> Ordering # (<) :: Meta -> Meta -> Bool # (<=) :: Meta -> Meta -> Bool # (>) :: Meta -> Meta -> Bool # (>=) :: Meta -> Meta -> Bool # max :: Meta -> Meta -> Meta # min :: Meta -> Meta -> Meta #
Read Meta # |
Methods readsPrec :: Int -> ReadS Meta # readList :: ReadS [Meta] # readPrec :: ReadPrec Meta # readListPrec :: ReadPrec [Meta] #
Show Meta # |
Methods showsPrec :: Int -> Meta -> ShowS # show :: Meta -> String # showList :: [Meta] -> ShowS #
Generic Meta # |
Associated Types type Rep Meta :: * -> * # Methods from :: Meta -> Rep Meta x # to :: Rep Meta x -> Meta #
Monoid Meta # |
Methods mempty :: Meta # mappend :: Meta -> Meta -> Meta # mconcat :: [Meta] -> Meta #
FromJSON Meta # |
Methods parseJSON :: Value -> Parser Meta # parseJSONList :: Value -> Parser [Meta] #
ToJSON Meta # |
Methods toJSON :: Meta -> Value # toEncoding :: Meta -> Encoding # toJSONList :: [Meta] -> Value # toEncodingList :: [Meta] -> Encoding #
NFData Meta # |
Methods rnf :: Meta -> () #
HasMeta Meta # |
Methods setMeta :: ToMetaValue b => String -> b -> Meta -> Meta # deleteMeta :: String -> Meta -> Meta #
Walkable Inline Meta # |
Methods walk :: (Inline -> Inline) -> Meta -> Meta # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Meta -> m Meta # query :: Monoid c => (Inline -> c) -> Meta -> c #
Walkable Block Meta # |
Methods walk :: (Block -> Block) -> Meta -> Meta # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Meta -> m Meta # query :: Monoid c => (Block -> c) -> Meta -> c #
Walkable Meta Meta # |
Methods walk :: (Meta -> Meta) -> Meta -> Meta # walkM :: (Monad m, Functor m) => (Meta -> m Meta) -> Meta -> m Meta # query :: Monoid c => (Meta -> c) -> Meta -> c #
type Rep Meta # |
type Rep Meta = D1 (MetaData "Meta" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" True) (C1 (MetaCons "Meta" PrefixI True) (S1 (MetaSel (Just Symbol "unMeta") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map String MetaValue))))

data MetaValue #

Constructors

MetaMap (Map String MetaValue) |
MetaList [MetaValue] |
MetaBool Bool |
MetaString String |
MetaInlines [Inline] |
MetaBlocks [Block] |

Instances

Eq MetaValue # |
Methods (==) :: MetaValue -> MetaValue -> Bool # (/=) :: MetaValue -> MetaValue -> Bool #
Data MetaValue # |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MetaValue -> c MetaValue # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MetaValue # toConstr :: MetaValue -> Constr # dataTypeOf :: MetaValue -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MetaValue) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MetaValue) # gmapT :: (forall b. Data b => b -> b) -> MetaValue -> MetaValue # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MetaValue -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MetaValue -> r # gmapQ :: (forall d. Data d => d -> u) -> MetaValue -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MetaValue -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MetaValue -> m MetaValue # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MetaValue -> m MetaValue # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MetaValue -> m MetaValue #
Ord MetaValue # |
Methods compare :: MetaValue -> MetaValue -> Ordering # (<) :: MetaValue -> MetaValue -> Bool # (<=) :: MetaValue -> MetaValue -> Bool # (>) :: MetaValue -> MetaValue -> Bool # (>=) :: MetaValue -> MetaValue -> Bool # max :: MetaValue -> MetaValue -> MetaValue # min :: MetaValue -> MetaValue -> MetaValue #
Read MetaValue # |
Methods readsPrec :: Int -> ReadS MetaValue # readList :: ReadS [MetaValue] # readPrec :: ReadPrec MetaValue # readListPrec :: ReadPrec [MetaValue] #
Show MetaValue # |
Methods showsPrec :: Int -> MetaValue -> ShowS # show :: MetaValue -> String # showList :: [MetaValue] -> ShowS #
Generic MetaValue # |
Associated Types type Rep MetaValue :: * -> * # Methods from :: MetaValue -> Rep MetaValue x # to :: Rep MetaValue x -> MetaValue #
FromJSON MetaValue # |
Methods parseJSON :: Value -> Parser MetaValue # parseJSONList :: Value -> Parser [MetaValue] #
ToJSON MetaValue # |
Methods toJSON :: MetaValue -> Value # toEncoding :: MetaValue -> Encoding # toJSONList :: [MetaValue] -> Value # toEncodingList :: [MetaValue] -> Encoding #
NFData MetaValue # |
Methods rnf :: MetaValue -> () #
ToMetaValue MetaValue # |
Methods toMetaValue :: MetaValue -> MetaValue #
Walkable Inline MetaValue # |
Methods walk :: (Inline -> Inline) -> MetaValue -> MetaValue # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> MetaValue -> m MetaValue # query :: Monoid c => (Inline -> c) -> MetaValue -> c #
Walkable Block MetaValue # |
Methods walk :: (Block -> Block) -> MetaValue -> MetaValue # walkM :: (Monad m, Functor m) => (Block -> m Block) -> MetaValue -> m MetaValue # query :: Monoid c => (Block -> c) -> MetaValue -> c #
type Rep MetaValue # |
type Rep MetaValue = D1 (MetaData "MetaValue" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" False) ((:+:) ((:+:) (C1 (MetaCons "MetaMap" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map String MetaValue)))) ((:+:) (C1 (MetaCons "MetaList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MetaValue]))) (C1 (MetaCons "MetaBool" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))) ((:+:) (C1 (MetaCons "MetaString" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) ((:+:) (C1 (MetaCons "MetaInlines" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) (C1 (MetaCons "MetaBlocks" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block]))))))

nullMeta :: Meta #

isNullMeta :: Meta -> Bool #

lookupMeta :: String -> Meta -> Maybe MetaValue #

Retrieve the metadata value for a given `key`.

docTitle :: Meta -> [Inline] #

Extract document title from metadata; works just like the old `docTitle`.

docAuthors :: Meta -> [[Inline]] #

Extract document authors from metadata; works just like the old `docAuthors`.

docDate :: Meta -> [Inline] #

Extract date from metadata; works just like the old `docDate`.

data Block #

Block element.

Constructors

Plain [Inline] | Plain text, not a paragraph
Para [Inline] | Paragraph
LineBlock [[Inline]] | Multiple non-breaking lines
CodeBlock Attr String | Code block (literal) with attributes
RawBlock Format String | Raw block
BlockQuote [Block] | Block quote (list of blocks)
OrderedList ListAttributes [[Block]] | Ordered list (attributes and a list of items, each a list of blocks)
BulletList [[Block]] | Bullet list (list of items, each a list of blocks)
DefinitionList [([Inline], [[Block]])] | Definition list Each list item is a pair consisting of a term (a list of inlines) and one or more definitions (each a list of blocks)
Header Int Attr [Inline] | Header - level (integer) and text (inlines)
HorizontalRule | Horizontal rule
Table [Inline] [Alignment] [Double] [TableCell] [[TableCell]] | Table, with caption, column alignments (required), relative column widths (0 = default), column headers (each a list of blocks), and rows (each a list of lists of blocks)
Div Attr [Block] | Generic block container with attributes
Null | Nothing

Instances

Eq Block # |
Methods (==) :: Block -> Block -> Bool # (/=) :: Block -> Block -> Bool #
Data Block # |
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 :: (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 #
Ord Block # |
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 #
Read Block # |
Methods readsPrec :: Int -> ReadS Block # readList :: ReadS [Block] # readPrec :: ReadPrec Block # readListPrec :: ReadPrec [Block] #
Show Block # |
Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
Generic Block # |
Associated Types type Rep Block :: * -> * # Methods from :: Block -> Rep Block x # to :: Rep Block x -> Block #
FromJSON Block # |
Methods parseJSON :: Value -> Parser Block # parseJSONList :: Value -> Parser [Block] #
ToJSON Block # |
Methods toJSON :: Block -> Value # toEncoding :: Block -> Encoding # toJSONList :: [Block] -> Value # toEncodingList :: [Block] -> Encoding #
NFData Block # |
Methods rnf :: Block -> () #
ToMetaValue Blocks # |
Methods toMetaValue :: Blocks -> MetaValue #
Walkable Inline Block # |
Methods walk :: (Inline -> Inline) -> Block -> Block # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Block -> m Block # query :: Monoid c => (Inline -> c) -> Block -> c #
Walkable Block Citation # |
Methods walk :: (Block -> Block) -> Citation -> Citation # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Citation -> m Citation # query :: Monoid c => (Block -> c) -> Citation -> c #
Walkable Block Inline # |
Methods walk :: (Block -> Block) -> Inline -> Inline # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Inline -> m Inline # query :: Monoid c => (Block -> c) -> Inline -> c #
Walkable Block Block # |
Methods walk :: (Block -> Block) -> Block -> Block # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Block -> m Block # query :: Monoid c => (Block -> c) -> Block -> c #
Walkable Block MetaValue # |
Methods walk :: (Block -> Block) -> MetaValue -> MetaValue # walkM :: (Monad m, Functor m) => (Block -> m Block) -> MetaValue -> m MetaValue # query :: Monoid c => (Block -> c) -> MetaValue -> c #
Walkable Block Meta # |
Methods walk :: (Block -> Block) -> Meta -> Meta # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Meta -> m Meta # query :: Monoid c => (Block -> c) -> Meta -> c #
Walkable Block Pandoc # |
Methods walk :: (Block -> Block) -> Pandoc -> Pandoc # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Pandoc -> m Pandoc # query :: Monoid c => (Block -> c) -> Pandoc -> c #
Monoid (Many Block) # |
Methods mempty :: Many Block # mappend :: Many Block -> Many Block -> Many Block # mconcat :: [Many Block] -> Many Block #
type Rep Block # |
type Rep Block = D1 (MetaData "Block" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Plain" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) ((:+:) (C1 (MetaCons "Para" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) (C1 (MetaCons "LineBlock" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Inline]]))))) ((:+:) ((:+:) (C1 (MetaCons "CodeBlock" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) (C1 (MetaCons "RawBlock" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Format)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) ((:+:) (C1 (MetaCons "BlockQuote" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block]))) (C1 (MetaCons "OrderedList" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ListAttributes)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Block]]))))))) ((:+:) ((:+:) (C1 (MetaCons "BulletList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Block]]))) ((:+:) (C1 (MetaCons "DefinitionList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [([Inline], [[Block]])]))) (C1 (MetaCons "Header" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))))))) ((:+:) ((:+:) (C1 (MetaCons "HorizontalRule" PrefixI False) U1) (C1 (MetaCons "Table" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Alignment]))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Double])) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TableCell])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[TableCell]]))))))) ((:+:) (C1 (MetaCons "Div" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block])))) (C1 (MetaCons "Null" PrefixI False) U1)))))

data Inline #

Inline elements.

Constructors

Str String | Text (string)
Emph [Inline] | Emphasized text (list of inlines)
Strong [Inline] | Strongly emphasized text (list of inlines)
Strikeout [Inline] | Strikeout text (list of inlines)
Superscript [Inline] | Superscripted text (list of inlines)
Subscript [Inline] | Subscripted text (list of inlines)
SmallCaps [Inline] | Small caps text (list of inlines)
Quoted QuoteType [Inline] | Quoted text (list of inlines)
Cite [Citation] [Inline] | Citation (list of inlines)
Code Attr String | Inline code (literal)
Space | Inter-word space
SoftBreak | Soft line break
LineBreak | Hard line break
Math MathType String | TeX math (literal)
RawInline Format String | Raw inline
Link Attr [Inline] Target | Hyperlink: alt text (list of inlines), target
Image Attr [Inline] Target | Image: alt text (list of inlines), target
Note [Block] | Footnote or endnote
Span Attr [Inline] | Generic inline container with attributes

Instances

Eq Inline # |
Methods (==) :: Inline -> Inline -> Bool # (/=) :: Inline -> Inline -> Bool #
Data Inline # |
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 :: (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 #
Ord Inline # |
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 #
Read Inline # |
Methods readsPrec :: Int -> ReadS Inline # readList :: ReadS [Inline] # readPrec :: ReadPrec Inline # readListPrec :: ReadPrec [Inline] #
Show Inline # |
Methods showsPrec :: Int -> Inline -> ShowS # show :: Inline -> String # showList :: [Inline] -> ShowS #
IsString Inlines # |
Methods fromString :: String -> Inlines #
Generic Inline # |
Associated Types type Rep Inline :: * -> * # Methods from :: Inline -> Rep Inline x # to :: Rep Inline x -> Inline #
Monoid Inlines # |
Methods mempty :: Inlines # mappend :: Inlines -> Inlines -> Inlines # mconcat :: [Inlines] -> Inlines #
FromJSON Inline # |
Methods parseJSON :: Value -> Parser Inline # parseJSONList :: Value -> Parser [Inline] #
ToJSON Inline # |
Methods toJSON :: Inline -> Value # toEncoding :: Inline -> Encoding # toJSONList :: [Inline] -> Value # toEncodingList :: [Inline] -> Encoding #
NFData Inline # |
Methods rnf :: Inline -> () #
ToMetaValue Inlines # |
Methods toMetaValue :: Inlines -> MetaValue #
Walkable Inline Citation # |
Methods walk :: (Inline -> Inline) -> Citation -> Citation # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Citation -> m Citation # query :: Monoid c => (Inline -> c) -> Citation -> c #
Walkable Inline Inline # |
Methods walk :: (Inline -> Inline) -> Inline -> Inline # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Inline -> m Inline # query :: Monoid c => (Inline -> c) -> Inline -> c #
Walkable Inline Block # |
Methods walk :: (Inline -> Inline) -> Block -> Block # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Block -> m Block # query :: Monoid c => (Inline -> c) -> Block -> c #
Walkable Inline MetaValue # |
Methods walk :: (Inline -> Inline) -> MetaValue -> MetaValue # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> MetaValue -> m MetaValue # query :: Monoid c => (Inline -> c) -> MetaValue -> c #
Walkable Inline Meta # |
Methods walk :: (Inline -> Inline) -> Meta -> Meta # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Meta -> m Meta # query :: Monoid c => (Inline -> c) -> Meta -> c #
Walkable Inline Pandoc # |
Methods walk :: (Inline -> Inline) -> Pandoc -> Pandoc # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Pandoc -> m Pandoc # query :: Monoid c => (Inline -> c) -> Pandoc -> c #
Walkable Block Inline # |
Methods walk :: (Block -> Block) -> Inline -> Inline # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Inline -> m Inline # query :: Monoid c => (Block -> c) -> Inline -> c #
type Rep Inline # |
type Rep Inline = D1 (MetaData "Inline" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Str" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "Emph" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))) ((:+:) (C1 (MetaCons "Strong" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) (C1 (MetaCons "Strikeout" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))))) ((:+:) ((:+:) (C1 (MetaCons "Superscript" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) (C1 (MetaCons "Subscript" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))) ((:+:) (C1 (MetaCons "SmallCaps" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) ((:+:) (C1 (MetaCons "Quoted" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 QuoteType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))) (C1 (MetaCons "Cite" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Citation])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Code" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) (C1 (MetaCons "Space" PrefixI False) U1)) ((:+:) (C1 (MetaCons "SoftBreak" PrefixI False) U1) ((:+:) (C1 (MetaCons "LineBreak" PrefixI False) U1) (C1 (MetaCons "Math" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MathType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))) ((:+:) ((:+:) (C1 (MetaCons "RawInline" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Format)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) (C1 (MetaCons "Link" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Target)))))) ((:+:) (C1 (MetaCons "Image" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Target))))) ((:+:) (C1 (MetaCons "Note" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block]))) (C1 (MetaCons "Span" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))))))))

data Alignment #

Alignment of a table column.

Constructors

AlignLeft |
AlignRight |
AlignCenter |
AlignDefault |

Instances

Eq Alignment # |
Methods (==) :: Alignment -> Alignment -> Bool # (/=) :: Alignment -> Alignment -> Bool #
Data Alignment # |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Alignment -> c Alignment # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Alignment # toConstr :: Alignment -> Constr # dataTypeOf :: Alignment -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Alignment) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Alignment) # gmapT :: (forall b. Data b => b -> b) -> Alignment -> Alignment # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Alignment -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Alignment -> r # gmapQ :: (forall d. Data d => d -> u) -> Alignment -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Alignment -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Alignment -> m Alignment # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Alignment -> m Alignment # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Alignment -> m Alignment #
Ord Alignment # |
Methods compare :: Alignment -> Alignment -> Ordering # (<) :: Alignment -> Alignment -> Bool # (<=) :: Alignment -> Alignment -> Bool # (>) :: Alignment -> Alignment -> Bool # (>=) :: Alignment -> Alignment -> Bool # max :: Alignment -> Alignment -> Alignment # min :: Alignment -> Alignment -> Alignment #
Read Alignment # |
Methods readsPrec :: Int -> ReadS Alignment # readList :: ReadS [Alignment] # readPrec :: ReadPrec Alignment # readListPrec :: ReadPrec [Alignment] #
Show Alignment # |
Methods showsPrec :: Int -> Alignment -> ShowS # show :: Alignment -> String # showList :: [Alignment] -> ShowS #
Generic Alignment # |
Associated Types type Rep Alignment :: * -> * # Methods from :: Alignment -> Rep Alignment x # to :: Rep Alignment x -> Alignment #
FromJSON Alignment # |
Methods parseJSON :: Value -> Parser Alignment # parseJSONList :: Value -> Parser [Alignment] #
ToJSON Alignment # |
Methods toJSON :: Alignment -> Value # toEncoding :: Alignment -> Encoding # toJSONList :: [Alignment] -> Value # toEncodingList :: [Alignment] -> Encoding #
NFData Alignment # |
Methods rnf :: Alignment -> () #
type Rep Alignment # |
type Rep Alignment = D1 (MetaData "Alignment" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" False) ((:+:) ((:+:) (C1 (MetaCons "AlignLeft" PrefixI False) U1) (C1 (MetaCons "AlignRight" PrefixI False) U1)) ((:+:) (C1 (MetaCons "AlignCenter" PrefixI False) U1) (C1 (MetaCons "AlignDefault" PrefixI False) U1)))

type ListAttributes = (Int, ListNumberStyle, ListNumberDelim) #

List attributes.

data ListNumberStyle #

Style of list numbers.

Constructors

DefaultStyle |
Example |
Decimal |
LowerRoman |
UpperRoman |
LowerAlpha |
UpperAlpha |

Instances

Eq ListNumberStyle # |
Methods (==) :: ListNumberStyle -> ListNumberStyle -> Bool # (/=) :: ListNumberStyle -> ListNumberStyle -> Bool #
Data ListNumberStyle # |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListNumberStyle -> c ListNumberStyle # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListNumberStyle # toConstr :: ListNumberStyle -> Constr # dataTypeOf :: ListNumberStyle -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ListNumberStyle) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListNumberStyle) # gmapT :: (forall b. Data b => b -> b) -> ListNumberStyle -> ListNumberStyle # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListNumberStyle -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListNumberStyle -> r # gmapQ :: (forall d. Data d => d -> u) -> ListNumberStyle -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ListNumberStyle -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListNumberStyle -> m ListNumberStyle # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListNumberStyle -> m ListNumberStyle # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListNumberStyle -> m ListNumberStyle #
Ord ListNumberStyle # |
Methods compare :: ListNumberStyle -> ListNumberStyle -> Ordering # (<) :: ListNumberStyle -> ListNumberStyle -> Bool # (<=) :: ListNumberStyle -> ListNumberStyle -> Bool # (>) :: ListNumberStyle -> ListNumberStyle -> Bool # (>=) :: ListNumberStyle -> ListNumberStyle -> Bool # max :: ListNumberStyle -> ListNumberStyle -> ListNumberStyle # min :: ListNumberStyle -> ListNumberStyle -> ListNumberStyle #
Read ListNumberStyle # |
Methods readsPrec :: Int -> ReadS ListNumberStyle # readList :: ReadS [ListNumberStyle] # readPrec :: ReadPrec ListNumberStyle # readListPrec :: ReadPrec [ListNumberStyle] #
Show ListNumberStyle # |
Methods showsPrec :: Int -> ListNumberStyle -> ShowS # show :: ListNumberStyle -> String # showList :: [ListNumberStyle] -> ShowS #
Generic ListNumberStyle # |
Associated Types type Rep ListNumberStyle :: * -> * # Methods from :: ListNumberStyle -> Rep ListNumberStyle x # to :: Rep ListNumberStyle x -> ListNumberStyle #
FromJSON ListNumberStyle # |
Methods parseJSON :: Value -> Parser ListNumberStyle # parseJSONList :: Value -> Parser [ListNumberStyle] #
ToJSON ListNumberStyle # |
Methods toJSON :: ListNumberStyle -> Value # toEncoding :: ListNumberStyle -> Encoding # toJSONList :: [ListNumberStyle] -> Value # toEncodingList :: [ListNumberStyle] -> Encoding #
NFData ListNumberStyle # |
Methods rnf :: ListNumberStyle -> () #
type Rep ListNumberStyle # |
type Rep ListNumberStyle = D1 (MetaData "ListNumberStyle" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" False) ((:+:) ((:+:) (C1 (MetaCons "DefaultStyle" PrefixI False) U1) ((:+:) (C1 (MetaCons "Example" PrefixI False) U1) (C1 (MetaCons "Decimal" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "LowerRoman" PrefixI False) U1) (C1 (MetaCons "UpperRoman" PrefixI False) U1)) ((:+:) (C1 (MetaCons "LowerAlpha" PrefixI False) U1) (C1 (MetaCons "UpperAlpha" PrefixI False) U1))))

data ListNumberDelim #

Delimiter of list numbers.

Constructors

DefaultDelim |
Period |
OneParen |
TwoParens |

Instances

Eq ListNumberDelim # |
Methods (==) :: ListNumberDelim -> ListNumberDelim -> Bool # (/=) :: ListNumberDelim -> ListNumberDelim -> Bool #
Data ListNumberDelim # |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListNumberDelim -> c ListNumberDelim # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListNumberDelim # toConstr :: ListNumberDelim -> Constr # dataTypeOf :: ListNumberDelim -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ListNumberDelim) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListNumberDelim) # gmapT :: (forall b. Data b => b -> b) -> ListNumberDelim -> ListNumberDelim # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListNumberDelim -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListNumberDelim -> r # gmapQ :: (forall d. Data d => d -> u) -> ListNumberDelim -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ListNumberDelim -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListNumberDelim -> m ListNumberDelim # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListNumberDelim -> m ListNumberDelim # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListNumberDelim -> m ListNumberDelim #
Ord ListNumberDelim # |
Methods compare :: ListNumberDelim -> ListNumberDelim -> Ordering # (<) :: ListNumberDelim -> ListNumberDelim -> Bool # (<=) :: ListNumberDelim -> ListNumberDelim -> Bool # (>) :: ListNumberDelim -> ListNumberDelim -> Bool # (>=) :: ListNumberDelim -> ListNumberDelim -> Bool # max :: ListNumberDelim -> ListNumberDelim -> ListNumberDelim # min :: ListNumberDelim -> ListNumberDelim -> ListNumberDelim #
Read ListNumberDelim # |
Methods readsPrec :: Int -> ReadS ListNumberDelim # readList :: ReadS [ListNumberDelim] # readPrec :: ReadPrec ListNumberDelim # readListPrec :: ReadPrec [ListNumberDelim] #
Show ListNumberDelim # |
Methods showsPrec :: Int -> ListNumberDelim -> ShowS # show :: ListNumberDelim -> String # showList :: [ListNumberDelim] -> ShowS #
Generic ListNumberDelim # |
Associated Types type Rep ListNumberDelim :: * -> * # Methods from :: ListNumberDelim -> Rep ListNumberDelim x # to :: Rep ListNumberDelim x -> ListNumberDelim #
FromJSON ListNumberDelim # |
Methods parseJSON :: Value -> Parser ListNumberDelim # parseJSONList :: Value -> Parser [ListNumberDelim] #
ToJSON ListNumberDelim # |
Methods toJSON :: ListNumberDelim -> Value # toEncoding :: ListNumberDelim -> Encoding # toJSONList :: [ListNumberDelim] -> Value # toEncodingList :: [ListNumberDelim] -> Encoding #
NFData ListNumberDelim # |
Methods rnf :: ListNumberDelim -> () #
type Rep ListNumberDelim # |
type Rep ListNumberDelim = D1 (MetaData "ListNumberDelim" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" False) ((:+:) ((:+:) (C1 (MetaCons "DefaultDelim" PrefixI False) U1) (C1 (MetaCons "Period" PrefixI False) U1)) ((:+:) (C1 (MetaCons "OneParen" PrefixI False) U1) (C1 (MetaCons "TwoParens" PrefixI False) U1)))

newtype Format #

Formats for raw blocks

Constructors

Format String |

Instances

Eq Format # |
Methods (==) :: Format -> Format -> Bool # (/=) :: Format -> Format -> Bool #
Data Format # |
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 :: (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 #
Ord Format # |
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 #
Read Format # |
Methods readsPrec :: Int -> ReadS Format # readList :: ReadS [Format] # readPrec :: ReadPrec Format # readListPrec :: ReadPrec [Format] #
Show Format # |
Methods showsPrec :: Int -> Format -> ShowS # show :: Format -> String # showList :: [Format] -> ShowS #
IsString Format # |
Methods fromString :: String -> Format #
Generic Format # |
Associated Types type Rep Format :: * -> * # Methods from :: Format -> Rep Format x # to :: Rep Format x -> Format #
FromJSON Format # |
Methods parseJSON :: Value -> Parser Format # parseJSONList :: Value -> Parser [Format] #
ToJSON Format # |
Methods toJSON :: Format -> Value # toEncoding :: Format -> Encoding # toJSONList :: [Format] -> Value # toEncodingList :: [Format] -> Encoding #
NFData Format # |
Methods rnf :: Format -> () #
ToJSONFilter a => ToJSONFilter (Maybe Format -> a) # |
Methods toJSONFilter :: (Maybe Format -> a) -> IO () #
type Rep Format # |
type Rep Format = D1 (MetaData "Format" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" True) (C1 (MetaCons "Format" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

type Attr = (String, [String], [(String, String)]) #

Attributes: identifier, classes, key-value pairs

nullAttr :: Attr #

type TableCell = [Block] #

Table cells are list of Blocks

data QuoteType #

Type of quotation marks to use in Quoted inline.

Constructors

SingleQuote |
DoubleQuote |

Instances

Eq QuoteType # |
Methods (==) :: QuoteType -> QuoteType -> Bool # (/=) :: QuoteType -> QuoteType -> Bool #
Data QuoteType # |
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 :: (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 #
Ord QuoteType # |
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 #
Read QuoteType # |
Methods readsPrec :: Int -> ReadS QuoteType # readList :: ReadS [QuoteType] # readPrec :: ReadPrec QuoteType # readListPrec :: ReadPrec [QuoteType] #
Show QuoteType # |
Methods showsPrec :: Int -> QuoteType -> ShowS # show :: QuoteType -> String # showList :: [QuoteType] -> ShowS #
Generic QuoteType # |
Associated Types type Rep QuoteType :: * -> * # Methods from :: QuoteType -> Rep QuoteType x # to :: Rep QuoteType x -> QuoteType #
FromJSON QuoteType # |
Methods parseJSON :: Value -> Parser QuoteType # parseJSONList :: Value -> Parser [QuoteType] #
ToJSON QuoteType # |
Methods toJSON :: QuoteType -> Value # toEncoding :: QuoteType -> Encoding # toJSONList :: [QuoteType] -> Value # toEncodingList :: [QuoteType] -> Encoding #
NFData QuoteType # |
Methods rnf :: QuoteType -> () #
type Rep QuoteType # |
type Rep QuoteType = D1 (MetaData "QuoteType" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" False) ((:+:) (C1 (MetaCons "SingleQuote" PrefixI False) U1) (C1 (MetaCons "DoubleQuote" PrefixI False) U1))

type Target = (String, String) #

Link target (URL, title).

data MathType #

Type of math element (display or inline).

Constructors

DisplayMath |
InlineMath |

Instances

Eq MathType # |
Methods (==) :: MathType -> MathType -> Bool # (/=) :: MathType -> MathType -> Bool #
Data MathType # |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MathType -> c MathType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MathType # toConstr :: MathType -> Constr # dataTypeOf :: MathType -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MathType) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MathType) # gmapT :: (forall b. Data b => b -> b) -> MathType -> MathType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MathType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MathType -> r # gmapQ :: (forall d. Data d => d -> u) -> MathType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MathType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MathType -> m MathType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MathType -> m MathType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MathType -> m MathType #
Ord MathType # |
Methods compare :: MathType -> MathType -> Ordering # (<) :: MathType -> MathType -> Bool # (<=) :: MathType -> MathType -> Bool # (>) :: MathType -> MathType -> Bool # (>=) :: MathType -> MathType -> Bool # max :: MathType -> MathType -> MathType # min :: MathType -> MathType -> MathType #
Read MathType # |
Methods readsPrec :: Int -> ReadS MathType # readList :: ReadS [MathType] # readPrec :: ReadPrec MathType # readListPrec :: ReadPrec [MathType] #
Show MathType # |
Methods showsPrec :: Int -> MathType -> ShowS # show :: MathType -> String # showList :: [MathType] -> ShowS #
Generic MathType # |
Associated Types type Rep MathType :: * -> * # Methods from :: MathType -> Rep MathType x # to :: Rep MathType x -> MathType #
FromJSON MathType # |
Methods parseJSON :: Value -> Parser MathType # parseJSONList :: Value -> Parser [MathType] #
ToJSON MathType # |
Methods toJSON :: MathType -> Value # toEncoding :: MathType -> Encoding # toJSONList :: [MathType] -> Value # toEncodingList :: [MathType] -> Encoding #
NFData MathType # |
Methods rnf :: MathType -> () #
type Rep MathType # |
type Rep MathType = D1 (MetaData "MathType" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" False) ((:+:) (C1 (MetaCons "DisplayMath" PrefixI False) U1) (C1 (MetaCons "InlineMath" PrefixI False) U1))

data Citation #

Constructors

Citation |
Fields citationId :: String citationPrefix :: [Inline] citationSuffix :: [Inline] citationMode :: CitationMode citationNoteNum :: Int citationHash :: Int

Instances

Eq Citation # |
Methods (==) :: Citation -> Citation -> Bool # (/=) :: Citation -> Citation -> Bool #
Data Citation # |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Citation -> c Citation # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Citation # toConstr :: Citation -> Constr # dataTypeOf :: Citation -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Citation) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Citation) # gmapT :: (forall b. Data b => b -> b) -> Citation -> Citation # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Citation -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Citation -> r # gmapQ :: (forall d. Data d => d -> u) -> Citation -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Citation -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Citation -> m Citation # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Citation -> m Citation # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Citation -> m Citation #
Ord Citation # |
Methods compare :: Citation -> Citation -> Ordering # (<) :: Citation -> Citation -> Bool # (<=) :: Citation -> Citation -> Bool # (>) :: Citation -> Citation -> Bool # (>=) :: Citation -> Citation -> Bool # max :: Citation -> Citation -> Citation # min :: Citation -> Citation -> Citation #
Read Citation # |
Methods readsPrec :: Int -> ReadS Citation # readList :: ReadS [Citation] # readPrec :: ReadPrec Citation # readListPrec :: ReadPrec [Citation] #
Show Citation # |
Methods showsPrec :: Int -> Citation -> ShowS # show :: Citation -> String # showList :: [Citation] -> ShowS #
Generic Citation # |
Associated Types type Rep Citation :: * -> * # Methods from :: Citation -> Rep Citation x # to :: Rep Citation x -> Citation #
FromJSON Citation # |
Methods parseJSON :: Value -> Parser Citation # parseJSONList :: Value -> Parser [Citation] #
ToJSON Citation # |
Methods toJSON :: Citation -> Value # toEncoding :: Citation -> Encoding # toJSONList :: [Citation] -> Value # toEncodingList :: [Citation] -> Encoding #
NFData Citation # |
Methods rnf :: Citation -> () #
Walkable Inline Citation # |
Methods walk :: (Inline -> Inline) -> Citation -> Citation # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Citation -> m Citation # query :: Monoid c => (Inline -> c) -> Citation -> c #
Walkable Block Citation # |
Methods walk :: (Block -> Block) -> Citation -> Citation # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Citation -> m Citation # query :: Monoid c => (Block -> c) -> Citation -> c #
type Rep Citation # |
type Rep Citation = D1 (MetaData "Citation" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" False) (C1 (MetaCons "Citation" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "citationId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) ((:*:) (S1 (MetaSel (Just Symbol "citationPrefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) (S1 (MetaSel (Just Symbol "citationSuffix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))) ((:*:) (S1 (MetaSel (Just Symbol "citationMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CitationMode)) ((:*:) (S1 (MetaSel (Just Symbol "citationNoteNum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Just Symbol "citationHash") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))))

data CitationMode #

Constructors

AuthorInText |
SuppressAuthor |
NormalCitation |

Instances

Eq CitationMode # |
Methods (==) :: CitationMode -> CitationMode -> Bool # (/=) :: CitationMode -> CitationMode -> Bool #
Data CitationMode # |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CitationMode -> c CitationMode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CitationMode # toConstr :: CitationMode -> Constr # dataTypeOf :: CitationMode -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CitationMode) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CitationMode) # gmapT :: (forall b. Data b => b -> b) -> CitationMode -> CitationMode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CitationMode -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CitationMode -> r # gmapQ :: (forall d. Data d => d -> u) -> CitationMode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CitationMode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CitationMode -> m CitationMode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CitationMode -> m CitationMode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CitationMode -> m CitationMode #
Ord CitationMode # |
Methods compare :: CitationMode -> CitationMode -> Ordering # (<) :: CitationMode -> CitationMode -> Bool # (<=) :: CitationMode -> CitationMode -> Bool # (>) :: CitationMode -> CitationMode -> Bool # (>=) :: CitationMode -> CitationMode -> Bool # max :: CitationMode -> CitationMode -> CitationMode # min :: CitationMode -> CitationMode -> CitationMode #
Read CitationMode # |
Methods readsPrec :: Int -> ReadS CitationMode # readList :: ReadS [CitationMode] # readPrec :: ReadPrec CitationMode # readListPrec :: ReadPrec [CitationMode] #
Show CitationMode # |
Methods showsPrec :: Int -> CitationMode -> ShowS # show :: CitationMode -> String # showList :: [CitationMode] -> ShowS #
Generic CitationMode # |
Associated Types type Rep CitationMode :: * -> * # Methods from :: CitationMode -> Rep CitationMode x # to :: Rep CitationMode x -> CitationMode #
FromJSON CitationMode # |
Methods parseJSON :: Value -> Parser CitationMode # parseJSONList :: Value -> Parser [CitationMode] #
ToJSON CitationMode # |
Methods toJSON :: CitationMode -> Value # toEncoding :: CitationMode -> Encoding # toJSONList :: [CitationMode] -> Value # toEncodingList :: [CitationMode] -> Encoding #
NFData CitationMode # |
Methods rnf :: CitationMode -> () #
type Rep CitationMode # |
type Rep CitationMode = D1 (MetaData "CitationMode" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-11Nd20rWWmXXKwn0ardsS" False) ((:+:) (C1 (MetaCons "AuthorInText" PrefixI False) U1) ((:+:) (C1 (MetaCons "SuppressAuthor" PrefixI False) U1) (C1 (MetaCons "NormalCitation" PrefixI False) U1)))

pandocTypesVersion :: Version #