Package: sicher 0.3.0

sicher: Runtime Type Checking

Provides a lightweight runtime type system for 'R' that enables developers to declare and enforce variable types during execution. Inspired by 'TypeScript', the package introduces intuitive syntax for annotating variables and validating data structures, helping catch type-related errors early and making 'R' code more robust and easier to maintain.

Authors:Mohamed El Fodil Ihaddaden [aut, cre]

sicher_0.3.0.tar.gz
sicher_0.3.0.zip(r-4.7-any)sicher_0.3.0.zip(r-4.6-any)sicher_0.3.0.zip(r-4.5-any)
sicher_0.3.0.tgz(r-4.6-any)sicher_0.3.0.tgz(r-4.5-any)
sicher_0.3.0.tar.gz(r-4.7-any)sicher_0.3.0.tar.gz(r-4.6-any)
sicher_0.3.0.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
DESCRIPTION |NEWS
card.svg |card.png
sicher/json (API)

# Install 'sicher' in R:

install.packages('sicher', repos = c('https://feddelegrand7.r-universe.dev', 'https://cloud.r-project.org'))

Bug tracker:https://github.com/feddelegrand7/sicher/issues

On CRAN:

4.54 score 10 stars 9 scripts 287 downloads 76 exports 1 dependencies

Last updated from:1aa7fc857b. Checks:9 OK. Indexed: yes.

Target	Result	Time
linux-devel	OK	114
source / vignettes	OK	168
linux-release	OK	101
macos-release	OK	128
macos-oldrel	OK	69
windows-devel	OK	76
windows-release	OK	81
windows-oldrel	OK	68
wasm-release	OK	94

Exports:%:%%<-%Alias Any Between Bool brand Brand Check check_type Coerce create_dataframe_type create_list_type create_type DataFrame Date DateTime Default Describe DiscriminatedUnion Double dump_as Enum Environment extend Factor field_errors Function FunctionOf HasMethods infer_type InstanceOf Integer is_type KeyOf Lazy List ListOf Literal match_type Matches MatrixOf MaxLength MinLength NonEmpty NonNA NonNegative Null Nullable Numeric Omit Optional parse_as parse_env Partial Pick Pipe Positive problem_json Readonly Record Refine Required safe_parse Scalar String to_json to_json_schema Transform Tuple type_of typed_function Unique untype validate_json Whole

Dependencies:glue

Citation

Development and contributors

Readme and manuals

Help Manual

Help page	Topics
Vector Size Operator for sicher_type	[.sicher_type
Type annotation operator	%:%
Type-checked assignment operator	%<-%
Give a field an external name	Alias
Built-in Any Type	Any
Between — closed-interval numeric range constraint	Between
Built-in Boolean Type	Bool
Branded types	Brand brand branded-types
Rules that report problems at a chosen location	Check
Type Checking Function	check_type
Coerce values before checking them	Coerce
Create a Data Frame Type with Column Specification	create_dataframe_type
Create a List Type with Specific Structure	create_list_type
Create a Custom Type	create_type
Built-in DataFrame Type	DataFrame
Built-in Date Type	Date
Built-in DateTime Type	DateTime
Default value for a type	Default
Describe a type	Describe
Discriminated Union Type Factory	DiscriminatedUnion
Built-in Double Type	Double
Prepare a value for output	dump_as
Enum Type Factory	Enum
Built-in Environment Type	Environment
Extend a structured list type with additional fields	extend
Factor Type Factory	Factor
Error messages grouped by field	field_errors
Built-in Function Type	Function
Function Type Factory	FunctionOf
Types for objects that have certain methods	HasMethods
Infer a Type from an R Object	infer_type
Instance-of type	InstanceOf
Built-in Integer Type	Integer
Intersection Type Operator	&.sicher_type &.sicher_union intersection-operator
Test whether a value matches a type	is_type
Lazy (recursive) types	Lazy
MinLength / MaxLength modifiers	length-modifiers MaxLength MinLength
Built-in List Type	List
Create a homogeneous list type	ListOf
Literal Type Factory	Literal
Exhaustive matching on the cases of a type	match_type
Matches — regex-constrained string type	Matches
Matrix Type Factory	MatrixOf
NonEmpty modifier — require a non-empty value	NonEmpty
NonNA modifier — reject values containing NAs	NonNA
Built-in NonNegative Type	NonNegative
Built-in Null Type	Null
Create a nullable type variant	Nullable
Built-in Numeric Type	Numeric
Object type utilities: Pick, Omit, Partial, Required, KeyOf	KeyOf object-helpers Omit Partial Pick Required
Create an optional (nullable) type variant	Optional
Parse a value against a type	parse_as safe_parse
Read settings from environment variables	parse_env
Built-in Positive Type	Positive
Print method for sicher_parse_result	print.sicher_parse_result
Print method for sicher_readonly	print.sicher_readonly
Print method for sicher_type	print.sicher_type
Print method for sicher_typed_annotation	print.sicher_typed_annotation
Print method for sicher_typed_function	print.sicher_typed_function
Print method for sicher_union	print.sicher_union
Problem details for HTTP APIs	problem_json
Create a readonly type variant	Readonly
Record Type Factory	Record
Refine a type with a custom rule	Refine
Create a scalar (length-1) type variant	Scalar
Built-in String Type	String
Convert a value to JSON	to_json
Convert a type to JSON Schema	to_json_schema
Transform values after checking them	Pipe Transform transforms
Tuple Type Factory	Tuple
Get the declared type of a typed variable	type_of
Create a type-checked function	typed_function
Union Type Operator	union-operator \|.sicher_type \|.sicher_union
Unique modifier	Unique
Remove the type from a typed variable	untype
Parse and validate JSON	validate_json
Built-in Whole Type	Whole