Documentation

data Document Source

type BlockL = [Block]Source

data Block Source

type InlineL = [Inline]Source

data Inline Source

data P_Document Source

data Ch_blocks Source

data P_BlockL_Cons Source

data Ch_hd_BlockL_Cons Source

data Ch_tl_BlockL_Cons Source

data P_Paragraph Source

data Ch_inlines_par Source

data P_Header Source

data Ch_level_header Source

data Ch_inlines_header Source

data P_InlineL_Cons Source

data Ch_hd_InlineL_Cons Source

data Ch_tl_InlineL_Cons Source

data P_Italics Source

data Ch_inlines_italInl Source

data P_Bold Source

data Ch_inlines_boldInl Source

data P_Plain Source

data Ch_str_plainInl Source

data P_InlineL_Nil Source

data P_BlockL_Nil Source

p_BlockL_Nil :: Proxy P_BlockL_NilSource

p_InlineL_Nil :: Proxy P_InlineL_NilSource

ch_str_plainInl :: Proxy ((,) Ch_str_plainInl String)Source

p_Plain :: Proxy P_PlainSource

ch_inlines_boldInl :: Proxy ((,) Ch_inlines_boldInl InlineL)Source

p_Bold :: Proxy P_BoldSource

ch_inlines_italInl :: Proxy ((,) Ch_inlines_italInl InlineL)Source

p_Italics :: Proxy P_ItalicsSource

nt_Inline :: Proxy InlineSource

ch_tl_InlineL_Cons :: Proxy ((,) Ch_tl_InlineL_Cons InlineL)Source

ch_hd_InlineL_Cons :: Proxy ((,) Ch_hd_InlineL_Cons Inline)Source

p_InlineL_Cons :: Proxy P_InlineL_ConsSource

nt_InlineL :: Proxy InlineLSource

ch_inlines_header :: Proxy ((,) Ch_inlines_header InlineL)Source

ch_level_header :: Proxy ((,) Ch_level_header Int)Source

p_Header :: Proxy P_HeaderSource

ch_inlines_par :: Proxy ((,) Ch_inlines_par InlineL)Source

p_Paragraph :: Proxy P_ParagraphSource

nt_Block :: Proxy BlockSource

ch_tl_BlockL_Cons :: Proxy ((,) Ch_tl_BlockL_Cons BlockL)Source

ch_hd_BlockL_Cons :: Proxy ((,) Ch_hd_BlockL_Cons Block)Source

p_BlockL_Cons :: Proxy P_BlockL_ConsSource

nt_BlockL :: Proxy BlockLSource

ch_blocks :: Proxy ((,) Ch_blocks BlockL)Source

p_Document :: Proxy P_DocumentSource

nt_Document :: Proxy DocumentSource

semP_BlockL_Nil :: (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

semP_InlineL_Nil :: (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

semP_Plain :: (HLeftUnion (Record (HCons (LVPair (Proxy (Ch_str_plainInl, String)) v) 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 -> v -> ip -> spSource

semP_Bold :: (HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_boldInl, InlineL)) v) 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 -> v -> ip -> spSource

semP_Italics :: (HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_italInl, InlineL)) v) 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 -> v -> ip -> spSource

semP_InlineL_Cons :: (HEq (Proxy (Ch_hd_InlineL_Cons, Inline)) (Proxy (Ch_tl_InlineL_Cons, InlineL)) leq, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_hd_InlineL_Cons, Inline)) v) (HCons (LVPair (Proxy (Ch_tl_InlineL_Cons, InlineL)) v1) HNil))) ho fc', HRLabelSet' (Proxy (Ch_hd_InlineL_Cons, Inline)) v (Proxy (Ch_tl_InlineL_Cons, InlineL)) v1 leq HNil, Kn fc' ic sc, Empties fc' ec) => Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp -> v -> v1 -> ip -> spSource

