Documentation.Haddock.Types

Exposes documentation data types used for (some) of Haddock.

Documentation

data Meta

With the advent of Version, we may want to start attaching more meta-data to comments. We make a structure for this ahead of time so we don't have to gut half the core each time we want to add such info.

Constructors

Meta

Fields

• _version :: Maybe Version
• _package :: Maybe Package

Instances

Eq Meta

Defined in Documentation.Haddock.Types

Methods

(==) :: Meta -> Meta -> Bool

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

Show Meta

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> Meta -> ShowS

show :: Meta -> String

showList :: [Meta] -> ShowS

data MetaDoc mod id

Constructors

MetaDoc

Fields

• _meta :: Meta
• _doc :: DocH mod id

Instances

Bitraversable MetaDoc

NOTE: Only defined for base >= 4.10.0

Defined in Documentation.Haddock.Types

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> MetaDoc a b -> f (MetaDoc c d)

Bifoldable MetaDoc

NOTE: Only defined for base >= 4.10.0

Defined in Documentation.Haddock.Types

Methods

bifold :: Monoid m => MetaDoc m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> MetaDoc a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> MetaDoc a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> MetaDoc a b -> c

Bifunctor MetaDoc

NOTE: Only defined for base >= 4.8.0

Defined in Documentation.Haddock.Types

Methods

bimap :: (a -> b) -> (c -> d) -> MetaDoc a c -> MetaDoc b d

first :: (a -> b) -> MetaDoc a c -> MetaDoc b c

second :: (b -> c) -> MetaDoc a b -> MetaDoc a c

Functor (MetaDoc mod)

Defined in Documentation.Haddock.Types

Methods

fmap :: (a -> b) -> MetaDoc mod a -> MetaDoc mod b

(<$) :: a -> MetaDoc mod b -> MetaDoc mod a

Foldable (MetaDoc mod)

Defined in Documentation.Haddock.Types

Methods

fold :: Monoid m => MetaDoc mod m -> m

foldMap :: Monoid m => (a -> m) -> MetaDoc mod a -> m

foldMap' :: Monoid m => (a -> m) -> MetaDoc mod a -> m

foldr :: (a -> b -> b) -> b -> MetaDoc mod a -> b

foldr' :: (a -> b -> b) -> b -> MetaDoc mod a -> b

foldl :: (b -> a -> b) -> b -> MetaDoc mod a -> b

foldl' :: (b -> a -> b) -> b -> MetaDoc mod a -> b

foldr1 :: (a -> a -> a) -> MetaDoc mod a -> a

foldl1 :: (a -> a -> a) -> MetaDoc mod a -> a

toList :: MetaDoc mod a -> [a]

null :: MetaDoc mod a -> Bool

length :: MetaDoc mod a -> Int

elem :: Eq a => a -> MetaDoc mod a -> Bool

maximum :: Ord a => MetaDoc mod a -> a

minimum :: Ord a => MetaDoc mod a -> a

sum :: Num a => MetaDoc mod a -> a

product :: Num a => MetaDoc mod a -> a

Traversable (MetaDoc mod)

Defined in Documentation.Haddock.Types

Methods

traverse :: Applicative f => (a -> f b) -> MetaDoc mod a -> f (MetaDoc mod b)

sequenceA :: Applicative f => MetaDoc mod (f a) -> f (MetaDoc mod a)

mapM :: Monad m => (a -> m b) -> MetaDoc mod a -> m (MetaDoc mod b)

sequence :: Monad m => MetaDoc mod (m a) -> m (MetaDoc mod a)

(Eq id, Eq mod) => Eq (MetaDoc mod id)

Defined in Documentation.Haddock.Types

Methods

(==) :: MetaDoc mod id -> MetaDoc mod id -> Bool

(/=) :: MetaDoc mod id -> MetaDoc mod id -> Bool

(Show id, Show mod) => Show (MetaDoc mod id)

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> MetaDoc mod id -> ShowS

show :: MetaDoc mod id -> String

