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

# public class PremonExpFun

(source file: PremonExpFun.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonExp
                       |
                       +----PremonExpFun

The pure class interface.

    public class PremonExpFun
      extends PremonExp

  A function expression fn C P { M }

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

##

PremonExpFun(PremonCat, PremonPat, PremonExp)
  Create a new function.

##

print(Printer)
printA(Printer)
semantics()
  The semantics of the expression.

##

PremonExpFun

    public PremonExpFun(PremonCat C,
                        PremonPat P,
                        PremonExp M);

  Create a new function.

  Parameters:
    C - the category of the function (val, central or proc).
    P - the argument pattern
    M - the function body

##

print

    public void print(Printer p);

printA

    public void printA(Printer p);

semantics

    public Mor semantics();

  The semantics of the expression.

  Returns:
    curry[[M]]
  Overrides:
    semantics in class PremonExp

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

###### PremonExpFun.html