type_constrain: Apply type constraints over observed type parameter values

In dgkf/typewriter: Type annotations and runtime type checks

Apply type constraints over observed type parameter values

Description

Apply type constraints over observed type parameter values

Usage

type_constrain(paramvals, ...)

Arguments

paramvals	A list of type parameters and their observed values
...	Type constraint expressions, from which constraint functions can be produced.

Value

Returns NULL, though this function is called primarily for its side-effects of issueing errors when type constraint checking fails.

See Also

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

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