arrow-optics / arrow.optics / <no name provided>

<no name provided>

fun <no name provided>(): Unit

A Getter is an optic that allows to see into a structure and getting a focus.

A Getter can be seen as a get function:

• get: (S) -> A meaning we can look into an S and get an A

Parameters

S - the source of a Getter

A - the focus of a Getter