wyil.lang

Interface Type.Function

All Superinterfaces:

Type, Type.FunctionOrMethod

All Known Implementing Classes:

Type.Impl.Function

Enclosing interface:

Type

public static interface Type.Function
extends Type.FunctionOrMethod

Represents the set of all function values. These are pure functions, sometimes also called "mathematical" functions. A function cannot have any side-effects and must always return the same values given the same inputs. A function cannot have zero returns, since this would make it a no-operation.

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from interface wyil.lang.Type

Type.Array, Type.EffectiveArray, Type.EffectiveRecord, Type.EffectiveReference, Type.Function, Type.FunctionOrMethod, Type.Impl, Type.Intersection, Type.Leaf, Type.Method, Type.Negation, Type.Nominal, Type.Primitive, Type.Property, Type.Record, Type.Reference, Type.Union

Field Summary

Fields inherited from interface wyil.lang.Type

T_ANY, T_BOOL, T_BYTE, T_INT, T_META, T_NULL, T_VOID

Method Summary

Methods inherited from interface wyil.lang.Type.FunctionOrMethod

parameter, params, returns

Methods inherited from interface wyil.lang.Type

Array, fromString, Function, Intersection, Method, Method, Method, Negation, Nominal, Property, Record, Record, Reference, toImplArrays, toImplOrVoid, toImplRecords, Union