Man pages for TypeInfo
Optional Type Specification Prototype
| checkArgs | Validate the arguments in a call to a typed function. |
| checkReturnValue | Verify the return value from the function has the appropriate... |
| ClassNameOrExpression-class | Class "ClassNameOrExpression" to represent type information... |
| DynamicTypeTest-class | Class "DynamicTypeTest" for computed tests on objects. |
| hasParameterType | Functions to query existence of specific type information |
| IndependentTypeSpecification | Create separate type information for different parameters. |
| IndependentTypeSpecification-class | Class "TypeSpecification" and derived class |
| NamedTypeTest-class | Class "NamedTypeTest" and sub-classes for tests on class of... |
| paramNames | Compute the names of all the specified parameters in a... |
| ReturnTypeSpecification | Constructor for specifying information about only the return... |
| rewriteTypeCheck | Insert code to support type validation |
| showTypeInfo | Display information about argument types |
| SimultaneousTypeSpecification | Create type signature information governing parameters in a... |
| TypedSignature | Constructor for a TypedSignature object |
| TypedSignature-class | Class "TypedSignature" representing type information about... |
| typeInfo | Get or set type information for a function. |
