Project

Topics

Namespaces

Public Vars

concrete-optics.iso.axioms

Axioms for isomorphisms.

review-view-axiom

(review-view-axiom optic x & [comparison-function])

Checks the isomorphism axiom which states review composed with view is identity on the given optic and the input. If a comparison function is not provided then typed-eq is used.

view source

view-review-axiom

(view-review-axiom optic x & [comparison-function])

Checks the isomorphism axiom which states view composed with review is identity on the given optic and the input. If a comparison function is not provided then typed-eq is used.

view source