hydra.encode.parsing module

Term encoders for hydra.parsing.

hydra.encode.parsing.parse_error(x: ParseError) → Term

Encoder for hydra.parsing.ParseError.

hydra.encode.parsing.parse_result(a: Callable[[A], Term], v1: object) → Term

Encoder for hydra.parsing.ParseResult.

hydra.encode.parsing.parse_success(a: Callable[[A], Term], x: ParseSuccess[A]) → Term

Encoder for hydra.parsing.ParseSuccess.