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

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

Text.Pandoc.Definition

Description

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

Synopsis

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

# Documentation

data Pandoc #

Constructors

Pandoc Meta [Block] |

#### Instances

Instances details

Arbitrary Pandoc # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen Pandoc # shrink :: Pandoc -> [Pandoc] #
FromJSON Pandoc # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Pandoc # parseJSONList :: Value -> Parser [Pandoc] # omittedField :: Maybe Pandoc #
ToJSON Pandoc # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Pandoc -> Value # toEncoding :: Pandoc -> Encoding # toJSONList :: [Pandoc] -> Value # toEncodingList :: [Pandoc] -> Encoding # omitField :: Pandoc -> Bool #
Data Pandoc # |

Instance details

Defined in Text.Pandoc.Definition

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 :: forall r r'. (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 #

Monoid Pandoc # |
Instance details Defined in Text.Pandoc.Definition Methods mempty :: Pandoc # mappend :: Pandoc -> Pandoc -> Pandoc # mconcat :: [Pandoc] -> Pandoc #
Semigroup Pandoc # |
Instance details Defined in Text.Pandoc.Definition Methods (<>) :: Pandoc -> Pandoc -> Pandoc # sconcat :: NonEmpty Pandoc -> Pandoc # stimes :: Integral b => b -> Pandoc -> Pandoc #
Generic Pandoc # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep Pandoc |

Instance details

Defined in Text.Pandoc.Definition

type Rep Pandoc = D1 ('MetaData "Pandoc" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "Pandoc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Meta) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])))

Methods

from :: Pandoc -> Rep Pandoc x #

to :: Rep Pandoc x -> Pandoc #

Read Pandoc # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Pandoc # readList :: ReadS [Pandoc] # readPrec :: ReadPrec Pandoc # readListPrec :: ReadPrec [Pandoc] #
Show Pandoc # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Pandoc -> ShowS # show :: Pandoc -> String # showList :: [Pandoc] -> ShowS #
NFData Pandoc # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Pandoc -> () #
Eq Pandoc # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Pandoc -> Pandoc -> Bool # (/=) :: Pandoc -> Pandoc -> Bool #
Ord Pandoc # |
Instance details Defined in Text.Pandoc.Definition 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 #
HasMeta Pandoc # |
Instance details Defined in Text.Pandoc.Builder Methods setMeta :: ToMetaValue b => Text -> b -> Pandoc -> Pandoc # deleteMeta :: Text -> Pandoc -> Pandoc #
Walkable Block Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Pandoc -> m Pandoc # query :: Monoid c => (Block -> c) -> Pandoc -> c #
Walkable Inline Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Pandoc -> m Pandoc # query :: Monoid c => (Inline -> c) -> Pandoc -> c #
Walkable Meta Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Meta -> Meta) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => (Meta -> m Meta) -> Pandoc -> m Pandoc # query :: Monoid c => (Meta -> c) -> Pandoc -> c #
Walkable MetaValue Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (MetaValue -> MetaValue) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => (MetaValue -> m MetaValue) -> Pandoc -> m Pandoc # query :: Monoid c => (MetaValue -> c) -> Pandoc -> c #
Walkable Pandoc Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Pandoc -> Pandoc) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => (Pandoc -> m Pandoc) -> Pandoc -> m Pandoc # query :: Monoid c => (Pandoc -> c) -> Pandoc -> c #
Walkable [Block] Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Pandoc -> m Pandoc # query :: Monoid c => ([Block] -> c) -> Pandoc -> c #
Walkable [Inline] Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Pandoc -> m Pandoc # query :: Monoid c => ([Inline] -> c) -> Pandoc -> c #
type Rep Pandoc # |

Instance details

Defined in Text.Pandoc.Definition

