`[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 T1 ... Tn : U.

  C T1 T2 ... Tn : U is sugar for val T1 : C T2 ... Tn : 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]`

###### PremonJJTTypeFunCurried.html