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 Composite∩Type, 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