sem_InlineL :: (HEq (Proxy (Ch_hd_InlineL_Cons, Inline)) (Proxy (Ch_tl_InlineL_Cons, InlineL)) leq, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_hd_InlineL_Cons, Inline)) (ip1 -> sp1)) (HCons (LVPair (Proxy (Ch_tl_InlineL_Cons, InlineL)) (ip -> sp)) HNil))) ho fc', HLeftUnion (Record HNil) ho1 fc'1, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_italInl, InlineL)) (ip -> sp)) HNil)) ho2 fc'2, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_boldInl, InlineL)) (ip -> sp)) HNil)) ho3 fc'3, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_str_plainInl, String)) (Record HNil -> String)) HNil)) ho4 fc'4, HasField (Proxy P_InlineL_Cons) r (Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp), HasField (Proxy P_InlineL_Nil) r (Rule l1 ho1 sc1 ip (Record HNil) (Record HNil) ec1 (Record HNil) l1 ho1 ic1 sp), HasField (Proxy P_Italics) r (Rule l2 ho2 sc2 ip1 (Record HNil) (Record HNil) ec2 (Record HNil) l2 ho2 ic2 sp1), HasField (Proxy P_Bold) r (Rule l3 ho3 sc3 ip1 (Record HNil) (Record HNil) ec3 (Record HNil) l3 ho3 ic3 sp1), HasField (Proxy P_Plain) r (Rule l4 ho4 sc4 ip1 (Record HNil) (Record HNil) ec4 (Record HNil) l4 ho4 ic4 sp1), HRLabelSet' (Proxy (Ch_hd_InlineL_Cons, Inline)) (ip1 -> sp1) (Proxy (Ch_tl_InlineL_Cons, InlineL)) (ip -> sp) leq HNil, Kn fc' ic sc, Kn fc'1 ic1 sc1, Kn fc'2 ic2 sc2, Kn fc'3 ic3 sc3, Kn fc'4 ic4 sc4, Empties fc' ec, Empties fc'1 ec1, Empties fc'2 ec2, Empties fc'3 ec3, Empties fc'4 ec4) => r -> [Inline] -> ip -> spSource

sem_Inline :: (HEq (Proxy (Ch_hd_InlineL_Cons, Inline)) (Proxy (Ch_tl_InlineL_Cons, InlineL)) leq, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_hd_InlineL_Cons, Inline)) (ip1 -> sp1)) (HCons (LVPair (Proxy (Ch_tl_InlineL_Cons, InlineL)) (ip -> sp)) HNil))) ho fc', HLeftUnion (Record HNil) ho1 fc'1, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_italInl, InlineL)) (ip -> sp)) HNil)) ho2 fc'2, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_boldInl, InlineL)) (ip -> sp)) HNil)) ho3 fc'3, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_str_plainInl, String)) (Record HNil -> String)) HNil)) ho4 fc'4, HasField (Proxy P_InlineL_Cons) r (Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp), HasField (Proxy P_InlineL_Nil) r (Rule l1 ho1 sc1 ip (Record HNil) (Record HNil) ec1 (Record HNil) l1 ho1 ic1 sp), HasField (Proxy P_Italics) r (Rule l2 ho2 sc2 ip1 (Record HNil) (Record HNil) ec2 (Record HNil) l2 ho2 ic2 sp1), HasField (Proxy P_Bold) r (Rule l3 ho3 sc3 ip1 (Record HNil) (Record HNil) ec3 (Record HNil) l3 ho3 ic3 sp1), HasField (Proxy P_Plain) r (Rule l4 ho4 sc4 ip1 (Record HNil) (Record HNil) ec4 (Record HNil) l4 ho4 ic4 sp1), HRLabelSet' (Proxy (Ch_hd_InlineL_Cons, Inline)) (ip1 -> sp1) (Proxy (Ch_tl_InlineL_Cons, InlineL)) (ip -> sp) leq HNil, Kn fc' ic sc, Kn fc'1 ic1 sc1, Kn fc'2 ic2 sc2, Kn fc'3 ic3 sc3, Kn fc'4 ic4 sc4, Empties fc' ec, Empties fc'1 ec1, Empties fc'2 ec2, Empties fc'3 ec3, Empties fc'4 ec4) => r -> Inline -> ip1 -> sp1Source

semP_Header :: (HEq (Proxy (Ch_level_header, Int)) (Proxy (Ch_inlines_header, InlineL)) leq, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_level_header, Int)) v) (HCons (LVPair (Proxy (Ch_inlines_header, InlineL)) v1) HNil))) ho fc', HRLabelSet' (Proxy (Ch_level_header, Int)) v (Proxy (Ch_inlines_header, InlineL)) v1 leq HNil, Kn fc' ic sc, Empties fc' ec) => Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp -> v -> v1 -> ip -> spSource

semP_Paragraph :: (HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_par, InlineL)) v) 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 -> v -> ip -> spSource

