Documentation

data Att_sToc Source

data Att_toc Source

data Att_sInlStr Source

sInlStr :: Proxy Att_sInlStrSource

toc :: Proxy Att_tocSource

sToc :: Proxy Att_sTocSource

sInlStr_NTs :: HCons (Proxy InlineL) (HCons (Proxy Inline) HNil)Source

default_sInlStr :: (HExtend (Att (Proxy Att_sInlStr) [Char]) sp sp', Use (Proxy Att_sInlStr) (HCons (Proxy InlineL) (HCons (Proxy Inline) HNil)) [Char] sc) => Rule lf hof sc ip l ho ic sp l ho ic sp'Source

plain_sInlStr :: (HExtend (Att (Proxy Att_sInlStr) a) sp sp', HasField (Proxy (Ch_str_plainInl, [Char])) chi a) => Rule l ho chi par l1 ho1 ic sp l1 ho1 ic sp'Source

bold_sInlStr :: (HExtend (Att (Proxy Att_sInlStr) a) sp sp', HasField (Proxy (Ch_inlines_boldInl, [Inline])) chi r, HasField (Proxy Att_sInlStr) r a) => Rule l ho chi par l1 ho1 ic sp l1 ho1 ic sp'Source

italics_sInlStr :: (HExtend (Att (Proxy Att_sInlStr) a) sp sp', HasField (Proxy (Ch_inlines_italInl, [Inline])) chi r, HasField (Proxy Att_sInlStr) r a) => Rule l ho chi par l1 ho1 ic sp l1 ho1 ic sp'Source

sToc_NTs :: HCons (Proxy Block) (HCons (Proxy BlockL) HNil)Source

default_sToc :: (HExtend (Att (Proxy Att_sToc) [a]) sp sp', Use (Proxy Att_sToc) (HCons (Proxy Block) (HCons (Proxy BlockL) HNil)) [a] sc) => Rule lf hof sc ip l ho ic sp l ho ic sp'Source

header_sToc :: (HExtend (Att (Proxy Att_sToc) [(t, t1)]) sp sp', HasField (Proxy (Ch_inlines_header, [Inline])) chi r, HasField (Proxy Att_headerNum) l t, HasField (Proxy Att_sInlStr) r t1) => Rule l ho chi par l1 ho1 ic sp l1 ho1 ic sp'Source

toc_NTs :: HCons (Proxy Block) (HCons (Proxy BlockL) HNil)Source

document_toc :: (HasField (Proxy (Ch_blocks, [Block])) chi r, HasField (Proxy Att_sToc) r v, SingleDef mch HTrue (Proxy Att_toc) (Chi (Proxy (Ch_blocks, [Block])) v) ic' ic'1, HasLabel (Proxy (Ch_blocks, [Block])) ic' mch) => Rule l ho chi par l1 ho1 ic' sp l1 ho1 ic'1 spSource

default_toc :: (HasField (Proxy Att_toc) ip vp, Copy (Proxy Att_toc) (HCons (Proxy Block) (HCons (Proxy BlockL) HNil)) vp ic ic') => Rule lf hof sc ip l ho ic sp l ho ic' spSource