hydra.dsl.lexical module

DSL functions for hydra.lexical.

hydra.dsl.lexical.build_graph(arg0: TypedTerm[Sequence[Binding]], arg1: TypedTerm[Mapping[Name, object]], arg2: TypedTerm[Mapping[Name, Primitive]]) → TypedTerm[Graph]

DSL reference to hydra.lexical.buildGraph.

hydra.dsl.lexical.choose_unique_name(arg0: TypedTerm[Set[Name]], arg1: TypedTerm[Name]) → TypedTerm[Name]

DSL reference to hydra.lexical.chooseUniqueName.

hydra.dsl.lexical.dereference_schema_type(arg0: TypedTerm[Name], arg1: TypedTerm[Mapping[Name, TypeScheme]]) → TypedTerm[object]

DSL reference to hydra.lexical.dereferenceSchemaType.

hydra.dsl.lexical.dereference_variable(arg0: TypedTerm[Graph], arg1: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.lexical.dereferenceVariable.

hydra.dsl.lexical.elements_to_graph(arg0: TypedTerm[Graph], arg1: TypedTerm[Mapping[Name, TypeScheme]], arg2: TypedTerm[Sequence[Binding]]) → TypedTerm[Graph]

DSL reference to hydra.lexical.elementsToGraph.

hydra.dsl.lexical.fields_of(arg0: TypedTerm[Type]) → TypedTerm[Sequence[FieldType]]

DSL reference to hydra.lexical.fieldsOf.

hydra.dsl.lexical.get_field(arg0: TypedTerm[Mapping[Name, T0]], arg1: TypedTerm[Name], arg2: TypedTerm[Callable[[T0], object]]) → TypedTerm[object]

DSL reference to hydra.lexical.getField.

hydra.dsl.lexical.graph_to_bindings(arg0: TypedTerm[Graph]) → TypedTerm[Sequence[Binding]]

DSL reference to hydra.lexical.graphToBindings.

hydra.dsl.lexical.graph_with_primitives(arg0: TypedTerm[Sequence[Primitive]], arg1: TypedTerm[Sequence[Primitive]]) → TypedTerm[Graph]

DSL reference to hydra.lexical.graphWithPrimitives.

hydra.dsl.lexical.lookup_binding(arg0: TypedTerm[Graph], arg1: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.lexical.lookupBinding.

hydra.dsl.lexical.lookup_primitive(arg0: TypedTerm[Graph], arg1: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.lexical.lookupPrimitive.

hydra.dsl.lexical.lookup_term(arg0: TypedTerm[Graph], arg1: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.lexical.lookupTerm.

hydra.dsl.lexical.match_enum(arg0: TypedTerm[Graph], arg1: TypedTerm[Name], arg2: TypedTerm[Sequence[tuple[Name, T0]]], arg3: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.lexical.matchEnum.

hydra.dsl.lexical.match_record(arg0: TypedTerm[T0], arg1: TypedTerm[Callable[[Mapping[Name, Term]], object]], arg2: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.lexical.matchRecord.

hydra.dsl.lexical.match_union(arg0: TypedTerm[Graph], arg1: TypedTerm[Name], arg2: TypedTerm[Sequence[tuple[Name, Callable[[Term], object]]]], arg3: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.lexical.matchUnion.

hydra.dsl.lexical.match_unit_field(arg0: TypedTerm[T0], arg1: TypedTerm[T1]) → TypedTerm[tuple[T0, Callable[[T2], object]]]

DSL reference to hydra.lexical.matchUnitField.

hydra.dsl.lexical.require_binding(arg0: TypedTerm[Graph], arg1: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.lexical.requireBinding.

hydra.dsl.lexical.require_primitive(arg0: TypedTerm[Graph], arg1: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.lexical.requirePrimitive.

hydra.dsl.lexical.require_primitive_type(arg0: TypedTerm[Graph], arg1: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.lexical.requirePrimitiveType.

hydra.dsl.lexical.require_term(arg0: TypedTerm[Graph], arg1: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.lexical.requireTerm.

hydra.dsl.lexical.resolve_term(arg0: TypedTerm[Graph], arg1: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.lexical.resolveTerm.

hydra.dsl.lexical.strip_and_dereference_term(arg0: TypedTerm[Graph], arg1: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.lexical.stripAndDereferenceTerm.

hydra.dsl.lexical.strip_and_dereference_term_either(arg0: TypedTerm[Graph], arg1: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.lexical.stripAndDereferenceTermEither.