httk.serve.web.renderers.base

Define renderer inputs and outputs shared by content renderers.

Classes

WidgetPlacement

Describe a widget invocation replaced by a stable placeholder.

RenderResult

Carry rendered HTML, metadata, and widget placements.

Renderer

Define the source-renderer protocol.

Module Contents

class httk.serve.web.renderers.base.WidgetPlacement[source]

Describe a widget invocation replaced by a stable placeholder.

Parameters:
  • placeholder – Placeholder text inserted into rendered content.

  • name – Requested widget name.

  • props – Literal widget properties.

  • source_path – Source file containing the invocation.

  • line – One-based source line.

  • column – One-based source column.

  • snippet – Original invocation text.

placeholder: str[source]
name: str[source]
props: collections.abc.Mapping[str, object][source]
source_path: pathlib.Path[source]
line: int[source]
column: int[source]
snippet: str[source]
class httk.serve.web.renderers.base.RenderResult[source]

Carry rendered HTML, metadata, and widget placements.

Parameters:
  • html – Rendered HTML before templates are applied.

  • metadata – Source metadata.

  • widgets – Widget placements found in the source.

html: str[source]
metadata: dict[str, object][source]
widgets: tuple[WidgetPlacement, Ellipsis] = ()[source]
class httk.serve.web.renderers.base.Renderer[source]

Bases: Protocol

Define the source-renderer protocol.

render(source_path)[source]

Render a source file into HTML and metadata.