concrete-optics.prism.axioms
Prism axioms.
preview-review-axiom
(preview-review-axiom optic whole & [comparison-function])Checks the prism axiom which states preview composed with review is identity, provided that preview does not produce a :no-match. If a comparison function is not provided then typed-eq is used.
review-preview-axiom
(review-preview-axiom optic part & [comparison-function])Checks the prism axiom which states review composed with preview is identity. If a comparison function is not provided then typed-eq is used.