|
Groovy Documentation | |||||||
| FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | PROPERTY | CONSTR | METHOD | DETAIL: FIELD | PROPERTY | CONSTR | METHOD | |||||||
java.lang.Objectcom.github.mperry.fg.Lens
@groovy.transform.TypeChecked class Lens
Created by MarkPerry on 14/01/14.
| Property Summary | |
|---|---|
F |
get
|
F2 |
set
|
| Constructor Summary | |
Lens(F g, F2 s)
|
|
| Method Summary | |
|---|---|
Lens
|
andThen(Lens lens)
|
Lens
|
compose(Lens lens)
|
State
|
flatMap(F f)
|
B
|
get(A a)
|
static Lens
|
lift(F g, F2 s)
|
State
|
map(F f)
|
static Lens
|
mapLens(java.lang.Object k)
|
A
|
mod(A a, F f)
|
State
|
mod(F f)
|
State
|
mod(groovy.lang.Closure c)
|
Lens
|
product(Lens lens)
|
A
|
set(A a, B b)
|
static Lens
|
setLens(java.lang.Object k)
|
State
|
state()
|
Lens
|
sum(Lens lens)
|
State
|
update(B b)
|
State
|
update(F f)
|
| Methods inherited from class java.lang.Object | |
|---|---|
| java.lang.Object#wait(long, int), java.lang.Object#wait(long), java.lang.Object#wait(), java.lang.Object#equals(java.lang.Object), java.lang.Object#toString(), java.lang.Object#hashCode(), java.lang.Object#getClass(), java.lang.Object#notify(), java.lang.Object#notifyAll() |
| Property Detail |
|---|
F get
F2 set
| Constructor Detail |
|---|
Lens(F g, F2 s)
| Method Detail |
|---|
Lens andThen(Lens lens)
@groovy.transform.TypeChecked(TypeCheckingMode.SKIP) Lens compose(Lens lens)
State flatMap(F f)
B get(A a)
@groovy.transform.TypeChecked(TypeCheckingMode.SKIP) static Lens lift(F g, F2 s)
@groovy.transform.TypeChecked(TypeCheckingMode.SKIP) State map(F f)
@groovy.transform.TypeChecked(TypeCheckingMode.SKIP) static Lens mapLens(java.lang.Object k)
A mod(A a, F f)
State mod(F f)
State mod(groovy.lang.Closure c)
@groovy.transform.TypeChecked(TypeCheckingMode.SKIP) Lens product(Lens lens)
A set(A a, B b)
static Lens setLens(java.lang.Object k)
@groovy.transform.TypeChecked(TypeCheckingMode.SKIP) State state()
Lens sum(Lens lens)
@groovy.transform.TypeChecked(TypeCheckingMode.SKIP) State update(B b)
State update(F f)
Groovy Documentation