Document.Decl

Documentation

data Document

Constructors

Document

Fields

blocks :: BlockL

Instances

Show Document

type BlockL = [Block]

data Block

Constructors

Header

Fields

level_header :: Int

inlines_header :: InlineL

Paragraph

Fields

inlines_par :: InlineL

Instances

Show Block

type InlineL = [Inline]

data Inline

Constructors

Plain

Fields

str_plainInl :: String

Bold

Fields

inlines_boldInl :: InlineL

Italics

Fields

inlines_italInl :: InlineL

Instances

Show Inline

data P_Document

data Ch_blocks

data P_BlockL_Cons

data Ch_hd_BlockL_Cons

data Ch_tl_BlockL_Cons

data P_Paragraph

data Ch_inlines_par

data P_Header

data Ch_level_header

data Ch_inlines_header

data P_InlineL_Cons

data Ch_hd_InlineL_Cons

data Ch_tl_InlineL_Cons

data P_Italics

data Ch_inlines_italInl

data P_Bold

data Ch_inlines_boldInl

data P_Plain

data Ch_str_plainInl

data P_InlineL_Nil

data P_BlockL_Nil

p_BlockL_Nil :: Proxy P_BlockL_Nil

p_InlineL_Nil :: Proxy P_InlineL_Nil

ch_str_plainInl :: Proxy ((,) Ch_str_plainInl String)

p_Plain :: Proxy P_Plain

ch_inlines_boldInl :: Proxy ((,) Ch_inlines_boldInl InlineL)

p_Bold :: Proxy P_Bold

ch_inlines_italInl :: Proxy ((,) Ch_inlines_italInl InlineL)

p_Italics :: Proxy P_Italics

nt_Inline :: Proxy Inline

ch_tl_InlineL_Cons :: Proxy ((,) Ch_tl_InlineL_Cons InlineL)

ch_hd_InlineL_Cons :: Proxy ((,) Ch_hd_InlineL_Cons Inline)

p_InlineL_Cons :: Proxy P_InlineL_Cons

nt_InlineL :: Proxy InlineL

ch_inlines_header :: Proxy ((,) Ch_inlines_header InlineL)

ch_level_header :: Proxy ((,) Ch_level_header Int)

p_Header :: Proxy P_Header

ch_inlines_par :: Proxy ((,) Ch_inlines_par InlineL)

p_Paragraph :: Proxy P_Paragraph

nt_Block :: Proxy Block

ch_tl_BlockL_Cons :: Proxy ((,) Ch_tl_BlockL_Cons BlockL)

ch_hd_BlockL_Cons :: Proxy ((,) Ch_hd_BlockL_Cons Block)

p_BlockL_Cons :: Proxy P_BlockL_Cons

nt_BlockL :: Proxy BlockL

ch_blocks :: Proxy ((,) Ch_blocks BlockL)

p_Document :: Proxy P_Document

nt_Document :: Proxy Document

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 -> sp

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 -> sp

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 -> sp

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 -> sp

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 -> sp

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 -> sp

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 -> sp

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 -> sp1

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 -> sp

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 -> sp

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 -> sp

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 -> sp

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 -> sp

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 -> sp

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 -> sp

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

Constructors

DocSF

Fields

pBlockL_Cons :: _hd_BlockL_Cons -> _tl_BlockL_Cons -> _BlockL_Cons

pBlockL_Nil :: _BlockL_Nil

pBold :: _inlines_boldInl -> _Bold

pDocument :: _blocks -> _Document

pHeader :: _level_header -> _inlines_header -> _Header

pInlineL_Cons :: _hd_InlineL_Cons -> _tl_InlineL_Cons -> _InlineL_Cons

pInlineL_Nil :: _InlineL_Nil

pItalics :: _inlines_italInl -> _Italics

pParagraph :: _inlines_par -> _Paragraph

pPlain :: _str_plainInl -> _Plain

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_plainInl

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 String