R: Runtime Type Checking

# Runtime Type Checking

## Documentation for package ‘sicher’ version 0.1.1

- DESCRIPTION file.
- Package NEWS.

## Help Pages

%:% | Type annotation operator
%<-% | Type-checked assignment operator
Any | Built-in Any Type
Between | Between — closed-interval numeric range constraint
Bool | Built-in Boolean Type
check_type | Type Checking Function
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
Double | Built-in Double Type
Enum | Enum Type Factory
extend | Extend a structured list type with additional fields
Function | Built-in Function Type
infer_type | Infer a Type from an R Object
Integer | Built-in Integer Type
List | Built-in List Type
ListOf | Create a homogeneous list type
Literal | Literal Type Factory
Matches | Matches — regex-constrained string type
NonEmpty | NonEmpty modifier — require a non-empty value
NonNA | NonNA modifier — reject values containing NAs
Null | Built-in Null Type
Numeric | Built-in Numeric Type
Optional | Create an optional (nullable) type variant
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
Scalar | Create a scalar (length-1) type variant
String | Built-in String Type
typed_function | Create a type-checked function
union-operator | Union Type Operator
[.sicher_type | Vector Size Operator for sicher_type
|.sicher_type | Union Type Operator
|.sicher_union | Union Type Operator