hydra.dsl.parsing module

DSL functions for hydra.parsing.

hydra.dsl.parsing.decode_parse_result(a: TypedTerm[Callable[[Graph, Term], object]]) → TypedTerm[Callable[[Graph, Term], object]]

DSL composition builder for the decoder of hydra.parsing.ParseResult.

hydra.dsl.parsing.decode_parse_success(a: TypedTerm[Callable[[Graph, Term], object]]) → TypedTerm[Callable[[Graph, Term], object]]

DSL composition builder for the decoder of hydra.parsing.ParseSuccess.

hydra.dsl.parsing.decode_parser(a: TypedTerm[Callable[[Graph, Term], object]]) → TypedTerm[Callable[[Graph, Term], object]]

DSL composition builder for the decoder of hydra.parsing.Parser.

hydra.dsl.parsing.encode_parse_result(a: TypedTerm[Callable[[A], Term]]) → TypedTerm[Callable[[object], Term]]

DSL composition builder for the encoder of hydra.parsing.ParseResult.

hydra.dsl.parsing.encode_parse_success(a: TypedTerm[Callable[[A], Term]]) → TypedTerm[Callable[[ParseSuccess[A]], Term]]

DSL composition builder for the encoder of hydra.parsing.ParseSuccess.

hydra.dsl.parsing.encode_parser(a: TypedTerm[Callable[[A], Term]]) → TypedTerm[Callable[[Parser[A]], Term]]

DSL composition builder for the encoder of hydra.parsing.Parser.

hydra.dsl.parsing.parse_error(message: TypedTerm[str], remainder: TypedTerm[Sequence[int]]) → TypedTerm[ParseError]

DSL constructor for hydra.parsing.ParseError.

hydra.dsl.parsing.parse_error_message(x: TypedTerm[ParseError]) → TypedTerm[str]

DSL accessor for the message field of hydra.parsing.ParseError.

hydra.dsl.parsing.parse_error_remainder(x: TypedTerm[ParseError]) → TypedTerm[Sequence[int]]

DSL accessor for the remainder field of hydra.parsing.ParseError.

hydra.dsl.parsing.parse_error_with_message(original: TypedTerm[ParseError], new_val: TypedTerm[str]) → TypedTerm[ParseError]

DSL updater for the message field of hydra.parsing.ParseError.

hydra.dsl.parsing.parse_error_with_remainder(original: TypedTerm[ParseError], new_val: TypedTerm[Sequence[int]]) → TypedTerm[ParseError]

DSL updater for the remainder field of hydra.parsing.ParseError.

hydra.dsl.parsing.parse_result_failure(x: TypedTerm[ParseError]) → TypedTerm[object]

DSL injection for the failure variant of hydra.parsing.ParseResult.

hydra.dsl.parsing.parse_result_success(x: TypedTerm[ParseSuccess[A]]) → TypedTerm[object]

DSL injection for the success variant of hydra.parsing.ParseResult.

hydra.dsl.parsing.parse_success(value: TypedTerm[A], remainder: TypedTerm[Sequence[int]]) → TypedTerm[ParseSuccess[A]]

DSL constructor for hydra.parsing.ParseSuccess.

hydra.dsl.parsing.parse_success_remainder(x: TypedTerm[ParseSuccess[A]]) → TypedTerm[Sequence[int]]

DSL accessor for the remainder field of hydra.parsing.ParseSuccess.

hydra.dsl.parsing.parse_success_value(x: TypedTerm[ParseSuccess[A]]) → TypedTerm[A]

DSL accessor for the value field of hydra.parsing.ParseSuccess.

hydra.dsl.parsing.parse_success_with_remainder(original: TypedTerm[ParseSuccess[A]], new_val: TypedTerm[Sequence[int]]) → TypedTerm[ParseSuccess[A]]

DSL updater for the remainder field of hydra.parsing.ParseSuccess.

hydra.dsl.parsing.parse_success_with_value(original: TypedTerm[ParseSuccess[A]], new_val: TypedTerm[A]) → TypedTerm[ParseSuccess[A]]

DSL updater for the value field of hydra.parsing.ParseSuccess.

hydra.dsl.parsing.parser(x: TypedTerm[Callable[[Sequence[int]], object]]) → TypedTerm[Parser[A]]

DSL constructor for the hydra.parsing.Parser wrapper.

hydra.dsl.parsing.un_parser(x: TypedTerm[Parser[A]]) → TypedTerm[Callable[[Sequence[int]], object]]

DSL accessor for the body of hydra.parsing.Parser.