hydra.decode.parsing module

Term decoders for hydra.parsing.

hydra.decode.parsing.parse_error(cx: Graph, raw: Term) → object

Decoder for hydra.parsing.ParseError.

hydra.decode.parsing.parse_result(a: Callable[[Graph, Term], object], cx: Graph, raw: Term) → object

Decoder for hydra.parsing.ParseResult.

hydra.decode.parsing.parse_success(a: Callable[[Graph, Term], object], cx: Graph, raw: Term) → object

Decoder for hydra.parsing.ParseSuccess.