sem_Block :: (HEq (Proxy (Ch_hd_InlineL_Cons, Inline)) (Proxy (Ch_tl_InlineL_Cons, InlineL)) leq1, HEq (Proxy (Ch_level_header, Int)) (Proxy (Ch_inlines_header, InlineL)) leq, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_par, InlineL)) (ip1 -> sp1)) HNil)) ho fc', HLeftUnion (Record (HCons (LVPair (Proxy (Ch_hd_InlineL_Cons, Inline)) (ip2 -> sp2)) (HCons (LVPair (Proxy (Ch_tl_InlineL_Cons, InlineL)) (ip1 -> sp1)) HNil))) ho1 fc'1, HLeftUnion (Record HNil) ho2 fc'2, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_italInl, InlineL)) (ip1 -> sp1)) HNil)) ho3 fc'3, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_boldInl, InlineL)) (ip1 -> sp1)) HNil)) ho4 fc'4, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_str_plainInl, String)) (Record HNil -> String)) HNil)) ho5 fc'5, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_level_header, Int)) (Record HNil -> Int)) (HCons (LVPair (Proxy (Ch_inlines_header, InlineL)) (ip1 -> sp1)) HNil))) ho6 fc'6, HasField (Proxy P_Paragraph) r (Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp), HasField (Proxy P_InlineL_Cons) r (Rule l1 ho1 sc1 ip1 (Record HNil) (Record HNil) ec1 (Record HNil) l1 ho1 ic1 sp1), HasField (Proxy P_InlineL_Nil) r (Rule l2 ho2 sc2 ip1 (Record HNil) (Record HNil) ec2 (Record HNil) l2 ho2 ic2 sp1), HasField (Proxy P_Italics) r (Rule l3 ho3 sc3 ip2 (Record HNil) (Record HNil) ec3 (Record HNil) l3 ho3 ic3 sp2), HasField (Proxy P_Bold) r (Rule l4 ho4 sc4 ip2 (Record HNil) (Record HNil) ec4 (Record HNil) l4 ho4 ic4 sp2), HasField (Proxy P_Plain) r (Rule l5 ho5 sc5 ip2 (Record HNil) (Record HNil) ec5 (Record HNil) l5 ho5 ic5 sp2), HasField (Proxy P_Header) r (Rule l6 ho6 sc6 ip (Record HNil) (Record HNil) ec6 (Record HNil) l6 ho6 ic6 sp), HRLabelSet' (Proxy (Ch_hd_InlineL_Cons, Inline)) (ip2 -> sp2) (Proxy (Ch_tl_InlineL_Cons, InlineL)) (ip1 -> sp1) leq1 HNil, HRLabelSet' (Proxy (Ch_level_header, Int)) (Record HNil -> Int) (Proxy (Ch_inlines_header, InlineL)) (ip1 -> sp1) leq HNil, 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, 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) => r -> Block -> ip -> spSource

semP_BlockL_Cons :: (HEq (Proxy (Ch_hd_BlockL_Cons, Block)) (Proxy (Ch_tl_BlockL_Cons, BlockL)) leq, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_hd_BlockL_Cons, Block)) v) (HCons (LVPair (Proxy (Ch_tl_BlockL_Cons, BlockL)) v1) HNil))) ho fc', HRLabelSet' (Proxy (Ch_hd_BlockL_Cons, Block)) v (Proxy (Ch_tl_BlockL_Cons, BlockL)) v1 leq HNil, Kn fc' ic sc, Empties fc' ec) => Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp -> v -> v1 -> ip -> spSource

