Runtime Type Checking

---

Documentation for package ‘sicher’ version 0.1.0

• DESCRIPTION file
• Package NEWS
• Package README

Help Pages

%:%	Type annotation operator
%<-%	Type-checked assignment operator
Any	Built-in Any Type
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
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
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