showList :: [MetaDoc mod id] -> ShowS

overDoc :: (DocH a b -> DocH c d) -> MetaDoc a b -> MetaDoc c d

overDocF :: Functor f => (DocH a b -> f (DocH c d)) -> MetaDoc a b -> f (MetaDoc c d)

type Version = [Int]

type Package = String

data Hyperlink id

Constructors

Hyperlink

Fields

• hyperlinkUrl :: String
• hyperlinkLabel :: Maybe id

Instances

Functor Hyperlink

Defined in Documentation.Haddock.Types

Methods

fmap :: (a -> b) -> Hyperlink a -> Hyperlink b

(<$) :: a -> Hyperlink b -> Hyperlink a

Foldable Hyperlink

Defined in Documentation.Haddock.Types

Methods

fold :: Monoid m => Hyperlink m -> m

foldMap :: Monoid m => (a -> m) -> Hyperlink a -> m

foldMap' :: Monoid m => (a -> m) -> Hyperlink a -> m

foldr :: (a -> b -> b) -> b -> Hyperlink a -> b

foldr' :: (a -> b -> b) -> b -> Hyperlink a -> b

foldl :: (b -> a -> b) -> b -> Hyperlink a -> b

foldl' :: (b -> a -> b) -> b -> Hyperlink a -> b

foldr1 :: (a -> a -> a) -> Hyperlink a -> a

foldl1 :: (a -> a -> a) -> Hyperlink a -> a

toList :: Hyperlink a -> [a]

null :: Hyperlink a -> Bool

length :: Hyperlink a -> Int

elem :: Eq a => a -> Hyperlink a -> Bool

maximum :: Ord a => Hyperlink a -> a

minimum :: Ord a => Hyperlink a -> a

sum :: Num a => Hyperlink a -> a

product :: Num a => Hyperlink a -> a

Traversable Hyperlink

Defined in Documentation.Haddock.Types

Methods

traverse :: Applicative f => (a -> f b) -> Hyperlink a -> f (Hyperlink b)

sequenceA :: Applicative f => Hyperlink (f a) -> f (Hyperlink a)

mapM :: Monad m => (a -> m b) -> Hyperlink a -> m (Hyperlink b)

sequence :: Monad m => Hyperlink (m a) -> m (Hyperlink a)

Eq id => Eq (Hyperlink id)

Defined in Documentation.Haddock.Types

Methods

(==) :: Hyperlink id -> Hyperlink id -> Bool

(/=) :: Hyperlink id -> Hyperlink id -> Bool

Show id => Show (Hyperlink id)

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> Hyperlink id -> ShowS

show :: Hyperlink id -> String

showList :: [Hyperlink id] -> ShowS

data ModLink id

Constructors

ModLink

Fields

• modLinkName :: String
• modLinkLabel :: Maybe id

Instances

Functor ModLink

Defined in Documentation.Haddock.Types

Methods

fmap :: (a -> b) -> ModLink a -> ModLink b

(<$) :: a -> ModLink b -> ModLink a

Foldable ModLink

Defined in Documentation.Haddock.Types

Methods

fold :: Monoid m => ModLink m -> m

foldMap :: Monoid m => (a -> m) -> ModLink a -> m

foldMap' :: Monoid m => (a -> m) -> ModLink a -> m

foldr :: (a -> b -> b) -> b -> ModLink a -> b

foldr' :: (a -> b -> b) -> b -> ModLink a -> b

foldl :: (b -> a -> b) -> b -> ModLink a -> b

foldl' :: (b -> a -> b) -> b -> ModLink a -> b

foldr1 :: (a -> a -> a) -> ModLink a -> a

foldl1 :: (a -> a -> a) -> ModLink a -> a

toList :: ModLink a -> [a]

null :: ModLink a -> Bool

length :: ModLink a -> Int

elem :: Eq a => a -> ModLink a -> Bool

maximum :: Ord a => ModLink a -> a

minimum :: Ord a => ModLink a -> a

sum :: Num a => ModLink a -> a

