Optional Type Specification Prototype


[Up] [Top]

Documentation for package ‘TypeInfo’ version 1.36.0

Help Pages

checkArgs Validate the arguments in a call to a typed function.
checkArgs-method Validate the arguments in a call to a typed function.
checkArgs-methods Validate the arguments in a call to a typed function.
checkReturnValue Verify the return value from the function has the appropriate type
ClassNameOrExpression-class Class "ClassNameOrExpression" to represent type information as either class names or arbitrary language test
coerce-method Class "NamedTypeTest" and sub-classes for tests on class of an object.
DynamicTypeTest Class "DynamicTypeTest" for computed tests on objects.
DynamicTypeTest-class Class "DynamicTypeTest" for computed tests on objects.
hasParameterType Functions to query existence of specific type information
hasParameterType-method Class "TypedSignature" representing type information about function parameters and the return type
hasParameterType-method Functions to query existence of specific type information
hasReturnType Functions to query existence of specific type information
hasReturnType-method Class "TypedSignature" representing type information about function parameters and the return type
hasReturnType-method Functions to query existence of specific type information
IndependentTypeSpecification Create separate type information for different parameters.
IndependentTypeSpecification-class Class "TypeSpecification" and derived class
InheritsTypeTest Class "NamedTypeTest" and sub-classes for tests on class of an object.
InheritsTypeTest-class Class "NamedTypeTest" and sub-classes for tests on class of an object.
initialize-method Class "TypeSpecification" and derived class
NamedTypeTest-class Class "NamedTypeTest" and sub-classes for tests on class of an object.
paramNames Compute the names of all the specified parameters in a TypeSpecification object
paramNames-method Compute the names of all the specified parameters in a TypeSpecification object
ReturnTypeSpecification Constructor for specifying information about only the return type
ReturnTypeSpecification-class Class "TypeSpecification" and derived class
rewriteTypeCheck Insert code to support type validation
showTypeInfo Display information about argument types
showTypeInfo-method Display information about argument types
SimultaneousTypeSpecification Create type signature information governing parameters in a call.
SimultaneousTypeSpecification-class Class "TypeSpecification" and derived class
StrictIsTypeTest Class "NamedTypeTest" and sub-classes for tests on class of an object.
StrictIsTypeTest-class Class "NamedTypeTest" and sub-classes for tests on class of an object.
TypedSignature Constructor for a TypedSignature object
TypedSignature-class Class "TypedSignature" representing type information about function parameters and the return type
typeInfo Get or set type information for a function.
typeInfo<- Get or set type information for a function.
TypeSpecification-class Class "TypeSpecification" and derived class