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

public class PremonJJTTypeFunCurried

(source file: PremonJJTTypeFunCurried.java)

java.lang.Object
   |
   +----Printable
           |
           +----PremonJJTNode
                   |
                   +----PremonJJTType
                           |
                           +----PremonJJTTypeFunCurried

The pure class interface.

public class PremonJJTTypeFunCurried
  extends PremonJJTType

A type for functions including syntax sugar for curried functions C T₁ ... T_n : U.

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 (int) : int is sugar for proc (int) : int
proc (int) (int) : int is sugar for val (int) : proc (int) : int
proc (bool) (proc ()) (proc ()) is sugar for val (bool) : val (proc () : ()) : proc (proc () : ()) : ()


Author:: Alan Jeffrey
Version: v1.01 1998/07/20

PremonJJTTypeFunCurried(int)

desugar()
print(Printer)

PremonJJTTypeFunCurried

public PremonJJTTypeFunCurried(int id);

print

public void print(Printer p);

desugar

public PremonType desugar();


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

public class PremonJJTTypeFunCurried

PremonJJTTypeFunCurried.html