Document.Semantics.Html

Documentation

data Att_html

html :: Proxy Att_html

document_html :: (HExtend (Att (Proxy Att_html) a) sp sp', HasField (Proxy (Ch_blocks, [Block])) chi r, HasField (Proxy Att_html) r a) => Rule l ho chi par l1 ho1 ic sp l1 ho1 ic sp'

blockLnil_html :: HExtend (Att (Proxy Att_html) [Char]) sp sp' => Rule lf hof sc ip l ho ic sp l ho ic sp'

blockLcons_html :: (HExtend (Att (Proxy Att_html) [a]) sp sp', HasField (Proxy (Ch_tl_BlockL_Cons, [Block])) chi r1, HasField (Proxy (Ch_hd_BlockL_Cons, Block)) chi r, HasField (Proxy Att_html) r [a], HasField (Proxy Att_html) r1 [a]) => Rule l ho chi par l1 ho1 ic sp l1 ho1 ic sp'

header_html :: (Show a, HExtend (Att (Proxy Att_html) [Char]) sp sp', HasField (Proxy (Ch_inlines_header, [Inline])) chi r, HasField (Proxy (Ch_level_header, Int)) chi a, HasField (Proxy Att_html) r [Char]) => Rule l ho chi par l1 ho1 ic sp l1 ho1 ic sp'

paragraph_html :: (HExtend (Att (Proxy Att_html) [Char]) sp sp', HasField (Proxy (Ch_inlines_par, [Inline])) chi r, HasField (Proxy Att_html) r [Char]) => Rule l ho chi par l1 ho1 ic sp l1 ho1 ic sp'

inlineLnil_html :: HExtend (Att (Proxy Att_html) [Char]) sp sp' => Rule lf hof sc ip l ho ic sp l ho ic sp'

inlineLcons_html :: (HExtend (Att (Proxy Att_html) [a]) sp sp', HasField (Proxy (Ch_tl_InlineL_Cons, [Inline])) chi r1, HasField (Proxy (Ch_hd_InlineL_Cons, Inline)) chi r, HasField (Proxy Att_html) r [a], HasField (Proxy Att_html) r1 [a]) => Rule l ho chi par l1 ho1 ic sp l1 ho1 ic sp'

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

bold_html :: (HExtend (Att (Proxy Att_html) [Char]) sp sp', HasField (Proxy (Ch_inlines_boldInl, [Inline])) chi r, HasField (Proxy Att_html) r [Char]) => Rule l ho chi par l1 ho1 ic sp l1 ho1 ic sp'

italics_html :: (HExtend (Att (Proxy Att_html) [Char]) sp sp', HasField (Proxy (Ch_inlines_italInl, [Inline])) chi r, HasField (Proxy Att_html) r [Char]) => Rule l ho chi par l1 ho1 ic sp l1 ho1 ic sp'

semHtml :: (Show _level_header, HasField (Proxy (Ch_tl_BlockL_Cons, [Block])) sc r1, HasField (Proxy (Ch_hd_BlockL_Cons, Block)) sc r, HasField (Proxy Att_html) r [a], HasField (Proxy Att_html) r1 [a], HasField (Proxy (Ch_inlines_boldInl, [Inline])) sc1 r2, HasField (Proxy Att_html) r2 [Char], HasField (Proxy (Ch_blocks, [Block])) sc2 r3, HasField (Proxy Att_html) r3 a1, HasField (Proxy (Ch_inlines_header, [Inline])) scr r4, HasField (Proxy Att_html) r4 [Char], HasField (Proxy (Ch_tl_InlineL_Cons, [Inline])) sc3 r6, HasField (Proxy (Ch_hd_InlineL_Cons, Inline)) sc3 r5, HasField (Proxy Att_html) r5 [a2], HasField (Proxy Att_html) r6 [a2], HasField (Proxy (Ch_inlines_italInl, [Inline])) sc4 r7, HasField (Proxy Att_html) r7 [Char], HasField (Proxy (Ch_inlines_par, [Inline])) sc5 r8, HasField (Proxy Att_html) r8 [Char], Kn (HCons (LVPair (Proxy (Ch_hd_BlockL_Cons, Block)) _hd_BlockL_Cons) (HCons (LVPair (Proxy (Ch_tl_BlockL_Cons, BlockL)) _tl_BlockL_Cons) HNil)) (HCons (Chi (Proxy (Ch_hd_BlockL_Cons, Block)) (Record HNil)) (HCons (Chi (Proxy (Ch_tl_BlockL_Cons, BlockL)) (Record HNil)) HNil)) sc, Kn (HCons (LVPair (Proxy (Ch_inlines_boldInl, InlineL)) _inlines_boldInl) HNil) (HCons (Chi (Proxy (Ch_inlines_boldInl, InlineL)) (Record HNil)) HNil) sc1, Kn (HCons (LVPair (Proxy (Ch_blocks, BlockL)) _blocks) HNil) (HCons (Chi (Proxy (Ch_blocks, BlockL)) (Record HNil)) HNil) sc2, Kn (HCons (LVPair (Proxy (Ch_inlines_header, InlineL)) _inlines_header) HNil) (HCons (Chi (Proxy (Ch_inlines_header, InlineL)) (Record HNil)) HNil) scr, Kn (HCons (LVPair (Proxy (Ch_hd_InlineL_Cons, Inline)) _hd_InlineL_Cons) (HCons (LVPair (Proxy (Ch_tl_InlineL_Cons, InlineL)) _tl_InlineL_Cons) HNil)) (HCons (Chi (Proxy (Ch_hd_InlineL_Cons, Inline)) (Record HNil)) (HCons (Chi (Proxy (Ch_tl_InlineL_Cons, InlineL)) (Record HNil)) HNil)) sc3, Kn (HCons (LVPair (Proxy (Ch_inlines_italInl, InlineL)) _inlines_italInl) HNil) (HCons (Chi (Proxy (Ch_inlines_italInl, InlineL)) (Record HNil)) HNil) sc4, Kn (HCons (LVPair (Proxy (Ch_inlines_par, InlineL)) _inlines_par) HNil) (HCons (Chi (Proxy (Ch_inlines_par, InlineL)) (Record HNil)) HNil) sc5) => DocSF (ip -> Record (HCons (LVPair (Proxy Att_html) [a]) HNil)) _hd_BlockL_Cons _tl_BlockL_Cons (ip1 -> Record (HCons (LVPair (Proxy Att_html) [Char]) HNil)) (ip2 -> Record (HCons (LVPair (Proxy Att_html) [Char]) HNil)) _inlines_boldInl (ip3 -> Record (HCons (LVPair (Proxy Att_html) a1) HNil)) _blocks (ip4 -> Record (HCons (LVPair (Proxy Att_html) [Char]) HNil)) _level_header _inlines_header (ip5 -> Record (HCons (LVPair (Proxy Att_html) [a2]) HNil)) _hd_InlineL_Cons _tl_InlineL_Cons (ip6 -> Record (HCons (LVPair (Proxy Att_html) [Char]) HNil)) (ip7 -> Record (HCons (LVPair (Proxy Att_html) [Char]) HNil)) _inlines_italInl (ip8 -> Record (HCons (LVPair (Proxy Att_html) [Char]) HNil)) _inlines_par (ip9 -> Record (HCons (LVPair (Proxy Att_html) _str_plainInl) HNil)) _str_plainInl

mkDoc' :: (HLeftUnion (Record (HCons (LVPair (Proxy (Ch_hd_BlockL_Cons, Block)) _hd_BlockL_Cons) (HCons (LVPair (Proxy (Ch_tl_BlockL_Cons, BlockL)) _tl_BlockL_Cons) HNil))) ho fc', HLeftUnion (Record HNil) ho1 fc'1, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_boldInl, InlineL)) _inlines_boldInl) HNil)) ho2 fc'2, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_blocks, BlockL)) _blocks) HNil)) ho3 fc'3, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_level_header, Int)) (Record HNil -> _level_header)) (HCons (LVPair (Proxy (Ch_inlines_header, InlineL)) _inlines_header) HNil))) ho4 fc'4, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_hd_InlineL_Cons, Inline)) _hd_InlineL_Cons) (HCons (LVPair (Proxy (Ch_tl_InlineL_Cons, InlineL)) _tl_InlineL_Cons) HNil))) ho5 fc'5, HLeftUnion (Record HNil) ho6 fc'6, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_italInl, InlineL)) _inlines_italInl) HNil)) ho7 fc'7, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_par, InlineL)) _inlines_par) HNil)) ho8 fc'8, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_str_plainInl, String)) (Record HNil -> _str_plainInl)) HNil)) ho9 fc'9, Kn fc' ic sc, Kn fc'1 ic1 sc1, Kn fc'2 ic2 sc2, Kn fc'3 ic3 sc3, Kn fc'4 ic4 sc4, Kn fc'5 ic5 sc5, Kn fc'6 ic6 sc6, Kn fc'7 ic7 sc7, Kn fc'8 ic8 sc8, Kn fc'9 ic9 sc9, Empties fc' ec, Empties fc'1 ec1, Empties fc'2 ec2, Empties fc'3 ec3, Empties fc'4 ec4, Empties fc'5 ec5, Empties fc'6 ec6, Empties fc'7 ec7, Empties fc'8 ec8, Empties fc'9 ec9) => Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp -> Rule l1 ho1 sc1 ip1 (Record HNil) (Record HNil) ec1 (Record HNil) l1 ho1 ic1 sp1 -> Rule l2 ho2 sc2 ip2 (Record HNil) (Record HNil) ec2 (Record HNil) l2 ho2 ic2 sp2 -> Rule l3 ho3 sc3 ip3 (Record HNil) (Record HNil) ec3 (Record HNil) l3 ho3 ic3 sp3 -> Rule l4 ho4 sc4 ip4 (Record HNil) (Record HNil) ec4 (Record HNil) l4 ho4 ic4 sp4 -> Rule l5 ho5 sc5 ip5 (Record HNil) (Record HNil) ec5 (Record HNil) l5 ho5 ic5 sp5 -> Rule l6 ho6 sc6 ip6 (Record HNil) (Record HNil) ec6 (Record HNil) l6 ho6 ic6 sp6 -> Rule l7 ho7 sc7 ip7 (Record HNil) (Record HNil) ec7 (Record HNil) l7 ho7 ic7 sp7 -> Rule l8 ho8 sc8 ip8 (Record HNil) (Record HNil) ec8 (Record HNil) l8 ho8 ic8 sp8 -> Rule l9 ho9 sc9 ip9 (Record HNil) (Record HNil) ec9 (Record HNil) l9 ho9 ic9 sp9 -> DocSF (ip -> sp) _hd_BlockL_Cons _tl_BlockL_Cons (ip1 -> sp1) (ip2 -> sp2) _inlines_boldInl (ip3 -> sp3) _blocks (ip4 -> sp4) _level_header _inlines_header (ip5 -> sp5) _hd_InlineL_Cons _tl_InlineL_Cons (ip6 -> sp6) (ip7 -> sp7) _inlines_italInl (ip8 -> sp8) _inlines_par (ip9 -> sp9) _str_plainInl