hydra.dsl.jvm.serde module

DSL functions for hydra.jvm.serde.

hydra.dsl.jvm.serde.escape_java_char(arg0: TypedTerm[int]) → TypedTerm[str]

DSL reference to hydra.jvm.serde.escapeJavaChar.

hydra.dsl.jvm.serde.escape_java_string(arg0: TypedTerm[str]) → TypedTerm[str]

DSL reference to hydra.jvm.serde.escapeJavaString.

hydra.dsl.jvm.serde.hex_digit(arg0: TypedTerm[int]) → TypedTerm[int]

DSL reference to hydra.jvm.serde.hexDigit.

hydra.dsl.jvm.serde.java_unicode_escape(arg0: TypedTerm[int]) → TypedTerm[str]

DSL reference to hydra.jvm.serde.javaUnicodeEscape.

hydra.dsl.jvm.serde.pad_hex4(arg0: TypedTerm[int]) → TypedTerm[str]

DSL reference to hydra.jvm.serde.padHex4.