sem_BlockL :: (HEq (Proxy (Ch_hd_InlineL_Cons, Inline)) (Proxy (Ch_tl_InlineL_Cons, InlineL)) leq2, HEq (Proxy (Ch_level_header, Int)) (Proxy (Ch_inlines_header, InlineL)) leq1, HEq (Proxy (Ch_hd_BlockL_Cons, Block)) (Proxy (Ch_tl_BlockL_Cons, BlockL)) leq, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_par, InlineL)) (ip2 -> sp2)) HNil)) ho1 fc'1, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_hd_InlineL_Cons, Inline)) (ip3 -> sp3)) (HCons (LVPair (Proxy (Ch_tl_InlineL_Cons, InlineL)) (ip2 -> sp2)) HNil))) ho2 fc'2, HLeftUnion (Record HNil) ho3 fc'3, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_italInl, InlineL)) (ip2 -> sp2)) HNil)) ho4 fc'4, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_boldInl, InlineL)) (ip2 -> sp2)) HNil)) ho5 fc'5, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_str_plainInl, String)) (Record HNil -> String)) HNil)) ho6 fc'6, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_level_header, Int)) (Record HNil -> Int)) (HCons (LVPair (Proxy (Ch_inlines_header, InlineL)) (ip2 -> sp2)) HNil))) ho7 fc'7, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_hd_BlockL_Cons, Block)) (ip1 -> sp1)) (HCons (LVPair (Proxy (Ch_tl_BlockL_Cons, BlockL)) (ip -> sp)) HNil))) ho fc', HLeftUnion (Record HNil) ho8 fc'8, HasField (Proxy P_BlockL_Cons) r (Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp), HasField (Proxy P_Paragraph) r (Rule l1 ho1 sc1 ip1 (Record HNil) (Record HNil) ec1 (Record HNil) l1 ho1 ic1 sp1), HasField (Proxy P_InlineL_Cons) r (Rule l2 ho2 sc2 ip2 (Record HNil) (Record HNil) ec2 (Record HNil) l2 ho2 ic2 sp2), HasField (Proxy P_InlineL_Nil) r (Rule l3 ho3 sc3 ip2 (Record HNil) (Record HNil) ec3 (Record HNil) l3 ho3 ic3 sp2), HasField (Proxy P_Italics) r (Rule l4 ho4 sc4 ip3 (Record HNil) (Record HNil) ec4 (Record HNil) l4 ho4 ic4 sp3), HasField (Proxy P_Bold) r (Rule l5 ho5 sc5 ip3 (Record HNil) (Record HNil) ec5 (Record HNil) l5 ho5 ic5 sp3), HasField (Proxy P_Plain) r (Rule l6 ho6 sc6 ip3 (Record HNil) (Record HNil) ec6 (Record HNil) l6 ho6 ic6 sp3), HasField (Proxy P_Header) r (Rule l7 ho7 sc7 ip1 (Record HNil) (Record HNil) ec7 (Record HNil) l7 ho7 ic7 sp1), HasField (Proxy P_BlockL_Nil) r (Rule l8 ho8 sc8 ip (Record HNil) (Record HNil) ec8 (Record HNil) l8 ho8 ic8 sp), HRLabelSet' (Proxy (Ch_hd_InlineL_Cons, Inline)) (ip3 -> sp3) (Proxy (Ch_tl_InlineL_Cons, InlineL)) (ip2 -> sp2) leq2 HNil, HRLabelSet' (Proxy (Ch_level_header, Int)) (Record HNil -> Int) (Proxy (Ch_inlines_header, InlineL)) (ip2 -> sp2) leq1 HNil, HRLabelSet' (Proxy (Ch_hd_BlockL_Cons, Block)) (ip1 -> sp1) (Proxy (Ch_tl_BlockL_Cons, BlockL)) (ip -> sp) leq HNil, 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, 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) => r -> [Block] -> ip -> spSource

