pandoc-3.6.2: Conversion between markup formats
CopyrightCopyright 2020 Christian Despres
LicenseGNU GPL, version 2 or above
MaintainerChristian Despres <christian.j.j.despres@gmail.com>
Stabilityalpha
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Text.Pandoc.Writers.AnnotatedTable

Description

Definitions and conversion functions for an intermediate Table and related types, which annotates the existing Pandoc Table types with additional inferred information. For use in writers that need to know the details of columns that cells span, row numbers, and the cells that are in the row head.

Synopsis

Documentation

toTable :: Attr -> Caption -> [ColSpec] -> TableHead -> [TableBody] -> TableFoot -> Table Source #

Convert a Pandoc Table to an annotated Table. This function also performs the same normalization that the table builder does (fixing overlapping cells, cells that protrude out of their table section, and so on). If the input table happens to satisfy the conditions that table guarantees, then the resulting Table will be identical, save for the addition of the inferred table information.

fromTable :: Table -> (Attr, Caption, [ColSpec], TableHead, [TableBody], TableFoot) Source #

Convert an annotated Table to a Pandoc Table. This is the inverse of toTable on well-formed tables (i.e. tables satisfying the guarantees of table).

data Table Source #

An annotated table type, corresponding to the Pandoc Table constructor and the HTML <table> element. It records the data of the columns that cells span, the cells in the row head, the row numbers of rows, and the column numbers of cells, in addition to the data in a Table. The type itself does not enforce any guarantees about the consistency of this data. Use toTable to produce a Table from a Pandoc Table.

Instances

Instances details
Data Table Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

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

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

toConstr :: Table -> Constr

dataTypeOf :: Table -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Table -> Table

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

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

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

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

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

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

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

