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

# public class MorCurry

(source file: MorCurry.java)

    java.lang.Object
       |
       +----Printable
               |
               +----Mor
                       |
                       +----MorCurry

The pure class interface.

    public class MorCurry
      extends Mor

  A curried morphism.

##

MorCurry(Mor, PremonCat, Obj, Obj)
  Create a new curried morphism curry(f) : V[X,C[Y,Z]]

##

graph0(Constraints, Interface)
print(Printer)
uncurry()

##

MorCurry

    public MorCurry(Mor f,
                    PremonCat C,
                    Obj X,
                    Obj Y);

  Create a new curried morphism curry(f) : V[X,C[Y,Z]]

  Parameters:
    f - the morphism to curry, of type f : X Y Z in C
    C - the category of the morphism.
    X - the lh source object.
    Y - the rh source object.

##

print

    public void print(Printer p);

uncurry

    public Mor uncurry();

graph0

    public Graph0 graph0(Constraints Con,
                         Interface source);

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

###### MorCurry.html