DynamicTypeTest-class: Class "DynamicTypeTest" for computed tests on objects.
In TypeInfo: Optional Type Specification Prototype

Description Slots Extends Methods Author(s) See Also Examples

This virtual class is used interntally to unite type signatures that perform a computation to assess argument type suitability.

None.

Class "ClassNameOrExpression", directly.

None.

Duncan Temple Lang <duncan@wald.ucdavis.edu>

TypedSignature TypeSpecification-class

  checkedSqrt <- function(x) {
      return(sqrt(x))
  }

  typeInfo(checkedSqrt) <-
    SimultaneousTypeSpecification(
      TypedSignature(x=quote(
        is(x, "numeric") && all(x>=0))))

  typeInfo(checkedSqrt)

  checkedSqrt(2)
  try(checkedSqrt(-2))