lensLaw1 | Test.Validity.Optics |
lensLaw2 | Test.Validity.Optics |
lensLaw3 | Test.Validity.Optics |
lensSpec | Test.Validity.Optics |
lensSpecOnArbitrary | Test.Validity.Optics |
lensSpecOnGen | Test.Validity.Optics |
lensSpecOnValid | Test.Validity.Optics |
lensLaw1 | Test.Validity.Optics |
lensLaw2 | Test.Validity.Optics |
lensLaw3 | Test.Validity.Optics |
lensSpec | Test.Validity.Optics |
lensSpecOnArbitrary | Test.Validity.Optics |
lensSpecOnGen | Test.Validity.Optics |
lensSpecOnValid | Test.Validity.Optics |