type Rep Pandoc = D1 ('MetaData "Pandoc" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "Pandoc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Meta) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])))

newtype Meta #

Metadata for the document: title, authors, date.

Constructors

Meta |

Fields

- unMeta :: Map Text MetaValue

#### Instances

Instances details

Arbitrary Meta # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen Meta # shrink :: Meta -> [Meta] #
FromJSON Meta # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Meta # parseJSONList :: Value -> Parser [Meta] # omittedField :: Maybe Meta #
ToJSON Meta # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Meta -> Value # toEncoding :: Meta -> Encoding # toJSONList :: [Meta] -> Value # toEncodingList :: [Meta] -> Encoding # omitField :: Meta -> Bool #
Data Meta # |

Instance details

Defined in Text.Pandoc.Definition

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 :: forall r r'. (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 #

Monoid Meta # |
Instance details Defined in Text.Pandoc.Definition Methods mempty :: Meta # mappend :: Meta -> Meta -> Meta # mconcat :: [Meta] -> Meta #
Semigroup Meta # |
Instance details Defined in Text.Pandoc.Definition Methods (<>) :: Meta -> Meta -> Meta # sconcat :: NonEmpty Meta -> Meta # stimes :: Integral b => b -> Meta -> Meta #
Generic Meta # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep Meta |
Instance details Defined in Text.Pandoc.Definition type Rep Meta = D1 ('MetaData "Meta" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'True) (C1 ('MetaCons "Meta" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMeta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text MetaValue))))

Methods

from :: Meta -> Rep Meta x #

to :: Rep Meta x -> Meta #

Read Meta # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Meta # readList :: ReadS [Meta] # readPrec :: ReadPrec Meta # readListPrec :: ReadPrec [Meta] #
Show Meta # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Meta -> ShowS # show :: Meta -> String # showList :: [Meta] -> ShowS #
NFData Meta # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Meta -> () #
Eq Meta # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Meta -> Meta -> Bool # (/=) :: Meta -> Meta -> Bool #
Ord Meta # |
Instance details Defined in Text.Pandoc.Definition 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 #
HasMeta Meta # |
Instance details Defined in Text.Pandoc.Builder Methods setMeta :: ToMetaValue b => Text -> b -> Meta -> Meta # deleteMeta :: Text -> Meta -> Meta #
Walkable Block Meta # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Meta -> Meta # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Meta -> m Meta # query :: Monoid c => (Block -> c) -> Meta -> c #
Walkable Inline Meta # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Meta -> Meta # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Meta -> m Meta # query :: Monoid c => (Inline -> c) -> Meta -> c #
Walkable Meta Meta # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Meta -> Meta) -> Meta -> Meta # walkM :: (Monad m, Applicative m, Functor m) => (Meta -> m Meta) -> Meta -> m Meta # query :: Monoid c => (Meta -> c) -> Meta -> c #
Walkable Meta Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Meta -> Meta) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => (Meta -> m Meta) -> Pandoc -> m Pandoc # query :: Monoid c => (Meta -> c) -> Pandoc -> c #
Walkable MetaValue Meta # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (MetaValue -> MetaValue) -> Meta -> Meta # walkM :: (Monad m, Applicative m, Functor m) => (MetaValue -> m MetaValue) -> Meta -> m Meta # query :: Monoid c => (MetaValue -> c) -> Meta -> c #
Walkable [Block] Meta # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Meta -> Meta # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Meta -> m Meta # query :: Monoid c => ([Block] -> c) -> Meta -> c #
Walkable [Inline] Meta # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Meta -> Meta # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Meta -> m Meta # query :: Monoid c => ([Inline] -> c) -> Meta -> c #
type Rep Meta # |
Instance details Defined in Text.Pandoc.Definition type Rep Meta = D1 ('MetaData "Meta" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'True) (C1 ('MetaCons "Meta" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMeta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text MetaValue))))

data MetaValue #

Constructors

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

#### Instances

Instances details

FromJSON MetaValue # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser MetaValue # parseJSONList :: Value -> Parser [MetaValue] # omittedField :: Maybe MetaValue #
ToJSON MetaValue # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: MetaValue -> Value # toEncoding :: MetaValue -> Encoding # toJSONList :: [MetaValue] -> Value # toEncodingList :: [MetaValue] -> Encoding # omitField :: MetaValue -> Bool #
Data MetaValue # |

Instance details

Defined in Text.Pandoc.Definition

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 :: forall r r'. (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 #

Generic MetaValue # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep MetaValue |

Instance details

Defined in Text.Pandoc.Definition

type Rep MetaValue = D1 ('MetaData "MetaValue" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) ((C1 ('MetaCons "MetaMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Map Text MetaValue))) :+: (C1 ('MetaCons "MetaList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [MetaValue])) :+: C1 ('MetaCons "MetaBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))) :+: (C1 ('MetaCons "MetaString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "MetaInlines" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: C1 ('MetaCons "MetaBlocks" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])))))

Methods

from :: MetaValue -> Rep MetaValue x #

to :: Rep MetaValue x -> MetaValue #

Read MetaValue # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS MetaValue # readList :: ReadS [MetaValue] # readPrec :: ReadPrec MetaValue # readListPrec :: ReadPrec [MetaValue] #
Show MetaValue # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> MetaValue -> ShowS # show :: MetaValue -> String # showList :: [MetaValue] -> ShowS #
NFData MetaValue # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: MetaValue -> () #
Eq MetaValue # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: MetaValue -> MetaValue -> Bool # (/=) :: MetaValue -> MetaValue -> Bool #
Ord MetaValue # |
Instance details Defined in Text.Pandoc.Definition 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 #
ToMetaValue MetaValue # |
Instance details Defined in Text.Pandoc.Builder Methods toMetaValue :: MetaValue -> MetaValue #
Walkable Block MetaValue # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> MetaValue -> MetaValue # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> MetaValue -> m MetaValue # query :: Monoid c => (Block -> c) -> MetaValue -> c #
Walkable Inline MetaValue # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> MetaValue -> MetaValue # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> MetaValue -> m MetaValue # query :: Monoid c => (Inline -> c) -> MetaValue -> c #
Walkable MetaValue Meta # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (MetaValue -> MetaValue) -> Meta -> Meta # walkM :: (Monad m, Applicative m, Functor m) => (MetaValue -> m MetaValue) -> Meta -> m Meta # query :: Monoid c => (MetaValue -> c) -> Meta -> c #
Walkable MetaValue MetaValue # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (MetaValue -> MetaValue) -> MetaValue -> MetaValue # walkM :: (Monad m, Applicative m, Functor m) => (MetaValue -> m MetaValue) -> MetaValue -> m MetaValue # query :: Monoid c => (MetaValue -> c) -> MetaValue -> c #
Walkable MetaValue Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (MetaValue -> MetaValue) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => (MetaValue -> m MetaValue) -> Pandoc -> m Pandoc # query :: Monoid c => (MetaValue -> c) -> Pandoc -> c #
Walkable [Block] MetaValue # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> MetaValue -> MetaValue # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> MetaValue -> m MetaValue # query :: Monoid c => ([Block] -> c) -> MetaValue -> c #
Walkable [Inline] MetaValue # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> MetaValue -> MetaValue # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> MetaValue -> m MetaValue # query :: Monoid c => ([Inline] -> c) -> MetaValue -> c #
type Rep MetaValue # |

Instance details

Defined in Text.Pandoc.Definition

type Rep MetaValue = D1 ('MetaData "MetaValue" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) ((C1 ('MetaCons "MetaMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Map Text MetaValue))) :+: (C1 ('MetaCons "MetaList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [MetaValue])) :+: C1 ('MetaCons "MetaBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))) :+: (C1 ('MetaCons "MetaString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "MetaInlines" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: C1 ('MetaCons "MetaBlocks" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])))))

nullMeta :: Meta #

isNullMeta :: Meta -> Bool #

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

Retrieve the metadata value for a given `key`.

docTitle :: Meta -> [Inline] #

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

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

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

docDate :: Meta -> [Inline] #

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

data Block #

Block element.

Constructors

Plain [Inline] | Plain text, not a paragraph
Para [Inline] | Paragraph
LineBlock [[Inline]] | Multiple non-breaking lines
CodeBlock Attr Text | Code block (literal) with attributes
RawBlock Format Text | 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 Attr Caption [ColSpec] TableHead [TableBody] TableFoot | Table, with attributes, caption, optional short caption, column alignments and widths (required), table head, table bodies, and table foot
Figure Attr Caption [Block] | Figure, with attributes, caption, and content (list of blocks)
Div Attr [Block] | Generic block container with attributes

#### Instances

Instances details

Arbitrary Blocks # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen Blocks # shrink :: Blocks -> [Blocks] #
Arbitrary Block # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen Block # shrink :: Block -> [Block] #
FromJSON Block # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Block # parseJSONList :: Value -> Parser [Block] # omittedField :: Maybe Block #
ToJSON Block # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Block -> Value # toEncoding :: Block -> Encoding # toJSONList :: [Block] -> Value # toEncodingList :: [Block] -> Encoding # omitField :: Block -> Bool #
Data Block # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: Block -> Constr #

dataTypeOf :: Block -> DataType #

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

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

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

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

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

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

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

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

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

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

Monoid Blocks # |
Instance details Defined in Text.Pandoc.Builder Methods mempty :: Blocks # mappend :: Blocks -> Blocks -> Blocks # mconcat :: [Blocks] -> Blocks #
Semigroup Blocks # |
Instance details Defined in Text.Pandoc.Builder Methods (<>) :: Blocks -> Blocks -> Blocks # sconcat :: NonEmpty Blocks -> Blocks # stimes :: Integral b => b -> Blocks -> Blocks #
Generic Block # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep Block |

Instance details

Defined in Text.Pandoc.Definition

type Rep Block = D1 ('MetaData "Block" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (((C1 ('MetaCons "Plain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: (C1 ('MetaCons "Para" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: C1 ('MetaCons "LineBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [[Inline]])))) :+: ((C1 ('MetaCons "CodeBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "RawBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))) :+: (C1 ('MetaCons "BlockQuote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])) :+: C1 ('MetaCons "OrderedList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListAttributes) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [[Block]]))))) :+: ((C1 ('MetaCons "BulletList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [[Block]])) :+: (C1 ('MetaCons "DefinitionList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [([Inline], [[Block]])])) :+: C1 ('MetaCons "Header" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]))))) :+: ((C1 ('MetaCons "HorizontalRule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Table" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Caption) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ColSpec]))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TableHead) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TableBody]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TableFoot))))) :+: (C1 ('MetaCons "Figure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Caption) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block]))) :+: C1 ('MetaCons "Div" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block]))))))

Methods

from :: Block -> Rep Block x #

to :: Rep Block x -> Block #

Read Block # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Block # readList :: ReadS [Block] # readPrec :: ReadPrec Block # readListPrec :: ReadPrec [Block] #
Show Block # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
NFData Block # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Block -> () #
Eq Block # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Block -> Block -> Bool # (/=) :: Block -> Block -> Bool #
Ord Block # |
Instance details Defined in Text.Pandoc.Definition 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 #
ToMetaValue Blocks # |
Instance details Defined in Text.Pandoc.Builder Methods toMetaValue :: Blocks -> MetaValue #
Walkable Block Block # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Block -> Block # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Block -> m Block # query :: Monoid c => (Block -> c) -> Block -> c #
Walkable Block Caption # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Caption -> Caption # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Caption -> m Caption # query :: Monoid c => (Block -> c) -> Caption -> c #
Walkable Block Cell # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Cell -> Cell # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Cell -> m Cell # query :: Monoid c => (Block -> c) -> Cell -> c #
Walkable Block Citation # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Citation -> Citation # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Citation -> m Citation # query :: Monoid c => (Block -> c) -> Citation -> c #
Walkable Block Inline # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Inline -> Inline # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Inline -> m Inline # query :: Monoid c => (Block -> c) -> Inline -> c #
Walkable Block Meta # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Meta -> Meta # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Meta -> m Meta # query :: Monoid c => (Block -> c) -> Meta -> c #
Walkable Block MetaValue # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> MetaValue -> MetaValue # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> MetaValue -> m MetaValue # query :: Monoid c => (Block -> c) -> MetaValue -> c #
Walkable Block Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Pandoc -> m Pandoc # query :: Monoid c => (Block -> c) -> Pandoc -> c #
Walkable Block Row # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Row -> Row # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Row -> m Row # query :: Monoid c => (Block -> c) -> Row -> c #
Walkable Block TableBody # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> TableBody -> TableBody # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> TableBody -> m TableBody # query :: Monoid c => (Block -> c) -> TableBody -> c #
Walkable Block TableFoot # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> TableFoot -> TableFoot # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> TableFoot -> m TableFoot # query :: Monoid c => (Block -> c) -> TableFoot -> c #
Walkable Block TableHead # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> TableHead -> TableHead # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> TableHead -> m TableHead # query :: Monoid c => (Block -> c) -> TableHead -> c #
Walkable Inline Block # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Block -> Block # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Block -> m Block # query :: Monoid c => (Inline -> c) -> Block -> c #
Walkable [Block] Block # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Block -> Block # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Block -> m Block # query :: Monoid c => ([Block] -> c) -> Block -> c #
Walkable [Block] Caption # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Caption -> Caption # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Caption -> m Caption # query :: Monoid c => ([Block] -> c) -> Caption -> c #
Walkable [Block] Cell # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Cell -> Cell # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Cell -> m Cell # query :: Monoid c => ([Block] -> c) -> Cell -> c #
Walkable [Block] Citation # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Citation -> Citation # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Citation -> m Citation # query :: Monoid c => ([Block] -> c) -> Citation -> c #
Walkable [Block] Inline # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Inline -> Inline # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Inline -> m Inline # query :: Monoid c => ([Block] -> c) -> Inline -> c #
Walkable [Block] Meta # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Meta -> Meta # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Meta -> m Meta # query :: Monoid c => ([Block] -> c) -> Meta -> c #
Walkable [Block] MetaValue # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> MetaValue -> MetaValue # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> MetaValue -> m MetaValue # query :: Monoid c => ([Block] -> c) -> MetaValue -> c #
Walkable [Block] Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Pandoc -> m Pandoc # query :: Monoid c => ([Block] -> c) -> Pandoc -> c #
Walkable [Block] Row # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Row -> Row # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Row -> m Row # query :: Monoid c => ([Block] -> c) -> Row -> c #
Walkable [Block] TableBody # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> TableBody -> TableBody # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> TableBody -> m TableBody # query :: Monoid c => ([Block] -> c) -> TableBody -> c #
Walkable [Block] TableFoot # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> TableFoot -> TableFoot # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> TableFoot -> m TableFoot # query :: Monoid c => ([Block] -> c) -> TableFoot -> c #
Walkable [Block] TableHead # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> TableHead -> TableHead # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> TableHead -> m TableHead # query :: Monoid c => ([Block] -> c) -> TableHead -> c #
Walkable [Inline] Block # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Block -> Block # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Block -> m Block # query :: Monoid c => ([Inline] -> c) -> Block -> c #
Walkable [Block] [Block] # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> [Block] -> [Block] # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> [Block] -> m [Block] # query :: Monoid c => ([Block] -> c) -> [Block] -> c #
type Rep Block # |

Instance details

Defined in Text.Pandoc.Definition

type Rep Block = D1 ('MetaData "Block" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (((C1 ('MetaCons "Plain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: (C1 ('MetaCons "Para" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: C1 ('MetaCons "LineBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [[Inline]])))) :+: ((C1 ('MetaCons "CodeBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "RawBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))) :+: (C1 ('MetaCons "BlockQuote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])) :+: C1 ('MetaCons "OrderedList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListAttributes) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [[Block]]))))) :+: ((C1 ('MetaCons "BulletList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [[Block]])) :+: (C1 ('MetaCons "DefinitionList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [([Inline], [[Block]])])) :+: C1 ('MetaCons "Header" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]))))) :+: ((C1 ('MetaCons "HorizontalRule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Table" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Caption) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ColSpec]))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TableHead) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TableBody]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TableFoot))))) :+: (C1 ('MetaCons "Figure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Caption) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block]))) :+: C1 ('MetaCons "Div" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block]))))))

pattern SimpleFigure :: Attr -> [Inline] -> Target -> Block #

Bidirectional patter synonym

It can pass as a Block constructor

    >>> SimpleFigure nullAttr [] (T.pack "", T.pack "title")
    Para [Image ("",[],[]) [] ("","fig:title")]

It can be used to pattern match >>> let img = Para [Image undefined undefined (undefined, T.pack "title")] >>> case img of { SimpleFigure _ _ _ -> True; _ -> False } False >>> let fig = Para [Image undefined undefined (undefined, T.pack "fig:title")] >>> case fig of { SimpleFigure _ _ tit -> snd tit; _ -> T.pack "" } "title"

data Inline #

Inline elements.

Constructors

Str Text | Text (string)
Emph [Inline] | Emphasized text (list of inlines)
Underline [Inline] | Underlined 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 Text | Inline code (literal)
Space | Inter-word space
SoftBreak | Soft line break
LineBreak | Hard line break
Math MathType Text | TeX math (literal)
RawInline Format Text | 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

Instances details

Arbitrary Inlines # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen Inlines # shrink :: Inlines -> [Inlines] #
Arbitrary Inline # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen Inline # shrink :: Inline -> [Inline] #
FromJSON Inline # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Inline # parseJSONList :: Value -> Parser [Inline] # omittedField :: Maybe Inline #
ToJSON Inline # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Inline -> Value # toEncoding :: Inline -> Encoding # toJSONList :: [Inline] -> Value # toEncodingList :: [Inline] -> Encoding # omitField :: Inline -> Bool #
Data Inline # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: Inline -> Constr #

dataTypeOf :: Inline -> DataType #

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

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

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

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

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

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

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

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

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

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

IsString Inlines # |
Instance details Defined in Text.Pandoc.Builder Methods fromString :: String -> Inlines #
Monoid Inlines # |
Instance details Defined in Text.Pandoc.Builder Methods mempty :: Inlines # mappend :: Inlines -> Inlines -> Inlines # mconcat :: [Inlines] -> Inlines #
Semigroup Inlines # |
Instance details Defined in Text.Pandoc.Builder Methods (<>) :: Inlines -> Inlines -> Inlines # sconcat :: NonEmpty Inlines -> Inlines # stimes :: Integral b => b -> Inlines -> Inlines #
Generic Inline # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep Inline |

Instance details

Defined in Text.Pandoc.Definition

type Rep Inline = D1 ('MetaData "Inline" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) ((((C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Emph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]))) :+: (C1 ('MetaCons "Underline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: (C1 ('MetaCons "Strong" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: C1 ('MetaCons "Strikeout" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]))))) :+: ((C1 ('MetaCons "Superscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: C1 ('MetaCons "Subscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]))) :+: (C1 ('MetaCons "SmallCaps" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: (C1 ('MetaCons "Quoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 QuoteType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: C1 ('MetaCons "Cite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Citation]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])))))) :+: (((C1 ('MetaCons "Code" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Space" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SoftBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LineBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Math" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MathType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))) :+: ((C1 ('MetaCons "RawInline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Link" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target)))) :+: (C1 ('MetaCons "Image" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target))) :+: (C1 ('MetaCons "Note" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])) :+: C1 ('MetaCons "Span" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])))))))

Methods

from :: Inline -> Rep Inline x #

to :: Rep Inline x -> Inline #

Read Inline # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Inline # readList :: ReadS [Inline] # readPrec :: ReadPrec Inline # readListPrec :: ReadPrec [Inline] #
Show Inline # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Inline -> ShowS # show :: Inline -> String # showList :: [Inline] -> ShowS #
NFData Inline # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Inline -> () #
Eq Inline # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Inline -> Inline -> Bool # (/=) :: Inline -> Inline -> Bool #
Ord Inline # |
Instance details Defined in Text.Pandoc.Definition 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 #
ToMetaValue Inlines # |
Instance details Defined in Text.Pandoc.Builder Methods toMetaValue :: Inlines -> MetaValue #
Walkable Block Inline # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Inline -> Inline # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Inline -> m Inline # query :: Monoid c => (Block -> c) -> Inline -> c #
Walkable Inline Block # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Block -> Block # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Block -> m Block # query :: Monoid c => (Inline -> c) -> Block -> c #
Walkable Inline Caption # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Caption -> Caption # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Caption -> m Caption # query :: Monoid c => (Inline -> c) -> Caption -> c #
Walkable Inline Cell # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Cell -> Cell # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Cell -> m Cell # query :: Monoid c => (Inline -> c) -> Cell -> c #
Walkable Inline Citation # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Citation -> Citation # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Citation -> m Citation # query :: Monoid c => (Inline -> c) -> Citation -> c #
Walkable Inline Inline # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Inline -> Inline # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Inline -> m Inline # query :: Monoid c => (Inline -> c) -> Inline -> c #
Walkable Inline Meta # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Meta -> Meta # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Meta -> m Meta # query :: Monoid c => (Inline -> c) -> Meta -> c #
Walkable Inline MetaValue # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> MetaValue -> MetaValue # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> MetaValue -> m MetaValue # query :: Monoid c => (Inline -> c) -> MetaValue -> c #
Walkable Inline Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Pandoc -> m Pandoc # query :: Monoid c => (Inline -> c) -> Pandoc -> c #
Walkable Inline Row # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Row -> Row # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Row -> m Row # query :: Monoid c => (Inline -> c) -> Row -> c #
Walkable Inline TableBody # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> TableBody -> TableBody # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> TableBody -> m TableBody # query :: Monoid c => (Inline -> c) -> TableBody -> c #
Walkable Inline TableFoot # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> TableFoot -> TableFoot # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> TableFoot -> m TableFoot # query :: Monoid c => (Inline -> c) -> TableFoot -> c #
Walkable Inline TableHead # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> TableHead -> TableHead # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> TableHead -> m TableHead # query :: Monoid c => (Inline -> c) -> TableHead -> c #
Walkable [Block] Inline # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Inline -> Inline # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Inline -> m Inline # query :: Monoid c => ([Block] -> c) -> Inline -> c #
Walkable [Inline] Block # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Block -> Block # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Block -> m Block # query :: Monoid c => ([Inline] -> c) -> Block -> c #
Walkable [Inline] Caption # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Caption -> Caption # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Caption -> m Caption # query :: Monoid c => ([Inline] -> c) -> Caption -> c #
Walkable [Inline] Cell # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Cell -> Cell # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Cell -> m Cell # query :: Monoid c => ([Inline] -> c) -> Cell -> c #
Walkable [Inline] Citation # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Citation -> Citation # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Citation -> m Citation # query :: Monoid c => ([Inline] -> c) -> Citation -> c #
Walkable [Inline] Inline # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Inline -> Inline # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Inline -> m Inline # query :: Monoid c => ([Inline] -> c) -> Inline -> c #
Walkable [Inline] Meta # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Meta -> Meta # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Meta -> m Meta # query :: Monoid c => ([Inline] -> c) -> Meta -> c #
Walkable [Inline] MetaValue # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> MetaValue -> MetaValue # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> MetaValue -> m MetaValue # query :: Monoid c => ([Inline] -> c) -> MetaValue -> c #
Walkable [Inline] Pandoc # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Pandoc -> Pandoc # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Pandoc -> m Pandoc # query :: Monoid c => ([Inline] -> c) -> Pandoc -> c #
Walkable [Inline] Row # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Row -> Row # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Row -> m Row # query :: Monoid c => ([Inline] -> c) -> Row -> c #
Walkable [Inline] TableBody # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> TableBody -> TableBody # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> TableBody -> m TableBody # query :: Monoid c => ([Inline] -> c) -> TableBody -> c #
Walkable [Inline] TableFoot # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> TableFoot -> TableFoot # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> TableFoot -> m TableFoot # query :: Monoid c => ([Inline] -> c) -> TableFoot -> c #
Walkable [Inline] TableHead # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> TableHead -> TableHead # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> TableHead -> m TableHead # query :: Monoid c => ([Inline] -> c) -> TableHead -> c #
Walkable [Inline] [Inline] # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> [Inline] -> [Inline] # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> [Inline] -> m [Inline] # query :: Monoid c => ([Inline] -> c) -> [Inline] -> c #
type Rep Inline # |

Instance details

Defined in Text.Pandoc.Definition

type Rep Inline = D1 ('MetaData "Inline" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) ((((C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Emph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]))) :+: (C1 ('MetaCons "Underline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: (C1 ('MetaCons "Strong" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: C1 ('MetaCons "Strikeout" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]))))) :+: ((C1 ('MetaCons "Superscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: C1 ('MetaCons "Subscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]))) :+: (C1 ('MetaCons "SmallCaps" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: (C1 ('MetaCons "Quoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 QuoteType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])) :+: C1 ('MetaCons "Cite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Citation]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])))))) :+: (((C1 ('MetaCons "Code" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Space" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SoftBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LineBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Math" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MathType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))) :+: ((C1 ('MetaCons "RawInline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Link" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target)))) :+: (C1 ('MetaCons "Image" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target))) :+: (C1 ('MetaCons "Note" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])) :+: C1 ('MetaCons "Span" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline])))))))

type ListAttributes = (Int, ListNumberStyle, ListNumberDelim) #

List attributes. The first element of the triple is the start number of the list.

data ListNumberStyle #

Style of list numbers.

Constructors

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

#### Instances

Instances details

Arbitrary ListNumberStyle # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen ListNumberStyle # shrink :: ListNumberStyle -> [ListNumberStyle] #
FromJSON ListNumberStyle # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser ListNumberStyle # parseJSONList :: Value -> Parser [ListNumberStyle] # omittedField :: Maybe ListNumberStyle #
ToJSON ListNumberStyle # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: ListNumberStyle -> Value # toEncoding :: ListNumberStyle -> Encoding # toJSONList :: [ListNumberStyle] -> Value # toEncodingList :: [ListNumberStyle] -> Encoding # omitField :: ListNumberStyle -> Bool #
Data ListNumberStyle # |

Instance details

Defined in Text.Pandoc.Definition

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 :: forall r r'. (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 #

Generic ListNumberStyle # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep ListNumberStyle |

Instance details

Defined in Text.Pandoc.Definition

type Rep ListNumberStyle = D1 ('MetaData "ListNumberStyle" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) ((C1 ('MetaCons "DefaultStyle" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Example" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Decimal" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LowerRoman" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UpperRoman" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LowerAlpha" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UpperAlpha" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: ListNumberStyle -> Rep ListNumberStyle x #

to :: Rep ListNumberStyle x -> ListNumberStyle #

Read ListNumberStyle # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS ListNumberStyle # readList :: ReadS [ListNumberStyle] # readPrec :: ReadPrec ListNumberStyle # readListPrec :: ReadPrec [ListNumberStyle] #
Show ListNumberStyle # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> ListNumberStyle -> ShowS # show :: ListNumberStyle -> String # showList :: [ListNumberStyle] -> ShowS #
NFData ListNumberStyle # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: ListNumberStyle -> () #
Eq ListNumberStyle # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: ListNumberStyle -> ListNumberStyle -> Bool # (/=) :: ListNumberStyle -> ListNumberStyle -> Bool #
Ord ListNumberStyle # |

Instance details

Defined in Text.Pandoc.Definition

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 #

type Rep ListNumberStyle # |

Instance details

Defined in Text.Pandoc.Definition

type Rep ListNumberStyle = D1 ('MetaData "ListNumberStyle" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) ((C1 ('MetaCons "DefaultStyle" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Example" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Decimal" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LowerRoman" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UpperRoman" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LowerAlpha" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UpperAlpha" 'PrefixI 'False) (U1 :: Type -> Type))))

data ListNumberDelim #

Delimiter of list numbers.

Constructors

DefaultDelim |
Period |
OneParen |
TwoParens |

#### Instances

Instances details

Arbitrary ListNumberDelim # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen ListNumberDelim # shrink :: ListNumberDelim -> [ListNumberDelim] #
FromJSON ListNumberDelim # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser ListNumberDelim # parseJSONList :: Value -> Parser [ListNumberDelim] # omittedField :: Maybe ListNumberDelim #
ToJSON ListNumberDelim # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: ListNumberDelim -> Value # toEncoding :: ListNumberDelim -> Encoding # toJSONList :: [ListNumberDelim] -> Value # toEncodingList :: [ListNumberDelim] -> Encoding # omitField :: ListNumberDelim -> Bool #
Data ListNumberDelim # |

Instance details

Defined in Text.Pandoc.Definition

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 :: forall r r'. (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 #

Generic ListNumberDelim # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep ListNumberDelim |

Instance details

Defined in Text.Pandoc.Definition

type Rep ListNumberDelim = D1 ('MetaData "ListNumberDelim" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) ((C1 ('MetaCons "DefaultDelim" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Period" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OneParen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TwoParens" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: ListNumberDelim -> Rep ListNumberDelim x #

to :: Rep ListNumberDelim x -> ListNumberDelim #

Read ListNumberDelim # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS ListNumberDelim # readList :: ReadS [ListNumberDelim] # readPrec :: ReadPrec ListNumberDelim # readListPrec :: ReadPrec [ListNumberDelim] #
Show ListNumberDelim # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> ListNumberDelim -> ShowS # show :: ListNumberDelim -> String # showList :: [ListNumberDelim] -> ShowS #
NFData ListNumberDelim # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: ListNumberDelim -> () #
Eq ListNumberDelim # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: ListNumberDelim -> ListNumberDelim -> Bool # (/=) :: ListNumberDelim -> ListNumberDelim -> Bool #
Ord ListNumberDelim # |

Instance details

Defined in Text.Pandoc.Definition

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 #

type Rep ListNumberDelim # |

Instance details

Defined in Text.Pandoc.Definition

type Rep ListNumberDelim = D1 ('MetaData "ListNumberDelim" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) ((C1 ('MetaCons "DefaultDelim" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Period" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OneParen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TwoParens" 'PrefixI 'False) (U1 :: Type -> Type)))

newtype Format #

Formats for raw blocks

Constructors

Format Text |

#### Instances

Instances details

FromJSON Format # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Format # parseJSONList :: Value -> Parser [Format] # omittedField :: Maybe Format #
ToJSON Format # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Format -> Value # toEncoding :: Format -> Encoding # toJSONList :: [Format] -> Value # toEncodingList :: [Format] -> Encoding # omitField :: Format -> Bool #
Data Format # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: Format -> Constr #

dataTypeOf :: Format -> DataType #

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

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

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

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

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

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

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

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

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

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

IsString Format # |
Instance details Defined in Text.Pandoc.Definition Methods fromString :: String -> Format #
Generic Format # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep Format |
Instance details Defined in Text.Pandoc.Definition type Rep Format = D1 ('MetaData "Format" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'True) (C1 ('MetaCons "Format" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: Format -> Rep Format x #

to :: Rep Format x -> Format #

Read Format # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Format # readList :: ReadS [Format] # readPrec :: ReadPrec Format # readListPrec :: ReadPrec [Format] #
Show Format # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Format -> ShowS # show :: Format -> String # showList :: [Format] -> ShowS #
NFData Format # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Format -> () #
Eq Format # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Format -> Format -> Bool # (/=) :: Format -> Format -> Bool #
Ord Format # |
Instance details Defined in Text.Pandoc.Definition 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 #
(ToJSONFilter m a, MonadIO m) => ToJSONFilter m (Maybe Format -> a) # |
Instance details Defined in Text.Pandoc.JSON Methods toJSONFilter :: (Maybe Format -> a) -> m () #
type Rep Format # |
Instance details Defined in Text.Pandoc.Definition type Rep Format = D1 ('MetaData "Format" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'True) (C1 ('MetaCons "Format" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

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

Attributes: identifier, classes, key-value pairs

nullAttr :: Attr #

data Caption #

The caption of a table or figure, with optional short caption.

Constructors

Caption (Maybe ShortCaption) [Block] |

#### Instances

Instances details

Arbitrary Caption # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen Caption # shrink :: Caption -> [Caption] #
FromJSON Caption # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Caption # parseJSONList :: Value -> Parser [Caption] # omittedField :: Maybe Caption #
ToJSON Caption # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Caption -> Value # toEncoding :: Caption -> Encoding # toJSONList :: [Caption] -> Value # toEncodingList :: [Caption] -> Encoding # omitField :: Caption -> Bool #
Data Caption # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: Caption -> Constr #

dataTypeOf :: Caption -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Caption # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep Caption |

Instance details

Defined in Text.Pandoc.Definition

type Rep Caption = D1 ('MetaData "Caption" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ShortCaption)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])))

Methods

from :: Caption -> Rep Caption x #

to :: Rep Caption x -> Caption #

Read Caption # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Caption # readList :: ReadS [Caption] # readPrec :: ReadPrec Caption # readListPrec :: ReadPrec [Caption] #
Show Caption # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Caption -> ShowS # show :: Caption -> String # showList :: [Caption] -> ShowS #
NFData Caption # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Caption -> () #
Eq Caption # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Caption -> Caption -> Bool # (/=) :: Caption -> Caption -> Bool #
Ord Caption # |
Instance details Defined in Text.Pandoc.Definition Methods compare :: Caption -> Caption -> Ordering # (<) :: Caption -> Caption -> Bool # (<=) :: Caption -> Caption -> Bool # (>) :: Caption -> Caption -> Bool # (>=) :: Caption -> Caption -> Bool # max :: Caption -> Caption -> Caption # min :: Caption -> Caption -> Caption #
Walkable Block Caption # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Caption -> Caption # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Caption -> m Caption # query :: Monoid c => (Block -> c) -> Caption -> c #
Walkable Inline Caption # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Caption -> Caption # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Caption -> m Caption # query :: Monoid c => (Inline -> c) -> Caption -> c #
Walkable [Block] Caption # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Caption -> Caption # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Caption -> m Caption # query :: Monoid c => ([Block] -> c) -> Caption -> c #
Walkable [Inline] Caption # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Caption -> Caption # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Caption -> m Caption # query :: Monoid c => ([Inline] -> c) -> Caption -> c #
type Rep Caption # |

Instance details

Defined in Text.Pandoc.Definition

type Rep Caption = D1 ('MetaData "Caption" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ShortCaption)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])))

type ShortCaption = [Inline] #

A short caption, for use in, for instance, lists of figures.

newtype RowHeadColumns #

The number of columns taken up by the row head of each row of a `TableBody`. The row body takes up the remaining columns.

Constructors

RowHeadColumns Int |

#### Instances

Instances details

FromJSON RowHeadColumns # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser RowHeadColumns # parseJSONList :: Value -> Parser [RowHeadColumns] # omittedField :: Maybe RowHeadColumns #
ToJSON RowHeadColumns # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: RowHeadColumns -> Value # toEncoding :: RowHeadColumns -> Encoding # toJSONList :: [RowHeadColumns] -> Value # toEncodingList :: [RowHeadColumns] -> Encoding # omitField :: RowHeadColumns -> Bool #
Data RowHeadColumns # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: RowHeadColumns -> Constr #

dataTypeOf :: RowHeadColumns -> DataType #

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

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

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

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

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

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

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

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

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

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

Enum RowHeadColumns # |

Instance details

Defined in Text.Pandoc.Definition

Methods

succ :: RowHeadColumns -> RowHeadColumns #

pred :: RowHeadColumns -> RowHeadColumns #

toEnum :: Int -> RowHeadColumns #

fromEnum :: RowHeadColumns -> Int #

enumFrom :: RowHeadColumns -> [RowHeadColumns] #

enumFromThen :: RowHeadColumns -> RowHeadColumns -> [RowHeadColumns] #

enumFromTo :: RowHeadColumns -> RowHeadColumns -> [RowHeadColumns] #

enumFromThenTo :: RowHeadColumns -> RowHeadColumns -> RowHeadColumns -> [RowHeadColumns] #

Generic RowHeadColumns # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep RowHeadColumns |
Instance details Defined in Text.Pandoc.Definition type Rep RowHeadColumns = D1 ('MetaData "RowHeadColumns" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'True) (C1 ('MetaCons "RowHeadColumns" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: RowHeadColumns -> Rep RowHeadColumns x #

to :: Rep RowHeadColumns x -> RowHeadColumns #

Num RowHeadColumns # |

Instance details

Defined in Text.Pandoc.Definition

Methods

(+) :: RowHeadColumns -> RowHeadColumns -> RowHeadColumns #

(-) :: RowHeadColumns -> RowHeadColumns -> RowHeadColumns #

(*) :: RowHeadColumns -> RowHeadColumns -> RowHeadColumns #

negate :: RowHeadColumns -> RowHeadColumns #

abs :: RowHeadColumns -> RowHeadColumns #

signum :: RowHeadColumns -> RowHeadColumns #

fromInteger :: Integer -> RowHeadColumns #

Read RowHeadColumns # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS RowHeadColumns # readList :: ReadS [RowHeadColumns] # readPrec :: ReadPrec RowHeadColumns # readListPrec :: ReadPrec [RowHeadColumns] #
Show RowHeadColumns # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> RowHeadColumns -> ShowS # show :: RowHeadColumns -> String # showList :: [RowHeadColumns] -> ShowS #
NFData RowHeadColumns # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: RowHeadColumns -> () #
Eq RowHeadColumns # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: RowHeadColumns -> RowHeadColumns -> Bool # (/=) :: RowHeadColumns -> RowHeadColumns -> Bool #
Ord RowHeadColumns # |

Instance details

Defined in Text.Pandoc.Definition

Methods

compare :: RowHeadColumns -> RowHeadColumns -> Ordering #

(<) :: RowHeadColumns -> RowHeadColumns -> Bool #

(<=) :: RowHeadColumns -> RowHeadColumns -> Bool #

(>) :: RowHeadColumns -> RowHeadColumns -> Bool #

(>=) :: RowHeadColumns -> RowHeadColumns -> Bool #

max :: RowHeadColumns -> RowHeadColumns -> RowHeadColumns #

min :: RowHeadColumns -> RowHeadColumns -> RowHeadColumns #

type Rep RowHeadColumns # |
Instance details Defined in Text.Pandoc.Definition type Rep RowHeadColumns = D1 ('MetaData "RowHeadColumns" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'True) (C1 ('MetaCons "RowHeadColumns" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data Alignment #

Alignment of a table column.

Constructors

AlignLeft |
AlignRight |
AlignCenter |
AlignDefault |

#### Instances

Instances details

Arbitrary Alignment # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen Alignment # shrink :: Alignment -> [Alignment] #
FromJSON Alignment # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Alignment # parseJSONList :: Value -> Parser [Alignment] # omittedField :: Maybe Alignment #
ToJSON Alignment # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Alignment -> Value # toEncoding :: Alignment -> Encoding # toJSONList :: [Alignment] -> Value # toEncodingList :: [Alignment] -> Encoding # omitField :: Alignment -> Bool #
Data Alignment # |

Instance details

Defined in Text.Pandoc.Definition

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 :: forall r r'. (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 #

Generic Alignment # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep Alignment |

Instance details

Defined in Text.Pandoc.Definition

type Rep Alignment = D1 ('MetaData "Alignment" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) ((C1 ('MetaCons "AlignLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AlignCenter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignDefault" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Alignment -> Rep Alignment x #

to :: Rep Alignment x -> Alignment #

Read Alignment # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Alignment # readList :: ReadS [Alignment] # readPrec :: ReadPrec Alignment # readListPrec :: ReadPrec [Alignment] #
Show Alignment # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Alignment -> ShowS # show :: Alignment -> String # showList :: [Alignment] -> ShowS #
NFData Alignment # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Alignment -> () #
Eq Alignment # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Alignment -> Alignment -> Bool # (/=) :: Alignment -> Alignment -> Bool #
Ord Alignment # |
Instance details Defined in Text.Pandoc.Definition 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 #
type Rep Alignment # |

Instance details

Defined in Text.Pandoc.Definition

type Rep Alignment = D1 ('MetaData "Alignment" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) ((C1 ('MetaCons "AlignLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AlignCenter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignDefault" 'PrefixI 'False) (U1 :: Type -> Type)))

data ColWidth #

The width of a table column, as a percentage of the text width.

Constructors

ColWidth Double |
ColWidthDefault |

#### Instances

Instances details

FromJSON ColWidth # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser ColWidth # parseJSONList :: Value -> Parser [ColWidth] # omittedField :: Maybe ColWidth #
ToJSON ColWidth # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: ColWidth -> Value # toEncoding :: ColWidth -> Encoding # toJSONList :: [ColWidth] -> Value # toEncodingList :: [ColWidth] -> Encoding # omitField :: ColWidth -> Bool #
Data ColWidth # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: ColWidth -> Constr #

dataTypeOf :: ColWidth -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic ColWidth # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep ColWidth |

Instance details

Defined in Text.Pandoc.Definition

type Rep ColWidth = D1 ('MetaData "ColWidth" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "ColWidth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double)) :+: C1 ('MetaCons "ColWidthDefault" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ColWidth -> Rep ColWidth x #

to :: Rep ColWidth x -> ColWidth #

Read ColWidth # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS ColWidth # readList :: ReadS [ColWidth] # readPrec :: ReadPrec ColWidth # readListPrec :: ReadPrec [ColWidth] #
Show ColWidth # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> ColWidth -> ShowS # show :: ColWidth -> String # showList :: [ColWidth] -> ShowS #
NFData ColWidth # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: ColWidth -> () #
Eq ColWidth # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: ColWidth -> ColWidth -> Bool # (/=) :: ColWidth -> ColWidth -> Bool #
Ord ColWidth # |
Instance details Defined in Text.Pandoc.Definition Methods compare :: ColWidth -> ColWidth -> Ordering # (<) :: ColWidth -> ColWidth -> Bool # (<=) :: ColWidth -> ColWidth -> Bool # (>) :: ColWidth -> ColWidth -> Bool # (>=) :: ColWidth -> ColWidth -> Bool # max :: ColWidth -> ColWidth -> ColWidth # min :: ColWidth -> ColWidth -> ColWidth #
type Rep ColWidth # |

Instance details

Defined in Text.Pandoc.Definition

type Rep ColWidth = D1 ('MetaData "ColWidth" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "ColWidth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double)) :+: C1 ('MetaCons "ColWidthDefault" 'PrefixI 'False) (U1 :: Type -> Type))

type ColSpec = (Alignment, ColWidth) #

The specification for a single table column.

data Row #

A table row.

Constructors

Row Attr [Cell] |

#### Instances

Instances details

Arbitrary Row # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen Row # shrink :: Row -> [Row] #
FromJSON Row # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Row # parseJSONList :: Value -> Parser [Row] # omittedField :: Maybe Row #
ToJSON Row # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Row -> Value # toEncoding :: Row -> Encoding # toJSONList :: [Row] -> Value # toEncodingList :: [Row] -> Encoding # omitField :: Row -> Bool #
Data Row # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: Row -> Constr #

dataTypeOf :: Row -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Row # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep Row |

Instance details

Defined in Text.Pandoc.Definition

type Rep Row = D1 ('MetaData "Row" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "Row" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Cell])))

Methods

from :: Row -> Rep Row x #

to :: Rep Row x -> Row #

Read Row # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Row # readList :: ReadS [Row] # readPrec :: ReadPrec Row # readListPrec :: ReadPrec [Row] #
Show Row # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Row -> ShowS # show :: Row -> String # showList :: [Row] -> ShowS #
NFData Row # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Row -> () #
Eq Row # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Row -> Row -> Bool # (/=) :: Row -> Row -> Bool #
Ord Row # |
Instance details Defined in Text.Pandoc.Definition Methods compare :: Row -> Row -> Ordering # (<) :: Row -> Row -> Bool # (<=) :: Row -> Row -> Bool # (>) :: Row -> Row -> Bool # (>=) :: Row -> Row -> Bool # max :: Row -> Row -> Row # min :: Row -> Row -> Row #
Walkable Block Row # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Row -> Row # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Row -> m Row # query :: Monoid c => (Block -> c) -> Row -> c #
Walkable Inline Row # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Row -> Row # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Row -> m Row # query :: Monoid c => (Inline -> c) -> Row -> c #
Walkable [Block] Row # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Row -> Row # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Row -> m Row # query :: Monoid c => ([Block] -> c) -> Row -> c #
Walkable [Inline] Row # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Row -> Row # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Row -> m Row # query :: Monoid c => ([Inline] -> c) -> Row -> c #
type Rep Row # |

Instance details

Defined in Text.Pandoc.Definition

type Rep Row = D1 ('MetaData "Row" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "Row" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Cell])))

data TableHead #

The head of a table.

Constructors

TableHead Attr [Row] |

#### Instances

Instances details

Arbitrary TableHead # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen TableHead # shrink :: TableHead -> [TableHead] #
FromJSON TableHead # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser TableHead # parseJSONList :: Value -> Parser [TableHead] # omittedField :: Maybe TableHead #
ToJSON TableHead # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: TableHead -> Value # toEncoding :: TableHead -> Encoding # toJSONList :: [TableHead] -> Value # toEncodingList :: [TableHead] -> Encoding # omitField :: TableHead -> Bool #
Data TableHead # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: TableHead -> Constr #

dataTypeOf :: TableHead -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic TableHead # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep TableHead |

Instance details

Defined in Text.Pandoc.Definition

type Rep TableHead = D1 ('MetaData "TableHead" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "TableHead" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Row])))

Methods

from :: TableHead -> Rep TableHead x #

to :: Rep TableHead x -> TableHead #

Read TableHead # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS TableHead # readList :: ReadS [TableHead] # readPrec :: ReadPrec TableHead # readListPrec :: ReadPrec [TableHead] #
Show TableHead # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> TableHead -> ShowS # show :: TableHead -> String # showList :: [TableHead] -> ShowS #
NFData TableHead # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: TableHead -> () #
Eq TableHead # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: TableHead -> TableHead -> Bool # (/=) :: TableHead -> TableHead -> Bool #
Ord TableHead # |
Instance details Defined in Text.Pandoc.Definition Methods compare :: TableHead -> TableHead -> Ordering # (<) :: TableHead -> TableHead -> Bool # (<=) :: TableHead -> TableHead -> Bool # (>) :: TableHead -> TableHead -> Bool # (>=) :: TableHead -> TableHead -> Bool # max :: TableHead -> TableHead -> TableHead # min :: TableHead -> TableHead -> TableHead #
Walkable Block TableHead # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> TableHead -> TableHead # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> TableHead -> m TableHead # query :: Monoid c => (Block -> c) -> TableHead -> c #
Walkable Inline TableHead # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> TableHead -> TableHead # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> TableHead -> m TableHead # query :: Monoid c => (Inline -> c) -> TableHead -> c #
Walkable [Block] TableHead # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> TableHead -> TableHead # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> TableHead -> m TableHead # query :: Monoid c => ([Block] -> c) -> TableHead -> c #
Walkable [Inline] TableHead # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> TableHead -> TableHead # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> TableHead -> m TableHead # query :: Monoid c => ([Inline] -> c) -> TableHead -> c #
type Rep TableHead # |

Instance details

Defined in Text.Pandoc.Definition

type Rep TableHead = D1 ('MetaData "TableHead" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "TableHead" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Row])))

data TableBody #

A body of a table, with an intermediate head, intermediate body, and the specified number of row header columns in the intermediate body.

Constructors

TableBody Attr RowHeadColumns [Row] [Row] |

#### Instances

Instances details

Arbitrary TableBody # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen TableBody # shrink :: TableBody -> [TableBody] #
FromJSON TableBody # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser TableBody # parseJSONList :: Value -> Parser [TableBody] # omittedField :: Maybe TableBody #
ToJSON TableBody # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: TableBody -> Value # toEncoding :: TableBody -> Encoding # toJSONList :: [TableBody] -> Value # toEncodingList :: [TableBody] -> Encoding # omitField :: TableBody -> Bool #
Data TableBody # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: TableBody -> Constr #

dataTypeOf :: TableBody -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic TableBody # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep TableBody |

Instance details

Defined in Text.Pandoc.Definition

type Rep TableBody = D1 ('MetaData "TableBody" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "TableBody" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RowHeadColumns)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Row]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Row]))))

Methods

from :: TableBody -> Rep TableBody x #

to :: Rep TableBody x -> TableBody #

Read TableBody # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS TableBody # readList :: ReadS [TableBody] # readPrec :: ReadPrec TableBody # readListPrec :: ReadPrec [TableBody] #
Show TableBody # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> TableBody -> ShowS # show :: TableBody -> String # showList :: [TableBody] -> ShowS #
NFData TableBody # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: TableBody -> () #
Eq TableBody # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: TableBody -> TableBody -> Bool # (/=) :: TableBody -> TableBody -> Bool #
Ord TableBody # |
Instance details Defined in Text.Pandoc.Definition Methods compare :: TableBody -> TableBody -> Ordering # (<) :: TableBody -> TableBody -> Bool # (<=) :: TableBody -> TableBody -> Bool # (>) :: TableBody -> TableBody -> Bool # (>=) :: TableBody -> TableBody -> Bool # max :: TableBody -> TableBody -> TableBody # min :: TableBody -> TableBody -> TableBody #
Walkable Block TableBody # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> TableBody -> TableBody # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> TableBody -> m TableBody # query :: Monoid c => (Block -> c) -> TableBody -> c #
Walkable Inline TableBody # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> TableBody -> TableBody # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> TableBody -> m TableBody # query :: Monoid c => (Inline -> c) -> TableBody -> c #
Walkable [Block] TableBody # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> TableBody -> TableBody # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> TableBody -> m TableBody # query :: Monoid c => ([Block] -> c) -> TableBody -> c #
Walkable [Inline] TableBody # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> TableBody -> TableBody # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> TableBody -> m TableBody # query :: Monoid c => ([Inline] -> c) -> TableBody -> c #
type Rep TableBody # |

Instance details

Defined in Text.Pandoc.Definition

type Rep TableBody = D1 ('MetaData "TableBody" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "TableBody" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RowHeadColumns)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Row]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Row]))))

data TableFoot #

The foot of a table.

Constructors

TableFoot Attr [Row] |

#### Instances

Instances details

Arbitrary TableFoot # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen TableFoot # shrink :: TableFoot -> [TableFoot] #
FromJSON TableFoot # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser TableFoot # parseJSONList :: Value -> Parser [TableFoot] # omittedField :: Maybe TableFoot #
ToJSON TableFoot # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: TableFoot -> Value # toEncoding :: TableFoot -> Encoding # toJSONList :: [TableFoot] -> Value # toEncodingList :: [TableFoot] -> Encoding # omitField :: TableFoot -> Bool #
Data TableFoot # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: TableFoot -> Constr #

dataTypeOf :: TableFoot -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic TableFoot # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep TableFoot |

Instance details

Defined in Text.Pandoc.Definition

type Rep TableFoot = D1 ('MetaData "TableFoot" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "TableFoot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Row])))

Methods

from :: TableFoot -> Rep TableFoot x #

to :: Rep TableFoot x -> TableFoot #

Read TableFoot # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS TableFoot # readList :: ReadS [TableFoot] # readPrec :: ReadPrec TableFoot # readListPrec :: ReadPrec [TableFoot] #
Show TableFoot # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> TableFoot -> ShowS # show :: TableFoot -> String # showList :: [TableFoot] -> ShowS #
NFData TableFoot # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: TableFoot -> () #
Eq TableFoot # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: TableFoot -> TableFoot -> Bool # (/=) :: TableFoot -> TableFoot -> Bool #
Ord TableFoot # |
Instance details Defined in Text.Pandoc.Definition Methods compare :: TableFoot -> TableFoot -> Ordering # (<) :: TableFoot -> TableFoot -> Bool # (<=) :: TableFoot -> TableFoot -> Bool # (>) :: TableFoot -> TableFoot -> Bool # (>=) :: TableFoot -> TableFoot -> Bool # max :: TableFoot -> TableFoot -> TableFoot # min :: TableFoot -> TableFoot -> TableFoot #
Walkable Block TableFoot # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> TableFoot -> TableFoot # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> TableFoot -> m TableFoot # query :: Monoid c => (Block -> c) -> TableFoot -> c #
Walkable Inline TableFoot # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> TableFoot -> TableFoot # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> TableFoot -> m TableFoot # query :: Monoid c => (Inline -> c) -> TableFoot -> c #
Walkable [Block] TableFoot # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> TableFoot -> TableFoot # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> TableFoot -> m TableFoot # query :: Monoid c => ([Block] -> c) -> TableFoot -> c #
Walkable [Inline] TableFoot # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> TableFoot -> TableFoot # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> TableFoot -> m TableFoot # query :: Monoid c => ([Inline] -> c) -> TableFoot -> c #
type Rep TableFoot # |

Instance details

Defined in Text.Pandoc.Definition

type Rep TableFoot = D1 ('MetaData "TableFoot" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "TableFoot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Row])))

data Cell #

A table cell.

Constructors

Cell Attr Alignment RowSpan ColSpan [Block] |

#### Instances

Instances details

Arbitrary Cell # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen Cell # shrink :: Cell -> [Cell] #
FromJSON Cell # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Cell # parseJSONList :: Value -> Parser [Cell] # omittedField :: Maybe Cell #
ToJSON Cell # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Cell -> Value # toEncoding :: Cell -> Encoding # toJSONList :: [Cell] -> Value # toEncodingList :: [Cell] -> Encoding # omitField :: Cell -> Bool #
Data Cell # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: Cell -> Constr #

dataTypeOf :: Cell -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Cell # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep Cell |

Instance details

Defined in Text.Pandoc.Definition

type Rep Cell = D1 ('MetaData "Cell" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "Cell" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Alignment)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RowSpan) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ColSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])))))

Methods

from :: Cell -> Rep Cell x #

to :: Rep Cell x -> Cell #

Read Cell # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Cell # readList :: ReadS [Cell] # readPrec :: ReadPrec Cell # readListPrec :: ReadPrec [Cell] #
Show Cell # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Cell -> ShowS # show :: Cell -> String # showList :: [Cell] -> ShowS #
NFData Cell # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Cell -> () #
Eq Cell # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Cell -> Cell -> Bool # (/=) :: Cell -> Cell -> Bool #
Ord Cell # |
Instance details Defined in Text.Pandoc.Definition Methods compare :: Cell -> Cell -> Ordering # (<) :: Cell -> Cell -> Bool # (<=) :: Cell -> Cell -> Bool # (>) :: Cell -> Cell -> Bool # (>=) :: Cell -> Cell -> Bool # max :: Cell -> Cell -> Cell # min :: Cell -> Cell -> Cell #
Walkable Block Cell # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Cell -> Cell # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Cell -> m Cell # query :: Monoid c => (Block -> c) -> Cell -> c #
Walkable Inline Cell # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Cell -> Cell # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Cell -> m Cell # query :: Monoid c => (Inline -> c) -> Cell -> c #
Walkable [Block] Cell # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Cell -> Cell # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Cell -> m Cell # query :: Monoid c => ([Block] -> c) -> Cell -> c #
Walkable [Inline] Cell # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Cell -> Cell # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Cell -> m Cell # query :: Monoid c => ([Inline] -> c) -> Cell -> c #
type Rep Cell # |

Instance details

Defined in Text.Pandoc.Definition

type Rep Cell = D1 ('MetaData "Cell" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "Cell" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Alignment)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RowSpan) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ColSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Block])))))

newtype RowSpan #

The number of rows occupied by a cell; the height of a cell.

Constructors

RowSpan Int |

#### Instances

Instances details

FromJSON RowSpan # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser RowSpan # parseJSONList :: Value -> Parser [RowSpan] # omittedField :: Maybe RowSpan #
ToJSON RowSpan # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: RowSpan -> Value # toEncoding :: RowSpan -> Encoding # toJSONList :: [RowSpan] -> Value # toEncodingList :: [RowSpan] -> Encoding # omitField :: RowSpan -> Bool #
Data RowSpan # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: RowSpan -> Constr #

dataTypeOf :: RowSpan -> DataType #

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

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

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

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

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

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

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

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

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

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

Enum RowSpan # |
Instance details Defined in Text.Pandoc.Definition Methods succ :: RowSpan -> RowSpan # pred :: RowSpan -> RowSpan # toEnum :: Int -> RowSpan # fromEnum :: RowSpan -> Int # enumFrom :: RowSpan -> [RowSpan] # enumFromThen :: RowSpan -> RowSpan -> [RowSpan] # enumFromTo :: RowSpan -> RowSpan -> [RowSpan] # enumFromThenTo :: RowSpan -> RowSpan -> RowSpan -> [RowSpan] #
Generic RowSpan # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep RowSpan |
Instance details Defined in Text.Pandoc.Definition type Rep RowSpan = D1 ('MetaData "RowSpan" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'True) (C1 ('MetaCons "RowSpan" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: RowSpan -> Rep RowSpan x #

to :: Rep RowSpan x -> RowSpan #

Num RowSpan # |
Instance details Defined in Text.Pandoc.Definition Methods (+) :: RowSpan -> RowSpan -> RowSpan # (-) :: RowSpan -> RowSpan -> RowSpan # (*) :: RowSpan -> RowSpan -> RowSpan # negate :: RowSpan -> RowSpan # abs :: RowSpan -> RowSpan # signum :: RowSpan -> RowSpan # fromInteger :: Integer -> RowSpan #
Read RowSpan # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS RowSpan # readList :: ReadS [RowSpan] # readPrec :: ReadPrec RowSpan # readListPrec :: ReadPrec [RowSpan] #
Show RowSpan # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> RowSpan -> ShowS # show :: RowSpan -> String # showList :: [RowSpan] -> ShowS #
NFData RowSpan # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: RowSpan -> () #
Eq RowSpan # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: RowSpan -> RowSpan -> Bool # (/=) :: RowSpan -> RowSpan -> Bool #
Ord RowSpan # |
Instance details Defined in Text.Pandoc.Definition Methods compare :: RowSpan -> RowSpan -> Ordering # (<) :: RowSpan -> RowSpan -> Bool # (<=) :: RowSpan -> RowSpan -> Bool # (>) :: RowSpan -> RowSpan -> Bool # (>=) :: RowSpan -> RowSpan -> Bool # max :: RowSpan -> RowSpan -> RowSpan # min :: RowSpan -> RowSpan -> RowSpan #
type Rep RowSpan # |
Instance details Defined in Text.Pandoc.Definition type Rep RowSpan = D1 ('MetaData "RowSpan" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'True) (C1 ('MetaCons "RowSpan" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype ColSpan #

The number of columns occupied by a cell; the width of a cell.

Constructors

ColSpan Int |

#### Instances

Instances details

FromJSON ColSpan # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser ColSpan # parseJSONList :: Value -> Parser [ColSpan] # omittedField :: Maybe ColSpan #
ToJSON ColSpan # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: ColSpan -> Value # toEncoding :: ColSpan -> Encoding # toJSONList :: [ColSpan] -> Value # toEncodingList :: [ColSpan] -> Encoding # omitField :: ColSpan -> Bool #
Data ColSpan # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: ColSpan -> Constr #

dataTypeOf :: ColSpan -> DataType #

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

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

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

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

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

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

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

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

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

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

Enum ColSpan # |
Instance details Defined in Text.Pandoc.Definition Methods succ :: ColSpan -> ColSpan # pred :: ColSpan -> ColSpan # toEnum :: Int -> ColSpan # fromEnum :: ColSpan -> Int # enumFrom :: ColSpan -> [ColSpan] # enumFromThen :: ColSpan -> ColSpan -> [ColSpan] # enumFromTo :: ColSpan -> ColSpan -> [ColSpan] # enumFromThenTo :: ColSpan -> ColSpan -> ColSpan -> [ColSpan] #
Generic ColSpan # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep ColSpan |
Instance details Defined in Text.Pandoc.Definition type Rep ColSpan = D1 ('MetaData "ColSpan" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'True) (C1 ('MetaCons "ColSpan" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: ColSpan -> Rep ColSpan x #

to :: Rep ColSpan x -> ColSpan #

Num ColSpan # |
Instance details Defined in Text.Pandoc.Definition Methods (+) :: ColSpan -> ColSpan -> ColSpan # (-) :: ColSpan -> ColSpan -> ColSpan # (*) :: ColSpan -> ColSpan -> ColSpan # negate :: ColSpan -> ColSpan # abs :: ColSpan -> ColSpan # signum :: ColSpan -> ColSpan # fromInteger :: Integer -> ColSpan #
Read ColSpan # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS ColSpan # readList :: ReadS [ColSpan] # readPrec :: ReadPrec ColSpan # readListPrec :: ReadPrec [ColSpan] #
Show ColSpan # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> ColSpan -> ShowS # show :: ColSpan -> String # showList :: [ColSpan] -> ShowS #
NFData ColSpan # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: ColSpan -> () #
Eq ColSpan # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: ColSpan -> ColSpan -> Bool # (/=) :: ColSpan -> ColSpan -> Bool #
Ord ColSpan # |
Instance details Defined in Text.Pandoc.Definition Methods compare :: ColSpan -> ColSpan -> Ordering # (<) :: ColSpan -> ColSpan -> Bool # (<=) :: ColSpan -> ColSpan -> Bool # (>) :: ColSpan -> ColSpan -> Bool # (>=) :: ColSpan -> ColSpan -> Bool # max :: ColSpan -> ColSpan -> ColSpan # min :: ColSpan -> ColSpan -> ColSpan #
type Rep ColSpan # |
Instance details Defined in Text.Pandoc.Definition type Rep ColSpan = D1 ('MetaData "ColSpan" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'True) (C1 ('MetaCons "ColSpan" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data QuoteType #

Type of quotation marks to use in Quoted inline.

Constructors

SingleQuote |
DoubleQuote |

#### Instances

Instances details

Arbitrary QuoteType # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen QuoteType # shrink :: QuoteType -> [QuoteType] #
FromJSON QuoteType # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser QuoteType # parseJSONList :: Value -> Parser [QuoteType] # omittedField :: Maybe QuoteType #
ToJSON QuoteType # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: QuoteType -> Value # toEncoding :: QuoteType -> Encoding # toJSONList :: [QuoteType] -> Value # toEncodingList :: [QuoteType] -> Encoding # omitField :: QuoteType -> Bool #
Data QuoteType # |

Instance details

Defined in Text.Pandoc.Definition

Methods

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

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

toConstr :: QuoteType -> Constr #

dataTypeOf :: QuoteType -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic QuoteType # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep QuoteType |
Instance details Defined in Text.Pandoc.Definition type Rep QuoteType = D1 ('MetaData "QuoteType" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "SingleQuote" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuote" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: QuoteType -> Rep QuoteType x #

to :: Rep QuoteType x -> QuoteType #

Read QuoteType # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS QuoteType # readList :: ReadS [QuoteType] # readPrec :: ReadPrec QuoteType # readListPrec :: ReadPrec [QuoteType] #
Show QuoteType # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> QuoteType -> ShowS # show :: QuoteType -> String # showList :: [QuoteType] -> ShowS #
NFData QuoteType # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: QuoteType -> () #
Eq QuoteType # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: QuoteType -> QuoteType -> Bool # (/=) :: QuoteType -> QuoteType -> Bool #
Ord QuoteType # |
Instance details Defined in Text.Pandoc.Definition Methods compare :: QuoteType -> QuoteType -> Ordering # (<) :: QuoteType -> QuoteType -> Bool # (<=) :: QuoteType -> QuoteType -> Bool # (>) :: QuoteType -> QuoteType -> Bool # (>=) :: QuoteType -> QuoteType -> Bool # max :: QuoteType -> QuoteType -> QuoteType # min :: QuoteType -> QuoteType -> QuoteType #
type Rep QuoteType # |
Instance details Defined in Text.Pandoc.Definition type Rep QuoteType = D1 ('MetaData "QuoteType" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "SingleQuote" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuote" 'PrefixI 'False) (U1 :: Type -> Type))

type Target = (Text, Text) #

Link target (URL, title).

data MathType #

Type of math element (display or inline).

Constructors

DisplayMath |
InlineMath |

#### Instances

Instances details

Arbitrary MathType # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen MathType # shrink :: MathType -> [MathType] #
FromJSON MathType # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser MathType # parseJSONList :: Value -> Parser [MathType] # omittedField :: Maybe MathType #
ToJSON MathType # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: MathType -> Value # toEncoding :: MathType -> Encoding # toJSONList :: [MathType] -> Value # toEncodingList :: [MathType] -> Encoding # omitField :: MathType -> Bool #
Data MathType # |

Instance details

Defined in Text.Pandoc.Definition

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 :: forall r r'. (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 #

Generic MathType # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep MathType |
Instance details Defined in Text.Pandoc.Definition type Rep MathType = D1 ('MetaData "MathType" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: MathType -> Rep MathType x #

to :: Rep MathType x -> MathType #

Read MathType # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS MathType # readList :: ReadS [MathType] # readPrec :: ReadPrec MathType # readListPrec :: ReadPrec [MathType] #
Show MathType # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> MathType -> ShowS # show :: MathType -> String # showList :: [MathType] -> ShowS #
NFData MathType # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: MathType -> () #
Eq MathType # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: MathType -> MathType -> Bool # (/=) :: MathType -> MathType -> Bool #
Ord MathType # |
Instance details Defined in Text.Pandoc.Definition 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 #
type Rep MathType # |
Instance details Defined in Text.Pandoc.Definition type Rep MathType = D1 ('MetaData "MathType" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: Type -> Type))

data Citation #

Constructors

Citation |

Fields

- citationId :: Text
- citationPrefix :: [Inline]
- citationSuffix :: [Inline]
- citationMode :: CitationMode
- citationNoteNum :: Int
- citationHash :: Int

#### Instances

Instances details

Arbitrary Citation # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen Citation # shrink :: Citation -> [Citation] #
FromJSON Citation # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Citation # parseJSONList :: Value -> Parser [Citation] # omittedField :: Maybe Citation #
ToJSON Citation # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Citation -> Value # toEncoding :: Citation -> Encoding # toJSONList :: [Citation] -> Value # toEncodingList :: [Citation] -> Encoding # omitField :: Citation -> Bool #
Data Citation # |

Instance details

Defined in Text.Pandoc.Definition

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 :: forall r r'. (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 #

Generic Citation # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep Citation |

Instance details

Defined in Text.Pandoc.Definition

type Rep Citation = D1 ('MetaData "Citation" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "Citation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "citationId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "citationPrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]) :*: S1 ('MetaSel ('Just "citationSuffix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]))) :*: (S1 ('MetaSel ('Just "citationMode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CitationMode) :*: (S1 ('MetaSel ('Just "citationNoteNum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "citationHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))))

Methods

from :: Citation -> Rep Citation x #

to :: Rep Citation x -> Citation #

Read Citation # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Citation # readList :: ReadS [Citation] # readPrec :: ReadPrec Citation # readListPrec :: ReadPrec [Citation] #
Show Citation # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Citation -> ShowS # show :: Citation -> String # showList :: [Citation] -> ShowS #
NFData Citation # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Citation -> () #
Eq Citation # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Citation -> Citation -> Bool # (/=) :: Citation -> Citation -> Bool #
Ord Citation # |
Instance details Defined in Text.Pandoc.Definition 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 #
Walkable Block Citation # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Block -> Block) -> Citation -> Citation # walkM :: (Monad m, Applicative m, Functor m) => (Block -> m Block) -> Citation -> m Citation # query :: Monoid c => (Block -> c) -> Citation -> c #
Walkable Inline Citation # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: (Inline -> Inline) -> Citation -> Citation # walkM :: (Monad m, Applicative m, Functor m) => (Inline -> m Inline) -> Citation -> m Citation # query :: Monoid c => (Inline -> c) -> Citation -> c #
Walkable [Block] Citation # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Block] -> [Block]) -> Citation -> Citation # walkM :: (Monad m, Applicative m, Functor m) => ([Block] -> m [Block]) -> Citation -> m Citation # query :: Monoid c => ([Block] -> c) -> Citation -> c #
Walkable [Inline] Citation # |
Instance details Defined in Text.Pandoc.Walk Methods walk :: ([Inline] -> [Inline]) -> Citation -> Citation # walkM :: (Monad m, Applicative m, Functor m) => ([Inline] -> m [Inline]) -> Citation -> m Citation # query :: Monoid c => ([Inline] -> c) -> Citation -> c #
type Rep Citation # |

Instance details

Defined in Text.Pandoc.Definition

type Rep Citation = D1 ('MetaData "Citation" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "Citation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "citationId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "citationPrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]) :*: S1 ('MetaSel ('Just "citationSuffix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Inline]))) :*: (S1 ('MetaSel ('Just "citationMode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CitationMode) :*: (S1 ('MetaSel ('Just "citationNoteNum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "citationHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))))

data CitationMode #

Constructors

AuthorInText |
SuppressAuthor |
NormalCitation |

#### Instances

Instances details

Arbitrary CitationMode # |
Instance details Defined in Text.Pandoc.Arbitrary Methods arbitrary :: Gen CitationMode # shrink :: CitationMode -> [CitationMode] #
FromJSON CitationMode # |
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser CitationMode # parseJSONList :: Value -> Parser [CitationMode] # omittedField :: Maybe CitationMode #
ToJSON CitationMode # |
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: CitationMode -> Value # toEncoding :: CitationMode -> Encoding # toJSONList :: [CitationMode] -> Value # toEncodingList :: [CitationMode] -> Encoding # omitField :: CitationMode -> Bool #
Data CitationMode # |

Instance details

Defined in Text.Pandoc.Definition

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 :: forall r r'. (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 #

Generic CitationMode # |

Instance details

Defined in Text.Pandoc.Definition

Associated Types

type Rep CitationMode |
Instance details Defined in Text.Pandoc.Definition type Rep CitationMode = D1 ('MetaData "CitationMode" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "AuthorInText" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SuppressAuthor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NormalCitation" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: CitationMode -> Rep CitationMode x #

to :: Rep CitationMode x -> CitationMode #

Read CitationMode # |
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS CitationMode # readList :: ReadS [CitationMode] # readPrec :: ReadPrec CitationMode # readListPrec :: ReadPrec [CitationMode] #
Show CitationMode # |
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> CitationMode -> ShowS # show :: CitationMode -> String # showList :: [CitationMode] -> ShowS #
NFData CitationMode # |
Instance details Defined in Text.Pandoc.Definition Methods rnf :: CitationMode -> () #
Eq CitationMode # |
Instance details Defined in Text.Pandoc.Definition Methods (==) :: CitationMode -> CitationMode -> Bool # (/=) :: CitationMode -> CitationMode -> Bool #
Ord CitationMode # |

Instance details

Defined in Text.Pandoc.Definition

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 #

type Rep CitationMode # |
Instance details Defined in Text.Pandoc.Definition type Rep CitationMode = D1 ('MetaData "CitationMode" "Text.Pandoc.Definition" "pandoc-types-1.23.1-9IIaVJ10k0mosUGKuMjla" 'False) (C1 ('MetaCons "AuthorInText" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SuppressAuthor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NormalCitation" 'PrefixI 'False) (U1 :: Type -> Type)))

pandocTypesVersion :: Version #