List of all items
Structs
- AcceptOnNoDiagnosticsHook
- AndShape
- AnyShape
- Bindings
- CaptureShape
- ClassShape
- DiscardOnDiagnosticPrefixHook
- EffectfulShape
- ExactExprShape
- ExprKindShape
- FieldShape
- FieldSpec
- FunctionCase
- FunctionObject
- HookedShape
- ListShape
- MatchHookContext
- MatchHookObject
- MatchScore
- NotShape
- NumberValueShape
- ObjectExpr
- OneOfShape
- OrShape
- PrattShape
- RepeatShape
- ScoreFloorHook
- SelectedCase
- ShapeBindings
- ShapeDoc
- ShapeMatch
- ShapeNormalForm
- ShapeObject
- ShapeRelation
- ShapeReport
- ShapeWitness
- TableFieldSpec
- TableShape
- TraceMarkHook
- VennShapeSet
Enums
- ExprKind
- MatchHookDecision
- MatchHookKind
- MatchHookPhase
- MatchHookTargetKind
- OrStrategy
- ShapeNormalKind
- ShapeProbe
- ShapeRelationKind
- TableExtraPolicy
Traits
Functions
- accept_on_no_diagnostics_hook_class_symbol
- and_shape_class_symbol
- any_shape_class_symbol
- binding_failure_diagnostic
- callable_mismatch_diagnostic
- case_result_shape
- case_shape
- check_shape_on_expr
- check_shape_on_value
- check_value_report
- class_shape_class_symbol
- discard_on_diagnostic_prefix_hook_class_symbol
- exact_expr_shape_class_symbol
- expected_shape_diagnostic
- expr_kind_shape_class_symbol
- function_cases
- hook_ref_arc
- hook_value
- hooked_shape_class_symbol
- insert_shape_satisfaction_claim
- list_shape_class_symbol
- normalize_shape
- not_shape_class_symbol
- or_shape_class_symbol
- overload
- overload_selection_diagnostic
- parse_shape_expr
- relate_shapes
- repeat_shape_class_symbol
- satisfies_shape_predicate
- score_floor_hook_class_symbol
- shape_error
- shape_report_from_match
- shape_value
- shape_value_with_encoding
- table_shape_class_symbol
- trace_mark_hook_class_symbol
- venn_shape_set_class_symbol