semP_Document :: (HLeftUnion (Record (HCons (LVPair (Proxy (Ch_blocks, BlockL)) v) 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 -> v -> ip -> spSource

sem_Document :: (HEq (Proxy (Ch_hd_InlineL_Cons, Inline)) (Proxy (Ch_tl_InlineL_Cons, InlineL)) leq2, HEq (Proxy (Ch_level_header, Int)) (Proxy (Ch_inlines_header, InlineL)) leq1, HEq (Proxy (Ch_hd_BlockL_Cons, Block)) (Proxy (Ch_tl_BlockL_Cons, BlockL)) leq, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_blocks, BlockL)) (ip1 -> sp1)) HNil)) ho fc', HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_par, InlineL)) (ip3 -> sp3)) HNil)) ho2 fc'2, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_hd_InlineL_Cons, Inline)) (ip4 -> sp4)) (HCons (LVPair (Proxy (Ch_tl_InlineL_Cons, InlineL)) (ip3 -> sp3)) HNil))) ho3 fc'3, HLeftUnion (Record HNil) ho4 fc'4, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_italInl, InlineL)) (ip3 -> sp3)) HNil)) ho5 fc'5, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_inlines_boldInl, InlineL)) (ip3 -> sp3)) HNil)) ho6 fc'6, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_str_plainInl, String)) (Record HNil -> String)) HNil)) ho7 fc'7, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_level_header, Int)) (Record HNil -> Int)) (HCons (LVPair (Proxy (Ch_inlines_header, InlineL)) (ip3 -> sp3)) HNil))) ho8 fc'8, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_hd_BlockL_Cons, Block)) (ip2 -> sp2)) (HCons (LVPair (Proxy (Ch_tl_BlockL_Cons, BlockL)) (ip1 -> sp1)) HNil))) ho1 fc'1, HLeftUnion (Record HNil) ho9 fc'9, HasField (Proxy P_Document) r (Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp), HasField (Proxy P_BlockL_Cons) r (Rule l1 ho1 sc1 ip1 (Record HNil) (Record HNil) ec1 (Record HNil) l1 ho1 ic1 sp1), HasField (Proxy P_Paragraph) r (Rule l2 ho2 sc2 ip2 (Record HNil) (Record HNil) ec2 (Record HNil) l2 ho2 ic2 sp2), HasField (Proxy P_InlineL_Cons) r (Rule l3 ho3 sc3 ip3 (Record HNil) (Record HNil) ec3 (Record HNil) l3 ho3 ic3 sp3), HasField (Proxy P_InlineL_Nil) r (Rule l4 ho4 sc4 ip3 (Record HNil) (Record HNil) ec4 (Record HNil) l4 ho4 ic4 sp3), HasField (Proxy P_Italics) r (Rule l5 ho5 sc5 ip4 (Record HNil) (Record HNil) ec5 (Record HNil) l5 ho5 ic5 sp4), HasField (Proxy P_Bold) r (Rule l6 ho6 sc6 ip4 (Record HNil) (Record HNil) ec6 (Record HNil) l6 ho6 ic6 sp4), HasField (Proxy P_Plain) r (Rule l7 ho7 sc7 ip4 (Record HNil) (Record HNil) ec7 (Record HNil) l7 ho7 ic7 sp4), HasField (Proxy P_Header) r (Rule l8 ho8 sc8 ip2 (Record HNil) (Record HNil) ec8 (Record HNil) l8 ho8 ic8 sp2), HasField (Proxy P_BlockL_Nil) r (Rule l9 ho9 sc9 ip1 (Record HNil) (Record HNil) ec9 (Record HNil) l9 ho9 ic9 sp1), HRLabelSet' (Proxy (Ch_hd_InlineL_Cons, Inline)) (ip4 -> sp4) (Proxy (Ch_tl_InlineL_Cons, InlineL)) (ip3 -> sp3) leq2 HNil, HRLabelSet' (Proxy (Ch_level_header, Int)) (Record HNil -> Int) (Proxy (Ch_inlines_header, InlineL)) (ip3 -> sp3) leq1 HNil, HRLabelSet' (Proxy (Ch_hd_BlockL_Cons, Block)) (ip2 -> sp2) (Proxy (Ch_tl_BlockL_Cons, BlockL)) (ip1 -> sp1) leq HNil, 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) => r -> Document -> ip -> spSource

data DocSF _BlockL_Cons _hd_BlockL_Cons _tl_BlockL_Cons _BlockL_Nil _Bold _inlines_boldInl _Document _blocks _Header _level_header _inlines_header _InlineL_Cons _hd_InlineL_Cons _tl_InlineL_Cons _InlineL_Nil _Italics _inlines_italInl _Paragraph _inlines_par _Plain _str_plainInl Source

mkDoc :: (HEq (Proxy (Ch_hd_BlockL_Cons, Block)) (Proxy (Ch_tl_BlockL_Cons, BlockL)) leq, HEq (Proxy (Ch_level_header, Int)) (Proxy (Ch_inlines_header, InlineL)) leq1, HEq (Proxy (Ch_hd_InlineL_Cons, Inline)) (Proxy (Ch_tl_InlineL_Cons, InlineL)) leq2, 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)) _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)) _str_plainInl) HNil)) ho9 fc'9, HRLabelSet' (Proxy (Ch_hd_BlockL_Cons, Block)) _hd_BlockL_Cons (Proxy (Ch_tl_BlockL_Cons, BlockL)) _tl_BlockL_Cons leq HNil, HRLabelSet' (Proxy (Ch_level_header, Int)) _level_header (Proxy (Ch_inlines_header, InlineL)) _inlines_header leq1 HNil, HRLabelSet' (Proxy (Ch_hd_InlineL_Cons, Inline)) _hd_InlineL_Cons (Proxy (Ch_tl_InlineL_Cons, InlineL)) _tl_InlineL_Cons leq2 HNil, 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_plainInlSource

semAst :: DocSF [_hd_BlockL_Cons] _hd_BlockL_Cons [_hd_BlockL_Cons] [a] Inline InlineL Document BlockL Block Int InlineL [_hd_InlineL_Cons] _hd_InlineL_Cons [_hd_InlineL_Cons] [a1] Inline InlineL Block InlineL Inline StringSource