reiterate on mandatory headings in sections

This commit is contained in:
Valentin Gagarin 2024-11-13 15:24:41 +01:00 committed by Valentin Gagarin
parent 661158223a
commit 95f7e5e162

View file

@ -369,7 +369,7 @@ let
process-with-depth = depth: content: process-with-depth = depth: content:
map map
(x: (x:
if isAttrs x && x ? section && x.section ? heading if isAttrs x && x ? section
then x // { then x // {
section = x.section // { section = x.section // {
heading-level = depth; heading-level = depth;
@ -383,7 +383,7 @@ let
find-with-depth = depth: content: find-with-depth = depth: content:
let let
sections = map (v: { inherit (def) file; value = v; depth = depth; }) sections = map (v: { inherit (def) file; value = v; depth = depth; })
(filter (x: isAttrs x && x ? section && x.section ? heading) content); (filter (x: isAttrs x && x ? section) content);
subsections = concatMap subsections = concatMap
(x: (x:
if isAttrs x && x ? section && x.section ? content if isAttrs x && x ? section && x.section ? content
@ -441,29 +441,37 @@ let
type = with types; nullOr (submodule { options = global-attrs; }); type = with types; nullOr (submodule { options = global-attrs; });
default = null; default = null;
}; };
# TODO: make `pre-`/`post-heading` wrap the heading in `<hgroup>` if non-empty
# https://html.spec.whatwg.org/multipage/sections.html#the-hgroup-element
pre-heading = mkOption {
type = with types; listOf (attrTag ({ inherit p; } // categories.scripting));
default = [ ];
};
heading = mkOption { heading = mkOption {
# XXX: while there are no explicit rules on whether sections should contain headers,
# sections should have content that would be listed in an outline.
#
# https://html.spec.whatwg.org/multipage/sections.html#use-div-for-wrappers
#
# such an outline is rather meaningless without headings for navigation,
# which is why we enforce headings in sections.
# arguably, and this is encoded here, a section *is defined* by its heading.
type = with types; submodule ({ ... }: { type = with types; submodule ({ ... }: {
imports = [ element ]; imports = [ element ];
options = { options = {
attrs = mkAttrs { }; attrs = mkAttrs { };
# TODO: make `before`/`after` wrap the heading in `<hgroup>` if non-empty
# https://html.spec.whatwg.org/multipage/sections.html#the-hgroup-element
before = mkOption {
type = with types; listOf (attrTag ({ inherit p; } // categories.scripting));
default = [ ];
};
content = mkOption { content = mkOption {
# https://html.spec.whatwg.org/multipage/sections.html#the-h1,-h2,-h3,-h4,-h5,-and-h6-elements # https://html.spec.whatwg.org/multipage/sections.html#the-h1,-h2,-h3,-h4,-h5,-and-h6-elements
type = with types; either str (listOf (attrTag categories.phrasing)); type = with types; either str (listOf (attrTag categories.phrasing));
}; };
after = mkOption {
type = with types;
listOf (attrTag ({ inherit p; } // categories.scripting));
default = [ ];
};
}; };
}); });
}; };
post-heading = mkOption {
type = with types;
listOf (attrTag ({ inherit p; } // categories.scripting));
default = [ ];
};
# https://html.spec.whatwg.org/multipage/sections.html#headings-and-outlines # https://html.spec.whatwg.org/multipage/sections.html#headings-and-outlines
content = mkOption { content = mkOption {
type = with types; listOf (either str (attrTag categories.flow)); type = with types; listOf (either str (attrTag categories.flow));
@ -476,22 +484,24 @@ let
type = with types; ints.between 1 6; type = with types; ints.between 1 6;
internal = true; internal = true;
}; };
config.categories = [ "flow" "sectioning" "palpable" ]; config = {
config.__toString = self: with lib; categories = [ "flow" "sectioning" "palpable" ];
let __toString = self: with lib;
n = toString config.heading-level; let
content = n = toString config.heading-level;
"<h${n}${print-attrs self.heading.attrs}>${self.heading.content}</h${n}>" + join "\n" (map content = ''<h${n}${print-attrs self.heading.attrs}>${self.heading.content}</h${n}>
'' + join "\n" (map
(e: (e:
if isAttrs e if isAttrs e
then toString (lib.head (attrValues e)) then toString (lib.head (attrValues e))
else e else e
) )
self.content); self.content);
in in
if !isNull self.attrs if !isNull self.attrs
then print-element name self.attrs content then print-element name self.attrs content
else content; else content;
};
}; };
}; };
in in