hydra.print.core module
String representations of hydra.core types.
- hydra.print.core.case_statement(cs: CaseStatement) str
Show a case statement as a string.
- hydra.print.core.either(show_a: Callable[[T0], str], show_b: Callable[[T1], str], e: object) str
Show an Either value using given functions for left and right.
- hydra.print.core.float(fv: FloatValue) str
Show a float value as a string.
- hydra.print.core.integer(iv: IntegerValue) str
Show an integer value as a string.
- hydra.print.core.integer_type(it: IntegerType) str
Show an integer type as a string.
- hydra.print.core.list(f: Callable[[T0], str], xs: Sequence[T0]) str
Show a list using a given function to show each element.
- hydra.print.core.literal_type(lt: LiteralType) str
Show a literal type as a string.
- hydra.print.core.map(show_k: Callable[[T0], str], show_v: Callable[[T1], str], m: Mapping[T0, T1]) str
Show a map using given functions to show keys and values.
- hydra.print.core.optional(f: Callable[[T0], str], mx: object) str
Show an optional value using a given function to show the element.
- hydra.print.core.pair(show_a: Callable[[T0], str], show_b: Callable[[T1], str], p: tuple[T0, T1]) str
Show a pair using given functions to show each element.
- hydra.print.core.projection(proj: Projection) str
Show a projection as a string.
- hydra.print.core.read_term(s: str) object
A placeholder for reading terms from their serialized form. Not implemented.
- hydra.print.core.set(f: Callable[[T0], str], xs: Set[T0]) str
Show a set using a given function to show each element.
- hydra.print.core.type_scheme(ts: TypeScheme) str
Show a type scheme as a string.