Text.Pandoc.Writers.AnnotatedTable

pandoc-3.7.0.2: Conversion between markup formats

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 #

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`.

Constructors

Table Attr Caption [ColSpec] TableHead [TableBody] TableFoot |

#### 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 |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep Table = D1 ('MetaData "Table" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 # |
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.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep TableHead = D1 ('MetaData "TableHead" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable Methods readsPrec :: Int -> ReadS TableHead # readList :: ReadS [TableHead] # readPrec :: ReadPrec TableHead # readListPrec :: ReadPrec [TableHead] #
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 Methods (==) :: TableHead -> TableHead -> Bool # (/=) :: TableHead -> TableHead -> Bool #
Ord TableHead # |
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 # |
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.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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.

Constructors

TableBody Attr RowHeadColumns [HeaderRow] [BodyRow] |

#### 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 |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep TableBody = D1 ('MetaData "TableBody" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable Methods readsPrec :: Int -> ReadS TableBody # readList :: ReadS [TableBody] # readPrec :: ReadPrec TableBody # readListPrec :: ReadPrec [TableBody] #
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 Methods (==) :: TableBody -> TableBody -> Bool # (/=) :: TableBody -> TableBody -> Bool #
Ord TableBody # |
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 # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep TableBody = D1 ('MetaData "TableBody" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep TableFoot = D1 ('MetaData "TableFoot" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable Methods readsPrec :: Int -> ReadS TableFoot # readList :: ReadS [TableFoot] # readPrec :: ReadPrec TableFoot # readListPrec :: ReadPrec [TableFoot] #
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 Methods (==) :: TableFoot -> TableFoot -> Bool # (/=) :: TableFoot -> TableFoot -> Bool #
Ord TableFoot # |
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 # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep TableFoot = D1 ('MetaData "TableFoot" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep HeaderRow = D1 ('MetaData "HeaderRow" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable Methods readsPrec :: Int -> ReadS HeaderRow # readList :: ReadS [HeaderRow] # readPrec :: ReadPrec HeaderRow # readListPrec :: ReadPrec [HeaderRow] #
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 Methods (==) :: HeaderRow -> HeaderRow -> Bool # (/=) :: HeaderRow -> HeaderRow -> Bool #
Ord HeaderRow # |
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 # |
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.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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.

Constructors

BodyRow Attr RowNumber RowHead RowBody |

#### 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 |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep BodyRow = D1 ('MetaData "BodyRow" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 # |
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 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 # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep BodyRow = D1 ('MetaData "BodyRow" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 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 # |
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.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 # |
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 # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable Methods readsPrec :: Int -> ReadS RowNumber # readList :: ReadS [RowNumber] # readPrec :: ReadPrec RowNumber # readListPrec :: ReadPrec [RowNumber] #
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 Methods (==) :: RowNumber -> RowNumber -> Bool # (/=) :: RowNumber -> RowNumber -> Bool #
Ord RowNumber # |
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 # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep RowNumber = D1 ('MetaData "RowNumber" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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.

Constructors

Cell (NonEmpty ColSpec) ColNumber Cell |

#### 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 |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep Cell = D1 ('MetaData "Cell" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 # |
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.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 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 # |
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.2-LV2qWKW0Q2RElzdkrvf5Ll" '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 # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable Methods (+) :: ColNumber -> ColNumber -> ColNumber # (-) :: ColNumber -> ColNumber -> ColNumber # (*) :: ColNumber -> ColNumber -> ColNumber # negate :: ColNumber -> ColNumber # abs :: ColNumber -> ColNumber # signum :: ColNumber -> ColNumber # fromInteger :: Integer -> ColNumber #
Read ColNumber # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable Methods readsPrec :: Int -> ReadS ColNumber # readList :: ReadS [ColNumber] # readPrec :: ReadPrec ColNumber # readListPrec :: ReadPrec [ColNumber] #
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 Methods (==) :: ColNumber -> ColNumber -> Bool # (/=) :: ColNumber -> ColNumber -> Bool #
Ord ColNumber # |
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 # |
Instance details Defined in Text.Pandoc.Writers.AnnotatedTable type Rep ColNumber = D1 ('MetaData "ColNumber" "Text.Pandoc.Writers.AnnotatedTable" "pandoc-3.7.0.2-LV2qWKW0Q2RElzdkrvf5Ll" 'True) (C1 ('MetaCons "ColNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))