product :: Num a => ModLink a -> a

Traversable ModLink

Defined in Documentation.Haddock.Types

Methods

traverse :: Applicative f => (a -> f b) -> ModLink a -> f (ModLink b)

sequenceA :: Applicative f => ModLink (f a) -> f (ModLink a)

mapM :: Monad m => (a -> m b) -> ModLink a -> m (ModLink b)

sequence :: Monad m => ModLink (m a) -> m (ModLink a)

Eq id => Eq (ModLink id)

Defined in Documentation.Haddock.Types

Methods

(==) :: ModLink id -> ModLink id -> Bool

(/=) :: ModLink id -> ModLink id -> Bool

Show id => Show (ModLink id)

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> ModLink id -> ShowS

show :: ModLink id -> String

showList :: [ModLink id] -> ShowS

data Picture

Constructors

Picture

Fields

• pictureUri :: String
• pictureTitle :: Maybe String

Instances

Eq Picture

Defined in Documentation.Haddock.Types

Methods

(==) :: Picture -> Picture -> Bool

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

Show Picture

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> Picture -> ShowS

show :: Picture -> String

showList :: [Picture] -> ShowS

data Header id

Constructors

Header

Fields

• headerLevel :: Int

  between 1 and 6 inclusive

• headerTitle :: id

Instances

Functor Header

Defined in Documentation.Haddock.Types

Methods

fmap :: (a -> b) -> Header a -> Header b

(<$) :: a -> Header b -> Header a

Foldable Header

Defined in Documentation.Haddock.Types

Methods

fold :: Monoid m => Header m -> m

foldMap :: Monoid m => (a -> m) -> Header a -> m

foldMap' :: Monoid m => (a -> m) -> Header a -> m

foldr :: (a -> b -> b) -> b -> Header a -> b

foldr' :: (a -> b -> b) -> b -> Header a -> b

foldl :: (b -> a -> b) -> b -> Header a -> b

foldl' :: (b -> a -> b) -> b -> Header a -> b

foldr1 :: (a -> a -> a) -> Header a -> a

foldl1 :: (a -> a -> a) -> Header a -> a

toList :: Header a -> [a]

null :: Header a -> Bool

length :: Header a -> Int

elem :: Eq a => a -> Header a -> Bool

maximum :: Ord a => Header a -> a

minimum :: Ord a => Header a -> a

sum :: Num a => Header a -> a

product :: Num a => Header a -> a

Traversable Header

Defined in Documentation.Haddock.Types

Methods

traverse :: Applicative f => (a -> f b) -> Header a -> f (Header b)

sequenceA :: Applicative f => Header (f a) -> f (Header a)

mapM :: Monad m => (a -> m b) -> Header a -> m (Header b)

sequence :: Monad m => Header (m a) -> m (Header a)

Eq id => Eq (Header id)

Defined in Documentation.Haddock.Types

Methods

(==) :: Header id -> Header id -> Bool

(/=) :: Header id -> Header id -> Bool

Show id => Show (Header id)

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> Header id -> ShowS

show :: Header id -> String

showList :: [Header id] -> ShowS

data Example

Constructors

Example

Fields

• exampleExpression :: String
• exampleResult :: [String]

Instances

Eq Example

Defined in Documentation.Haddock.Types

Methods

(==) :: Example -> Example -> Bool

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

Show Example

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> Example -> ShowS

show :: Example -> String

showList :: [Example] -> ShowS

data TableCell id

Constructors

TableCell

Fields

• tableCellColspan :: Int
• tableCellRowspan :: Int
• tableCellContents :: id

Instances

Functor TableCell

Defined in Documentation.Haddock.Types

Methods

fmap :: (a -> b) -> TableCell a -> TableCell b

(<$) :: a -> TableCell b -> TableCell a

Foldable TableCell

Defined in Documentation.Haddock.Types

Methods

fold :: Monoid m => TableCell m -> m

foldMap :: Monoid m => (a -> m) -> TableCell a -> m

