Groovy Documentation

com.github.mperry.fg
[Groovy] Class Lens

java.lang.Object
  com.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

get

F get


set

F2 set


 
Constructor Detail

Lens

Lens(F g, F2 s)


 
Method Detail

andThen

Lens andThen(Lens lens)


compose

@groovy.transform.TypeChecked(TypeCheckingMode.SKIP)
Lens compose(Lens lens)


flatMap

State flatMap(F f)


get

B get(A a)


lift

@groovy.transform.TypeChecked(TypeCheckingMode.SKIP)
static Lens lift(F g, F2 s)


map

@groovy.transform.TypeChecked(TypeCheckingMode.SKIP)
State map(F f)


mapLens

@groovy.transform.TypeChecked(TypeCheckingMode.SKIP)
static Lens mapLens(java.lang.Object k)


mod

A mod(A a, F f)


mod

State mod(F f)


mod

State mod(groovy.lang.Closure c)


product

@groovy.transform.TypeChecked(TypeCheckingMode.SKIP)
Lens product(Lens lens)


set

A set(A a, B b)


setLens

static Lens setLens(java.lang.Object k)


state

@groovy.transform.TypeChecked(TypeCheckingMode.SKIP)
State state()


sum

Lens sum(Lens lens)


update

@groovy.transform.TypeChecked(TypeCheckingMode.SKIP)
State update(B b)


update

State update(F f)


 

Groovy Documentation