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

CopyrightCopyright (C) 2006-2016 John MacFarlane
LicenseBSD3
MaintainerJohn MacFarlane <jgm@berkeley.edu>
Stabilityalpha
Portabilityportable
Safe HaskellNone
LanguageHaskell98

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 # 
Read Pandoc Source # 
Show Pandoc Source # 
Generic Pandoc Source # 

Associated Types

type Rep Pandoc :: * -> * #

Methods

from :: Pandoc -> Rep Pandoc x #

to :: Rep Pandoc x -> Pandoc #

Monoid Pandoc Source # 
NFData Pandoc Source # 

Methods

rnf :: Pandoc -> () #

ToJSON Pandoc Source # 

Methods

toJSON :: Pandoc -> Value

toEncoding :: Pandoc -> Encoding

FromJSON Pandoc Source # 

Methods

parseJSON :: Value -> Parser Pandoc

HasMeta 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.4-BLMYw8ByIiADGSqFwAFEQq" 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 

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

NFData Meta Source # 

Methods

rnf :: Meta -> () #

ToJSON Meta Source # 

Methods

toJSON :: Meta -> Value

toEncoding :: Meta -> Encoding

FromJSON Meta Source # 

Methods

parseJSON :: Value -> Parser Meta

HasMeta 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.4-BLMYw8ByIiADGSqFwAFEQq" True) (C1 (MetaCons "Meta" PrefixI True) (S1 (MetaSel (Just Symbol "unMeta") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map String MetaValue))))

data MetaValue Source #

Instances

Eq MetaValue Source # 
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 # 
Read MetaValue Source # 
Show MetaValue Source # 
Generic MetaValue Source # 

Associated Types

type Rep MetaValue :: * -> * #

NFData MetaValue Source # 

Methods

rnf :: MetaValue -> () #

ToJSON MetaValue Source # 

Methods

toJSON :: MetaValue -> Value

toEncoding :: MetaValue -> Encoding

FromJSON MetaValue Source # 

Methods

parseJSON :: Value -> Parser MetaValue

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

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

NFData Block Source # 

Methods

rnf :: Block -> () #

ToJSON Block Source # 

Methods

toJSON :: Block -> Value

toEncoding :: Block -> Encoding

FromJSON Block Source # 

Methods

parseJSON :: Value -> Parser Block

ToMetaValue Blocks 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) # 
type Rep Block Source # 
type Rep Block = D1 (MetaData "Block" "Text.Pandoc.Definition" "pandoc-types-1.17.0.4-BLMYw8ByIiADGSqFwAFEQq" 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 # 
Read Inline Source # 
Show Inline Source # 
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 # 
NFData Inline Source # 

Methods

rnf :: Inline -> () #

ToJSON Inline Source # 

Methods

toJSON :: Inline -> Value

toEncoding :: Inline -> Encoding

FromJSON Inline Source # 

Methods

parseJSON :: Value -> Parser Inline

ToMetaValue Inlines 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.4-BLMYw8ByIiADGSqFwAFEQq" 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.

Instances

Eq Alignment Source # 
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 # 
Read Alignment Source # 
Show Alignment Source # 
Generic Alignment Source # 

Associated Types

type Rep Alignment :: * -> * #

NFData Alignment Source # 

Methods

rnf :: Alignment -> () #

ToJSON Alignment Source # 

Methods

toJSON :: Alignment -> Value

toEncoding :: Alignment -> Encoding

FromJSON Alignment Source # 

Methods

parseJSON :: Value -> Parser Alignment

type Rep Alignment Source # 
type Rep Alignment = D1 (MetaData "Alignment" "Text.Pandoc.Definition" "pandoc-types-1.17.0.4-BLMYw8ByIiADGSqFwAFEQq" 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)))

data ListNumberStyle Source #

Style of list numbers.

Instances

Eq ListNumberStyle Source # 
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 # 
Read ListNumberStyle Source # 
Show ListNumberStyle Source # 
Generic ListNumberStyle Source # 
NFData ListNumberStyle Source # 

Methods

rnf :: ListNumberStyle -> () #

ToJSON ListNumberStyle Source # 

Methods

toJSON :: ListNumberStyle -> Value

toEncoding :: ListNumberStyle -> Encoding

FromJSON ListNumberStyle Source # 

Methods

parseJSON :: Value -> Parser ListNumberStyle