foldMap' :: Monoid m => (a -> m) -> TableCell a -> m

foldr :: (a -> b -> b) -> b -> TableCell a -> b

foldr' :: (a -> b -> b) -> b -> TableCell a -> b

foldl :: (b -> a -> b) -> b -> TableCell a -> b

foldl' :: (b -> a -> b) -> b -> TableCell a -> b

foldr1 :: (a -> a -> a) -> TableCell a -> a

foldl1 :: (a -> a -> a) -> TableCell a -> a

toList :: TableCell a -> [a]

null :: TableCell a -> Bool

length :: TableCell a -> Int

elem :: Eq a => a -> TableCell a -> Bool

maximum :: Ord a => TableCell a -> a

minimum :: Ord a => TableCell a -> a

sum :: Num a => TableCell a -> a

product :: Num a => TableCell a -> a

Traversable TableCell

Defined in Documentation.Haddock.Types

Methods

traverse :: Applicative f => (a -> f b) -> TableCell a -> f (TableCell b)

sequenceA :: Applicative f => TableCell (f a) -> f (TableCell a)

mapM :: Monad m => (a -> m b) -> TableCell a -> m (TableCell b)

sequence :: Monad m => TableCell (m a) -> m (TableCell a)

Eq id => Eq (TableCell id)

Defined in Documentation.Haddock.Types

Methods

(==) :: TableCell id -> TableCell id -> Bool

(/=) :: TableCell id -> TableCell id -> Bool

Show id => Show (TableCell id)

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> TableCell id -> ShowS

show :: TableCell id -> String

showList :: [TableCell id] -> ShowS

newtype TableRow id

Constructors

TableRow

Fields

• tableRowCells :: [TableCell id]

Instances

Functor TableRow

Defined in Documentation.Haddock.Types

Methods

fmap :: (a -> b) -> TableRow a -> TableRow b

(<$) :: a -> TableRow b -> TableRow a

Foldable TableRow

Defined in Documentation.Haddock.Types

Methods

fold :: Monoid m => TableRow m -> m

foldMap :: Monoid m => (a -> m) -> TableRow a -> m

foldMap' :: Monoid m => (a -> m) -> TableRow a -> m

foldr :: (a -> b -> b) -> b -> TableRow a -> b

foldr' :: (a -> b -> b) -> b -> TableRow a -> b

foldl :: (b -> a -> b) -> b -> TableRow a -> b

foldl' :: (b -> a -> b) -> b -> TableRow a -> b

foldr1 :: (a -> a -> a) -> TableRow a -> a

foldl1 :: (a -> a -> a) -> TableRow a -> a

toList :: TableRow a -> [a]

null :: TableRow a -> Bool

length :: TableRow a -> Int

elem :: Eq a => a -> TableRow a -> Bool

maximum :: Ord a => TableRow a -> a

minimum :: Ord a => TableRow a -> a

sum :: Num a => TableRow a -> a

product :: Num a => TableRow a -> a

Traversable TableRow

Defined in Documentation.Haddock.Types

Methods

traverse :: Applicative f => (a -> f b) -> TableRow a -> f (TableRow b)

sequenceA :: Applicative f => TableRow (f a) -> f (TableRow a)

mapM :: Monad m => (a -> m b) -> TableRow a -> m (TableRow b)

sequence :: Monad m => TableRow (m a) -> m (TableRow a)

Eq id => Eq (TableRow id)

Defined in Documentation.Haddock.Types

Methods

(==) :: TableRow id -> TableRow id -> Bool

(/=) :: TableRow id -> TableRow id -> Bool

Show id => Show (TableRow id)

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> TableRow id -> ShowS

show :: TableRow id -> String

showList :: [TableRow id] -> ShowS

data Table id

Constructors

Table

Fields

• tableHeaderRows :: [TableRow id]
• tableBodyRows :: [TableRow id]

Instances

Functor Table

Defined in Documentation.Haddock.Types

Methods

fmap :: (a -> b) -> Table a -> Table b

(<$) :: a -> Table b -> Table a

