monocle
law
package
law
Visibility
Public
All
Type Members
case class
IsoLaws
[
S
,
A
]
(
iso:
Iso
[
S
,
A
]
)
extends
Product
with
Serializable
case class
LensLaws
[
S
,
A
]
(
lens:
Lens
[
S
,
A
]
)
extends
Product
with
Serializable
case class
OptionalLaws
[
S
,
A
]
(
optional:
Optional
[
S
,
A
]
)
extends
Product
with
Serializable
case class
PrismLaws
[
S
,
A
]
(
prism:
Prism
[
S
,
A
]
)
extends
Product
with
Serializable
case class
SetterLaws
[
S
,
A
]
(
setter:
Setter
[
S
,
A
]
)
extends
Product
with
Serializable
case class
TraversalLaws
[
S
,
A
]
(
traversal:
Traversal
[
S
,
A
]
)
extends
Product
with
Serializable
Ungrouped