type Rep ListNumberStyle Source # 
type Rep ListNumberStyle = D1 (MetaData "ListNumberStyle" "Text.Pandoc.Definition" "pandoc-types-1.17.0.4-BLMYw8ByIiADGSqFwAFEQq" 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.

Instances

Eq ListNumberDelim Source # 
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 # 
Read ListNumberDelim Source # 
Show ListNumberDelim Source # 
Generic ListNumberDelim Source # 
NFData ListNumberDelim Source # 

Methods

rnf :: ListNumberDelim -> () #

ToJSON ListNumberDelim Source # 

Methods

toJSON :: ListNumberDelim -> Value

toEncoding :: ListNumberDelim -> Encoding

FromJSON ListNumberDelim Source # 

Methods

parseJSON :: Value -> Parser ListNumberDelim

type Rep ListNumberDelim Source # 
type Rep ListNumberDelim = D1 (MetaData "ListNumberDelim" "Text.Pandoc.Definition" "pandoc-types-1.17.0.4-BLMYw8ByIiADGSqFwAFEQq" 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 # 
Read Format Source # 
Show Format Source # 
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 #

NFData Format Source # 

Methods

rnf :: Format -> () #

ToJSON Format Source # 

Methods

toJSON :: Format -> Value

toEncoding :: Format -> Encoding

FromJSON Format Source # 

Methods

parseJSON :: Value -> Parser 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.4-BLMYw8ByIiADGSqFwAFEQq" 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

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 # 
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 # 
Read QuoteType Source # 
Show QuoteType Source # 
Generic QuoteType Source # 

Associated Types

type Rep QuoteType :: * -> * #

NFData QuoteType Source # 

Methods

rnf :: QuoteType -> () #

ToJSON QuoteType Source # 

Methods

toJSON :: QuoteType -> Value

toEncoding :: QuoteType -> Encoding

FromJSON QuoteType Source # 

Methods

parseJSON :: Value -> Parser QuoteType

type Rep QuoteType Source # 
type Rep QuoteType = D1 (MetaData "QuoteType" "Text.Pandoc.Definition" "pandoc-types-1.17.0.4-BLMYw8ByIiADGSqFwAFEQq" 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 # 
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 # 
Read MathType Source # 
Show MathType Source # 
Generic MathType Source # 

Associated Types

type Rep MathType :: * -> * #

Methods

from :: MathType -> Rep MathType x #

to :: Rep MathType x -> MathType #

NFData MathType Source # 

Methods

rnf :: MathType -> () #

ToJSON MathType Source # 

Methods

toJSON :: MathType -> Value

toEncoding :: MathType -> Encoding

FromJSON MathType Source # 

Methods

parseJSON :: Value -> Parser MathType

type Rep MathType Source # 
type Rep MathType = D1 (MetaData "MathType" "Text.Pandoc.Definition" "pandoc-types-1.17.0.4-BLMYw8ByIiADGSqFwAFEQq" False) ((:+:) (C1 (MetaCons "DisplayMath" PrefixI False) U1) (C1 (MetaCons "InlineMath" PrefixI False) U1))

data Citation Source #

Instances

Eq Citation Source # 
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 # 
Read Citation Source # 
Show Citation Source # 
Generic Citation Source # 

Associated Types

type Rep Citation :: * -> * #

Methods

from :: Citation -> Rep Citation x #

to :: Rep Citation x -> Citation #

NFData Citation Source # 

Methods

rnf :: Citation -> () #

ToJSON Citation Source # 

Methods

toJSON :: Citation -> Value

toEncoding :: Citation -> Encoding

FromJSON Citation Source # 

Methods

parseJSON :: Value -> Parser 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 # 

data CitationMode Source #

Instances

Eq CitationMode Source # 
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 # 
Read CitationMode Source # 
Show CitationMode Source # 
Generic CitationMode Source # 

Associated Types

type Rep CitationMode :: * -> * #

NFData CitationMode Source # 

Methods

rnf :: CitationMode -> () #

ToJSON CitationMode Source # 

Methods

toJSON :: CitationMode -> Value

toEncoding :: CitationMode -> Encoding

FromJSON CitationMode Source # 

Methods

parseJSON :: Value -> Parser CitationMode

type Rep CitationMode Source # 
type Rep CitationMode = D1 (MetaData "CitationMode" "Text.Pandoc.Definition" "pandoc-types-1.17.0.4-BLMYw8ByIiADGSqFwAFEQq" False) ((:+:) (C1 (MetaCons "AuthorInText" PrefixI False) U1) ((:+:) (C1 (MetaCons "SuppressAuthor" PrefixI False) U1) (C1 (MetaCons "NormalCitation" PrefixI False) U1)))