(expr:map [anchors ((expr:map [id "anchor/bin/sim-shape-recipe-exact-bool-shape"] [kind "binary-target"] [subject "crate/sim-shape-recipe-exact-bool-shape"]) (expr:map [id "anchor/bin/sim-shape-recipe-shape-grammar-contract"] [kind "binary-target"] [subject "crate/sim-shape-recipe-shape-grammar-contract"]) (expr:map [id "anchor/bin/xtask"] [kind "binary-target"] [subject "crate/xtask"]) (expr:map [id "anchor/card/browse/catalog"] [kind "browse-root"] [subject "repo/sim-shape"]) (expr:map [id "anchor/card/cookbook/sim-shape"] [kind "cookbook-recipe"] [subject "crate/sim-shape"]) (expr:map [id "anchor/card/registry/catalog"] [kind "browse-registry"] [subject "repo/sim-shape"]) (expr:map [id "anchor/cli/sim-shape-recipe-exact-bool-shape"] [kind "cli-verb"] [subject "crate/sim-shape-recipe-exact-bool-shape"]) (expr:map [id "anchor/cli/sim-shape-recipe-shape-grammar-contract"] [kind "cli-verb"] [subject "crate/sim-shape-recipe-shape-grammar-contract"]) (expr:map [id "anchor/cli/xtask"] [kind "cli-verb"] [subject "crate/xtask"]) (expr:map [id "anchor/crate/sim-shape"] [kind "crate"] [subject "crate/sim-shape"]) (expr:map [id "anchor/crate/sim-shape-recipe-exact-bool-shape"] [kind "crate"] [subject "crate/sim-shape-recipe-exact-bool-shape"]) (expr:map [id "anchor/crate/sim-shape-recipe-shape-grammar-contract"] [kind "crate"] [subject "crate/sim-shape-recipe-shape-grammar-contract"]) (expr:map [id "anchor/crate/xtask"] [kind "crate"] [subject "crate/xtask"]) (expr:map [id "anchor/doc/generated/card-index"] [kind "doc-section"] [subject "doc-set/sim-shape/generated"]) (expr:map [id "anchor/doc/generated/feature-map"] [kind "doc-section"] [subject "doc-set/sim-shape/generated"]) (expr:map [id "anchor/doc/generated/provenance"] [kind "doc-section"] [subject "doc-set/sim-shape/generated"]) (expr:map [id "anchor/doc/generated/repo-contract"] [kind "doc-section"] [subject "doc-set/sim-shape/generated"]) (expr:map [id "anchor/doc/generated/rustdoc-index"] [kind "doc-section"] [subject "doc-set/sim-shape/generated"]) (expr:map [id "anchor/doc/generated/sim-index-fragment"] [kind "doc-section"] [subject "doc-set/sim-shape/generated"]) (expr:map [id "anchor/export/sim-shape/citizen/class.rs"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/citizen/codec.rs"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/citizen/construct.rs"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/citizen/inventory.rs"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/citizen/recursive_codec.rs"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/accept-on-no-diagnostics-hook"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/and"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/any"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/class"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/defs"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/discard-on-diagnostic-prefix-hook"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/exact-expr"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/expr-kind"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/hooked"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/list"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/live-hook"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/not"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/or"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/ref"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/repeat"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/score-floor-hook"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/table"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/trace-mark-hook"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/export/sim-shape/shape/venn"] [kind "export"] [subject "crate/sim-shape"]) (expr:map [id "anchor/repo/sim-shape"] [kind "repo"] [subject "repo/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/algebra/boolean.rs-declaration-12"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/algebra/boolean.rs-declaration-5"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/algebra/boolean.rs-declaration-9"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/algebra/collection.rs-declaration-10"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/algebra/collection.rs-declaration-7"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/citizen/class.rs-declaration-5"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/citizen/class.rs-declaration-6"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/citizen/class.rs-declaration-7"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/citizen/class.rs-declaration-8"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/citizen/class.rs-declaration-9"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/citizen/codec.rs-declaration-6"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/citizen/codec.rs-declaration-7"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/compare/venn.rs-declaration-5"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/compare/venn.rs-declaration-6"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions.rs-declaration-16"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions.rs-declaration-17"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions.rs-declaration-18"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions.rs-declaration-21"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-14"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-15"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-16"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-5"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-6"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-7"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions/shape_object.rs-declaration-10"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions/shape_object.rs-declaration-11"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions/shape_object.rs-declaration-5"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions/shape_object.rs-declaration-8"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/functions/shape_object.rs-declaration-9"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/grammar.rs-declaration-36"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/hooks/hooked.rs-declaration-5"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-13"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-14"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-15"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-19"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-22"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-24"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-27"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/primitives/atomic.rs-declaration-10"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/primitives/atomic.rs-declaration-12"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/primitives/atomic.rs-declaration-15"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/primitives/atomic.rs-declaration-18"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/primitives/atomic.rs-declaration-7"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/primitives/combinators/capture.rs-declaration-6"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/primitives/combinators/effectful.rs-declaration-5"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/primitives/combinators/list.rs-declaration-6"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/primitives/combinators/one_of.rs-declaration-5"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/primitives/combinators/parser.rs-declaration-6"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/primitives/object.rs-declaration-10"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/recursion.rs-declaration-6"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/recursive.rs-declaration-10"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/recursive.rs-declaration-11"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rust-impl/sim-shape/src/recursive.rs-declaration-15"] [kind "rust-impl"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/accept-on-no-diagnostics-hook"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/accept_on_no_diagnostics_hook_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/and-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/and_shape_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/any-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/any_shape_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/binding_failure_diagnostic"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/bindings"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/browse-signature"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/browse_signature"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/callable_mismatch_diagnostic"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/capture-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/case_result_shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/case_shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/check_option_map"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/check_shape_on_expr"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/check_shape_on_value"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/check_value_report"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/class-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/class_shape_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/crate-root"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/discard-on-diagnostic-prefix-hook"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/discard_on_diagnostic_prefix_hook_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/effectful-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/exact-expr-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/exact_expr_shape_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/expected_shape_diagnostic"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/expr-kind"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/expr-kind-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/expr_kind_shape_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/field-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/field-spec"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/function-case"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/function-object"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/function_cases"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/grammar-dialect"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/grammar-graph"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/grammar-position"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/grammar-renderer"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/grammar-target"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/hook_ref_arc"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/hook_value"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/hooked-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/hooked_shape_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/insert_shape_satisfaction_claim"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/list-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/list_shape_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/match-hook"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/match-hook-context"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/match-hook-decision"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/match-hook-kind"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/match-hook-object"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/match-hook-phase"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/match-hook-target-kind"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/match-score"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/native-function-impl"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/normalize_shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/not-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/not_shape_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/number-value-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/object-expr"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/one-of-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/option-field-spec"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/or-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/or-strategy"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/or_shape_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/overload"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/overload_selection_diagnostic"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/parse_shape_expr"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/pratt-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/production"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/relate_shapes"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/repeat-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/repeat_shape_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/satisfies_shape_predicate"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/score-floor-hook"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/score_floor_hook_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/selected-case"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-bindings"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-def-ref"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-defs"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-doc"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-expr-parser"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-grammar"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-match"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-normal-form"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-normal-kind"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-object"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-probe"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-query-relation"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-relation"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-relation-kind"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-report"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape-witness"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape_def_ref_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape_defs_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape_error"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape_grammar"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape_grammar_graph"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape_json_schema"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape_query_matches"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape_report_from_match"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape_value"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/shape_value_with_encoding"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/table-extra-policy"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/table-field-spec"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/table-shape"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/table_shape_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/terminal-atom"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/trace-mark-hook"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/trace_mark_hook_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/venn-shape-set"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/sim-shape/venn_shape_set_class_symbol"] [kind "rustdoc-item"] [subject "crate/sim-shape"]) (expr:map [id "anchor/rustdoc/xtask/run"] [kind "rustdoc-item"] [subject "crate/xtask"]))] [declarations ((expr:map [anchor "anchor/rustdoc/sim-shape/accept-on-no-diagnostics-hook"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "accept-on-no-diagnostics-hook"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/accept-on-no-diagnostics-hook"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "23")] [file "src/hooks/types.rs"])] [members ()] [module-path "accept-on-no-diagnostics-hook"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/accept_on_no_diagnostics_hook_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "31")] [file "src/hooks/types.rs"])] [members ()] [module-path "accept_on_no_diagnostics_hook_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/accept_on_no_diagnostics_hook_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "accept_on_no_diagnostics_hook_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/and-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/algebra.rs"])] [members ("boolean::{AndShape,NotShape,OrShape,OrStrategy}")] [module-path "and-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/and-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/algebra/boolean.rs"])] [members ()] [module-path "and-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/and_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "15")] [file "src/citizen.rs"])] [members ()] [module-path "and_shape_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/and_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "and_shape_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/any-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "any-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/any-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "6")] [file "src/primitives/atomic.rs"])] [members ()] [module-path "any-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/any_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "8")] [file "src/citizen.rs"])] [members ()] [module-path "any_shape_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/any_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "any_shape_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/binding_failure_diagnostic"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "2")] [file "src/diagnostics.rs"])] [members ()] [module-path "binding_failure_diagnostic"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/binding_failure_diagnostic"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "23")] [file "src/lib.rs"])] [members ("diagnostics::{binding_failure_diagnostic,callable_mismatch_diagnostic,expected_shape_diagnostic,overload_selection_diagnostic,}")] [module-path "binding_failure_diagnostic"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/bindings"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "1")] [file "src/base.rs"])] [members ("sim_kernel::{ExprKind,MatchScore,Shape,ShapeBindingsasBindings,ShapeBindings,ShapeDoc,ShapeMatch,}")] [module-path "bindings"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/browse-signature"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "9")] [file "src/functions.rs"])] [members ("browse_signature::{BrowseSignature,browse_signature}")] [module-path "browse-signature"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/browse-signature"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "2")] [file "src/functions/browse_signature.rs"])] [members ()] [module-path "browse-signature"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/browse_signature"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/functions/browse_signature.rs"])] [members ()] [module-path "browse_signature"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/browse_signature"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "9")] [file "src/functions.rs"])] [members ("browse_signature::{BrowseSignature,browse_signature}")] [module-path "browse_signature"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/callable_mismatch_diagnostic"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/diagnostics.rs"])] [members ()] [module-path "callable_mismatch_diagnostic"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/callable_mismatch_diagnostic"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "23")] [file "src/lib.rs"])] [members ("diagnostics::{binding_failure_diagnostic,callable_mismatch_diagnostic,expected_shape_diagnostic,overload_selection_diagnostic,}")] [module-path "callable_mismatch_diagnostic"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/capture-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "capture-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/capture-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/primitives/combinators/capture.rs"])] [members ()] [module-path "capture-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/case_result_shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "25")] [file "src/functions.rs"])] [members ()] [module-path "case_result_shape"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/case_result_shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "24")] [file "src/lib.rs"])] [members ("functions::{BrowseSignature,FunctionCase,FunctionObject,NativeFunctionImpl,SelectedCase,ShapeObject,browse_signature,case_result_shape,case_shape,function_cases,overload,shape_value,shape_value_with_encoding,}")] [module-path "case_result_shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/case_shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "24")] [file "src/functions.rs"])] [members ()] [module-path "case_shape"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/case_shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "24")] [file "src/lib.rs"])] [members ("functions::{BrowseSignature,FunctionCase,FunctionObject,NativeFunctionImpl,SelectedCase,ShapeObject,browse_signature,case_result_shape,case_shape,function_cases,overload,shape_value,shape_value_with_encoding,}")] [module-path "case_shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/check_option_map"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/options.rs"])] [members ()] [module-path "check_option_map"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/check_option_map"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "27")] [file "src/lib.rs"])] [members ("options::{OptionFieldSpec,check_option_map}")] [module-path "check_option_map"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/check_shape_on_expr"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "31")] [file "src/parse.rs"])] [members ()] [module-path "check_shape_on_expr"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/check_shape_on_expr"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "28")] [file "src/lib.rs"])] [members ("parse::{check_shape_on_expr,check_shape_on_value,parse_shape_expr,shape_error}")] [module-path "check_shape_on_expr"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/check_shape_on_value"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "32")] [file "src/parse.rs"])] [members ()] [module-path "check_shape_on_value"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/check_shape_on_value"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "28")] [file "src/lib.rs"])] [members ("parse::{check_shape_on_expr,check_shape_on_value,parse_shape_expr,shape_error}")] [module-path "check_shape_on_value"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/check_value_report"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "0")] [file "src/base.rs"])] [members ("sim_kernel::shape_report::{ShapeReport,check_value_report,insert_shape_satisfaction_claim,satisfies_shape_predicate,shape_report_from_match,}")] [module-path "check_value_report"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/class-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "class-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/class-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "13")] [file "src/primitives/atomic.rs"])] [members ()] [module-path "class-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/class_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "11")] [file "src/citizen.rs"])] [members ()] [module-path "class_shape_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/class_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "class_shape_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/discard-on-diagnostic-prefix-hook"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "discard-on-diagnostic-prefix-hook"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/discard-on-diagnostic-prefix-hook"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "25")] [file "src/hooks/types.rs"])] [members ()] [module-path "discard-on-diagnostic-prefix-hook"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/discard_on_diagnostic_prefix_hook_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "32")] [file "src/hooks/types.rs"])] [members ()] [module-path "discard_on_diagnostic_prefix_hook_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/discard_on_diagnostic_prefix_hook_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "discard_on_diagnostic_prefix_hook_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/effectful-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "effectful-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/effectful-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/primitives/combinators/effectful.rs"])] [members ()] [module-path "effectful-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/exact-expr-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "exact-expr-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/exact-expr-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "16")] [file "src/primitives/atomic.rs"])] [members ()] [module-path "exact-expr-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/exact_expr_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "9")] [file "src/citizen.rs"])] [members ()] [module-path "exact_expr_shape_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/exact_expr_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "exact_expr_shape_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/expected_shape_diagnostic"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "1")] [file "src/diagnostics.rs"])] [members ()] [module-path "expected_shape_diagnostic"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/expected_shape_diagnostic"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "23")] [file "src/lib.rs"])] [members ("diagnostics::{binding_failure_diagnostic,callable_mismatch_diagnostic,expected_shape_diagnostic,overload_selection_diagnostic,}")] [module-path "expected_shape_diagnostic"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/expr-kind"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "1")] [file "src/base.rs"])] [members ("sim_kernel::{ExprKind,MatchScore,Shape,ShapeBindingsasBindings,ShapeBindings,ShapeDoc,ShapeMatch,}")] [module-path "expr-kind"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/expr-kind-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "expr-kind-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/expr-kind-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "8")] [file "src/primitives/atomic.rs"])] [members ()] [module-path "expr-kind-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/expr_kind_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "10")] [file "src/citizen.rs"])] [members ()] [module-path "expr_kind_shape_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/expr_kind_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "expr_kind_shape_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/field-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "field-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/field-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "8")] [file "src/primitives/object.rs"])] [members ()] [module-path "field-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/field-spec"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "field-spec"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/field-spec"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "6")] [file "src/primitives/object.rs"])] [members ()] [module-path "field-spec"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/function-case"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "24")] [file "src/lib.rs"])] [members ("functions::{BrowseSignature,FunctionCase,FunctionObject,NativeFunctionImpl,SelectedCase,ShapeObject,browse_signature,case_result_shape,case_shape,function_cases,overload,shape_value,shape_value_with_encoding,}")] [module-path "function-case"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/function-case"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "12")] [file "src/functions.rs"])] [members ("id:sim_kernel::CaseId" "name:Symbol" "args:Arc<dynShape>" "result:Option<Arc<dynShape>>" "demand:Vec<sim_kernel::Demand>" "priority:i32" "implementation:NativeFunctionImpl")] [module-path "function-case"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/function-object"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "24")] [file "src/lib.rs"])] [members ("functions::{BrowseSignature,FunctionCase,FunctionObject,NativeFunctionImpl,SelectedCase,ShapeObject,browse_signature,case_result_shape,case_shape,function_cases,overload,shape_value,shape_value_with_encoding,}")] [module-path "function-object"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/function-object"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "13")] [file "src/functions.rs"])] [members ("id:FunctionId" "symbol:Symbol" "cases:Vec<FunctionCase>")] [module-path "function-object"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/function_cases"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "23")] [file "src/functions.rs"])] [members ()] [module-path "function_cases"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/function_cases"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "24")] [file "src/lib.rs"])] [members ("functions::{BrowseSignature,FunctionCase,FunctionObject,NativeFunctionImpl,SelectedCase,ShapeObject,browse_signature,case_result_shape,case_shape,function_cases,overload,shape_value,shape_value_with_encoding,}")] [module-path "function_cases"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/grammar-dialect"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/grammar/graph.rs"])] [members ("JsonSchema()" "Gbnf()" "SExpr()")] [module-path "grammar-dialect"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/grammar-dialect"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/grammar.rs"])] [members ("graph::{GrammarDialect,GrammarGraph,GrammarPosition,GrammarTarget,Production,ShapeGrammar,TerminalAtom,}")] [module-path "grammar-dialect"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/grammar-graph"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/grammar.rs"])] [members ("graph::{GrammarDialect,GrammarGraph,GrammarPosition,GrammarTarget,Production,ShapeGrammar,TerminalAtom,}")] [module-path "grammar-graph"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/grammar-graph"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/grammar/graph.rs"])] [members ("root:Production" "defs:Vec<(Symbol,Production)>" "diagnostics:Vec<Diagnostic>")] [module-path "grammar-graph"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/grammar-position"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "6")] [file "src/grammar/graph.rs"])] [members ("Eval()" "Quote()" "Data()" "Pattern()" "Surface()")] [module-path "grammar-position"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/grammar-position"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/grammar.rs"])] [members ("graph::{GrammarDialect,GrammarGraph,GrammarPosition,GrammarTarget,Production,ShapeGrammar,TerminalAtom,}")] [module-path "grammar-position"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/grammar-renderer"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "25")] [file "src/lib.rs"])] [members ("grammar::{GrammarDialect,GrammarGraph,GrammarPosition,GrammarRenderer,GrammarTarget,Production,ShapeGrammar,TerminalAtom,shape_grammar,shape_grammar_graph,shape_json_schema,}")] [module-path "grammar-renderer"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/grammar-renderer"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "6")] [file "src/grammar.rs"])] [members ()] [module-path "grammar-renderer"] [role "trait"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/grammar-target"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/grammar.rs"])] [members ("graph::{GrammarDialect,GrammarGraph,GrammarPosition,GrammarTarget,Production,ShapeGrammar,TerminalAtom,}")] [module-path "grammar-target"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/grammar-target"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "7")] [file "src/grammar/graph.rs"])] [members ("codec:Symbol" "dialect:GrammarDialect" "position:GrammarPosition")] [module-path "grammar-target"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/hook_ref_arc"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "17")] [file "src/hooks/types.rs"])] [members ()] [module-path "hook_ref_arc"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/hook_ref_arc"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "hook_ref_arc"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/hook_value"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "16")] [file "src/hooks/types.rs"])] [members ()] [module-path "hook_value"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/hook_value"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "hook_value"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/hooked-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/hooks.rs"])] [members ("hooked::HookedShape")] [module-path "hooked-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/hooked-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/hooks/hooked.rs"])] [members ()] [module-path "hooked-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/hooked_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "20")] [file "src/citizen.rs"])] [members ()] [module-path "hooked_shape_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/hooked_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "hooked_shape_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/insert_shape_satisfaction_claim"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "0")] [file "src/base.rs"])] [members ("sim_kernel::shape_report::{ShapeReport,check_value_report,insert_shape_satisfaction_claim,satisfies_shape_predicate,shape_report_from_match,}")] [module-path "insert_shape_satisfaction_claim"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/list-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "list-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/list-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/primitives/combinators/list.rs"])] [members ()] [module-path "list-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/list_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "12")] [file "src/citizen.rs"])] [members ()] [module-path "list_shape_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/list_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "list_shape_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "match-hook"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "10")] [file "src/hooks/types.rs"])] [members ()] [module-path "match-hook"] [role "trait"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-context"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "match-hook-context"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-context"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "8")] [file "src/hooks/types.rs"])] [members ("hook_index:usize" "phase:MatchHookPhase" "target_kind:MatchHookTargetKind" "shape_label:String")] [module-path "match-hook-context"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-decision"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "9")] [file "src/hooks/types.rs"])] [members ("Pass()" "Mark(String)" "Accept(String,MatchScore)" "Discard(String)" "Annotate(String,i32)")] [module-path "match-hook-decision"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-decision"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "match-hook-decision"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-kind"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks/types.rs"])] [members ("Mark()" "Accept()" "Discard()" "Annotate()")] [module-path "match-hook-kind"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-kind"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "match-hook-kind"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-object"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "match-hook-object"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-object"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "11")] [file "src/hooks/types.rs"])] [members ()] [module-path "match-hook-object"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-phase"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "7")] [file "src/hooks/types.rs"])] [members ("BeforeInner()" "AfterInner()")] [module-path "match-hook-phase"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-phase"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "match-hook-phase"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-target-kind"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "6")] [file "src/hooks/types.rs"])] [members ("Value()" "Expr()")] [module-path "match-hook-target-kind"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-hook-target-kind"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "match-hook-target-kind"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/match-score"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "1")] [file "src/base.rs"])] [members ("sim_kernel::{ExprKind,MatchScore,Shape,ShapeBindingsasBindings,ShapeBindings,ShapeDoc,ShapeMatch,}")] [module-path "match-score"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/native-function-impl"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "24")] [file "src/lib.rs"])] [members ("functions::{BrowseSignature,FunctionCase,FunctionObject,NativeFunctionImpl,SelectedCase,ShapeObject,browse_signature,case_result_shape,case_shape,function_cases,overload,shape_value,shape_value_with_encoding,}")] [module-path "native-function-impl"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/native-function-impl"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "11")] [file "src/functions.rs"])] [members ("fn(&mutCx,&PreparedArgs,Bindings)->Result<Value>")] [module-path "native-function-impl"] [role "type-alias"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/normalize_shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/compare/normal.rs"])] [members ()] [module-path "normalize_shape"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/normalize_shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/compare.rs"])] [members ("normal::{ShapeNormalForm,ShapeNormalKind,normalize_shape}")] [module-path "normalize_shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/not-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/algebra.rs"])] [members ("boolean::{AndShape,NotShape,OrShape,OrStrategy}")] [module-path "not-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/not-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "10")] [file "src/algebra/boolean.rs"])] [members ()] [module-path "not-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/not_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "16")] [file "src/citizen.rs"])] [members ()] [module-path "not_shape_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/not_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "not_shape_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/number-value-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "number-value-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/number-value-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "11")] [file "src/primitives/atomic.rs"])] [members ()] [module-path "number-value-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/object-expr"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "object-expr"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/object-expr"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/primitives/object.rs"])] [members ("class:Symbol" "fields:Vec<(Symbol,Expr)>")] [module-path "object-expr"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/one-of-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "one-of-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/one-of-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/primitives/combinators/one_of.rs"])] [members ()] [module-path "one-of-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/option-field-spec"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "27")] [file "src/lib.rs"])] [members ("options::{OptionFieldSpec,check_option_map}")] [module-path "option-field-spec"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/option-field-spec"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/options.rs"])] [members ("key:Symbol" "shape:Arc<dynShape>" "required:bool")] [module-path "option-field-spec"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/or-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/algebra.rs"])] [members ("boolean::{AndShape,NotShape,OrShape,OrStrategy}")] [module-path "or-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/or-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "7")] [file "src/algebra/boolean.rs"])] [members ()] [module-path "or-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/or-strategy"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "6")] [file "src/algebra/boolean.rs"])] [members ("FirstMatch()" "BestScore()")] [module-path "or-strategy"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/or-strategy"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/algebra.rs"])] [members ("boolean::{AndShape,NotShape,OrShape,OrStrategy}")] [module-path "or-strategy"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/or_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "14")] [file "src/citizen.rs"])] [members ()] [module-path "or_shape_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/or_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "or_shape_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/overload"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "22")] [file "src/functions.rs"])] [members ()] [module-path "overload"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/overload"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "24")] [file "src/lib.rs"])] [members ("functions::{BrowseSignature,FunctionCase,FunctionObject,NativeFunctionImpl,SelectedCase,ShapeObject,browse_signature,case_result_shape,case_shape,function_cases,overload,shape_value,shape_value_with_encoding,}")] [module-path "overload"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/overload_selection_diagnostic"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/diagnostics.rs"])] [members ()] [module-path "overload_selection_diagnostic"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/overload_selection_diagnostic"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "23")] [file "src/lib.rs"])] [members ("diagnostics::{binding_failure_diagnostic,callable_mismatch_diagnostic,expected_shape_diagnostic,overload_selection_diagnostic,}")] [module-path "overload_selection_diagnostic"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/parse_shape_expr"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "7")] [file "src/parse.rs"])] [members ()] [module-path "parse_shape_expr"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/parse_shape_expr"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "28")] [file "src/lib.rs"])] [members ("parse::{check_shape_on_expr,check_shape_on_value,parse_shape_expr,shape_error}")] [module-path "parse_shape_expr"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/pratt-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "pratt-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/pratt-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/primitives/combinators/parser.rs"])] [members ()] [module-path "pratt-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/production"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "1")] [file "src/grammar/graph.rs"])] [members ("Terminal(TerminalAtom)" "Seq(Vec<Production>)" "Alt(Vec<Production>)" "Repeat(Box<Production>,usize)" "Call(Box<Production>,Vec<Production>)" "Ref(Symbol)")] [module-path "production"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/production"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/grammar.rs"])] [members ("graph::{GrammarDialect,GrammarGraph,GrammarPosition,GrammarTarget,Production,ShapeGrammar,TerminalAtom,}")] [module-path "production"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/relate_shapes"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "6")] [file "src/compare/relation.rs"])] [members ()] [module-path "relate_shapes"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/relate_shapes"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/compare.rs"])] [members ("relation::{ShapeProbe,ShapeRelation,ShapeRelationKind,ShapeWitness,relate_shapes}")] [module-path "relate_shapes"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/repeat-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/algebra.rs"])] [members ("collection::{RepeatShape,TableExtraPolicy,TableFieldSpec,TableShape}")] [module-path "repeat-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/repeat-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "8")] [file "src/algebra/collection.rs"])] [members ()] [module-path "repeat-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/repeat_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "17")] [file "src/citizen.rs"])] [members ()] [module-path "repeat_shape_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/repeat_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "repeat_shape_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/satisfies_shape_predicate"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "0")] [file "src/base.rs"])] [members ("sim_kernel::shape_report::{ShapeReport,check_value_report,insert_shape_satisfaction_claim,satisfies_shape_predicate,shape_report_from_match,}")] [module-path "satisfies_shape_predicate"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/score-floor-hook"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "score-floor-hook"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/score-floor-hook"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "20")] [file "src/hooks/types.rs"])] [members ()] [module-path "score-floor-hook"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/score_floor_hook_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "30")] [file "src/hooks/types.rs"])] [members ()] [module-path "score_floor_hook_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/score_floor_hook_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "score_floor_hook_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/selected-case"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "24")] [file "src/lib.rs"])] [members ("functions::{BrowseSignature,FunctionCase,FunctionObject,NativeFunctionImpl,SelectedCase,ShapeObject,browse_signature,case_result_shape,case_shape,function_cases,overload,shape_value,shape_value_with_encoding,}")] [module-path "selected-case"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/selected-case"] [generics "<'__generic_0>"] [location (expr:map [declaration (expr:number numbers/u64 "14")] [file "src/functions.rs"])] [members ("case:&'__generic_0FunctionCase" "match_result:ShapeMatch")] [module-path "selected-case"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "1")] [file "src/base.rs"])] [members ("sim_kernel::{ExprKind,MatchScore,Shape,ShapeBindingsasBindings,ShapeBindings,ShapeDoc,ShapeMatch,}")] [module-path "shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-bindings"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "1")] [file "src/base.rs"])] [members ("sim_kernel::{ExprKind,MatchScore,Shape,ShapeBindingsasBindings,ShapeBindings,ShapeDoc,ShapeMatch,}")] [module-path "shape-bindings"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-def-ref"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "31")] [file "src/lib.rs"])] [members ("recursive::{ShapeDefRef,ShapeDefs}")] [module-path "shape-def-ref"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-def-ref"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "8")] [file "src/recursive.rs"])] [members ("name:Symbol")] [module-path "shape-def-ref"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-defs"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "31")] [file "src/lib.rs"])] [members ("recursive::{ShapeDefRef,ShapeDefs}")] [module-path "shape-defs"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-defs"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "6")] [file "src/recursive.rs"])] [members ("root:Arc<dynShape>" "defs:Vec<(Symbol,Arc<dynShape>)>")] [module-path "shape-defs"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-doc"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "1")] [file "src/base.rs"])] [members ("sim_kernel::{ExprKind,MatchScore,Shape,ShapeBindingsasBindings,ShapeBindings,ShapeDoc,ShapeMatch,}")] [module-path "shape-doc"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-expr-parser"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/lib.rs"])] [members ("primitives::{AnyShape,CaptureShape,ClassShape,EffectfulShape,ExactExprShape,ExprKindShape,FieldShape,FieldSpec,ListShape,NumberValueShape,ObjectExpr,OneOfShape,PrattShape,ShapeExprParser,}")] [module-path "shape-expr-parser"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-expr-parser"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/primitives/combinators/parser.rs"])] [members ()] [module-path "shape-expr-parser"] [role "trait"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-grammar"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/grammar.rs"])] [members ("graph::{GrammarDialect,GrammarGraph,GrammarPosition,GrammarTarget,Production,ShapeGrammar,TerminalAtom,}")] [module-path "shape-grammar"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-grammar"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "8")] [file "src/grammar/graph.rs"])] [members ("target:GrammarTarget" "graph:GrammarGraph" "text:String" "diagnostics:Vec<Diagnostic>")] [module-path "shape-grammar"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-match"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "1")] [file "src/base.rs"])] [members ("sim_kernel::{ExprKind,MatchScore,Shape,ShapeBindingsasBindings,ShapeBindings,ShapeDoc,ShapeMatch,}")] [module-path "shape-match"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-normal-form"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/compare.rs"])] [members ("normal::{ShapeNormalForm,ShapeNormalKind,normalize_shape}")] [module-path "shape-normal-form"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-normal-form"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "2")] [file "src/compare/normal.rs"])] [members ("kind:ShapeNormalKind" "label:String")] [module-path "shape-normal-form"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-normal-kind"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/compare/normal.rs"])] [members ("Any()" "Atom(Symbol)" "And(Vec<ShapeNormalForm>)" "Or(Vec<ShapeNormalForm>)" "Not(Box<ShapeNormalForm>)" "List(Vec<ShapeNormalForm>,Option<Box<ShapeNormalForm>>)" "Table(Vec<(Symbol,ShapeNormalForm)>,bool)" "Repeat(Box<ShapeNormalForm>,usize,Option<usize>)" "Opaque()")] [module-path "shape-normal-kind"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-normal-kind"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/compare.rs"])] [members ("normal::{ShapeNormalForm,ShapeNormalKind,normalize_shape}")] [module-path "shape-normal-kind"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-object"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "10")] [file "src/functions.rs"])] [members ("shape_object::{ShapeObject,shape_value,shape_value_with_encoding}")] [module-path "shape-object"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-object"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "6")] [file "src/functions/shape_object.rs"])] [members ("symbol:Symbol" "shape:Arc<dynShape>" "encoding:Option<ObjectEncoding>")] [module-path "shape-object"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-probe"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/compare/relation.rs"])] [members ("Value(String,Value)" "Expr(String,Expr)")] [module-path "shape-probe"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-probe"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/compare.rs"])] [members ("relation::{ShapeProbe,ShapeRelation,ShapeRelationKind,ShapeWitness,relate_shapes}")] [module-path "shape-probe"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-query-relation"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/query.rs"])] [members ("Subsumes()" "SubshapeOf()" "Overlaps()")] [module-path "shape-query-relation"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-query-relation"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "30")] [file "src/lib.rs"])] [members ("query::{ShapeQueryRelation,shape_query_matches}")] [module-path "shape-query-relation"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-relation"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/compare.rs"])] [members ("relation::{ShapeProbe,ShapeRelation,ShapeRelationKind,ShapeWitness,relate_shapes}")] [module-path "shape-relation"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-relation"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "2")] [file "src/compare/relation.rs"])] [members ("left:ShapeNormalForm" "right:ShapeNormalForm" "kind:ShapeRelationKind" "proven:bool" "witnesses:Vec<ShapeWitness>" "diagnostics:Vec<Diagnostic>")] [module-path "shape-relation"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-relation-kind"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/compare/relation.rs"])] [members ("Equal()" "LeftSubshape()" "RightSubshape()" "Overlap()" "Disjoint()" "Unknown()")] [module-path "shape-relation-kind"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-relation-kind"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/compare.rs"])] [members ("relation::{ShapeProbe,ShapeRelation,ShapeRelationKind,ShapeWitness,relate_shapes}")] [module-path "shape-relation-kind"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-report"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "0")] [file "src/base.rs"])] [members ("sim_kernel::shape_report::{ShapeReport,check_value_report,insert_shape_satisfaction_claim,satisfies_shape_predicate,shape_report_from_match,}")] [module-path "shape-report"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-witness"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/compare.rs"])] [members ("relation::{ShapeProbe,ShapeRelation,ShapeRelationKind,ShapeWitness,relate_shapes}")] [module-path "shape-witness"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape-witness"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/compare/relation.rs"])] [members ("label:String" "accepted_left:bool" "accepted_right:bool" "note:String")] [module-path "shape-witness"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_def_ref_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "19")] [file "src/citizen.rs"])] [members ()] [module-path "shape_def_ref_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_def_ref_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "shape_def_ref_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_defs_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "18")] [file "src/citizen.rs"])] [members ()] [module-path "shape_defs_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_defs_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "shape_defs_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_error"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "33")] [file "src/parse.rs"])] [members ()] [module-path "shape_error"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_error"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "28")] [file "src/lib.rs"])] [members ("parse::{check_shape_on_expr,check_shape_on_value,parse_shape_expr,shape_error}")] [module-path "shape_error"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_grammar"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "7")] [file "src/grammar.rs"])] [members ()] [module-path "shape_grammar"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_grammar"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "25")] [file "src/lib.rs"])] [members ("grammar::{GrammarDialect,GrammarGraph,GrammarPosition,GrammarRenderer,GrammarTarget,Production,ShapeGrammar,TerminalAtom,shape_grammar,shape_grammar_graph,shape_json_schema,}")] [module-path "shape_grammar"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_grammar_graph"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/grammar.rs"])] [members ()] [module-path "shape_grammar_graph"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_grammar_graph"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "25")] [file "src/lib.rs"])] [members ("grammar::{GrammarDialect,GrammarGraph,GrammarPosition,GrammarRenderer,GrammarTarget,Production,ShapeGrammar,TerminalAtom,shape_grammar,shape_grammar_graph,shape_json_schema,}")] [module-path "shape_grammar_graph"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_json_schema"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/grammar.rs"])] [members ()] [module-path "shape_json_schema"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_json_schema"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "25")] [file "src/lib.rs"])] [members ("grammar::{GrammarDialect,GrammarGraph,GrammarPosition,GrammarRenderer,GrammarTarget,Production,ShapeGrammar,TerminalAtom,shape_grammar,shape_grammar_graph,shape_json_schema,}")] [module-path "shape_json_schema"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_query_matches"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/query.rs"])] [members ()] [module-path "shape_query_matches"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_query_matches"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "30")] [file "src/lib.rs"])] [members ("query::{ShapeQueryRelation,shape_query_matches}")] [module-path "shape_query_matches"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_report_from_match"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "0")] [file "src/base.rs"])] [members ("sim_kernel::shape_report::{ShapeReport,check_value_report,insert_shape_satisfaction_claim,satisfies_shape_predicate,shape_report_from_match,}")] [module-path "shape_report_from_match"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_value"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "12")] [file "src/functions/shape_object.rs"])] [members ()] [module-path "shape_value"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_value"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "10")] [file "src/functions.rs"])] [members ("shape_object::{ShapeObject,shape_value,shape_value_with_encoding}")] [module-path "shape_value"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_value_with_encoding"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "13")] [file "src/functions/shape_object.rs"])] [members ()] [module-path "shape_value_with_encoding"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/shape_value_with_encoding"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "10")] [file "src/functions.rs"])] [members ("shape_object::{ShapeObject,shape_value,shape_value_with_encoding}")] [module-path "shape_value_with_encoding"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/table-extra-policy"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/algebra/collection.rs"])] [members ("Allow()" "Reject()" "Shape(Arc<dynShape>)")] [module-path "table-extra-policy"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/table-extra-policy"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/algebra.rs"])] [members ("collection::{RepeatShape,TableExtraPolicy,TableFieldSpec,TableShape}")] [module-path "table-extra-policy"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/table-field-spec"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/algebra.rs"])] [members ("collection::{RepeatShape,TableExtraPolicy,TableFieldSpec,TableShape}")] [module-path "table-field-spec"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/table-field-spec"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/algebra/collection.rs"])] [members ("key:Symbol" "shape:Arc<dynShape>" "required:bool")] [module-path "table-field-spec"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/table-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "5")] [file "src/algebra.rs"])] [members ("collection::{RepeatShape,TableExtraPolicy,TableFieldSpec,TableShape}")] [module-path "table-shape"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/table-shape"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/algebra/collection.rs"])] [members ()] [module-path "table-shape"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/table_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "13")] [file "src/citizen.rs"])] [members ()] [module-path "table_shape_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/table_shape_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "table_shape_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/terminal-atom"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "2")] [file "src/grammar/graph.rs"])] [members ("Any()" "Symbol()" "String()" "Number()" "Bool()" "Nil()" "List()" "Map()" "Exact(Expr)")] [module-path "terminal-atom"] [role "enum"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/terminal-atom"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/grammar.rs"])] [members ("graph::{GrammarDialect,GrammarGraph,GrammarPosition,GrammarTarget,Production,ShapeGrammar,TerminalAtom,}")] [module-path "terminal-atom"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/trace-mark-hook"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "trace-mark-hook"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/trace-mark-hook"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "18")] [file "src/hooks/types.rs"])] [members ()] [module-path "trace-mark-hook"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/trace_mark_hook_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "29")] [file "src/hooks/types.rs"])] [members ()] [module-path "trace_mark_hook_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/trace_mark_hook_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "4")] [file "src/hooks.rs"])] [members ("types::{AcceptOnNoDiagnosticsHook,DiscardOnDiagnosticPrefixHook,MatchHook,MatchHookContext,MatchHookDecision,MatchHookKind,MatchHookObject,MatchHookPhase,MatchHookTargetKind,ScoreFloorHook,TraceMarkHook,accept_on_no_diagnostics_hook_class_symbol,discard_on_diagnostic_prefix_hook_class_symbol,hook_ref_arc,hook_value,score_floor_hook_class_symbol,trace_mark_hook_class_symbol,}")] [module-path "trace_mark_hook_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/venn-shape-set"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "6")] [file "src/compare.rs"])] [members ("venn::VennShapeSet")] [module-path "venn-shape-set"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/venn-shape-set"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "3")] [file "src/compare/venn.rs"])] [members ()] [module-path "venn-shape-set"] [role "struct"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/venn_shape_set_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/citizen.rs"])] [members ()] [module-path "venn_shape_set_class_symbol"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/sim-shape/venn_shape_set_class_symbol"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "21")] [file "src/lib.rs"])] [members ("citizen::{and_shape_class_symbol,any_shape_class_symbol,class_shape_class_symbol,exact_expr_shape_class_symbol,expr_kind_shape_class_symbol,hooked_shape_class_symbol,list_shape_class_symbol,not_shape_class_symbol,or_shape_class_symbol,repeat_shape_class_symbol,shape_def_ref_class_symbol,shape_defs_class_symbol,table_shape_class_symbol,venn_shape_set_class_symbol,}")] [module-path "venn_shape_set_class_symbol"] [role "re-export"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]) (expr:map [anchor "anchor/rustdoc/xtask/run"] [generics ""] [location (expr:map [declaration (expr:number numbers/u64 "6")] [file "xtask/src/file_sizes.rs"])] [members ()] [module-path "run"] [role "function"] [syntax-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])]))] [drafts ()] [edges ((expr:map [from "repo/sim-shape"] [rel "contains"] [to "crate/sim-shape"]) (expr:map [from "repo/sim-shape"] [rel "contains"] [to "crate/sim-shape-recipe-exact-bool-shape"]) (expr:map [from "repo/sim-shape"] [rel "contains"] [to "crate/sim-shape-recipe-shape-grammar-contract"]) (expr:map [from "repo/sim-shape"] [rel "contains"] [to "crate/xtask"]) (expr:map [from "repo/sim-shape"] [rel "contains"] [to "doc-set/sim-shape/generated"]) (expr:map [from "feature/sim-shape/shape-recipes"] [rel "supports"] [to "feature/sim-shape/shape"]) (expr:map [from "feature/sim-shape/contract-emitter"] [rel "supports"] [to "feature/sim-shape/shape"]))] [features ((expr:map [anchors ("anchor/crate/sim-shape" "anchor/export/sim-shape/citizen/class.rs" "anchor/export/sim-shape/citizen/codec.rs" "anchor/export/sim-shape/citizen/construct.rs" "anchor/export/sim-shape/citizen/inventory.rs" "anchor/export/sim-shape/citizen/recursive_codec.rs" "anchor/export/sim-shape/shape/accept-on-no-diagnostics-hook" "anchor/export/sim-shape/shape/and" "anchor/export/sim-shape/shape/any" "anchor/export/sim-shape/shape/class" "anchor/export/sim-shape/shape/defs" "anchor/export/sim-shape/shape/discard-on-diagnostic-prefix-hook" "anchor/export/sim-shape/shape/exact-expr" "anchor/export/sim-shape/shape/expr-kind" "anchor/export/sim-shape/shape/hooked" "anchor/export/sim-shape/shape/list" "anchor/export/sim-shape/shape/live-hook" "anchor/export/sim-shape/shape/not" "anchor/export/sim-shape/shape/or" "anchor/export/sim-shape/shape/ref" "anchor/export/sim-shape/shape/repeat" "anchor/export/sim-shape/shape/score-floor-hook" "anchor/export/sim-shape/shape/table" "anchor/export/sim-shape/shape/trace-mark-hook" "anchor/export/sim-shape/shape/venn")] [doc-anchor nil] [grammar-contracts ()] [id "feature/sim-shape/shape"] [key "crate/sim-shape/feature-sim-shape-shape"] [specimens ("spec-test/sim-shape/src/citizen/inventory")] [subject "crate/sim-shape"] [summary "Define reusable Shape matching, binding, browse-only callable signatures, citizen projection, and grammar contracts for runtime values."] [surfaces ()] [title "Shape framework"]) (expr:map [anchors ("anchor/crate/sim-shape-recipe-exact-bool-shape" "anchor/crate/sim-shape-recipe-shape-grammar-contract")] [doc-anchor nil] [grammar-contracts ()] [id "feature/sim-shape/shape-recipes"] [key "crate/sim-shape-recipe-exact-bool-shape/feature-sim-shape-shape-recipes"] [specimens ()] [subject "crate/sim-shape-recipe-exact-bool-shape"] [summary "Carry runnable Shape recipe crates used as checked examples for exact booleans and grammar contracts."] [surfaces ()] [title "Shape recipe crates"]) (expr:map [anchors ("anchor/crate/xtask")] [doc-anchor nil] [grammar-contracts ()] [id "feature/sim-shape/contract-emitter"] [key "crate/xtask/feature-sim-shape-contract-emitter"] [specimens ()] [subject "crate/xtask"] [summary "Emit generated repository contract and index fragments for Shape crates."] [surfaces ()] [title "Shape contract emitter"]))] [generated-by "xtask repo-contract v1"] [protocol-relations ((expr:map [anchor "anchor/rust-impl/sim-shape/src/algebra/boolean.rs-declaration-12"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnis_effectful(&self)->bool{self.inner.is_effectful()}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{letSome(local1)=local1.as_any().downcast_ref::<Self>()else{returnOk(None);};shape_is_subshape_of(local0,local1.inner.as_ref(),self.inner.as_ref()).map(Some)}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{letlocal2=self.inner.check_value(local0,local1)?;iflocal2.accepted{returnOk(ShapeMatch::reject(\"shape-not:inneraccepted\"));}letmutlocal3=ShapeMatch::accept(MatchScore::exact(10));local3.captures.bind_value(capture_symbol(\"negated\"),local0.factory().bool(true)?);Ok(local3)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{letlocal2=self.inner.check_expr(local0,local1)?;iflocal2.accepted{returnOk(ShapeMatch::reject(\"shape-not:inneraccepted\"));}letmutlocal3=ShapeMatch::accept(MatchScore::exact(10));local3.captures.bind_expr(capture_symbol(\"negated\"),Expr::Bool(true));Ok(local3)}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{Ok(ShapeDoc::new(\"notshape\").with_detail(self.inner.describe(local0)?.name))}"] [implementor "NotShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/algebra/boolean.rs-declaration-5"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnis_total(&self)->bool{self.parts.iter().all(|part|part.is_total())}fnis_effectful(&self)->bool{self.parts.iter().any(|part|part.is_effectful())}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{forpartin&self.parts{ifshape_is_subshape_of(local0,part.as_ref(),local1)?{returnOk(Some(true));}}letSome(local1)=local1.as_any().downcast_ref::<Self>()else{returnOk(None);};forparent_partinlocal1.parts(){letmutlocal2=false;forpartin&self.parts{ifshape_is_subshape_of(local0,part.as_ref(),parent_part.as_ref())?{local2=true;break;}}if!local2{returnOk(None);}}Ok(Some(true))}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{ifself.parts.is_empty(){returnOk(ShapeMatch::accept(MatchScore::exact(0)));}letmutlocal2=ShapeMatch::accept(MatchScore::exact(10));forpartin&self.parts{letmutlocal3=part.check_value(local0,local1.clone())?;if!local3.accepted{local3.diagnostics.insert(0,Diagnostic::error(\"shape-and:childrejected\"));returnOk(local3);}local2.captures.extend(local3.captures);local2.score+=local3.score;}Ok(local2)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{ifself.parts.is_empty(){returnOk(ShapeMatch::accept(MatchScore::exact(0)));}letmutlocal2=ShapeMatch::accept(MatchScore::exact(10));forpartin&self.parts{letmutlocal3=part.check_expr(local0,local1)?;if!local3.accepted{local3.diagnostics.insert(0,Diagnostic::error(\"shape-and:childrejected\"));returnOk(local3);}local2.captures.extend(local3.captures);local2.score+=local3.score;}Ok(local2)}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letmutlocal1=ShapeDoc::new(\"andshape\");forpartin&self.parts{local1=local1.with_detail(part.describe(local0)?.name);}Ok(local1)}"] [implementor "AndShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/algebra/boolean.rs-declaration-9"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnis_total(&self)->bool{self.choices.iter().any(|choice|choice.is_total())}fnis_effectful(&self)->bool{self.choices.iter().any(|choice|choice.is_effectful())}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{forchoicein&self.choices{if!shape_is_subshape_of(local0,choice.as_ref(),local1)?{returnOk(None);}}Ok(Some(true))}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{matchself.strategy{OrStrategy::FirstMatch=>check_value_first(local0,&self.choices,local1),OrStrategy::BestScore=>check_value_best(local0,&self.choices,local1),}}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{matchself.strategy{OrStrategy::FirstMatch=>check_expr_first(local0,&self.choices,local1),OrStrategy::BestScore=>check_expr_best(local0,&self.choices,local1),}}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letmutlocal1=ShapeDoc::new(\"orshape\");forchoicein&self.choices{local1=local1.with_detail(choice.describe(local0)?.name);}Ok(local1)}"] [implementor "OrShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/algebra/collection.rs-declaration-10"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnis_effectful(&self)->bool{self.body.is_effectful()}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{letSome(local1)=local1.as_any().downcast_ref::<Self>()else{returnOk(None);};ifself.min<local1.min{returnOk(None);}if!max_at_most(self.max,local1.max){returnOk(None);}shape_is_subshape_of(local0,self.body.as_ref(),local1.body.as_ref()).map(Some)}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{letSome(local2)=local1.object().as_list()else{letexpr=local1.object().as_expr(local0)?;returnself.check_expr(local0,&expr);};letlocal3=force_list_to_vec(local0,local2,\"shape-repeat\")?;self.check_values(local0,&local3)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{letlocal2=matchlocal1{Expr::List(local2)|Expr::Vector(local2)|Expr::Set(local2)=>local2,_=>returnOk(ShapeMatch::reject(\"shape-repeat:expectedlistexpression\")),};letmutlocal3=ShapeMatch::accept(MatchScore::exact(20));foriteminlocal2{letmutlocal4=self.body.check_expr(local0,item)?;if!local4.accepted{local4.diagnostics.insert(0,Diagnostic::error(\"shape-repeat:itemrejected\"));returnOk(local4);}local3.captures.extend(local4.captures);local3.score+=local4.score;}self.finish_expr(local3,local2.len())}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letlocal1=self.max.map(|local1|local1.to_string()).unwrap_or_else(||\"unbounded\".to_owned());Ok(ShapeDoc::new(\"repeatshape\").with_detail(self.body.describe(local0)?.name).with_detail(format!(\"min{}\",self.min)).with_detail(format!(\"max{max}\")))}"] [implementor "RepeatShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/algebra/collection.rs-declaration-7"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnis_total(&self)->bool{self.fields.is_empty()&&matches!(self.extra,TableExtraPolicy::Allow)}fnis_effectful(&self)->bool{self.fields.iter().any(|field|field.shape.is_effectful())||matches!(&self.extra,TableExtraPolicy::Shape(shape)ifshape.is_effectful())}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{letSome(local1)=local1.as_any().downcast_ref::<Self>()else{returnOk(None);};forparent_fieldinlocal1.fields(){if!parent_field_compatible(local0,self,parent_field)?{returnOk(None);}}forchild_fieldinself.fields(){iflocal1.fields().iter().any(|parent_field|parent_field.key==child_field.key){continue;}if!field_accepted_by_parent(local0,child_field,local1)?{returnOk(None);}}ifextra_policy_at_least_as_strict(local0,&self.extra,&local1.extra)?{Ok(Some(true))}else{Ok(None)}}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{ifletSome(local3)=local1.object().as_table_impl(){returnself.check_table_value(local0,local3);}letlocal2=local1.object().as_table(local0)?;letSome(local3)=local2.object().as_table_impl()else{returnOk(ShapeMatch::reject(\"shape-table:expectedtable\"));};self.check_table_value(local0,local3)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{letExpr::Map(local2)=local1else{returnOk(ShapeMatch::reject(\"shape-table:expectedmapexpression\"));};letmutlocal3=Vec::with_capacity(local2.len());for(local4,value)inlocal2{letExpr::Symbol(local4)=local4else{returnOk(ShapeMatch::reject(\"shape-table:mapkeymustbesymbol\"));};local3.push((local4.clone(),value.clone()));}self.check_map_expr(local0,&local3)}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letmutlocal1=ShapeDoc::new(\"tableshape\");forfieldin&self.fields{local1=local1.with_detail(format!(\"{}:{}\",field.key,field.shape.describe(cx)?.name));}Ok(local1)}"] [implementor "TableShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/citizen/class.rs-declaration-5"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fndisplay(&self,local0:&mutCx)->Result<String>{Ok(format!(\"#<class{}>\",self.symbol))}fnas_any(&self)->&dynstd::any::Any{self}"] [implementor "ShapeCitizenClass"] [resolution (expr:map [protocol "sim_kernel::Object"] [state "resolved"])] [source-spelling "Object"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/citizen/class.rs-declaration-6"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnclass(&self,local0:&mutCx)->Result<ClassRef>{ifletSome(value)=local0.registry().class_by_symbol(&Symbol::qualified(\"core\",\"Class\")){returnOk(value.clone());}local0.factory().class_stub(sim_kernel::CORE_CLASS_CLASS_ID,Symbol::qualified(\"core\",\"Class\"),)}fnas_expr(&self,local0:&mutCx)->Result<Expr>{Ok(Expr::Symbol(self.symbol.clone()))}fnas_callable(&self)->Option<&dynCallable>{Some(self)}fnas_class(&self)->Option<&dynClass>{Some(self)}fnas_read_constructor(&self)->Option<&dynReadConstructor>{Some(self)}"] [implementor "ShapeCitizenClass"] [resolution (expr:map [protocol "sim_kernel::ObjectCompat"] [state "resolved"])] [source-spelling "sim_kernel::ObjectCompat"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/citizen/class.rs-declaration-7"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fncall(&self,local0:&mutCx,local1:Args)->Result<Value>{(self.construct)(local0,local1.into_vec())}"] [implementor "ShapeCitizenClass"] [resolution (expr:map [protocol "sim_kernel::Callable"] [state "resolved"])] [source-spelling "Callable"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/citizen/class.rs-declaration-8"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnid(&self)->ClassId{self.id}fnsymbol(&self)->Symbol{self.symbol.clone()}fnparents(&self,local0:&mutCx)->Result<Vec<ClassRef>>{Ok(local0.registry().class_by_symbol(&Symbol::qualified(\"core\",\"Shape\")).cloned().into_iter().collect())}fnconstructor_shape(&self,local0:&mutCx)->Result<ShapeRef>{local0.factory().nil()}fninstance_shape(&self,local0:&mutCx)->Result<ShapeRef>{Ok(local0.registry().shape_by_symbol(&Symbol::qualified(\"core\",\"Shape\")).cloned().unwrap_or(local0.factory().nil()?))}fnread_constructor(&self,local0:&mutCx)->Result<Option<ReadConstructorRef>>{Ok(local0.registry().class_by_symbol(&self.symbol).cloned())}fnmembers(&self,local0:&mutCx)->Result<TableRef>{local0.factory().table(vec![(Symbol::new(\"version\"),cx.factory().symbol(Symbol::new(\"v1\"))?,)])}"] [implementor "ShapeCitizenClass"] [resolution (expr:map [protocol "sim_kernel::Class"] [state "resolved"])] [source-spelling "Class"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/citizen/class.rs-declaration-9"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnsymbol(&self)->Symbol{self.symbol.clone()}fnargs_shape(&self,local0:&mutCx)->Result<ShapeRef>{local0.factory().nil()}fnconstruct_read(&self,local0:&mutCx,local1:Vec<Value>)->Result<Value>{(self.construct)(local0,local1)}"] [implementor "ShapeCitizenClass"] [resolution (expr:map [protocol "sim_kernel::ReadConstructor"] [state "resolved"])] [source-spelling "ReadConstructor"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/citizen/codec.rs-declaration-6"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnobject_encoding(&self,local0:&mutCx)->Result<ObjectEncoding>{Ok(constructor_encoding(venn_shape_set_class_symbol(),vec![encode_venn_members(self.members())?],))}"] [implementor "VennShapeSet"] [resolution (expr:map [protocol "sim_kernel::ObjectEncode"] [state "resolved"])] [source-spelling "ObjectEncode"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/citizen/codec.rs-declaration-7"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fncitizen_symbol()->Symbol{venn_shape_set_class_symbol()}fncitizen_version()->u32{1}fncitizen_arity()->usize{1}fncitizen_fields()->&'static[&'staticstr]{&[\"members\"]}"] [implementor "VennShapeSet"] [resolution (expr:map [protocol "sim_citizen::Citizen"] [state "resolved"])] [source-spelling "sim_citizen::Citizen"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/compare/venn.rs-declaration-5"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fndisplay(&self,local0:&mutCx)->Result<String>{Ok(format!(\"#<shape-venn{}members>\",self.members.len()))}fnas_any(&self)->&dynstd::any::Any{self}"] [implementor "VennShapeSet"] [resolution (expr:map [protocol "sim_kernel::Object"] [state "resolved"])] [source-spelling "Object"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/compare/venn.rs-declaration-6"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnclass(&self,local0:&mutCx)->Result<ClassRef>{letlocal1=crate::citizen::venn_shape_set_class_symbol();ifletSome(value)=local0.registry().class_by_symbol(&local1){returnOk(value.clone());}local0.factory().nil()}fnas_expr(&self,local0:&mutCx)->Result<Expr>{matchself.object_encoding(local0)?{ObjectEncoding::Constructor{class,args}=>Ok(Expr::Call{operator:Box::new(Expr::Symbol(class)),args,}),_=>Err(Error::Eval(\"vennshapesetproducedanon-constructorobjectencoding;only\\constructorencodingscanrenderasanexpression\".to_owned(),)),}}fnas_object_encoder(&self)->Option<&dynObjectEncode>{Some(self)}"] [implementor "VennShapeSet"] [resolution (expr:map [protocol "sim_kernel::ObjectCompat"] [state "resolved"])] [source-spelling "sim_kernel::ObjectCompat"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions.rs-declaration-16"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fndisplay(&self,local0:&mutCx)->Result<String>{Ok(format!(\"#<function{}>\",self.symbol))}fnas_any(&self)->&dynstd::any::Any{self}"] [implementor "FunctionObject"] [resolution (expr:map [protocol "sim_kernel::Object"] [state "resolved"])] [source-spelling "Object"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions.rs-declaration-17"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnclass(&self,local0:&mutCx)->Result<ClassRef>{ifletSome(value)=local0.registry().class_by_symbol(&Symbol::qualified(\"core\",\"Function\")){returnOk(value.clone());}local0.factory().class_stub(sim_kernel::CORE_FUNCTION_CLASS_ID,Symbol::qualified(\"core\",\"Function\"),)}fnas_table(&self,local0:&mutCx)->Result<Value>{letmutlocal1=vec![(Symbol::new(\"symbol\"),cx.factory().string(self.symbol.to_string())?,),(Symbol::new(\"case-count\"),cx.factory().number_literal(Symbol::qualified(\"numbers\",\"f64\"),self.cases.len().to_string(),)?,),];for(index,case)inself.cases.iter().enumerate(){local1.push((Symbol::qualified(\"case\",case.name.name.clone()),local0.factory().string(case.name.to_string())?,));letlocal2=case.args.describe(local0)?;local1.push((Symbol::qualified(\"case-args\",index.to_string()),local0.factory().string(local2.name)?,));ifletSome(result)=&case.result{letlocal3=result.describe(local0)?;local1.push((Symbol::qualified(\"case-result\",index.to_string()),local0.factory().string(local3.name)?,));}if!case.demand.is_empty(){local1.push((Symbol::qualified(\"case-demand\",index.to_string()),local0.factory().list(case.demand.iter().map(|demand|{letlocal4=matchdemand{Demand::Never=>\"never\",Demand::Bool=>\"bool\",Demand::Value=>\"value\",Demand::Expr=>\"expr\",Demand::Class(_)=>\"class\",Demand::Shape(_)=>\"shape\",};local0.factory().symbol(Symbol::new(local4))}).collect::<Result<Vec<_>>>()?,)?,));}}local0.factory().table(local1)}fnas_callable(&self)->Option<&dynCallable>{Some(self)}fnas_read_constructor(&self)->Option<&dynReadConstructor>{Some(self)}"] [implementor "FunctionObject"] [resolution (expr:map [protocol "sim_kernel::ObjectCompat"] [state "resolved"])] [source-spelling "sim_kernel::ObjectCompat"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions.rs-declaration-18"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fncall(&self,local0:&mutCx,local1:Args)->Result<Value>{letlocal2=PreparedArgs::new(local1.into_vec());letlocal3=self.select_case(local0,&local2)?;letlocal2=refine_prepared_args(local0,&local2,local3.case)?;letlocal4=local3.match_result.captures;letlocal5=local4.clone().into_child_env(local0)?;letlocal6=local0.with_env(local5,|local0|{(local3.case.implementation)(local0,&local2,local4)})?;ifletSome(shape)=&local3.case.result{letlocal7=shape.check_value(local0,local6.clone())?;if!local7.accepted{returnErr(sim_kernel::Error::WrongShape{expected:shape.id().unwrap_or(ShapeId(0)),diagnostics:local7.diagnostics,});}}Ok(local6)}fnbrowse_args_shape(&self,local0:&mutCx)->Result<Option<ShapeRef>>{Ok(self.combined_args_shape().map(|shape|shape_value(Symbol::qualified(self.symbol.to_string(),\"args\"),shape)))}fnbrowse_result_shape(&self,local0:&mutCx)->Result<Option<ShapeRef>>{Ok(self.combined_result_shape().map(|shape|shape_value(Symbol::qualified(self.symbol.to_string(),\"result\"),shape)))}fncall_exprs(&self,local0:&mutCx,local1:RawArgs)->Result<Value>{self.call_exprs_with_demands(local0,local1)}"] [implementor "FunctionObject"] [resolution (expr:map [protocol "sim_kernel::Callable"] [state "resolved"])] [source-spelling "Callable"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions.rs-declaration-21"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnsymbol(&self)->Symbol{self.symbol.clone()}fnargs_shape(&self,local0:&mutCx)->Result<ShapeRef>{matchself.combined_args_shape(){Some(shape)=>Ok(shape_value(Symbol::qualified(self.symbol.to_string(),\"args-shape\"),shape,)),None=>local0.factory().nil(),}}fnconstruct_read(&self,local0:&mutCx,local1:Vec<Value>)->Result<Value>{self.call(local0,Args::new(local1))}"] [implementor "FunctionObject"] [resolution (expr:map [protocol "sim_kernel::ReadConstructor"] [state "resolved"])] [source-spelling "ReadConstructor"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-14"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fndisplay(&self,local0:&mutCx)->Result<String>{Ok(\"#<non-typescript-specimen>\".to_owned())}fnas_any(&self)->&dynstd::any::Any{self}"] [implementor "Specimen"] [resolution (expr:map [protocol "sim_kernel::Object"] [state "resolved"])] [source-spelling "Object"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-15"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnas_callable(&self)->Option<&dynCallable>{Some(self)}"] [implementor "Specimen"] [resolution (expr:map [protocol "sim_kernel::ObjectCompat"] [state "resolved"])] [source-spelling "ObjectCompat"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-16"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fncall(&self,local0:&mutCx,local1:Args)->Result<Value>{self.evaluated_calls.fetch_add(1,Ordering::SeqCst);local0.factory().string(\"unchecked-result\".to_owned())}fncall_exprs(&self,local0:&mutCx,local1:RawArgs)->Result<Value>{self.raw_calls.fetch_add(1,Ordering::SeqCst);local0.factory().expr(Expr::List(local1.into_exprs()))}"] [implementor "Specimen"] [resolution (expr:map [candidates ()] [reason "ambiguous-glob-import"] [state "unresolved"])] [source-spelling "Callable"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-5"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnheader(&self)->&ObjectHeader{self.callable.object().header()}fnop(&self,local0:&OpKey)->Option<&dynsim_kernel::Op>{self.callable.object().op(local0)}fnclaims(&self,local0:&mutCx,local1:&ClaimPattern,local2:&mutdynClaimSink)->Result<()>{self.callable.object().claims(local0,local1,local2)}fnsnapshot(&self,local0:&mutCx)->Result<Option<Datum>>{self.callable.object().snapshot(local0)}fndisplay(&self,local0:&mutCx)->Result<String>{self.callable.object().display(local0)}fnas_any(&self)->&dynstd::any::Any{self}"] [implementor "BrowseSignature"] [resolution (expr:map [protocol "sim_kernel::Object"] [state "resolved"])] [source-spelling "Object"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-6"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnclass(&self,local0:&mutCx)->Result<ClassRef>{self.callable.object().class(local0)}fnas_callable(&self)->Option<&dynCallable>{Some(self)}fnas_expr(&self,local0:&mutCx)->Result<sim_kernel::Expr>{self.callable.object().as_expr(local0)}fntruth(&self,local0:&mutCx)->Result<bool>{self.callable.object().truth(local0)}fnas_table(&self,local0:&mutCx)->Result<Value>{self.callable.object().as_table(local0)}"] [implementor "BrowseSignature"] [resolution (expr:map [protocol "sim_kernel::ObjectCompat"] [state "resolved"])] [source-spelling "ObjectCompat"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions/browse_signature.rs-declaration-7"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fncall(&self,local0:&mutCx,local1:Args)->Result<Value>{self.inner().call(local0,local1)}fnbrowse_args_shape(&self,local0:&mutCx)->Result<Option<ShapeRef>>{Ok(self.args.clone())}fnbrowse_result_shape(&self,local0:&mutCx)->Result<Option<ShapeRef>>{Ok(self.result.clone())}fncall_exprs(&self,local0:&mutCx,local1:RawArgs)->Result<Value>{self.inner().call_exprs(local0,local1)}"] [implementor "BrowseSignature"] [resolution (expr:map [protocol "sim_kernel::Callable"] [state "resolved"])] [source-spelling "Callable"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions/shape_object.rs-declaration-10"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnobject_encoding(&self,local0:&mutCx)->Result<ObjectEncoding>{self.encoding.clone().ok_or_else(||{sim_kernel::Error::Eval(format!(\"shape{}hasnoconstructorencoding\",self.symbol))})}"] [implementor "ShapeObject"] [resolution (expr:map [protocol "sim_kernel::ObjectEncode"] [state "resolved"])] [source-spelling "ObjectEncode"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions/shape_object.rs-declaration-11"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fncall(&self,local0:&mutCx,local1:Args)->Result<Value>{let[local2]=local1.values()else{returnErr(sim_kernel::Error::Eval(\"shapecallexpects1argument\".to_owned(),));};sim_kernel::call_shape(local0,self.shape.as_ref(),sim_kernel::ShapeCallTarget::Value(local2.clone()),)}fncall_exprs(&self,local0:&mutCx,local1:RawArgs)->Result<Value>{let[local2]=local1.exprs()else{returnErr(sim_kernel::Error::Eval(\"shapecallexpects1expression\".to_owned(),));};sim_kernel::call_shape(local0,self.shape.as_ref(),sim_kernel::ShapeCallTarget::Expr(local2.clone()),)}"] [implementor "ShapeObject"] [resolution (expr:map [protocol "sim_kernel::Callable"] [state "resolved"])] [source-spelling "Callable"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions/shape_object.rs-declaration-5"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnid(&self)->Option<sim_kernel::ShapeId>{self.shape.id()}fnsymbol(&self)->Option<Symbol>{Some(self.symbol.clone())}fnparents(&self,local0:&mutCx)->Result<Vec<ShapeRef>>{self.shape.parents(local0)}fnis_effectful(&self)->bool{self.shape.is_effectful()}fnis_total(&self)->bool{self.shape.is_total()}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{letlocal1=local1.as_any().downcast_ref::<NamedShape>().map(|local1|local1.shape.as_ref()).unwrap_or(local1);self.shape.is_subshape_of(local0,local1)}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{self.shape.check_value(local0,local1)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{self.shape.check_expr(local0,local1)}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{self.shape.describe(local0)}"] [implementor "NamedShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions/shape_object.rs-declaration-8"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fndisplay(&self,local0:&mutCx)->Result<String>{letlocal1=self.shape.describe(local0)?;Ok(format!(\"#<shape{}{}>\",self.symbol,doc.name))}fnas_any(&self)->&dynstd::any::Any{self}"] [implementor "ShapeObject"] [resolution (expr:map [protocol "sim_kernel::Object"] [state "resolved"])] [source-spelling "Object"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/functions/shape_object.rs-declaration-9"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnclass(&self,local0:&mutCx)->Result<ClassRef>{ifletSome(value)=local0.registry().class_by_symbol(&self.symbol){returnOk(value.clone());}ifletSome(value)=local0.registry().class_by_symbol(&Symbol::qualified(\"core\",\"Shape\")){returnOk(value.clone());}local0.factory().class_stub(sim_kernel::CORE_SHAPE_CLASS_ID,Symbol::qualified(\"core\",\"Shape\"),)}fnas_expr(&self,local0:&mutCx)->Result<sim_kernel::Expr>{match&self.encoding{Some(ObjectEncoding::Constructor{class,args})=>Ok(sim_kernel::Expr::Call{operator:Box::new(sim_kernel::Expr::Symbol(class.clone())),args:args.clone(),}),_=>Ok(sim_kernel::Expr::Symbol(self.symbol.clone())),}}fnas_table(&self,local0:&mutCx)->Result<Value>{letlocal1=self.shape.describe(local0)?;letmutlocal2=vec![(Symbol::new(\"name\"),cx.factory().string(doc.name)?),(Symbol::new(\"effectful\"),cx.factory().bool(self.shape.is_effectful())?,),(Symbol::new(\"total\"),cx.factory().bool(self.shape.is_total())?,),];for(index,detail)inlocal1.details.into_iter().enumerate(){local2.push((Symbol::qualified(\"detail\",index.to_string()),local0.factory().string(detail)?,));}local0.factory().table(local2)}fnas_shape(&self)->Option<&dynShape>{Some(self.shape.as_ref())}fnas_callable(&self)->Option<&dynCallable>{Some(self)}fnas_object_encoder(&self)->Option<&dynObjectEncode>{self.encoding.as_ref().map(|_|selfas&dynObjectEncode)}"] [implementor "ShapeObject"] [resolution (expr:map [protocol "sim_kernel::ObjectCompat"] [state "resolved"])] [source-spelling "sim_kernel::ObjectCompat"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/grammar.rs-declaration-36"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fncodec_symbol(&self)->Symbol{self.codec.clone()}fndialect(&self)->GrammarDialect{self.dialect}fnrender(&self,local0:&crate::GrammarGraph,local1:GrammarPosition)->Result<String>{Ok(format!(\"codec={}dialect={:?}position={:?}root={}\",self.codec,self.dialect,position,production_kind(&graph.root)))}"] [implementor "StubRenderer"] [resolution (expr:map [protocol "crate::GrammarRenderer"] [state "resolved"])] [source-spelling "GrammarRenderer"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/hooks/hooked.rs-declaration-5"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnparents(&self,local0:&mutCx)->Result<Vec<ShapeRef>>{Ok(Vec::new())}fnis_effectful(&self)->bool{self.inner.is_effectful()}fnis_total(&self)->bool{self.acceptance_transparent()&&self.inner.is_total()}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{letSome(local1)=local1.as_any().downcast_ref::<Self>()else{returnOk(None);};if!self.matches_transparent_hook_stack(local1){returnOk(None);}shape_is_subshape_of(local0,self.inner.as_ref(),local1.inner.as_ref()).map(Some)}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{letlocal2=self.inner.describe(local0)?.name;letlocal3=self.run_marks(local0,MatchHookTargetKind::Value,MatchHookPhase::BeforeInner,&local2,None,)?;letlocal4=self.inner.check_value(local0,local1)?;self.finish_match(local0,MatchHookTargetKind::Value,local2,local4,local3)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{letlocal2=self.inner.describe(local0)?.name;letlocal3=self.run_marks(local0,MatchHookTargetKind::Expr,MatchHookPhase::BeforeInner,&local2,None,)?;letlocal4=self.inner.check_expr(local0,local1)?;self.finish_match(local0,MatchHookTargetKind::Expr,local2,local4,local3)}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letmutlocal1=ShapeDoc::new(\"hookedshape\").with_detail(self.inner.describe(local0)?.name);forhookin&self.hooks{local1=local1.with_detail(hook.symbol().to_string());}Ok(local1)}"] [implementor "HookedShape"] [resolution (expr:map [protocol "crate::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-13"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fndisplay(&self,local0:&mutCx)->Result<String>{Ok(format!(\"#<shape-hook{}{}>\",self.hook.symbol(),hook_kind_name(self.hook.kind())))}fnas_any(&self)->&dynstd::any::Any{self}"] [implementor "MatchHookObject"] [resolution (expr:map [protocol "sim_kernel::Object"] [state "resolved"])] [source-spelling "Object"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-14"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnclass(&self,local0:&mutCx)->Result<ClassRef>{ifletSome(ObjectEncoding::Constructor{class,..})=self.hook.object_encoding()&&letSome(value)=local0.registry().class_by_symbol(&class){returnOk(value.clone());}local0.factory().nil()}fnas_expr(&self,local0:&mutCx)->Result<Expr>{matchself.object_encoding(local0)?{ObjectEncoding::Constructor{class,args}=>Ok(Expr::Call{operator:Box::new(Expr::Symbol(class)),args,}),_=>Err(Error::Eval(format!(\"shapehook{}producedanon-constructorobjectencoding;only\\constructorencodingscanrenderasanexpression\",self.hook.symbol()))),}}fnas_object_encoder(&self)->Option<&dynObjectEncode>{self.hook.object_encoding().is_some().then_some(self)}"] [implementor "MatchHookObject"] [resolution (expr:map [protocol "sim_kernel::ObjectCompat"] [state "resolved"])] [source-spelling "sim_kernel::ObjectCompat"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-15"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnobject_encoding(&self,local0:&mutCx)->Result<ObjectEncoding>{self.hook.object_encoding().ok_or_else(||{Error::Eval(format!(\"shapehook{}isnotapuredescriptorcitizen\",self.hook.symbol()))})}"] [implementor "MatchHookObject"] [resolution (expr:map [protocol "sim_kernel::ObjectEncode"] [state "resolved"])] [source-spelling "ObjectEncode"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-19"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnsymbol(&self)->Symbol{Symbol::qualified(\"shape\",\"trace-mark\")}fnkind(&self)->MatchHookKind{MatchHookKind::Mark}fnobject_encoding(&self)->Option<ObjectEncoding>{Some(hook_encoding(trace_mark_hook_class_symbol(),Vec::new()))}fnapply(&self,local0:&mutCx,local1:&MatchHookContext,local2:Option<&ShapeMatch>,)->Result<MatchHookDecision>{Ok(MatchHookDecision::Mark{message:local1.shape_label.clone(),})}"] [implementor "TraceMarkHook"] [resolution (expr:map [protocol "crate::MatchHook"] [state "resolved"])] [source-spelling "MatchHook"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-22"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnsymbol(&self)->Symbol{Symbol::qualified(\"shape\",\"score-floor\")}fnkind(&self)->MatchHookKind{MatchHookKind::Annotate}fnobject_encoding(&self)->Option<ObjectEncoding>{Some(hook_encoding(score_floor_hook_class_symbol(),vec![int_expr(self.floor)],))}fnapply(&self,local0:&mutCx,local1:&MatchHookContext,local2:Option<&ShapeMatch>,)->Result<MatchHookDecision>{letSome(local2)=local2else{returnOk(MatchHookDecision::Pass);};iflocal2.accepted&&local2.score.value()<self.floor{returnOk(MatchHookDecision::Annotate{message:format!(\"scorefloor{}\",self.floor),score_delta:self.floor-local2.score.value(),});}Ok(MatchHookDecision::Pass)}"] [implementor "ScoreFloorHook"] [resolution (expr:map [protocol "crate::MatchHook"] [state "resolved"])] [source-spelling "MatchHook"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-24"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnsymbol(&self)->Symbol{Symbol::qualified(\"shape\",\"accept-on-no-diagnostics\")}fnkind(&self)->MatchHookKind{MatchHookKind::Accept}fnobject_encoding(&self)->Option<ObjectEncoding>{Some(hook_encoding(accept_on_no_diagnostics_hook_class_symbol(),Vec::new(),))}fnapply(&self,local0:&mutCx,local1:&MatchHookContext,local2:Option<&ShapeMatch>,)->Result<MatchHookDecision>{letSome(local2)=local2else{returnOk(MatchHookDecision::Pass);};if!local2.accepted&&local2.diagnostics.is_empty(){returnOk(MatchHookDecision::Accept{reason:\"nodiagnostics\".to_owned(),score:MatchScore::exact(1),});}Ok(MatchHookDecision::Pass)}"] [implementor "AcceptOnNoDiagnosticsHook"] [resolution (expr:map [protocol "crate::MatchHook"] [state "resolved"])] [source-spelling "MatchHook"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/hooks/types.rs-declaration-27"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnsymbol(&self)->Symbol{Symbol::qualified(\"shape\",\"discard-on-diagnostic-prefix\")}fnkind(&self)->MatchHookKind{MatchHookKind::Discard}fnobject_encoding(&self)->Option<ObjectEncoding>{Some(hook_encoding(discard_on_diagnostic_prefix_hook_class_symbol(),vec![Expr::String(self.prefix.clone())],))}fnapply(&self,local0:&mutCx,local1:&MatchHookContext,local2:Option<&ShapeMatch>,)->Result<MatchHookDecision>{letSome(local2)=local2else{returnOk(MatchHookDecision::Pass);};iflocal2.accepted&&local2.diagnostics.iter().any(|diagnostic|diagnostic.message.starts_with(&self.prefix)){returnOk(MatchHookDecision::Discard{reason:self.prefix.clone(),});}Ok(MatchHookDecision::Pass)}"] [implementor "DiscardOnDiagnosticPrefixHook"] [resolution (expr:map [protocol "crate::MatchHook"] [state "resolved"])] [source-spelling "MatchHook"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/primitives/atomic.rs-declaration-10"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnparents(&self,local0:&mutCx)->Result<Vec<ShapeRef>>{Ok(local0.registry().shape_by_symbol(&Symbol::qualified(\"core\",\"Expr\")).cloned().into_iter().collect())}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{ifletSome(local1)=local1.as_any().downcast_ref::<Self>(){returnOk(Some(self.kind==local1.kind));}iflocal1.as_any().is::<ExactExprShape>()||matches!(parent.symbol(),Some(symbol)ifsymbol==Symbol::qualified(\"core\",\"ExactExprShape\")){returnOk(Some(false));}Ok(matches!(parent.symbol(),Some(symbol)ifsymbol==Symbol::qualified(\"core\",\"Expr\")).then_some(true))}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{letlocal2=local1.object().as_expr(local0)?;self.check_expr(local0,&local2)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{ifself.kind.matches(local1){Ok(ShapeMatch::accept(MatchScore::exact(10)))}else{Ok(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(format!(\"{}expression\",self.kind.name()),expr_actual_label(local1),),))}}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{Ok(ShapeDoc::new(format!(\"expr-kind{}\",self.kind.name())))}"] [implementor "ExprKindShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/primitives/atomic.rs-declaration-12"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnsymbol(&self)->Option<Symbol>{Some(Symbol::qualified(\"core\",\"Number\"))}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{iflocal0.number_value_ref(local1)?.is_some(){Ok(ShapeMatch::accept(MatchScore::exact(20)))}else{Ok(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(\"numbervalue\",\"non-numbervalue\"),))}}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{ifmatches!(expr,Expr::Number(_)){Ok(ShapeMatch::accept(MatchScore::exact(10)))}else{Ok(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(\"numberexpression\",expr_actual_label(local1)),))}}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{Ok(ShapeDoc::new(\"numbervalue\"))}"] [implementor "NumberValueShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/primitives/atomic.rs-declaration-15"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnparents(&self,local0:&mutCx)->Result<Vec<ShapeRef>>{letSome(local1)=local0.registry().class_by_symbol(&self.symbol).cloned()else{returnOk(Vec::new());};letSome(local2)=local1.object().as_class()else{returnOk(Vec::new());};letlocal3=local2.id();letlocal4=local2.parents(local0)?;letmutlocal5=Vec::new();forparentinlocal4{letSome(local6)=parent.object().as_class()else{continue;};ifis_cyclic_parent_edge(local0,local3,local6)?{continue;}local5.push(shape_value(Symbol::qualified(\"shape-class-parent\",local6.symbol().to_string()),std::sync::Arc::new(ClassShape::new(local6.symbol())),));}Ok(local5)}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{letSome(local1)=local1.as_any().downcast_ref::<Self>()else{returnOk(None);};ifself.symbol==local1.symbol{returnOk(Some(true));}letSome(local2)=local0.registry().class_by_symbol(&self.symbol).cloned()else{returnOk(Some(false));};letSome(local2)=local2.object().as_class()else{returnOk(Some(false));};letSome(local3)=local0.registry().class_by_symbol(&local1.symbol).cloned()else{returnOk(Some(false));};class_is_subclass_of_guarded(local0,local2,local3).map(Some)}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{ifletSome(local2)=local1.object().as_class()&&class_matches(local0,local2,&self.symbol)?{returnOk(ShapeMatch::accept(MatchScore::exact(30)));}letlocal2=local1.object().class(local0)?;letSome(local2)=local2.object().as_class()else{returnOk(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(\"class-backedvalue\",\"valuewithoutclassmetadata\"),));};ifclass_matches(local0,local2,&self.symbol)?{Ok(ShapeMatch::accept(MatchScore::exact(30)))}else{Ok(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(format!(\"class{}\",self.symbol),format!(\"class{}\",class.symbol()),),))}}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{matchlocal1{Expr::Symbol(symbol)ifclass_symbol_matches(local0,symbol,&self.symbol)?=>{Ok(ShapeMatch::accept(MatchScore::exact(20)))}_=>{letlocal2=matchObjectExpr::parse(local1){Some(local2)=>local2,None=>{returnOk(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(format!(\"class{}\",self.symbol),expr_actual_label(local1),),));}};if!class_symbol_matches(local0,&local2.class,&self.symbol)?{returnOk(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(format!(\"class{}\",self.symbol),format!(\"class{}\",object.class),),));}ifletSome(class_value)=local0.registry().class_by_symbol(&self.symbol).cloned()&&letSome(class)=class_value.object().as_class(){letlocal3=class.instance_shape(local0)?;ifletSome(local3)=local3.object().as_shape(){letSome(local4)=DepthGuard::enter()else{returnOk(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(format!(\"class{}withinshaperecursionbudget\",self.symbol),\"shaperecursionbudgetexceeded\",),));};letlocal5=local3.check_expr(local0,local1)?;iflocal5.accepted{returnOk(ShapeMatch::accept(MatchScore::exact(30)));}returnOk(local5);}}Ok(ShapeMatch::accept(MatchScore::exact(25)))}}}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{Ok(ShapeDoc::new(format!(\"class{}\",self.symbol)))}"] [implementor "ClassShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/primitives/atomic.rs-declaration-18"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnparents(&self,local0:&mutCx)->Result<Vec<ShapeRef>>{Ok(vec![shape_value(Symbol::qualified(\"shape-exact-parent\",expr_kind_of(&self.expected).name()),std::sync::Arc::new(ExprKindShape::new(expr_kind_of(&self.expected))),)])}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{ifletSome(local1)=local1.as_any().downcast_ref::<Self>(){returnOk(Some(self.expected.canonical_eq(local1.expected())));}ifletSome(local1)=local1.as_any().downcast_ref::<ExprKindShape>(){returnOk(Some(local1.kind().matches(&self.expected)));}Ok(None)}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{letlocal2=local1.object().as_expr(local0)?;self.check_expr(local0,&local2)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{ifself.expected.canonical_eq(local1){Ok(ShapeMatch::accept(MatchScore::exact(20)))}else{Ok(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(\"exactexpressionform\",expr_actual_label(local1)),))}}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{Ok(ShapeDoc::new(\"exactexpr\").with_detail(format!(\"{:?}\",self.expected)))}"] [implementor "ExactExprShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/primitives/atomic.rs-declaration-7"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnsymbol(&self)->Option<Symbol>{Some(Symbol::qualified(\"core\",\"Any\"))}fnis_total(&self)->bool{true}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{Ok(ShapeMatch::accept(MatchScore::exact(0)))}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{Ok(ShapeMatch::accept(MatchScore::exact(0)))}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{Ok(ShapeDoc::new(\"Any\"))}"] [implementor "AnyShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/primitives/combinators/capture.rs-declaration-6"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnparents(&self,local0:&mutCx)->Result<Vec<ShapeRef>>{Ok(vec![crate::functions::shape_value(Symbol::qualified(\"shape-capture-parent\",self.name.to_string()),self.inner.clone(),)])}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{shape_is_subshape_of(local0,self.inner.as_ref(),local1).map(Some)}fnis_total(&self)->bool{self.inner.is_total()}fnis_effectful(&self)->bool{self.inner.is_effectful()}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{letmutlocal2=self.inner.check_value(local0,local1.clone())?;iflocal2.accepted{local2.captures.bind_value(self.name.clone(),local1);if!self.inner.is_total()&&letOk(expr)=local2.captures.values().last().expect(\"justboundvaluecapture\").1.object().as_expr(local0){local2.captures.bind_expr(self.name.clone(),expr);}}else{local2.diagnostics.insert(0,binding_failure_diagnostic(&self.name,\"capturedvalue\",\"rejectedvalue\"),);}Ok(local2)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{letmutlocal2=self.inner.check_expr(local0,local1)?;iflocal2.accepted{local2.captures.bind_expr(self.name.clone(),local1.clone());}else{local2.diagnostics.insert(0,binding_failure_diagnostic(&self.name,\"capturedexpression\",expr_actual_label(local1),),);}Ok(local2)}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letlocal1=self.inner.describe(local0)?;Ok(ShapeDoc::new(format!(\"capture{}\",self.name)).with_detail(local1.name))}"] [implementor "CaptureShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/primitives/combinators/effectful.rs-declaration-5"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnid(&self)->Option<ShapeId>{None}fnis_effectful(&self)->bool{true}fnis_total(&self)->bool{self.inner.is_total()}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{letSome(local1)=local1.as_any().downcast_ref::<Self>()else{returnOk(Some(false));};shape_is_subshape_of(local0,self.inner.as_ref(),local1.inner.as_ref()).map(Some)}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{self.inner.check_value(local0,local1)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{self.inner.check_expr(local0,local1)}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letlocal1=self.inner.describe(local0)?;Ok(ShapeDoc::new(format!(\"effectful{}\",inner.name)).with_detail(\"effectfulparse-timevalidationrequiresatrustedparserposition\".to_owned(),),)}"] [implementor "EffectfulShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/primitives/combinators/list.rs-declaration-6"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnis_effectful(&self)->bool{self.items.iter().any(|shape|shape.is_effectful())||self.rest.as_ref().is_some_and(|shape|shape.is_effectful())}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{letSome(local1)=local1.as_any().downcast_ref::<Self>()else{returnOk(None);};ifself.items.len()!=local1.items.len(){returnOk(None);}match(&self.rest,&local1.rest){(None,None)=>{}(Some(child_rest),Some(parent_rest))=>{if!shape_is_subshape_of(local0,child_rest.as_ref(),parent_rest.as_ref())?{returnOk(None);}}_=>returnOk(None),}for(child_item,parent_item)inself.items.iter().zip(local1.items.iter()){if!shape_is_subshape_of(local0,child_item.as_ref(),parent_item.as_ref())?{returnOk(None);}}Ok(Some(true))}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{iflocal1.object().as_list().is_none(){letlocal2=local1.object().as_expr(local0)?;returnself.check_expr(local0,&local2);}self.check_list_value(local0,local1)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{letExpr::List(local2)=local1else{returnOk(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(\"listexpression\",expr_actual_label(local1)),));};iflocal2.len()<self.items.len(){returnOk(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(format!(\"atleast{}listitems\",self.items.len()),format!(\"{}listitems\",items.len()),),));}ifself.rest.is_none()&&local2.len()!=self.items.len(){returnOk(ShapeMatch::reject_with_diagnostic(expected_shape_diagnostic(format!(\"{}listitems\",self.items.len()),format!(\"{}listitems\",items.len()),),));}letmutlocal3=ShapeMatch::accept(MatchScore::exact(20));for(shape,item)inself.items.iter().zip(local2.iter()){letlocal4=shape.check_expr(local0,item)?;if!local4.accepted{returnOk(local4);}local3.captures.extend(local4.captures);local3.score+=local4.score;}ifletSome(rest)=&self.rest{foriteminlocal2.iter().skip(self.items.len()){letlocal4=rest.check_expr(local0,item)?;if!local4.accepted{returnOk(local4);}local3.captures.extend(local4.captures);local3.score+=local4.score;}}Ok(local3)}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letmutlocal1=ShapeDoc::new(\"listshape\");foritemin&self.items{local1=local1.with_detail(item.describe(local0)?.name);}ifself.rest.is_some(){local1=local1.with_detail(\"rest\".to_owned());}Ok(local1)}"] [implementor "ListShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/primitives/combinators/one_of.rs-declaration-5"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnis_effectful(&self)->bool{self.choices.iter().any(|choice|choice.is_effectful())}fnis_total(&self)->bool{self.choices.iter().any(|choice|choice.is_total())}fnis_subshape_of(&self,local0:&mutCx,local1:&dynShape)->Result<Option<bool>>{forchoicein&self.choices{if!shape_is_subshape_of(local0,choice.as_ref(),local1)?{returnOk(Some(false));}}Ok(Some(true))}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{letmutlocal2=Vec::new();forchoicein&self.choices{letlocal3=choice.check_value(local0,local1.clone())?;iflocal3.accepted{returnOk(local3);}local2.extend(local3.diagnostics);}Ok(ShapeMatch{accepted:false,captures:Bindings::new(),score:MatchScore::reject(),diagnostics,})}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{letmutlocal2=Vec::new();forchoicein&self.choices{letlocal3=choice.check_expr(local0,local1)?;iflocal3.accepted{returnOk(local3);}local2.extend(local3.diagnostics);}Ok(ShapeMatch{accepted:false,captures:Bindings::new(),score:MatchScore::reject(),diagnostics,})}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letmutlocal1=ShapeDoc::new(\"one-ofshape\");forchoicein&self.choices{local1=local1.with_detail(choice.describe(local0)?.name);}Ok(local1)}"] [implementor "OneOfShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/primitives/combinators/parser.rs-declaration-6"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnis_effectful(&self)->bool{self.parser.is_effectful()||self.inner.is_effectful()}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{letlocal2=local1.object().as_expr(local0)?;self.check_expr(local0,&local2)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{letlocal2=matchlocal1{Expr::String(text)=>text.as_str(),_=>{returnOk(ShapeMatch::reject(\"expectedstringexpressionforPrattparse\",));}};letlocal3=matchself.parser.parse_expr(local2){Ok(local3)=>local3,Err(Error::Eval(message))=>returnOk(ShapeMatch::reject(message)),Err(other)=>returnErr(other),};self.inner.check_expr(local0,&local3)}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letlocal1=self.inner.describe(local0)?;Ok(ShapeDoc::new(\"prattshape\").with_detail(self.parser.label().to_owned()).with_detail(local1.name))}"] [implementor "PrattShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/primitives/object.rs-declaration-10"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnis_effectful(&self)->bool{self.fields.iter().any(|field|field.shape.is_effectful())}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{letlocal2=local1.object().as_expr(local0)?;self.check_expr(local0,&local2)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{matchObjectExpr::parse_checked(local1){Ok(Some(object))=>{returnself.match_entries(local0,Some(&object.class),&object.fields,\"shape-objectfields\",);}Ok(None)=>{}Err(sim_kernel::Error::Eval(message))=>returnOk(ShapeMatch::reject(message)),Err(err)=>returnErr(err),}ifself.class.is_none()&&letExpr::Map(local2)=local1{letlocal2=local2.iter().map(|(key,value)|matchkey{Expr::Symbol(symbol)=>Some((symbol.clone(),value.clone())),_=>None,}).collect::<Option<Vec<_>>>();ifletSome(local2)=local2{returnself.match_entries(local0,None,&local2,\"shape-fields\");}}Ok(ShapeMatch::reject(\"expectedobjectfields\"))}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letmutlocal1=match&self.class{Some(class)=>ShapeDoc::new(format!(\"fields{}\",class)),None=>ShapeDoc::new(\"fields\"),};forspecin&self.fields{letlocal2=spec.shape.describe(local0)?;local1=local1.with_detail(format!(\"{}:{}\",spec.name,detail.name));}Ok(local1)}"] [implementor "FieldShape"] [resolution (expr:map [protocol "crate::base::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/recursion.rs-declaration-6"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fndrop(&mutself){SHAPE_DEPTH.with(|depth|depth.set(depth.get().saturating_sub(1)));}"] [implementor "DepthGuard"] [resolution (expr:map [candidates ()] [reason "external-metadata-absent"] [state "unresolved"])] [source-spelling "Drop"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/recursive.rs-declaration-10"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnsymbol(&self)->Option<Symbol>{Some(Symbol::qualified(\"shape\",\"Defs\"))}fnis_effectful(&self)->bool{self.root.is_effectful()||self.defs.iter().any(|(_,shape)|shape.is_effectful())}fnis_total(&self)->bool{self.root.is_total()}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{letlocal2=DefScope::push(&self.defs);self.root.check_value(local0,local1)}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{letlocal2=DefScope::push(&self.defs);self.root.check_expr(local0,local1)}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{letmutlocal1=ShapeDoc::new(\"shapedefs\").with_detail(self.root.describe(local0)?.name);for(name,_)in&self.defs{local1=local1.with_detail(name.to_string());}Ok(local1)}"] [implementor "ShapeDefs"] [resolution (expr:map [protocol "sim_kernel::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/recursive.rs-declaration-11"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fnsymbol(&self)->Option<Symbol>{Some(Symbol::qualified(\"shape\",\"Ref\"))}fncheck_value(&self,local0:&mutCx,local1:Value)->Result<ShapeMatch>{self.with_resolved_shape(|shape|shape.check_value(local0,local1))}fncheck_expr(&self,local0:&mutCx,local1:&Expr)->Result<ShapeMatch>{self.with_resolved_shape(|shape|shape.check_expr(local0,local1))}fndescribe(&self,local0:&mutCx)->Result<ShapeDoc>{Ok(ShapeDoc::new(\"shaperef\").with_detail(self.name.to_string()))}"] [implementor "ShapeDefRef"] [resolution (expr:map [protocol "sim_kernel::Shape"] [state "resolved"])] [source-spelling "Shape"]) (expr:map [anchor "anchor/rust-impl/sim-shape/src/recursive.rs-declaration-15"] [body-bound (expr:map [max-bytes (expr:number numbers/u64 "16384")] [truncated false])] [body-fingerprint "fndrop(&mutself){DEF_STACK.with(|stack|{stack.borrow_mut().pop();});}"] [implementor "DefScope"] [resolution (expr:map [candidates ()] [reason "external-metadata-absent"] [state "unresolved"])] [source-spelling "Drop"]))] [routes ((expr:map [audiences ("code" "framework")] [doc-anchor nil] [id "route/add-shape-contract"] [steps ((expr:map [id "feature/sim-shape/shape"] [kind "feature"] [why "The Shape row owns matching, binding, and citizen projection."]) (expr:map [id "feature/sim-shape/contract-emitter"] [kind "feature"] [why "The emitter row keeps Shape contract evidence current."]) (expr:map [id "spec-test/sim-shape/src/citizen/inventory"] [kind "specimen"] [why "The inventory test checks the exported shape citizen surface."]))] [title "Add a Shape contract"]) (expr:map [audiences ("code")] [doc-anchor nil] [id "route/add-shape-recipe"] [steps ((expr:map [id "feature/sim-shape/shape-recipes"] [kind "feature"] [why "The recipe row owns standalone Shape example crates."]) (expr:map [id "feature/sim-shape/shape"] [kind "feature"] [why "The Shape row owns the contract the recipe demonstrates."]))] [title "Add a Shape recipe"]))] [schema "sim.index"] [specimens ((expr:map [checked false] [checked-by nil] [doc-anchor nil] [id "recipe/sim-shape/01-basics/exact-bool-shape"] [kind "recipe"] [language "rust"] [path "recipes/01-basics/exact-bool-shape/recipe.toml"] [runnable false] [subject "crate/sim-shape"]) (expr:map [checked false] [checked-by nil] [doc-anchor nil] [id "recipe/sim-shape/01-basics/shape-grammar-contract"] [kind "recipe"] [language "rust"] [path "recipes/01-basics/shape-grammar-contract/recipe.toml"] [runnable false] [subject "crate/sim-shape"]) (expr:map [checked true] [checked-by "cargo test"] [doc-anchor nil] [id "spec-test/sim-shape/src/citizen/inventory"] [kind "spec-test"] [language "shape"] [path "src/citizen/inventory.rs"] [runnable true] [subject "crate/sim-shape"]) (expr:map [checked true] [checked-by "cargo test"] [doc-anchor nil] [id "spec-test/sim-shape/src/citizen_tests"] [kind "spec-test"] [language "shape"] [path "src/citizen_tests.rs"] [runnable true] [subject "crate/sim-shape"]))] [subjects ((expr:map [id "crate/sim-shape"] [kind "crate"] [title "sim-shape"]) (expr:map [id "crate/sim-shape-recipe-exact-bool-shape"] [kind "crate"] [title "sim-shape-recipe-exact-bool-shape"]) (expr:map [id "crate/sim-shape-recipe-shape-grammar-contract"] [kind "crate"] [title "sim-shape-recipe-shape-grammar-contract"]) (expr:map [id "crate/xtask"] [kind "crate"] [title "xtask"]) (expr:map [id "doc-set/sim-shape/generated"] [kind "doc-set"] [title "sim-shape generated docs"]) (expr:map [id "repo/sim-shape"] [kind "repo"] [title "sim-shape"]))] [surfaces ((expr:map [id "cli/sim-shape-recipe-exact-bool-shape"] [kind "cli"] [subject "crate/sim-shape-recipe-exact-bool-shape"]) (expr:map [id "cli/sim-shape-recipe-shape-grammar-contract"] [kind "cli"] [subject "crate/sim-shape-recipe-shape-grammar-contract"]) (expr:map [id "cli/xtask"] [kind "cli"] [subject "crate/xtask"]) (expr:map [id "docs/sim-shape/generated"] [kind "docs"] [subject "doc-set/sim-shape/generated"]))] [visibility "public"])