public class PremonVarPrimitive

java.lang.Object
   |
   +----Printable
           |
           +----PremonVar
                   |
                   +----PremonVarPrimitive

public class PremonVarPrimitive
  extends PremonVar

This class represents the syntactic class of primitive functions. There is a bit of a hack here, where primitive functions are drawn curried, to improve their appearance. The curryings parameter says how many times the function should be curried before being drawn (for example for val +(int,int):int it's one, but for proc if(bool)(proc():int)(proc():int):int it's three).

PremonVarPrimitive(String, PremonType)

Create a new primitive function with no currying.

PremonVarPrimitive(String, PremonType, int)

Create a new primitive function.

print(Printer)

semantics()

public PremonVarPrimitive(String name,
                          PremonType type,
                          int curryings);

Create a new primitive function.

Parameters:

name - the name of the function

type - the type of the function

curryings - how many times to curry the function before drawing it.

PremonVarPrimitive

public PremonVarPrimitive(String name,
                          PremonType type);

Create a new primitive function with no currying.

Parameters:

name - the name of the function

type - the type of the function

public void print(Printer p);

semantics

public Mor semantics();

PremonVarPrimitive.html