`[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 T1 ... Tn : U which is sugar for x : C T1 ... Tn : U.

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

###### PremonJJTPatBindFunCurried.html