OpticModule
trait OpticModule
Type members
Classlikes
case class Optic[-GetWhole, -SetWholeBefore, -SetPiece, +GetError, +SetError, +GetPiece, +SetWholeAfter](getOptic: GetWhole => OpticResult[(GetError, SetWholeAfter), GetPiece], setOptic: SetPiece => SetWholeBefore => OpticResult[(SetError, SetWholeAfter), SetWholeAfter])
An Optic
is able to get and set a piece of a whole, possibly failing. In
the most general possible case the get and set types are distinct and
getting may fail with a different error than setting.
An Optic
is able to get and set a piece of a whole, possibly failing. In
the most general possible case the get and set types are distinct and
getting may fail with a different error than setting.
- Companion
- object