%:%                     Type annotation operator
%<-%                    Type-checked assignment operator
Any                     Built-in Any Type
Between                 Between — closed-interval numeric range
                        constraint
Bool                    Built-in Boolean Type
Coerce                  Coerce values before checking them
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
Factor                  Factor Type Factory
Function                Built-in Function Type
FunctionOf              Function Type Factory
InstanceOf              Instance-of type
Integer                 Built-in Integer Type
Lazy                    Lazy (recursive) types
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
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
Optional                Create an optional (nullable) type variant
Positive                Built-in Positive Type
Readonly                Create a readonly type variant
Record                  Record Type Factory
Refine                  Refine a type with a custom rule
Scalar                  Create a scalar (length-1) type variant
String                  Built-in String Type
Tuple                   Tuple Type Factory
Unique                  Unique modifier
Whole                   Built-in Whole Type
[.sicher_type           Vector Size Operator for sicher_type
branded-types           Branded types
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
extend                  Extend a structured list type with additional
                        fields
infer_type              Infer a Type from an R Object
intersection-operator   Intersection Type Operator
is_type                 Test whether a value matches a type
length-modifiers        MinLength / MaxLength modifiers
object-helpers          Object type utilities: Pick, Omit, Partial,
                        Required, KeyOf
parse_as                Parse a value against a 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
to_json_schema          Convert a type to JSON Schema
type_of                 Get the declared type of a typed variable
typed_function          Create a type-checked function
union-operator          Union Type Operator
untype                  Remove the type from a typed variable
validate_json           Parse and validate JSON
