Copyright	Copyright 2020 Christian Despres
License	GNU GPL, version 2 or above
Maintainer	Christian Despres <christian.j.j.despres@gmail.com>
Stability	alpha
Portability	portable
Safe Haskell	None
Language	Haskell2010

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

toTable :: Attr -> Caption -> [ColSpec] -> TableHead -> [TableBody] -> TableFoot -> Table
fromTable :: Table -> (Attr, Caption, [ColSpec], TableHead, [TableBody], TableFoot)
data Table = Table Attr Caption [ColSpec] TableHead [TableBody] TableFoot
data TableHead = TableHead Attr [HeaderRow]
data TableBody = TableBody Attr RowHeadColumns [HeaderRow] [BodyRow]
data TableFoot = TableFoot Attr [HeaderRow]
data HeaderRow = HeaderRow Attr RowNumber [Cell]
data BodyRow = BodyRow Attr RowNumber RowHead RowBody
newtype RowNumber = RowNumber Int
type RowHead = [Cell]
type RowBody = [Cell]
data Cell = Cell (NonEmpty ColSpec) ColNumber Cell
newtype ColNumber = ColNumber Int

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.

Constructors

Table Attr Caption [ColSpec] TableHead [TableBody] TableFoot

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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.

Constructors

TableBody Attr RowHeadColumns [HeaderRow] [BodyRow]

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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.

Constructors

BodyRow Attr RowNumber RowHead RowBody

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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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

Methods

succ :: RowNumber -> RowNumber #

pred :: RowNumber -> RowNumber #

toEnum :: Int -> RowNumber #

fromEnum :: RowNumber -> Int #

enumFrom :: RowNumber -> [RowNumber] #

enumFromThen :: RowNumber -> RowNumber -> [RowNumber] #

enumFromTo :: RowNumber -> RowNumber -> [RowNumber] #

enumFromThenTo :: RowNumber -> RowNumber -> RowNumber -> [RowNumber] #

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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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

Methods

(+) :: RowNumber -> RowNumber -> RowNumber #

(-) :: RowNumber -> RowNumber -> RowNumber #

(*) :: RowNumber -> RowNumber -> RowNumber #

negate :: RowNumber -> RowNumber #

abs :: RowNumber -> RowNumber #

signum :: RowNumber -> RowNumber #

fromInteger :: Integer -> RowNumber #

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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" '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

Methods

succ :: ColNumber -> ColNumber #

pred :: ColNumber -> ColNumber #

toEnum :: Int -> ColNumber #

fromEnum :: ColNumber -> Int #

enumFrom :: ColNumber -> [ColNumber] #

enumFromThen :: ColNumber -> ColNumber -> [ColNumber] #

enumFromTo :: ColNumber -> ColNumber -> [ColNumber] #

enumFromThenTo :: ColNumber -> ColNumber -> ColNumber -> [ColNumber] #

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.7.0.1-7RIEUq3CJpwBTELIbnz3b6" 'True) (C1 ('MetaCons "ColNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))