Foldable Table

Defined in Documentation.Haddock.Types

Methods

fold :: Monoid m => Table m -> m

foldMap :: Monoid m => (a -> m) -> Table a -> m

foldMap' :: Monoid m => (a -> m) -> Table a -> m

foldr :: (a -> b -> b) -> b -> Table a -> b

foldr' :: (a -> b -> b) -> b -> Table a -> b

foldl :: (b -> a -> b) -> b -> Table a -> b

foldl' :: (b -> a -> b) -> b -> Table a -> b

foldr1 :: (a -> a -> a) -> Table a -> a

foldl1 :: (a -> a -> a) -> Table a -> a

toList :: Table a -> [a]

null :: Table a -> Bool

length :: Table a -> Int

elem :: Eq a => a -> Table a -> Bool

maximum :: Ord a => Table a -> a

minimum :: Ord a => Table a -> a

sum :: Num a => Table a -> a

product :: Num a => Table a -> a

Traversable Table

Defined in Documentation.Haddock.Types

Methods

traverse :: Applicative f => (a -> f b) -> Table a -> f (Table b)

sequenceA :: Applicative f => Table (f a) -> f (Table a)

mapM :: Monad m => (a -> m b) -> Table a -> m (Table b)

sequence :: Monad m => Table (m a) -> m (Table a)

Eq id => Eq (Table id)

Defined in Documentation.Haddock.Types

Methods

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

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

Show id => Show (Table id)

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> Table id -> ShowS

show :: Table id -> String

showList :: [Table id] -> ShowS

data DocH mod id

Constructors

DocEmpty

DocAppend (DocH mod id) (DocH mod id)

DocString String

DocParagraph (DocH mod id)

DocIdentifier id

DocIdentifierUnchecked mod

A qualified identifier that couldn't be resolved.

DocModule (ModLink (DocH mod id))

A link to a module, with an optional label.

DocWarning (DocH mod id)

This constructor has no counterpart in Haddock markup.

DocEmphasis (DocH mod id)

DocMonospaced (DocH mod id)

DocBold (DocH mod id)

DocUnorderedList [DocH mod id]

DocOrderedList [(Int, DocH mod id)]

DocDefList [(DocH mod id, DocH mod id)]

DocCodeBlock (DocH mod id)

DocHyperlink (Hyperlink (DocH mod id))

DocPic Picture

DocMathInline String

DocMathDisplay String

DocAName String

A (HTML) anchor. It must not contain any spaces.

DocProperty String

DocExamples [Example]

DocHeader (Header (DocH mod id))

DocTable (Table (DocH mod id))

Instances

Bitraversable DocH

NOTE: Only defined for base >= 4.10.0

Defined in Documentation.Haddock.Types

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> DocH a b -> f (DocH c d)

Bifoldable DocH

NOTE: Only defined for base >= 4.10.0

Defined in Documentation.Haddock.Types

Methods

bifold :: Monoid m => DocH m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> DocH a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> DocH a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> DocH a b -> c

Bifunctor DocH

NOTE: Only defined for base >= 4.8.0

Defined in Documentation.Haddock.Types

Methods

bimap :: (a -> b) -> (c -> d) -> DocH a c -> DocH b d

first :: (a -> b) -> DocH a c -> DocH b c

second :: (b -> c) -> DocH a b -> DocH a c

Functor (DocH mod)

Defined in Documentation.Haddock.Types

Methods

fmap :: (a -> b) -> DocH mod a -> DocH mod b

(<$) :: a -> DocH mod b -> DocH mod a

Foldable (DocH mod)

Defined in Documentation.Haddock.Types

Methods

fold :: Monoid m => DocH mod m -> m

foldMap :: Monoid m => (a -> m) -> DocH mod a -> m

foldMap' :: Monoid m => (a -> m) -> DocH mod a -> m

foldr :: (a -> b -> b) -> b -> DocH mod a -> b

foldr' :: (a -> b -> b) -> b -> DocH mod a -> b

