LensFamilyFunctions
trait LensFamilyFunctions
Value members
Concrete methods
A lens family that discards the choice of right or left from disjunction
A lens family that discards the choice of right or left from disjunction
def distributeLensFamily[A1, A2, B1, B2, C1, C2]: LensFamily[(A1, B1 \/ C1), (A2, B2 \/ C2), (A1, B1) \/ (A1, C1), (A2, B2) \/ (A2, C2)]
def factorLensFamily[A1, A2, B1, B2, C1, C2]: LensFamily[(A1, B1) \/ (A1, C1), (A2, B2) \/ (A2, C2), (A1, B1 \/ C1), (A2, B2 \/ C2)]
Polymorphically access the second field of a tuple
Polymorphically access the second field of a tuple
The identity lens family for a given pair of objects
The identity lens family for a given pair of objects
def predicateLensFamily[A1, A2]: LensFamily[Store[A1, Boolean], Store[A2, Boolean], A1 \/ A1, A2 \/ A2]