NEWS.md

In egnha/rong: Functional Input Validation

rong

0.0.0.9000

• Forked from valaddin

valaddin 0.2.0.9000

Redesign of API

This version is a major redesign of the API, which introduces:

• Tidyverse grammar for input validation checks (provided by rlang)

• Programmable error messages via literal string interpolation (provided by glue)

Other changes

• firm_checks() is no longer exported, since it exposes a detail of the implementation of fasten() and firmly().

valaddin 0.1.0.9000

Operator for input validation

• A new operator %checkin% provides an alternative way to write checks next to function headers (#21, suggested by @MilkWasABadChoice). For example, writing list(~is.numeric, ~{. > 0}) %checkin% function(a, b) a + b is equivalent to writing firmly(~is.numeric, ~{. > 0}, .f = function(a, b) a + b). Using the %checkin% operator is the recommended way to apply input validation in scripts and packages.

New functions

• The localized check makers vld_any() and vld_all() correspond to the base predicates any() and all().

• To match naive expectations, a localized check maker vld_closure() is introduced to validate closures, i.e., non-primitive functions, while vld_function() has been redefined to validate functions in general, i.e., it corresponds to the base R predicate is.function (#18).

Minor improvements

• dplyr is no longer required.

• Since loosely() is typically used to obviate the overhead of input validation, calling it should itself impose as little overhead as possible (#28). Therefore, loosely() has been streamlined: it no longer checks its inputs. Calling it is now on par with calling firm_core().

• firmly() gets a new option, .error_class, that enables you to customize the subclass of the error object that is signaled when an input validation error occurs (#25).

• Reduced use of assignment, subsetting and warning suppression speeds up firmly to within an order of magnitude of the speed of input validation using stopifnot.

• The environment of check formulae generated by the vld_*() check makers is the package namespace environment. (Previously, such check formulae got their own environment, though there was no need for such separation.)

• Printing of functions (i.e., those underlying firmly applied functions and predicate functions of check-formula makers) is normalized to eliminate spurious indentation (#23).

• Minor edits to vignette.

Bug fixes

• Validation error messages now display all arguments with specified or default value (#33). Previously, only specified arguments were shown, even when the source of a validation failure was an invalid default value.

• When evaluating input-validation expressions, the lexical scope of promises is now completely isolated from the lexical scope of (check formula) predicate functions (#32). With this fix, firmly() and %checkin% are now safe to use in package namespace environments. Previously, it was possible for a predicate function to be hijacked by a homonymous promise, or for an input validation to fail for an argument with default value, if that default value was inaccessible from the parent frame.

• If a formal argument happened to coincide with the name of an object in the input validation procedure (valaddin:::validating_closure()), that formal argument could be inadvertently invoked in place of that object. This bug has been fixed by referencing bindings in the enclosing environment. (However, doing something truly ill-advised, such as duping a base R function, will still go unsupervised.) See commits abae548 and dcfdcaf.

Deprecated

• The .quiet argument has been dropped from loosely(). (If desired, the behavior of that option can be replicated by signaling an appropriate warning prior to calling loosely().)

valaddin 0.1.0

• First stable release:

  • Main functional operators: firmly, loosely
  • Component extractors: firm_checks, firm_core, firm_args
  • Check-scope converters (checker factories): localize, globalize
  • Localized base-R- and purrr-predicate checkers: vld_*

• vld_numeric, vld_scalar_numeric are based on base::is.numeric, since the corresponding predicates in purrr will be deprecated starting from version 0.2.2.9000 (#12).

• Fulfills aim of purrr proposal #275 (closed).

egnha/rong documentation built on May 7, 2019, 9:48 p.m.