TypedSignature-class: Class "TypedSignature" representing type information about...

In TypeInfo: Optional Type Specification Prototype

Description

This class is used to describe an AND or simultaneous condition on the types of several arguments of a function call. The entire test is satisfied if all the individual elements are satisfied. One can represent the test elements for the different parameters as either class names (i.e. character strings or NamedTypeTest-class and sub-classes), and also predicate expressions using DynamicTypeTest.

In addition to the types on the parameters, one can also specify a test for the return type if a call to the function matches this signature. This allows us to associate a specific return type with a specific set of input types.

Currently this class is only used to describe the elements in SimultaneousTypeSpecification-class objects.

Objects from the Class

Use the constructor function TypedSignature to create objects of this class.

Slots

.Data:

This object extends list. But this slot is intended to be opaque and should not be used directly.

returnType:

Object of class "ClassNameOrExpression". This represents the description of the return type of the function associated with this set of given input types.

Extends

Class "list", from data part. Class "vector", by class "list".

Methods

hasParameterType

signature(def = "TypedSignature"):

hasReturnType

signature(def = "TypedSignature"):

Author(s)

Duncan Temple Lang <[e-mail]>

See Also

SimultaneousTypeSpecification

TypeInfo documentation built on Nov. 8, 2020, 5:40 p.m.