Overview  Package   Class  Deprecated  Index  Help 
Groovy Documentation
FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

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

java.lang.Object
  com.github.mperry.fg.SkiCalculus

@groovy.transform.TypeChecked
class SkiCalculus

Created by MarkPerry on 14/01/14.

Method Summary
Y False(X x, Y y)

false
F2 False_()

X I(X x)

F K(X x)

B S(F x, F y, Z z)

X True(X x, Y y)

true
F2 True_()

F2 and(F2 a, F2 b)

Either not(F2 f)

F2 or(F2 a, F2 b)

 
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()
 

Method Detail

False

@groovy.transform.TypeChecked(TypeCheckingMode.SKIP)
Y False(X x, Y y)
false
Parameters:
x
y
Returns:

False_

F2 False_()

I

X I(X x)

K

F K(X x)

S

B S(F x, F y, Z z)

True

@groovy.transform.TypeChecked(TypeCheckingMode.SKIP)
X True(X x, Y y)
true
Parameters:
x
y
Returns:

True_

F2 True_()

and

@groovy.transform.TypeChecked(TypeCheckingMode.SKIP)
F2 and(F2 a, F2 b)

not

Either not(F2 f)

or

@groovy.transform.TypeChecked(TypeCheckingMode.SKIP)
F2 or(F2 a, F2 b)

 

Groovy Documentation