expand-0.0.1: Extensible Pandoc

Safe HaskellNone

Toc.Decl

Documentation

data EXT_Block Source

Constructors

Toc 

data P_Toc Source

p_Toc :: Proxy P_TocSource

semP_Toc :: (HLeftUnion (Record HNil) ho fc', Kn fc' ic sc, Empties fc' ec) => Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp -> ip -> spSource

data DocTocSF _Toc Source

Constructors

DocTocSF 

Fields

pToc :: _Toc
 

mkDocToc :: (HLeftUnion (Record HNil) ho fc', Kn fc' ic sc, Empties fc' ec) => Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp -> DocTocSF (ip -> sp)Source