pandoc-3.1.9: 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 HaskellSafe-Inferred
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 #

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

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 #

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

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep Table :: Type -> Type #

Methods

from :: Table -> Rep Table x #

to :: Rep Table x -> Table #

Read Table # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS Table #

readList :: ReadS [Table] #

readPrec :: ReadPrec Table #

readListPrec :: ReadPrec [Table] #

Show Table # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> Table -> ShowS #

show :: Table -> String #

showList :: [Table] -> ShowS #

Eq Table # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

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

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

Ord Table # 
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 # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep Table = D1 ('MetaData "Table" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.1.9-Dm3h6SJz7b52zGo8xZIABi" '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 #

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

Constructors

TableHead Attr [HeaderRow] 

Instances

Instances details
Data TableHead # 
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 # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep TableHead :: Type -> Type #

Read TableHead # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Show TableHead # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> TableHead -> ShowS #

show :: TableHead -> String #

showList :: [TableHead] -> ShowS #

Eq TableHead # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Ord TableHead # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep TableHead = D1 ('MetaData "TableHead" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.1.9-Dm3h6SJz7b52zGo8xZIABi" '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 #

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

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep TableBody :: Type -> Type #

Read TableBody # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Show TableBody # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> TableBody -> ShowS #

show :: TableBody -> String #

showList :: [TableBody] -> ShowS #

Eq TableBody # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Ord TableBody # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep TableBody # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep TableBody = D1 ('MetaData "TableBody" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.1.9-Dm3h6SJz7b52zGo8xZIABi" '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 #

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

Constructors

TableFoot Attr [HeaderRow] 

Instances

Instances details
Data TableFoot # 
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 # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep TableFoot :: Type -> Type #

Read TableFoot # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Show TableFoot # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> TableFoot -> ShowS #

show :: TableFoot -> String #

showList :: [TableFoot] -> ShowS #

Eq TableFoot # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Ord TableFoot # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep TableFoot # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep TableFoot = D1 ('MetaData "TableFoot" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.1.9-Dm3h6SJz7b52zGo8xZIABi" '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 #

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

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep HeaderRow :: Type -> Type #

Read HeaderRow # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Show HeaderRow # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> HeaderRow -> ShowS #

show :: HeaderRow -> String #

showList :: [HeaderRow] -> ShowS #

Eq HeaderRow # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Ord HeaderRow # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep HeaderRow = D1 ('MetaData "HeaderRow" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.1.9-Dm3h6SJz7b52zGo8xZIABi" '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 #

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

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep BodyRow :: Type -> Type #

Methods

from :: BodyRow -> Rep BodyRow x #

to :: Rep BodyRow x -> BodyRow #

Read BodyRow # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS BodyRow #

readList :: ReadS [BodyRow] #

readPrec :: ReadPrec BodyRow #

readListPrec :: ReadPrec [BodyRow] #

Show BodyRow # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> BodyRow -> ShowS #

show :: BodyRow -> String #

showList :: [BodyRow] -> ShowS #

Eq BodyRow # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

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

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

Ord BodyRow # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep BodyRow # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep BodyRow = D1 ('MetaData "BodyRow" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.1.9-Dm3h6SJz7b52zGo8xZIABi" '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 #

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

Defined in Text.Pandoc.Writers.AnnotatedTable

Generic RowNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep RowNumber :: Type -> Type #

Num RowNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Read RowNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Show RowNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> RowNumber -> ShowS #

show :: RowNumber -> String #

showList :: [RowNumber] -> ShowS #

Eq RowNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Ord RowNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep RowNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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

type RowHead = [Cell] #

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

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 #

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

Instances

Instances details
Data Cell # 
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 # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep Cell :: Type -> Type #

Methods

from :: Cell -> Rep Cell x #

to :: Rep Cell x -> Cell #

Read Cell # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

readsPrec :: Int -> ReadS Cell #

readList :: ReadS [Cell] #

readPrec :: ReadPrec Cell #

readListPrec :: ReadPrec [Cell] #

Show Cell # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> Cell -> ShowS #

show :: Cell -> String #

showList :: [Cell] -> ShowS #

Eq Cell # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

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

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

Ord Cell # 
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 # 
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 # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep Cell = D1 ('MetaData "Cell" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.1.9-Dm3h6SJz7b52zGo8xZIABi" '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 #

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

Defined in Text.Pandoc.Writers.AnnotatedTable

Generic ColNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Associated Types

type Rep ColNumber :: Type -> Type #

Num ColNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Read ColNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Show ColNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Methods

showsPrec :: Int -> ColNumber -> ShowS #

show :: ColNumber -> String #

showList :: [ColNumber] -> ShowS #

Eq ColNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

Ord ColNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

type Rep ColNumber # 
Instance details

Defined in Text.Pandoc.Writers.AnnotatedTable

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