foldl :: (b -> a -> b) -> b -> DocH mod a -> b

foldl' :: (b -> a -> b) -> b -> DocH mod a -> b

foldr1 :: (a -> a -> a) -> DocH mod a -> a

foldl1 :: (a -> a -> a) -> DocH mod a -> a

toList :: DocH mod a -> [a]

null :: DocH mod a -> Bool

length :: DocH mod a -> Int

elem :: Eq a => a -> DocH mod a -> Bool

maximum :: Ord a => DocH mod a -> a

minimum :: Ord a => DocH mod a -> a

sum :: Num a => DocH mod a -> a

product :: Num a => DocH mod a -> a

Traversable (DocH mod)

Defined in Documentation.Haddock.Types

Methods

traverse :: Applicative f => (a -> f b) -> DocH mod a -> f (DocH mod b)

sequenceA :: Applicative f => DocH mod (f a) -> f (DocH mod a)

mapM :: Monad m => (a -> m b) -> DocH mod a -> m (DocH mod b)

sequence :: Monad m => DocH mod (m a) -> m (DocH mod a)

(Eq id, Eq mod) => Eq (DocH mod id)

Defined in Documentation.Haddock.Types

Methods

(==) :: DocH mod id -> DocH mod id -> Bool

(/=) :: DocH mod id -> DocH mod id -> Bool

(Show id, Show mod) => Show (DocH mod id)

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> DocH mod id -> ShowS

show :: DocH mod id -> String

showList :: [DocH mod id] -> ShowS

data Namespace

The namespace qualification for an identifier.

Constructors

Value

Type

None

Instances

Enum Namespace

Defined in Documentation.Haddock.Types

Methods

succ :: Namespace -> Namespace

pred :: Namespace -> Namespace

toEnum :: Int -> Namespace

fromEnum :: Namespace -> Int

enumFrom :: Namespace -> [Namespace]

enumFromThen :: Namespace -> Namespace -> [Namespace]

enumFromTo :: Namespace -> Namespace -> [Namespace]

enumFromThenTo :: Namespace -> Namespace -> Namespace -> [Namespace]

Eq Namespace

Defined in Documentation.Haddock.Types

Methods

(==) :: Namespace -> Namespace -> Bool

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

Ord Namespace

Defined in Documentation.Haddock.Types

Methods

compare :: Namespace -> Namespace -> Ordering

(<) :: Namespace -> Namespace -> Bool

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

(>) :: Namespace -> Namespace -> Bool

(>=) :: Namespace -> Namespace -> Bool

max :: Namespace -> Namespace -> Namespace

min :: Namespace -> Namespace -> Namespace

Show Namespace

Defined in Documentation.Haddock.Types

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

renderNs :: Namespace -> String

Render the a namespace into the same format it was initially parsed.

data DocMarkupH mod id a

DocMarkupH is a set of instructions for marking up documentation. In fact, it's really just a mapping from Doc to some other type [a], where [a] is usually the type of the output (HTML, say). Use markup to apply a DocMarkupH to a DocH.

Since: 1.4.5

Constructors

Markup

Fields

• markupEmpty :: a
• markupString :: String -> a
• markupParagraph :: a -> a
• markupAppend :: a -> a -> a
• markupIdentifier :: id -> a
• markupIdentifierUnchecked :: mod -> a
• markupModule :: ModLink a -> a
• markupWarning :: a -> a
• markupEmphasis :: a -> a
• markupBold :: a -> a
• markupMonospaced :: a -> a
• markupUnorderedList :: [a] -> a
• markupOrderedList :: [(Int, a)] -> a
• markupDefList :: [(a, a)] -> a
• markupCodeBlock :: a -> a
• markupHyperlink :: Hyperlink a -> a
• markupAName :: String -> a
• markupPic :: Picture -> a
• markupMathInline :: String -> a
• markupMathDisplay :: String -> a
• markupProperty :: String -> a
• markupExample :: [Example] -> a
• markupHeader :: Header a -> a
• markupTable :: Table a -> a