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

# public class PremonTypeFun

(source file: PremonTypeFun.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonType
                       |
                       +----PremonTypeFun

The pure class interface.

    public class PremonTypeFun
      extends PremonType

  A function type.

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

##

PremonTypeFun(PremonCat, PremonType, PremonType)
  Create a new function type.

##

cat
  The category of the function.
source
  The source type of the function.
target
  The target type of the function.

##

equals(PremonType)
print(Printer)
semantics()
  The semantics is given using the appropriate function space.
traceable()
  This type is traceable iff C is proc or (C is

  ##

  PremonTypeFun

      public PremonTypeFun(PremonCat cat,
                           PremonType source,
                           PremonType target);

    Create a new function type.

    Parameters:
      cat - the category of the function.
      source - the argument type.
      U - the result type.

  ##

  cat

      public PremonCat cat;

    The category of the function.

  source

      public PremonType source;

    The source type of the function.

  target

      public PremonType target;

    The target type of the function.

  ##

  print

      public void print(Printer p);

  semantics

      public Obj semantics();

    The semantics is given using the appropriate function space.

    Returns:
      [[T]] [[U]] if C is val, [[T]] [[U]] if C is central, and [[T]] [[U]] if C is proc.
    Overrides:
      semantics in class PremonType

  equals

      public boolean equals(PremonType V);

  traceable

      public boolean traceable();

    This type is traceable iff C is proc or (C is val and U is traceable).

    Overrides:
      traceable in class PremonType

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

  ###### PremonTypeFun.html