Uses of Class
orc.type.tycon.Tycon

Packages that use Tycon
orc.lib.state.types   
orc.type   
orc.type.java   
orc.type.structured   
orc.type.tycon   
 

Uses of Tycon in orc.lib.state.types
 

Subclasses of Tycon in orc.lib.state.types
 class ArrayType
           
 class BoundedBufferType
           
 class BufferType
           
 class CellType
           
 class RefType
           
 class SyncChannelType
           
 

Uses of Tycon in orc.type
 

Fields in orc.type declared as Tycon
 Tycon TypeInstance.tycon
           
 

Methods in orc.type that return Tycon
 Tycon Type.asTycon()
           
 

Constructors in orc.type with parameters of type Tycon
TypeInstance(Tycon tycon, java.util.List<Type> params)
           
 

Uses of Tycon in orc.type.java
 

Subclasses of Tycon in orc.type.java
 class ClassTycon
           
 

Uses of Tycon in orc.type.structured
 

Subclasses of Tycon in orc.type.structured
 class ListType
           
 class OptionType
           
 

Uses of Tycon in orc.type.tycon
 

Subclasses of Tycon in orc.type.tycon
 class DatatypeTycon
          Type constructor encompassing all type-level information associated with a datatype.
 class ImmutableContainerType
           
 class MutableContainerType
           
 class PolymorphicAliasedType
          A type-level representation of a user-defined type alias with type parameters.
 

Methods in orc.type.tycon that return Tycon
 Tycon Tycon.asTycon()