(shortConstantLens: ShortConstantLens[UpperPB]).:=(a)
(shortConstantLens: ShortConstantLens[UpperPB]).:=(a)
(shortConstantLens: ShortConstantLens[UpperPB]).compose(other)
(shortConstantLens: ShortConstantLens[UpperPB]).compose(other)
(shortConstantLens: ShortConstantLens[UpperPB]).field(getter)(setter)
(shortConstantLens: ShortConstantLens[UpperPB]).field(lens)
(shortConstantLens: ShortConstantLens[UpperPB]).field(getter)(setter)
(shortConstantLens: ShortConstantLens[UpperPB]).field(lens)
(shortConstantLens: ShortConstantLens[UpperPB]).get(u)
(shortConstantLens: ShortConstantLens[UpperPB]).get(u)
(shortConstantLens: ShortConstantLens[UpperPB]).modify(f)
(shortConstantLens: ShortConstantLens[UpperPB]).modify(f)
(shortConstantLens: ShortConstantLens[UpperPB]).set(c)
(shortConstantLens: ShortConstantLens[UpperPB]).set(c)
(shortConstantLens: ShortConstantLens[UpperPB]).update(ms)
(shortConstantLens: ShortConstantLens[UpperPB]).update(ms)
(shortConstantLens: ShortConstantLens[UpperPB]).value
(shortConstantLens: ShortConstantLens[UpperPB]).value
(shortConstantLens: ShortConstantLens[UpperPB]).zip(other)
(shortConstantLens: ShortConstantLens[UpperPB]).zip(other)