Orbital library

orbital.logic.sign.type
Interface Type.Composite

All Superinterfaces:
java.lang.Comparable, Composite, Functor, Predicate, Type
Enclosing interface:
Type

public static interface Type.Composite
extends Composite, Type

The base interface for all composite types that are composed of other types. Type constructs consisting of a type constructor and argument types implement this interface.

Author:
André Platzer
Structure:
is CompositeType, extends Composite, extends Type

Nested Class Summary
 
Nested classes/interfaces inherited from interface orbital.logic.sign.type.Type
Type.Composite
 
Nested classes/interfaces inherited from interface orbital.logic.functor.Functor
Functor.Specification
 
Field Summary
 
Fields inherited from interface orbital.logic.functor.Predicate
callTypeDeclaration
 
Method Summary
 
Methods inherited from interface orbital.logic.Composite
construct, getComponent, getCompositor, setComponent, setCompositor
 
Methods inherited from interface orbital.logic.sign.type.Type
apply, codomain, compareTo, domain, equals, hashCode, on, subtypeOf, toString, typeSystem
 


Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.