Overview  Package   Class  Use  Deprecated  Index
Home >> All >> mlsub >> [ typing overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

mlsub.typing
Class KindingEx  

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          mlsub.typing.TypingEx
              mlsub.typing.KindingEx

All Implemented Interfaces:

java.io.Serializable

---

public class KindingEx

extends TypingEx

Reports that two types that have to be compared do not have the same kind

---

Nested Class Summary

 

Nested classes inherited from class java.lang.Throwable

 

Field Summary
java.lang.Object	t1
java.lang.Object	t2

 

Fields inherited from class java.lang.Exception

 

Fields inherited from class java.lang.Throwable

 

Constructor Summary
(package private)	KindingEx(Interface t1, Interface t2)
(package private)	KindingEx(Monotype t1, Monotype t2)
(package private)	KindingEx(Polytype t1, Polytype t2)
(package private)	KindingEx(TypeConstructor t, Interface i)
(package private)	KindingEx(TypeConstructor t1, TypeConstructor t2)

 

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Field Detail

t1

public java.lang.Object t1

---

t2

public java.lang.Object t2

Constructor Detail

KindingEx

KindingEx(Polytype t1,
          Polytype t2)

---

KindingEx

KindingEx(Monotype t1,
          Monotype t2)

---

KindingEx

KindingEx(TypeConstructor t1,
          TypeConstructor t2)

---

KindingEx

KindingEx(TypeConstructor t,
          Interface i)

---

KindingEx

KindingEx(Interface t1,
          Interface t2)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> mlsub >> [ typing overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---