
[all packages] 
[package ] 
[class hierarchy] 
[index]

public class PremonJJTPatBindFunCurried

(source file: PremonJJTPatBindFunCurried.java)

java.lang.Object
   |
   +----Printable
           |
           +----PremonJJTNode
                   |
                   +----PremonJJTPat
                           |
                           +----PremonJJTPatBindFunCurried

The pure class interface.

public class PremonJJTPatBindFunCurried
  extends PremonJJTPat

A pattern binding C x T₁ ... T_n : U which is sugar for x : C T₁ ... T_n : U.

In turn, C T₁ T₂ ... T_n : U is sugar for val T₁ : C T₂ ... T_n : U.

By default, the return type is ().

For example:

proc x (int) : int is sugar for x : proc (int) : int
proc x(int) (int) : int is sugar for x val (int) : proc (int) : int
proc if (bool) (proc ()) (proc ()) is sugar for if : val (bool) : val (proc () : ()) : proc (proc () : ()) : ()


Author:: Alan Jeffrey
Version: v1.0 1998/06/09

PremonJJTPatBindFunCurried(int)

desugar()
print(Printer)

PremonJJTPatBindFunCurried

public PremonJJTPatBindFunCurried(int id);

print

public void print(Printer p);

desugar

public PremonPat desugar();


[all packages] 
[package ] 
[class hierarchy] 
[index]

public class PremonJJTPatBindFunCurried

PremonJJTPatBindFunCurried.html