Skip to main content

Module shape

Module shape 

Source
Expand description

The Shape lens: matcher visualization, bindings, and counterexamples.

Shapes are one of SIM’s strongest differentiators, so this lens exposes them directly: it shows what a Shape is (its documentation), whether a value matches (with the captured bindings), and a failing-match counterexample with the diagnostics that explain the rejection.

Constants§

SHAPE_LENS
The Shape lens id.

Functions§

shape_view
Render a Shape inspected against a matching value and a counterexample that should fail, into one Scene.