Validation Operators

Validation operators check that a value conforms to a specific format.

Email Validation

__email__ of **User** is a valid email
__email__ of **User** is not a valid email

Interactive Example

Reset

Policy Rule

A **User** has valid contact if __email__ of **User** is a valid email.

Test Data (JSON)

{ "User": { "email": "alice@example.com" } }

▶ Run

URL Validation

__website__ of **Company** is a valid url

Interactive Example

Reset

Policy Rule

A **Company** has web presence if __website__ of **Company** is a valid url.

Test Data (JSON)

{ "Company": { "website": "https://example.com" } }

▶ Run

UUID Validation

__id__ of **Record** is a valid uuid

Interactive Example

Reset

Policy Rule

A **Record** has valid id if __id__ of **Record** is a valid uuid.

Test Data (JSON)

{ "Record": { "id": "550e8400-e29b-41d4-a716-446655440000" } }

▶ Run

Phone Number Validation

__phone__ of **Contact** is a valid phone
__phone__ of **Contact** is a valid phone number

Interactive Example

Reset

Policy Rule

A **Contact** has valid phone if __phone__ of **Contact** is a valid phone number.

Test Data (JSON)

{ "Contact": { "phone": "+1-555-123-4567" } }

▶ Run

Date Validation

__birthday__ of **Person** is a valid date

Interactive Example

Reset

Policy Rule

A **Person** has valid birthday if __birthday__ of **Person** is a valid date.

Test Data (JSON)

{ "Person": { "birthday": "1990-05-20" } }

▶ Run

Time Validation

__start_time__ of **Event** is a valid time

DateTime Validation

__created_at__ of **Record** is a valid datetime

ISO 8601 Validation

__timestamp__ of **Log** is a valid iso8601

Interactive Example

Reset

Policy Rule

A **Log** has valid timestamp if __timestamp__ of **Log** is a valid iso8601.

Test Data (JSON)

{ "Log": { "timestamp": "2024-01-15T10:30:00Z" } }

▶ Run

Format Shorthand

You can also use has the format or has format with a format name:

__email__ of **User** has the format "email"
__website__ of **Company** has format "url"

All Validation Types

Operator	Format name	Example valid value
is a valid email	email	user@example.com
is a valid url	url	https://example.com
is a valid uuid	uuid	550e8400-e29b-41d4-a716-446655440000
is a valid phone	phone	+1-555-123-4567
is a valid phone number	phone number	+1-555-123-4567
is a valid date	date	2024-01-15
is a valid time	time	10:30:00
is a valid datetime	datetime	2024-01-15 10:30:00
is a valid iso8601	iso8601	2024-01-15T10:30:00Z

All validation operators have a negated form: is not a valid email, is not a valid url, etc.