View Source API Reference drops v0.2.1
Modules
Drops.Casters is a module that provides functions for casting values from one type to another.
Drops.Contract can be used to extend your module with data validation capabilities.
Drops.Predicates is a module that provides validation functions that can be used as the type constraints.
Type behaviour and definition macros.
Drops.Type.Compiler is a module that provides functions for creating type structs from DSL's type specs represented by plain tuples.
DSL functions for defining map key and value type specifications.
Protocol for validating input using types
Drops.Types.Cast is a struct that represents a cast type with input and output types.
Drops.Types.List is a struct that represents a list type with a member type and optional constraints.
Drops.Types.Map is a struct that represents a map type with optional constraints.
Drops.Types.Number is a struct that represents a number type that can be either an integer or a float
Drops.Types.Primitive is a struct that represents a primitive type with optional constraints.
Drops.Types.Union is a struct that represents a union type with left and right types.
Messages Backends are used to generate error messages from error results.