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

Documentation

data Pandoc Source #

Constructors

Pandoc Meta [Block]

Instances

Eq Pandoc Source #
Methods (==) :: Pandoc -> Pandoc -> Bool # (/=) :: Pandoc -> Pandoc -> Bool #
Data Pandoc Source #
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 Source #
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 Source #
Methods readsPrec :: Int -> ReadS Pandoc # readList :: ReadS [Pandoc] # readPrec :: ReadPrec Pandoc # readListPrec :: ReadPrec [Pandoc] #
Show Pandoc Source #
Methods showsPrec :: Int -> Pandoc -> ShowS # show :: Pandoc -> String # showList :: [Pandoc] -> ShowS #
Generic Pandoc Source #
Associated Types type Rep Pandoc :: * -> * # Methods from :: Pandoc -> Rep Pandoc x # to :: Rep Pandoc x -> Pandoc #
Monoid Pandoc Source #
Methods mempty :: Pandoc # mappend :: Pandoc -> Pandoc -> Pandoc # mconcat :: [Pandoc] -> Pandoc #
ToJSON Pandoc Source #
Methods toJSON :: Pandoc -> Value # toEncoding :: Pandoc -> Encoding # toJSONList :: [Pandoc] -> Value # toEncodingList :: [Pandoc] -> Encoding #
FromJSON Pandoc Source #
Methods parseJSON :: Value -> Parser Pandoc # parseJSONList :: Value -> Parser [Pandoc] #
NFData Pandoc Source #
Methods rnf :: Pandoc -> () #
HasMeta Pandoc Source #
Methods setMeta :: ToMetaValue b => String -> b -> Pandoc -> Pandoc Source # deleteMeta :: String -> Pandoc -> Pandoc Source #
Walkable Inline Pandoc Source #
Methods walk :: (Inline -> Inline) -> Pandoc -> Pandoc Source # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Pandoc -> m Pandoc Source # query :: Monoid c => (Inline -> c) -> Pandoc -> c Source #
Walkable Block Pandoc Source #
Methods walk :: (Block -> Block) -> Pandoc -> Pandoc Source # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Pandoc -> m Pandoc Source # query :: Monoid c => (Block -> c) -> Pandoc -> c Source #
Walkable Pandoc Pandoc Source #
Methods walk :: (Pandoc -> Pandoc) -> Pandoc -> Pandoc Source # walkM :: (Monad m, Functor m) => (Pandoc -> m Pandoc) -> Pandoc -> m Pandoc Source # query :: Monoid c => (Pandoc -> c) -> Pandoc -> c Source #
type Rep Pandoc Source #
type Rep Pandoc = D1 (MetaData "Pandoc" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-AckrQNOnj9g6exNRixaBDp" 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 Source #

Metadata for the document: title, authors, date.

Constructors

Meta
Fields unMeta :: Map String MetaValue

Instances

Eq Meta Source #
Methods (==) :: Meta -> Meta -> Bool # (/=) :: Meta -> Meta -> Bool #
Data Meta Source #
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 Source #
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 Source #
Methods readsPrec :: Int -> ReadS Meta # readList :: ReadS [Meta] # readPrec :: ReadPrec Meta # readListPrec :: ReadPrec [Meta] #
Show Meta Source #
Methods showsPrec :: Int -> Meta -> ShowS # show :: Meta -> String # showList :: [Meta] -> ShowS #
Generic Meta Source #
Associated Types type Rep Meta :: * -> * # Methods from :: Meta -> Rep Meta x # to :: Rep Meta x -> Meta #
Monoid Meta Source #
Methods mempty :: Meta # mappend :: Meta -> Meta -> Meta # mconcat :: [Meta] -> Meta #
ToJSON Meta Source #
Methods toJSON :: Meta -> Value # toEncoding :: Meta -> Encoding # toJSONList :: [Meta] -> Value # toEncodingList :: [Meta] -> Encoding #
FromJSON Meta Source #
Methods parseJSON :: Value -> Parser Meta # parseJSONList :: Value -> Parser [Meta] #
NFData Meta Source #
Methods rnf :: Meta -> () #
HasMeta Meta Source #
Methods setMeta :: ToMetaValue b => String -> b -> Meta -> Meta Source # deleteMeta :: String -> Meta -> Meta Source #
Walkable Inline Meta Source #
Methods walk :: (Inline -> Inline) -> Meta -> Meta Source # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Meta -> m Meta Source # query :: Monoid c => (Inline -> c) -> Meta -> c Source #
Walkable Block Meta Source #
Methods walk :: (Block -> Block) -> Meta -> Meta Source # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Meta -> m Meta Source # query :: Monoid c => (Block -> c) -> Meta -> c Source #
Walkable Meta Meta Source #
Methods walk :: (Meta -> Meta) -> Meta -> Meta Source # walkM :: (Monad m, Functor m) => (Meta -> m Meta) -> Meta -> m Meta Source # query :: Monoid c => (Meta -> c) -> Meta -> c Source #
type Rep Meta Source #
type Rep Meta = D1 (MetaData "Meta" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-AckrQNOnj9g6exNRixaBDp" True) (C1 (MetaCons "Meta" PrefixI True) (S1 (MetaSel (Just Symbol "unMeta") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map String MetaValue))))

data MetaValue Source #

Constructors

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

Instances

Eq MetaValue Source #
Methods (==) :: MetaValue -> MetaValue -> Bool # (/=) :: MetaValue -> MetaValue -> Bool #
Data MetaValue Source #
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 Source #
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 Source #
Methods readsPrec :: Int -> ReadS MetaValue # readList :: ReadS [MetaValue] # readPrec :: ReadPrec MetaValue # readListPrec :: ReadPrec [MetaValue] #
Show MetaValue Source #
Methods showsPrec :: Int -> MetaValue -> ShowS # show :: MetaValue -> String # showList :: [MetaValue] -> ShowS #
Generic MetaValue Source #
Associated Types type Rep MetaValue :: * -> * # Methods from :: MetaValue -> Rep MetaValue x # to :: Rep MetaValue x -> MetaValue #
ToJSON MetaValue Source #
Methods toJSON :: MetaValue -> Value # toEncoding :: MetaValue -> Encoding # toJSONList :: [MetaValue] -> Value # toEncodingList :: [MetaValue] -> Encoding #
FromJSON MetaValue Source #
Methods parseJSON :: Value -> Parser MetaValue # parseJSONList :: Value -> Parser [MetaValue] #
NFData MetaValue Source #
Methods rnf :: MetaValue -> () #
ToMetaValue MetaValue Source #
Methods toMetaValue :: MetaValue -> MetaValue Source #
Walkable Inline MetaValue Source #
Methods walk :: (Inline -> Inline) -> MetaValue -> MetaValue Source # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> MetaValue -> m MetaValue Source # query :: Monoid c => (Inline -> c) -> MetaValue -> c Source #
Walkable Block MetaValue Source #
Methods walk :: (Block -> Block) -> MetaValue -> MetaValue Source # walkM :: (Monad m, Functor m) => (Block -> m Block) -> MetaValue -> m MetaValue Source # query :: Monoid c => (Block -> c) -> MetaValue -> c Source #
type Rep MetaValue Source #
type Rep MetaValue = D1 (MetaData "MetaValue" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-AckrQNOnj9g6exNRixaBDp" 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 Source #

isNullMeta :: Meta -> Bool Source #

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

Retrieve the metadata value for a given key.

docTitle :: Meta -> [Inline] Source #

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

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

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

docDate :: Meta -> [Inline] Source #

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

data Block Source #

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 Source #
Methods (==) :: Block -> Block -> Bool # (/=) :: Block -> Block -> Bool #
Data Block Source #
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 Source #
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 Source #
Methods readsPrec :: Int -> ReadS Block # readList :: ReadS [Block] # readPrec :: ReadPrec Block # readListPrec :: ReadPrec [Block] #
Show Block Source #
Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
Generic Block Source #
Associated Types type Rep Block :: * -> * # Methods from :: Block -> Rep Block x # to :: Rep Block x -> Block #
ToJSON Block Source #
Methods toJSON :: Block -> Value # toEncoding :: Block -> Encoding # toJSONList :: [Block] -> Value # toEncodingList :: [Block] -> Encoding #
FromJSON Block Source #
Methods parseJSON :: Value -> Parser Block # parseJSONList :: Value -> Parser [Block] #
NFData Block Source #
Methods rnf :: Block -> () #
ToMetaValue Blocks Source #
Methods toMetaValue :: Blocks -> MetaValue Source #
Walkable Inline Block Source #
Methods walk :: (Inline -> Inline) -> Block -> Block Source # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Block -> m Block Source # query :: Monoid c => (Inline -> c) -> Block -> c Source #
Walkable Block Citation Source #
Methods walk :: (Block -> Block) -> Citation -> Citation Source # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Citation -> m Citation Source # query :: Monoid c => (Block -> c) -> Citation -> c Source #
Walkable Block Inline Source #
Methods walk :: (Block -> Block) -> Inline -> Inline Source # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Inline -> m Inline Source # query :: Monoid c => (Block -> c) -> Inline -> c Source #
Walkable Block Block Source #
Methods walk :: (Block -> Block) -> Block -> Block Source # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Block -> m Block Source # query :: Monoid c => (Block -> c) -> Block -> c Source #
Walkable Block MetaValue Source #
Methods walk :: (Block -> Block) -> MetaValue -> MetaValue Source # walkM :: (Monad m, Functor m) => (Block -> m Block) -> MetaValue -> m MetaValue Source # query :: Monoid c => (Block -> c) -> MetaValue -> c Source #
Walkable Block Meta Source #
Methods walk :: (Block -> Block) -> Meta -> Meta Source # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Meta -> m Meta Source # query :: Monoid c => (Block -> c) -> Meta -> c Source #
Walkable Block Pandoc Source #
Methods walk :: (Block -> Block) -> Pandoc -> Pandoc Source # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Pandoc -> m Pandoc Source # query :: Monoid c => (Block -> c) -> Pandoc -> c Source #
Monoid (Many Block) #
Methods mempty :: Many Block # mappend :: Many Block -> Many Block -> Many Block # mconcat :: [Many Block] -> Many Block #
type Rep Block Source #
type Rep Block = D1 (MetaData "Block" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-AckrQNOnj9g6exNRixaBDp" 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 Source #

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 Source #
Methods (==) :: Inline -> Inline -> Bool # (/=) :: Inline -> Inline -> Bool #
Data Inline Source #
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 Source #
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 Source #
Methods readsPrec :: Int -> ReadS Inline # readList :: ReadS [Inline] # readPrec :: ReadPrec Inline # readListPrec :: ReadPrec [Inline] #
Show Inline Source #
Methods showsPrec :: Int -> Inline -> ShowS # show :: Inline -> String # showList :: [Inline] -> ShowS #
IsString Inlines #
Methods fromString :: String -> Inlines #
Generic Inline Source #
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 #
ToJSON Inline Source #
Methods toJSON :: Inline -> Value # toEncoding :: Inline -> Encoding # toJSONList :: [Inline] -> Value # toEncodingList :: [Inline] -> Encoding #
FromJSON Inline Source #
Methods parseJSON :: Value -> Parser Inline # parseJSONList :: Value -> Parser [Inline] #
NFData Inline Source #
Methods rnf :: Inline -> () #
ToMetaValue Inlines Source #
Methods toMetaValue :: Inlines -> MetaValue Source #
Walkable Inline Citation Source #
Methods walk :: (Inline -> Inline) -> Citation -> Citation Source # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Citation -> m Citation Source # query :: Monoid c => (Inline -> c) -> Citation -> c Source #
Walkable Inline Inline Source #
Methods walk :: (Inline -> Inline) -> Inline -> Inline Source # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Inline -> m Inline Source # query :: Monoid c => (Inline -> c) -> Inline -> c Source #
Walkable Inline Block Source #
Methods walk :: (Inline -> Inline) -> Block -> Block Source # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Block -> m Block Source # query :: Monoid c => (Inline -> c) -> Block -> c Source #
Walkable Inline MetaValue Source #
Methods walk :: (Inline -> Inline) -> MetaValue -> MetaValue Source # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> MetaValue -> m MetaValue Source # query :: Monoid c => (Inline -> c) -> MetaValue -> c Source #
Walkable Inline Meta Source #
Methods walk :: (Inline -> Inline) -> Meta -> Meta Source # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Meta -> m Meta Source # query :: Monoid c => (Inline -> c) -> Meta -> c Source #
Walkable Inline Pandoc Source #
Methods walk :: (Inline -> Inline) -> Pandoc -> Pandoc Source # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Pandoc -> m Pandoc Source # query :: Monoid c => (Inline -> c) -> Pandoc -> c Source #
Walkable Block Inline Source #
Methods walk :: (Block -> Block) -> Inline -> Inline Source # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Inline -> m Inline Source # query :: Monoid c => (Block -> c) -> Inline -> c Source #
type Rep Inline Source #
type Rep Inline = D1 (MetaData "Inline" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-AckrQNOnj9g6exNRixaBDp" 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 Source #

Alignment of a table column.

Constructors

AlignLeft
AlignRight
AlignCenter
AlignDefault

Instances

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

List attributes.

data ListNumberStyle Source #

Style of list numbers.

Constructors

DefaultStyle
Example
Decimal
LowerRoman
UpperRoman
LowerAlpha
UpperAlpha

Instances

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

Delimiter of list numbers.

Constructors

DefaultDelim
Period
OneParen
TwoParens

Instances

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

Formats for raw blocks

Constructors

Format String

Instances

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

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

Attributes: identifier, classes, key-value pairs

nullAttr :: Attr Source #

type TableCell = [Block] Source #

Table cells are list of Blocks

data QuoteType Source #

Type of quotation marks to use in Quoted inline.

Constructors

SingleQuote
DoubleQuote

Instances

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

type Target = (String, String) Source #

Link target (URL, title).

data MathType Source #

Type of math element (display or inline).

Constructors

DisplayMath
InlineMath

Instances

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

data Citation Source #

Constructors

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

Instances

Eq Citation Source #
Methods (==) :: Citation -> Citation -> Bool # (/=) :: Citation -> Citation -> Bool #
Data Citation Source #
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 Source #
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 Source #
Methods readsPrec :: Int -> ReadS Citation # readList :: ReadS [Citation] # readPrec :: ReadPrec Citation # readListPrec :: ReadPrec [Citation] #
Show Citation Source #
Methods showsPrec :: Int -> Citation -> ShowS # show :: Citation -> String # showList :: [Citation] -> ShowS #
Generic Citation Source #
Associated Types type Rep Citation :: * -> * # Methods from :: Citation -> Rep Citation x # to :: Rep Citation x -> Citation #
ToJSON Citation Source #
Methods toJSON :: Citation -> Value # toEncoding :: Citation -> Encoding # toJSONList :: [Citation] -> Value # toEncodingList :: [Citation] -> Encoding #
FromJSON Citation Source #
Methods parseJSON :: Value -> Parser Citation # parseJSONList :: Value -> Parser [Citation] #
NFData Citation Source #
Methods rnf :: Citation -> () #
Walkable Inline Citation Source #
Methods walk :: (Inline -> Inline) -> Citation -> Citation Source # walkM :: (Monad m, Functor m) => (Inline -> m Inline) -> Citation -> m Citation Source # query :: Monoid c => (Inline -> c) -> Citation -> c Source #
Walkable Block Citation Source #
Methods walk :: (Block -> Block) -> Citation -> Citation Source # walkM :: (Monad m, Functor m) => (Block -> m Block) -> Citation -> m Citation Source # query :: Monoid c => (Block -> c) -> Citation -> c Source #
type Rep Citation Source #
type Rep Citation = D1 (MetaData "Citation" "Text.Pandoc.Definition" "pandoc-types-1.17.0.5-AckrQNOnj9g6exNRixaBDp" 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 Source #

Constructors

AuthorInText
SuppressAuthor
NormalCitation

Instances

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

pandocTypesVersion :: Version Source #