dspy_rs::typesys

Generated from rustdoc JSON at dspy-rs v0.7.3 (commit b5da857). Do not edit by hand; regenerate with python3 docs/scripts/gen_api.py (see the script header for the rustdoc commands). Item links lead to full signatures and method docs on docs.rs.

In-house type system that replaces the vendored BAML stack (bamltype, baml_types, internal_baml_jinja, jsonish).

Re-exports

Item	Description
`ClassDef`	Re-export of `schema::ClassDef`.
`coerce`	Re-export of `coerce::coerce`.
`Coerced`	Re-export of `coerce::Coerced`.
`Constraint`	Re-export of `constraint::Constraint`.
`ConstraintKind`	Re-export of `constraint::ConstraintKind`.
`ConstraintLevel`	Re-export of `constraint::ConstraintLevel`.
`ConstraintOutcome`	Re-export of `constraint::ConstraintOutcome`.
`EnumDef`	Re-export of `schema::EnumDef`.
`EnumValueDef`	Re-export of `schema::EnumValueDef`.
`evaluate_constraints`	Re-export of `constraint::evaluate_constraints`.
`evaluate_expression`	Re-export of `constraint::evaluate_expression`.
`field_type_from_shape`	Re-export of `schema::field_type_from_shape`.
`FieldDef`	Re-export of `schema::FieldDef`.
`FieldType`	Re-export of `schema::FieldType`.
`Flag`	Re-export of `coerce::Flag`.
`internal_name_for_shape`	Re-export of `schema::internal_name_for_shape`.
`OutputSchema`	Re-export of `schema::OutputSchema`.
`ResponseCheck`	Re-export of `constraint::ResponseCheck`.
`schema_block`	Re-export of `render::schema_block`.
`Schema`	Re-export of `schema::Schema`.
`type_name`	Re-export of `render::type_name`.
`TypeTable`	Re-export of `schema::TypeTable`.

Modules

Item	Description
`coerce`	Tolerant coercion of raw LM field text into `serde_json::Value`, guided by `FieldType`.
`constraint`	In-house constraint model + evaluation, replacing BAML’s `Constraint` / `run_user_checks`.
`render`	Prompt rendering for the in-house type model, replacing BAML’s jinja `OutputFormatContent::render` and the adapter’s backtick-token pipeline.
`schema`	In-house type model that replaces BAML’s `TypeIR` / `OutputFormatContent`.

Functions

Item	Description
`format_value`	Renders a value for an input field, honoring an explicit `#format(...)` hint.

`typesys::coerce`

Tolerant coercion of raw LM field text into serde_json::Value, guided by FieldType.

Structs

Item	Description
`Coerced`	The result of coercing raw text into a typed value.

Enums

Item	Description
`Flag`	A non-fatal observation made while coercing a value (e.g. a code fence was stripped).

Functions

Item	Description
`coerce`	Coerces `raw` into a `serde_json::Value` matching `field_type`.

`typesys::constraint`

In-house constraint model + evaluation, replacing BAML’s Constraint / run_user_checks.

Structs

Item	Description
`Constraint`	A single `#check`/`#assert` constraint attached to a field.
`ConstraintOutcome`	The outcome of evaluating a constraint against a value.
`ResponseCheck`	A reported check result, mirroring the old `ResponseCheck` shape used by GEPA/optimizers.

Enums

Item	Description
`ConstraintKind`	Whether a constraint is a soft `check` (reported) or a hard `assert` (fails the call).

Functions

Item	Description
`evaluate_constraint_expression`	Evaluates a `'static` constraint expression against `value`, compiling it at most once per process.
`evaluate_constraints`	Evaluates every constraint against `value`, binding it as `this` in a jinja expression.
`evaluate_expression`	Evaluates a runtime (non-`'static`) constraint expression against `value`, binding it as `this`.

Type aliases

Item	Description
`ConstraintLevel`	Back-compat alias for the old public name.

`typesys::render`

Prompt rendering for the in-house type model, replacing BAML’s jinja OutputFormatContent::render and the adapter’s backtick-token pipeline.

Functions

Item	Description
`schema_block`	Renders the expanded schema block for a field type.
`type_name`	Renders the short, inline type label for a field.

`typesys::schema`

In-house type model that replaces BAML’s TypeIR / OutputFormatContent.

Structs

Item	Description
`ClassDef`	A struct definition reachable from a signature’s output type.
`EnumDef`	A unit-enum definition reachable from a signature’s output type.
`EnumValueDef`	A single value of a unit enum.
`FieldDef`	A single field inside a `ClassDef`.
`OutputSchema`	The full type description for a value: the root `FieldType` plus the `TypeTable` of every class/enum definition it references. Replaces BAML’s `OutputFormatContent`.
`TypeTable`	Owned registry of the class/enum definitions reachable from a signature (RFC 0002 §1.3).

Enums

Item	Description
`FieldType`	Structural type of a signature/nested field, mirroring the subset of BAML’s `TypeIR` that DSRs actually uses.

Traits

Item	Description
`Schema`	Runtime trait exposing the type model + serde-backed value conversion for a type.

Functions

Item	Description
`field_type_from_shape`	Builds just the `FieldType` for a shape, discarding the class/enum registry.
`internal_name_for_shape`	Computes the internal name for a shape: module path + type identifier when available.

Overview

dspy-rs

Companion crates

dspy_rs::typesys

Re-exports

Modules

Functions

`typesys::coerce`

Structs

Enums

Functions

`typesys::constraint`

Structs

Enums

Functions

Type aliases

`typesys::render`

Functions

`typesys::schema`

Structs

Enums

Traits

Functions

​Re-exports

​Modules

​Functions

​typesys::coerce

​Structs

​Enums

​Functions

​typesys::constraint

​Structs

​Enums

​Functions

​Type aliases

​typesys::render

​Functions

​typesys::schema

​Structs

​Enums

​Traits

​Functions

Re-exports

Modules

Functions

`typesys::coerce`

Structs

Enums

Functions

`typesys::constraint`

Structs

Enums

Functions

Type aliases

`typesys::render`

Functions

`typesys::schema`

Structs

Enums

Traits

Functions