brigid

A library for constructing type-safe and (mostly) spec-compliant HTML.

TODO (HTML)

1. For each of global, HTMX, event listeners, arias, and scoped attributes:
   1. Make constructors for Attribute GADT.
   2. Make render functions.
   3. Modify ValidElementsFor.
   4. Modify the attribute selector functions in HTML.Types.QuerySelector to take their appropriate types.
2. Add relevant type class instances (Bounded, Enum, Eq, Ord, Show, etc) and from/to text functions to applicable types.
3. Consider a contenteditable/inputmode dual attribute type for the Safe module.
4. Add safe builder functions for any HTML elements with complex conditions for its permitted content, such as what was done with Brigid.HTML.Elements.Safe.Table. Go through the entire list of elements again to determine what qualifies for this.
5. Add support for the SVG tag.
6. Add support for MathML.
7. Look into safely constructing Shadow DOM elements.
8. Consider Default type class that returns the default value for a given type or attribute.
9. Review common classes (Id, Class, Name, etc) and maybe make smart constructors that prevent users from creating them with invalid characters, rather than escaping them after the fact.
10. Consider writing Aeson instances and Fleece schemas for common types.

TODO (XML)

1. Add support for XML.
2. Add function to produce an XML WSDL from a provided Brigid XML structure?

TODO (HXML)

1. For each attribute:
   1. Make constructors for Attribute GADT.
   2. Make render functions.
   3. Modify ValidElementsFor.
2. Add safe builder functions for any HXML elements with complex conditions for its permitted content. Go through the entire list of elements again to determine what qualifies for this.
3. Consider Default type class that returns the default value for a given type or attribute.

Possible optimizations

1. Change all ToText and ToBytes functions to use builders? Export them for use in render, but not from Brigid.HTML.Types.