Generic Table Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep Table 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep Table = D1 ('MetaData "Table" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "Table" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Caption) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ColSpec]))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableHead) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableBody]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableFoot)))))

Methods

from :: Table -> Rep Table x

to :: Rep Table x -> Table

Read Table Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS Table

readList :: ReadS [Table]

readPrec :: ReadPrec Table

readListPrec :: ReadPrec [Table]

Show Table Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> Table -> ShowS

show :: Table -> String

showList :: [Table] -> ShowS

Eq Table Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

(==) :: Table -> Table -> Bool

(/=) :: Table -> Table -> Bool

Ord Table Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

compare :: Table -> Table -> Ordering

(<) :: Table -> Table -> Bool

(<=) :: Table -> Table -> Bool

(>) :: Table -> Table -> Bool

(>=) :: Table -> Table -> Bool

max :: Table -> Table -> Table

min :: Table -> Table -> Table

type Rep Table Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep Table = D1 ('MetaData "Table" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "Table" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Caption) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ColSpec]))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableHead) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableBody]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableFoot)))))

data TableHead Source #

An annotated table head, corresponding to a Pandoc TableHead and the HTML <thead> element.

Constructors

TableHead Attr [HeaderRow] 

Instances

Instances details
Data TableHead Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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 Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep TableHead 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep TableHead = D1 ('MetaData "TableHead" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "TableHead" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HeaderRow])))

Methods

from :: TableHead -> Rep TableHead x

to :: Rep TableHead x -> TableHead

Read TableHead Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS TableHead

readList :: ReadS [TableHead]

readPrec :: ReadPrec TableHead

readListPrec :: ReadPrec [TableHead]

Show TableHead Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> TableHead -> ShowS

show :: TableHead -> String

showList :: [TableHead] -> ShowS

Eq TableHead Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

(==) :: TableHead -> TableHead -> Bool

(/=) :: TableHead -> TableHead -> Bool

Ord TableHead Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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 a Cell => Walkable a TableHead Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

walk :: (a -> a) -> TableHead -> TableHead

walkM :: (Monad m, Applicative m, Functor m) => (a -> m a) -> TableHead -> m TableHead

query :: Monoid c => (a -> c) -> TableHead -> c

type Rep TableHead Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep TableHead = D1 ('MetaData "TableHead" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "TableHead" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HeaderRow])))

data TableBody Source #

An annotated table body, with an intermediate head and body, corresponding to a Pandoc TableBody and the HTML <tbody> element.

Instances

Instances details
Data TableBody Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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 Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep TableBody 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep TableBody = D1 ('MetaData "TableBody" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "TableBody" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowHeadColumns)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HeaderRow]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [BodyRow]))))

Methods

from :: TableBody -> Rep TableBody x

to :: Rep TableBody x -> TableBody

Read TableBody Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS TableBody

readList :: ReadS [TableBody]

readPrec :: ReadPrec TableBody

readListPrec :: ReadPrec [TableBody]

Show TableBody Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> TableBody -> ShowS

show :: TableBody -> String

showList :: [TableBody] -> ShowS

Eq TableBody Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

(==) :: TableBody -> TableBody -> Bool

(/=) :: TableBody -> TableBody -> Bool

Ord TableBody Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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

type Rep TableBody Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep TableBody = D1 ('MetaData "TableBody" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "TableBody" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowHeadColumns)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HeaderRow]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [BodyRow]))))

data TableFoot Source #

An annotated table foot, corresponding to a Pandoc TableFoot and the HTML <tfoot> element.

Constructors

TableFoot Attr [HeaderRow] 

Instances

Instances details
Data TableFoot Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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 Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep TableFoot 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep TableFoot = D1 ('MetaData "TableFoot" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "TableFoot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HeaderRow])))

Methods

from :: TableFoot -> Rep TableFoot x

to :: Rep TableFoot x -> TableFoot

Read TableFoot Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS TableFoot

readList :: ReadS [TableFoot]

readPrec :: ReadPrec TableFoot

readListPrec :: ReadPrec [TableFoot]

Show TableFoot Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> TableFoot -> ShowS

show :: TableFoot -> String

showList :: [TableFoot] -> ShowS

Eq TableFoot Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

(==) :: TableFoot -> TableFoot -> Bool

(/=) :: TableFoot -> TableFoot -> Bool

Ord TableFoot Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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

type Rep TableFoot Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep TableFoot = D1 ('MetaData "TableFoot" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "TableFoot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HeaderRow])))

data HeaderRow Source #

An annotated header row, corresponding to a Pandoc Row and the HTML <tr> element, and also recording the row number of the row. All the cells in a HeaderRow are header (<th>) cells.

Constructors

HeaderRow Attr RowNumber [Cell] 

Instances

Instances details
Data HeaderRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

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

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

toConstr :: HeaderRow -> Constr

dataTypeOf :: HeaderRow -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> HeaderRow -> HeaderRow

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

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

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

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

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

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

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

Generic HeaderRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep HeaderRow 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep HeaderRow = D1 ('MetaData "HeaderRow" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "HeaderRow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowNumber) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Cell]))))

Methods

from :: HeaderRow -> Rep HeaderRow x

to :: Rep HeaderRow x -> HeaderRow

Read HeaderRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS HeaderRow

readList :: ReadS [HeaderRow]

readPrec :: ReadPrec HeaderRow

readListPrec :: ReadPrec [HeaderRow]

Show HeaderRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> HeaderRow -> ShowS

show :: HeaderRow -> String

showList :: [HeaderRow] -> ShowS

Eq HeaderRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

(==) :: HeaderRow -> HeaderRow -> Bool

(/=) :: HeaderRow -> HeaderRow -> Bool

Ord HeaderRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

compare :: HeaderRow -> HeaderRow -> Ordering

(<) :: HeaderRow -> HeaderRow -> Bool

(<=) :: HeaderRow -> HeaderRow -> Bool

(>) :: HeaderRow -> HeaderRow -> Bool

(>=) :: HeaderRow -> HeaderRow -> Bool

max :: HeaderRow -> HeaderRow -> HeaderRow

min :: HeaderRow -> HeaderRow -> HeaderRow

Walkable a Cell => Walkable a HeaderRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

walk :: (a -> a) -> HeaderRow -> HeaderRow

walkM :: (Monad m, Applicative m, Functor m) => (a -> m a) -> HeaderRow -> m HeaderRow

query :: Monoid c => (a -> c) -> HeaderRow -> c

type Rep HeaderRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep HeaderRow = D1 ('MetaData "HeaderRow" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "HeaderRow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowNumber) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Cell]))))

data BodyRow Source #

An annotated body row, corresponding to a Pandoc Row and the HTML <tr> element, and also recording its row number and separating the row head cells from the row body cells.

Instances

Instances details
Data BodyRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

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

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

toConstr :: BodyRow -> Constr

dataTypeOf :: BodyRow -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> BodyRow -> BodyRow

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

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

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

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

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

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

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

Generic BodyRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep BodyRow 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep BodyRow = D1 ('MetaData "BodyRow" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "BodyRow" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowNumber)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowHead) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowBody))))

Methods

from :: BodyRow -> Rep BodyRow x

to :: Rep BodyRow x -> BodyRow

Read BodyRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS BodyRow

readList :: ReadS [BodyRow]

readPrec :: ReadPrec BodyRow

readListPrec :: ReadPrec [BodyRow]

Show BodyRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> BodyRow -> ShowS

show :: BodyRow -> String

showList :: [BodyRow] -> ShowS

Eq BodyRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

(==) :: BodyRow -> BodyRow -> Bool

(/=) :: BodyRow -> BodyRow -> Bool

Ord BodyRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

compare :: BodyRow -> BodyRow -> Ordering

(<) :: BodyRow -> BodyRow -> Bool

(<=) :: BodyRow -> BodyRow -> Bool

(>) :: BodyRow -> BodyRow -> Bool

(>=) :: BodyRow -> BodyRow -> Bool

max :: BodyRow -> BodyRow -> BodyRow

min :: BodyRow -> BodyRow -> BodyRow

type Rep BodyRow Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep BodyRow = D1 ('MetaData "BodyRow" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "BodyRow" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowNumber)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowHead) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowBody))))

newtype RowNumber Source #

The row number of a row. Note that rows are numbered continuously from zero from the start of the table, so the first row in a table body, for instance, may have a large RowNumber.

Constructors

RowNumber Int 

Instances

Instances details
Data RowNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

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

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

toConstr :: RowNumber -> Constr

dataTypeOf :: RowNumber -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> RowNumber -> RowNumber

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

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

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

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

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

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

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

Enum RowNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Generic RowNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep RowNumber 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep RowNumber = D1 ('MetaData "RowNumber" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'True) (C1 ('MetaCons "RowNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: RowNumber -> Rep RowNumber x

to :: Rep RowNumber x -> RowNumber

Num RowNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Read RowNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS RowNumber

readList :: ReadS [RowNumber]

readPrec :: ReadPrec RowNumber

readListPrec :: ReadPrec [RowNumber]

Show RowNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> RowNumber -> ShowS

show :: RowNumber -> String

showList :: [RowNumber] -> ShowS

Eq RowNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

(==) :: RowNumber -> RowNumber -> Bool

(/=) :: RowNumber -> RowNumber -> Bool

Ord RowNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

compare :: RowNumber -> RowNumber -> Ordering

(<) :: RowNumber -> RowNumber -> Bool

(<=) :: RowNumber -> RowNumber -> Bool

(>) :: RowNumber -> RowNumber -> Bool

(>=) :: RowNumber -> RowNumber -> Bool

max :: RowNumber -> RowNumber -> RowNumber

min :: RowNumber -> RowNumber -> RowNumber

type Rep RowNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep RowNumber = D1 ('MetaData "RowNumber" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'True) (C1 ('MetaCons "RowNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

type RowHead = [Cell] Source #

The head of a body row; the portion of the row lying in the stub of the TableBody. Its cells correspond to HTML <th> cells.

type RowBody = [Cell] Source #

The body of a body row; the portion of the row lying after the stub of the TableBody. Its cells correspond to HTML <td> cells.

data Cell Source #

An annotated table cell, wrapping a Pandoc Cell with its ColNumber and the ColSpec data for the columns that the cell spans.

Constructors

Cell (NonEmpty ColSpec) ColNumber Cell 

Instances

Instances details
Data Cell Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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 Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep Cell 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep Cell = D1 ('MetaData "Cell" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "Cell" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ColSpec)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColNumber) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cell))))

Methods

from :: Cell -> Rep Cell x

to :: Rep Cell x -> Cell

Read Cell Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS Cell

readList :: ReadS [Cell]

readPrec :: ReadPrec Cell

readListPrec :: ReadPrec [Cell]

Show Cell Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> Cell -> ShowS

show :: Cell -> String

showList :: [Cell] -> ShowS

Eq Cell Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

(==) :: Cell -> Cell -> Bool

(/=) :: Cell -> Cell -> Bool

Ord Cell Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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 a Cell => Walkable a Cell Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

walk :: (a -> a) -> Cell -> Cell

walkM :: (Monad m, Applicative m, Functor m) => (a -> m a) -> Cell -> m Cell

query :: Monoid c => (a -> c) -> Cell -> c

type Rep Cell Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep Cell = D1 ('MetaData "Cell" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'False) (C1 ('MetaCons "Cell" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ColSpec)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColNumber) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cell))))

newtype ColNumber Source #

The column number of a cell, meaning the column number of the first column that the cell spans, if the table were laid on a grid. Columns are numbered starting from zero.

Constructors

ColNumber Int 

Instances

Instances details
Data ColNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

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

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

toConstr :: ColNumber -> Constr

dataTypeOf :: ColNumber -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> ColNumber -> ColNumber

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

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

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

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

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

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

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

Enum ColNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Generic ColNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep ColNumber 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep ColNumber = D1 ('MetaData "ColNumber" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'True) (C1 ('MetaCons "ColNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: ColNumber -> Rep ColNumber x

to :: Rep ColNumber x -> ColNumber

Num ColNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Read ColNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS ColNumber

readList :: ReadS [ColNumber]

readPrec :: ReadPrec ColNumber

readListPrec :: ReadPrec [ColNumber]

Show ColNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> ColNumber -> ShowS

show :: ColNumber -> String

showList :: [ColNumber] -> ShowS

Eq ColNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

(==) :: ColNumber -> ColNumber -> Bool

(/=) :: ColNumber -> ColNumber -> Bool

Ord ColNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

compare :: ColNumber -> ColNumber -> Ordering

(<) :: ColNumber -> ColNumber -> Bool

(<=) :: ColNumber -> ColNumber -> Bool

(>) :: ColNumber -> ColNumber -> Bool

(>=) :: ColNumber -> ColNumber -> Bool

max :: ColNumber -> ColNumber -> ColNumber

min :: ColNumber -> ColNumber -> ColNumber

type Rep ColNumber Source # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep ColNumber = D1 ('MetaData "ColNumber" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.6.2-DqdKCuR9KFg22GWOOGGjbB" 'True) (C1 ('MetaCons "ColNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))