OpticCheck

SchemaExpr#eval could not decode a result with the expected schema, or failed for another reason that has no case of its own. full and prefix are both the root path.

A step over every key or value found an empty map.

A step over every element found an empty sequence. Traversals built with searchFor also report it when they find nothing.

A problem that stops the optic: another case of a variant, a wrapper that throws, or a failed conversion.

A key step found a map without key. In a check from SchemaExpr#eval, key is a String rendering of the key.

An index step needed the element at index, but the sequence has only size elements.

One problem found while following an optic: an OpticCheck.Error or an OpticCheck.Warning.

A prism step found another case of the variant. expectedCase and actualCase are case names. actualValue is the value at that step; in a check from SchemaExpr#eval, it is the whole input.

A problem caused by a missing part: an empty collection, an index past the end, or a missing key.

A wrapper step's wrap or unwrap threw error. A searchFor traversal also reports it when the modified value no longer decodes with the source schema.

The names of the product elements.

The name of the type.