FHElium

Appearance

fhelium.ir._format ​

Human-readable presentation for mixed-level Programs.

ProgramFormatDetail ​

type alias View source

python
ProgramFormatDetail = Literal['summary', 'full']

format_program ​

function View source

python
def format_program(program: Program, *, detail: ProgramFormatDetail='summary', generic: bool=False, include_locations: bool=False) -> str: ...

Format a Program for reading rather than parsing or persistence.

JSON payloads stored in machine-oriented string attributes are rendered as nested attribute dictionaries and arrays. summary also omits duplicated module/material metadata; full includes every field. Use Program.to_text when output must round-trip through the parser.