You can create constrained types that will use validation rules to check that the input is not violating any of the configured constraints. You can treat it as a lower level guarantee that you're not instantiating objects that are broken.
All types support the constraints API, but not all constraints are suitable for a particular primitive, it's up to you to set up constraints that make sense.
Under the hood it uses
dry-logic and all of its predicates are supported.
string = Types::String.constrained(min_size: 3) string['foo'] # => "foo" string['fo'] # => Dry::Types::ConstraintError: "fo" violates constraints email = Types::String.constrained( format: /\A[\w+\-.]+@[a-z\d\-]+(\.[a-z]+)*\.[a-z]+\z/i ) email["email@example.com"] # => "firstname.lastname@example.org" email["jane"] # => Dry::Types::ConstraintError: "jane" violates constraints