Runtime Type Checking

---

Documentation for package ‘sicher’ version 0.2.0

• DESCRIPTION file.
• Package NEWS.

Help Pages

%:%	Type annotation operator
%<-%	Type-checked assignment operator
&.sicher_type	Intersection Type Operator
&.sicher_union	Intersection Type Operator
Any	Built-in Any Type
Between	Between — closed-interval numeric range constraint
Bool	Built-in Boolean Type
Brand	Branded types
brand	Branded types
branded-types	Branded types
check_type	Type Checking Function
Coerce	Coerce values before checking them
create_dataframe_type	Create a Data Frame Type with Column Specification
create_list_type	Create a List Type with Specific Structure
create_type	Create a Custom Type
DataFrame	Built-in DataFrame Type
Date	Built-in Date Type
DateTime	Built-in DateTime Type
Default	Default value for a type
DiscriminatedUnion	Discriminated Union Type Factory
Double	Built-in Double Type
Enum	Enum Type Factory
Environment	Built-in Environment Type
extend	Extend a structured list type with additional fields
Factor	Factor Type Factory
Function	Built-in Function Type
FunctionOf	Function Type Factory
infer_type	Infer a Type from an R Object
InstanceOf	Instance-of type
Integer	Built-in Integer Type
intersection-operator	Intersection Type Operator
is_type	Test whether a value matches a type
KeyOf	Object type utilities: Pick, Omit, Partial, Required, KeyOf
Lazy	Lazy (recursive) types
length-modifiers	MinLength / MaxLength modifiers
List	Built-in List Type
ListOf	Create a homogeneous list type
Literal	Literal Type Factory
Matches	Matches — regex-constrained string type
MatrixOf	Matrix Type Factory
MaxLength	MinLength / MaxLength modifiers
MinLength	MinLength / MaxLength modifiers
NonEmpty	NonEmpty modifier — require a non-empty value
NonNA	NonNA modifier — reject values containing NAs
NonNegative	Built-in NonNegative Type
Null	Built-in Null Type
Nullable	Create a nullable type variant
Numeric	Built-in Numeric Type
object-helpers	Object type utilities: Pick, Omit, Partial, Required, KeyOf
Omit	Object type utilities: Pick, Omit, Partial, Required, KeyOf
Optional	Create an optional (nullable) type variant
parse_as	Parse a value against a type
Partial	Object type utilities: Pick, Omit, Partial, Required, KeyOf
Pick	Object type utilities: Pick, Omit, Partial, Required, KeyOf
Positive	Built-in Positive Type
print.sicher_parse_result	Print method for sicher_parse_result
print.sicher_readonly	Print method for sicher_readonly
print.sicher_type	Print method for sicher_type
print.sicher_typed_annotation	Print method for sicher_typed_annotation
print.sicher_typed_function	Print method for sicher_typed_function
print.sicher_union	Print method for sicher_union
Readonly	Create a readonly type variant
Record	Record Type Factory
Refine	Refine a type with a custom rule
Required	Object type utilities: Pick, Omit, Partial, Required, KeyOf
safe_parse	Parse a value against a type
Scalar	Create a scalar (length-1) type variant
String	Built-in String Type
to_json_schema	Convert a type to JSON Schema
Tuple	Tuple Type Factory
typed_function	Create a type-checked function
type_of	Get the declared type of a typed variable
union-operator	Union Type Operator
Unique	Unique modifier
untype	Remove the type from a typed variable
validate_json	Parse and validate JSON
Whole	Built-in Whole Type
[.sicher_type	Vector Size Operator for sicher_type
|.sicher_type	Union Type Operator
|.sicher_union	Union Type Operator