TypedSignature: Constructor for a TypedSignature object

In TypeInfo: Optional Type Specification Prototype

Description

This is a constructor function for the TypedSignature-class that represents constraints on the types or values of a combination of parameters. It takes named arguments that identify the types of the parameters. Each parameter type should be an object that is “compatible with” ClassNameOrExpression-class, i.e. a test for inheritance or a dynamic expression.

Usage

TypedSignature(..., returnType, obj = new("TypedSignature", list(...)))

Arguments

...	the types for the parameters given as name = type to identify the parameter and its type description.
returnType	the type description for the return value. This applies to the particular combination of inputs given in ...
obj	the instance to populate with the information given in the other arguments. This allows us to pass in objects of sub-classes to this function or to populate previously created objects.

Value

The populated value of obj, by default an object of class TypedSignature-class.

Author(s)

Duncan Temple Lang <[e-mail]>

See Also

SimultaneousTypeSpecification typeInfo checkArgs

Examples

 TypedSignature(x = "logical", y = quote(length(y) == length(x)))

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