Document.Semantics.NumberedHeaders

Documentation

data Att_cHeaderNum

data Att_headerNum

headerNum :: Proxy Att_headerNum

cHeaderNum :: Proxy Att_cHeaderNum

updateHeaderNum :: Int -> [Int] -> [Int]

Computes the header number from the level and its parent header number.

formatNH :: [Int] -> String

Formats a header number, i.e. [3,1,4] becomes 3.1.4

cHeaderNum_NTs :: HCons (Proxy BlockL) (HCons (Proxy Block) HNil)

default_cHeaderNum :: (HasField (Proxy Att_cHeaderNum) ip val, Chain' msp (Proxy Att_cHeaderNum) (HCons (Proxy BlockL) (HCons (Proxy Block) HNil)) val sc l ho ic sp ic' sp', HasLabel (Proxy Att_cHeaderNum) sp msp) => Rule lf hof sc ip l ho ic sp l ho ic' sp'

document_cHeaderNum :: (SingleDef mch HTrue (Proxy Att_cHeaderNum) (Chi (Proxy (Ch_blocks, [Block])) [Int]) ic' ic'1, HasLabel (Proxy (Ch_blocks, [Block])) ic' mch) => Rule lf hof sc ip l ho ic' sp l ho ic'1 sp

header_cHeaderNum :: (HExtend (Att (Proxy Att_cHeaderNum) a) sp sp', HasField (Proxy Att_headerNum) lf a) => Rule lf ho chi par l ho1 ic sp l ho1 ic sp'

header_headerNum :: (HExtend (Att (Proxy Att_headerNum) [Int]) l1 l', HasField (Proxy (Ch_level_header, Int)) chi Int, HasField (Proxy Att_cHeaderNum) par [Int]) => Rule l ho chi par l1 ho1 ic sp l' ho1 ic sp