Refactor alfa-selector

.changeset/lemon-rabbits-appear.md

@@ -0,0 +1,7 @@
+---
+"@siteimprove/alfa-selector": minor
+---
+
+**Breaking:** The type guards on selectors are now under the namespace of the same name.
+
+That is, use `Compound.isCompound` instead of `Selector.isCompound`, …

.changeset/metal-pandas-end.md

@@ -0,0 +1,7 @@
+---
+"@siteimprove/alfa-selector": minor
+---
+
+**Breaking:** `Compound` selectors are now built on top of Iterable, rather than re-inventing chained lists.
+
+That is, `Compound#left` and `Compound#right` are no more available, but `Compound.selectors` replaces them.

.changeset/moody-kings-nail.md

@@ -0,0 +1,7 @@
+---
+"@siteimprove/alfa-selector": minor
+---
+
+**Breaking:** The various kinds of selectors are now directly exported from the package, out of the `Selector` namespace.
+
+That is, use `Id` instead of `Selector.Id`, … (or `import * as Selector` and keep using `Selector.Id`).

.changeset/tidy-cars-own.md

@@ -0,0 +1,7 @@
+---
+"@siteimprove/alfa-css": minor
+---
+
+**Added:** `Function.parse` now also accepts a `Thunk` as body parser.
+
+This notably allows to build recursive parsers by wrapping them in continuation.

.changeset/twenty-seahorses-try.md

@@ -0,0 +1,7 @@
+---
+"@siteimprove/alfa-selector": minor
+---
+
+**Breaking:** `List` selectors are now built on top of Iterable, rather than re-inventing chained lists.
+
+That is, `List#left` and `List#right` are no more available, but `List.selectors` replaces them.

docs/review/api/alfa-css.api.md

@@ -20,6 +20,7 @@ import { Record as Record_2 } from '@siteimprove/alfa-record';
 import { Result } from '@siteimprove/alfa-result';
 import { Serializable } from '@siteimprove/alfa-json';
 import { Slice } from '@siteimprove/alfa-slice';
+import { Thunk } from '@siteimprove/alfa-thunk';
 
 // @public (undocumented)
 export type Angle<U extends Unit.Angle = Unit.Angle> = Angle.Calculated | Angle.Fixed<U>;
@@ -539,7 +540,7 @@ namespace Function_2 {
     const // (undocumented)
     consume: Parser<Function_2>;
     const // (undocumented)
-    parse: <T>(query?: string | Predicate<Token.Function>, body?: Parser<T> | undefined) => Parser_2<Slice<Token>, readonly [Function_2, T], string, []>;
+    parse: <T>(query?: string | Predicate<Token.Function>, body?: Parser<T> | Thunk<Parser<T>> | undefined) => Parser_2<Slice<Token>, readonly [Function_2, T], string, []>;
 }
 export { Function_2 as Function }