Getter

optics

GetterPath

optics

get

PSuccess Getter GetterPath PLens Projection

getAll

PTraversal TraversalPath

getOrElse

PResult

getterAtoGetterPValue

LensSyntax