`http_router_htmx`

Optional HTMX middleware helpers for router objects importing the http_router category.

| Availability: | logtalk_load(http_htmx(loader))

| Author: Paulo Moura | Version: 1:0:0 | Date: 2026-06-26

| Compilation flags: | static

| Uses: | :ref:`http_core <http_core/0>` | :ref:`http_htmx <http_htmx/0>` | :ref:`list <list/0>`

| Remarks: | (none)

| Inherited public predicates: | (none)

.. contents:: :local: :backlinks: top

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

.. index:: annotate_htmx_request/2 .. _http_router_htmx/0::annotate_htmx_request/2:

annotate_htmx_request/2 ^^^^^^^^^^^^^^^^^^^^^^^^^^^

Router middleware helper that annotates a normalized request with derived HTMX properties and continues the middleware chain.

| Compilation flags: | static

| Template: | annotate_htmx_request(Request,Action) | Mode and number of proofs: | annotate_htmx_request(+compound,-compound) - one_or_error

| Exceptions: | Request is not a valid normalized HTTP request term: | domain_error(http_request,Request) | The annotated request violates normalized HTTP request semantics: | domain_error(http_header_semantics,Header) | The annotated request properties violate normalized HTTP request semantics: | domain_error(http_property_semantics,Property)

.. index:: add_htmx_response_headers/3 .. _http_router_htmx/0::add_htmx_response_headers/3:

add_htmx_response_headers/3 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Router response-middleware helper that decorates a normalized response using htmx_response_options/1 request or response properties.

| Compilation flags: | static

| Template: | add_htmx_response_headers(Request,Response0,Response) | Mode and number of proofs: | add_htmx_response_headers(+compound,+compound,-compound) - one_or_error

| Exceptions: | Request is not a valid normalized HTTP request term: | domain_error(http_request,Request) | Response0 is not a valid normalized HTTP response term: | domain_error(http_response,Response0) | The derived HTMX response options are invalid: | domain_error(option,Option) | The decorated response violates normalized HTTP response semantics: | domain_error(http_header_semantics,Header)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)