May 26, 2018

Tie a variable to a type constraint

TypeTie exports a single function ttie. ttie ties a variable to a type constraint, ensuring that whatever values stored in the variable will conform to the type constraint. If the type constraint has coercions, these will be used if necessary to ensure values assigned to the variable conform.

WWW http//