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

# public class PremonJJTExpFunCurried

(source file: PremonJJTExpFunCurried.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonJJTNode
                       |
                       +----PremonJJTExp
                               |
                               +----PremonJJTExpFunCurried

The pure class interface.

    public class PremonJJTExpFunCurried
      extends PremonJJTExp

  An anonymous function fn C P1 ... Pn {M} where:

  > fn C P1 P2 ... Pn {M}

  is sugar for

  > fn val P1 {fn P2 ... Pn {M}}.

  Note that the return type of an anonymous function can be determined from the type of its body.

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

##

PremonJJTExpFunCurried(int)

##

desugar(PremonCon)
desugarFrom(int, PremonCon)
print(Printer)
printA(Printer)

##

PremonJJTExpFunCurried

    public PremonJJTExpFunCurried(int id);

##

print

    public void print(Printer p);

printA

    public void printA(Printer p);

desugarFrom

    public PremonExp desugarFrom(int i,
                                 PremonCon Gamma)
      throws TypeError;

desugar

    public PremonExp desugar(PremonCon Gamma)
      throws TypeError;

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

###### PremonJJTExpFunCurried.html