type_check: Type check named arguments against type paramvalsraints

In dgkf/typewriter: Type annotations and runtime type checks

Type check named arguments against type paramvalsraints

Description

Type check named arguments against type paramvalsraints

Usage

type_check(..., type_params)

Arguments

...	Named type definition pairs. The name of the parameter represents the variable in the parent environment which should be type checked, and the value represents the type definition.
type_defs	A character vector of type parameters

Value

A list of type bounds and their observed values over tested variables

See Also

Other type-evaluation: %is%(), type_constrain()

dgkf/typewriter documentation built on March 17, 2022, 5:16 p.m.