Package: restrictR 0.3.0

restrictR: Composable Runtime Contracts

Build reusable validators from small building blocks using the base pipe operator. Define runtime contracts once with restrict() and enforce them anywhere in code. Validators compose naturally, support dependent rules via formulas, and produce clear, path-aware error messages. No domain-specific language, no operator overloading, just idiomatic R.

Authors:Gilles Colling [aut, cre, cph]

restrictR_0.3.0.tar.gz
restrictR_0.3.0.zip(r-4.7-any)restrictR_0.3.0.zip(r-4.6-any)restrictR_0.3.0.zip(r-4.5-any)
restrictR_0.3.0.tgz(r-4.6-any)restrictR_0.3.0.tgz(r-4.5-any)
restrictR_0.3.0.tar.gz(r-4.7-any)restrictR_0.3.0.tar.gz(r-4.6-any)
restrictR_0.3.0.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
DESCRIPTION |NEWS
card.svg |card.png
restrictR/json (API)

# Install 'restrictR' in R:

install.packages('restrictR', repos = c('https://gcol33.r-universe.dev', 'https://cloud.r-project.org'))

Bug tracker:https://github.com/gcol33/restrictr/issues

Pkgdown/docs site:https://gillescolling.com

On CRAN:

contracts runtime-checks runtime-contracts validation

5.45 score 7 stars 6 scripts 308 downloads 57 exports 0 dependencies

Last updated from:80094c71b2. Checks:9 OK. Indexed: yes.

Target	Result	Time
linux-devel	OK	117
source / vignettes	OK	150
linux-release	OK	97
macos-release	OK	122
macos-oldrel	OK	115
windows-devel	OK	78
windows-release	OK	86
windows-oldrel	OK	98
wasm-release	OK	90

Exports:allow_null as_contract_block as_contract_text expect_invalid expect_valid fail is_valid require_any require_between require_character require_class require_col require_contains require_custom require_df require_dim require_dir_exists require_disjoint require_each require_fields require_file_exists require_finite require_function require_has_cols require_integer require_length require_length_matches require_length_max require_length_min require_levels require_logical require_named require_names require_nchar require_ncol_matches require_ncol_min require_negative require_no_na require_nonempty require_not_null require_nrow_matches require_nrow_min require_numeric require_one_of require_pattern require_positive require_readable require_scalar require_set_equal require_sorted require_unique require_unique_names require_valid require_writable restrict steps validation_errors

Dependencies:

Runtime Contracts for R Functions

Rendered fromrestrictR.Rmdusingknitr::rmarkdown

Last update: 2026-10-10
Started: 2026-03-04

Citation

Development and contributors

Readme and manuals

Help Manual

Help page	Topics
Allow NULL	allow_null
Convert a Validator to a Multi-Line Block	as_contract_block
Convert a Validator to Plain Text	as_contract_text
Expect a Value to Fail a Validator	expect_invalid
Expect a Value to Pass a Validator	expect_valid
Format a Validation Error	fail
Test Whether a Value Satisfies a Validator	is_valid
Require at Least One of Several Validators	require_any
Require Value in Range	require_between
Require Character Type	require_character
Require a Specific Class	require_class
Validate a Data Frame Column with a Validator	require_col
Require All of a Set of Values	require_contains
Create a Custom Validation Step	require_custom
Require a Data Frame	require_df
Require Exact Dimensions	require_dim
Require Existing Directories	require_dir_exists
Require Values Disjoint From Context	require_disjoint
Validate Every Element of a List	require_each
Validate Named Fields of a List	require_fields
Require Existing Files	require_file_exists
Require Finite Values	require_finite
Require a Function	require_function
Require Specific Columns	require_has_cols
Require Integer Values	require_integer
Require Specific Length	require_length
Require Length Matching an Expression	require_length_matches
Require Maximum Length	require_length_max
Require Minimum Length	require_length_min
Require Factor Levels	require_levels
Require Logical Type	require_logical
Require Named Value	require_named
Require Names	require_names
Require String Length	require_nchar
Require Column Count Matching an Expression	require_ncol_matches
Require Minimum Number of Columns	require_ncol_min
Require Negative Values	require_negative
Require No NA Values	require_no_na
Require Non-Blank Strings	require_nonempty
Require Non-NULL Value	require_not_null
Require Row Count Matching an Expression	require_nrow_matches
Require Minimum Number of Rows	require_nrow_min
Require Numeric Type	require_numeric
Require Value from a Set	require_one_of
Require Strings Matching a Pattern	require_pattern
Require Positive Values	require_positive
Require Readable Paths	require_readable
Require Scalar Value	require_scalar
Require the Same Set of Values	require_set_equal
Require Sorted Values	require_sorted
Require Unique Values	require_unique
Require Unique Names	require_unique_names
Include Another Validator's Steps	require_valid
Require Writable Paths	require_writable
Create a Composable Validator	restrict
List the Steps of a Validator	steps
Collect Validation Errors Without Throwing	validation_errors