Skip to contents

Restrict a type with a predicate

Source: R/combinators.R
dot-refined.Rd

Restrict a type with a predicate

Usage

.refined(t, expr, env)

Arguments

t

A type.

expr

An unevaluated expression in ..

env

The environment the expression is evaluated in.

Value

A type.

Examples

rdantic:::.refined(int, quote(. > 0), environment())(c(1, 2))
#> [1] 1 2