Download the PHP package smartemailing/types without Composer

SmartEmailing \ Types

Missing data types for PHP 8.1. Highly extendable, production tested.

Neverending data validation can be exhausting. Either you have to validate your data over and over again in every function you use it, or you have to rely it has already been validated somewhere else and risk potential problems.

Smelly, right?

Replacing validation hell with Types will make your code much more readable and less vulnerable to bugs.

Types wrap your data in value objects that are guaranteed to be valid and normalized; or not to exist at all. It allows you to use specific type hints instead of primitive types or arrays. Your code will be unbreakable and your IDE will love it.

Table of Contents

• Installation
• How does it work
  • Wrapping raw value
  • Extraction from array
• String-extractable types
  • E-mail address
  • Non-empty string
  • Domain
  • Hex 32
  • Hex Color
  • GUID
  • IP address
  • URL
  • Company registration number
  • Phone number
  • ZIP code
  • JSON
  • Base 64
  • Iban
  • SwiftBic
  • VatId
  • CurrencyCode
  • CountryCode
• Int-extractable types
  • Port
  • Quantity
  • Unsigned Integer
• Float-extractable types
  • Part
  • Sigmoid function value
  • Rectified Linear Unit function value
  • Unsigned Float
• Array-extractable types
  • DateTimeRange
  • Duration
  • Address
  • Price
  • Login credentials
  • Key-Value pair
• Array-types
  • UniqueIntArray
  • UniqueStringArray
• Enum-extractable types
  • Lawful Basis For Processing
  • Country code
  • Currency code
  • Field of Application
  • Time unit
  • Relation
• Primitive types
• DateTimes
• Writing your own types
• How to contribute

Installation

The recommended way to install is via Composer:

How does it work

It is easy. You just initialize desired value object by simple one-liner. From this point, you have sanitized, normalized and valid data; or SmartEmailing\Types\InvalidTypeException to handle.

Types consist from:

• String-extractable types - validated strings (E-mail address, Domains, Hexadecimal strings, ...)
• Int-extractable types - validated integers (Port)
• Float-extractable types - validated floats (SigmoidValue, Part, ...)
• Enum-extractable types - enumerables (CountryCode, CurrencyCode, GDPR's Lawful purpose, ...)
• Composite (Array-extractable) types - structures containing multiple another types (Address, ...)
• DateTimes - extraction of DateTime and DateTimeImmutable
• Primitive types extractors and unique arrays

Different types provide different methods related to them, but all types share this extraction API:

Wrapping raw value

Extraction from array

This is really useful for strict-typing (validation) multidimensional arrays like API requests, forms or database data.

String-extractable types

String-extractable types are based on validated strings. All values are trimmed before validation.

They can be easily converted back to string by string-type casting or calling $type->getValue().

E-mail address

SmartEmailing\Types\Emailaddress

Lowercased and ASCII-transformed e-mail address ([email protected])

Type-specific methods:

• getLocalPart() : string returns local part of e-mail address (hello)
• getDomain() : \SmartEmailing\Types\Domain returns domain part (gmail.com, represented as Types\Domain)

Non-empty string

SmartEmailing\Types\NonEmptyString

Trimmed non-empty string.

Domain

SmartEmailing\Types\Domain

Lowercased domain name (mx1.googlemx.google.com)

Type-specific methods:

• getSecondLevelDomain() : \SmartEmailing\Types\Domain returns second-level domain. (google.com)

Hex 32

SmartEmailing\Types\Hex32

Lowercased 32-characters long hexadecimal string useful as container for MD5 or UUID without dashes. (741ecf779c9244358e6b85975bd13452)

Hex color

SmartEmailing\Types\HexColor

Uppercased 7-characters long string useful as container for color. (#006EDB)

GUID

SmartEmailing\Types\Guid

Lowercased Guid with dashes (741ecf77-9c92-4435-8e6b-85975bd13452)

IP address

SmartEmailing\Types\IpAddress

IP address v4 or v6. (127.0.0.1, [2001:0db8:0a0b:12f0:0000:0000:0000:0001], 2001:db8:a0b:12f0::1)

Type-specific methods:

• getVersion() : int returns IP address version, 4 or 6

URL

SmartEmailing\Types\UrlType

URL based on Nette\Http\Url (https://www.google.com/search?q=all+work+and+no+play+makes+jack+a+dull+boy)

• all spaces in string are urlencoded
• all non-ascii characters are urlencoded

Type-specific methods:

• getAuthority() : string returns authority (www.google.com)
• getHost() : string returns Host (www.google.com)
• getQueryString() : string returns Query string (q=all%20work%20and%20no%20play%20makes%20jack%20a%20dull%20boy)
• getPath() : string returns URl Path (/search)
• getAbsoluteUrl() : string Complete URL as string, alias for getValue()
• getQueryParameter(string $name, mixed $default = null): mixed Return value of parameter $name
• getBaseUrl(): string Return URL without path, query string and hash part (https://www.google.cz/)
• getScheme(): string Return URL scheme (https)
• hasParameters(string[] $names): bool Returns true if URL parameters contain all parameters defined in $names array
• getParameters(): array Returns all URL parameters as string-indexed array
• withQueryParameter(string $name, mixed $value): UrlType Returns new instance with added query parameter.

Company registration number

SmartEmailing\Types\CompanyRegistrationNumber

Whitespace-free company registration number for following countries: CZ, SK, CY

Phone number

SmartEmailing\Types\PhoneNumber

Whitespace-free phone number in international format for following countries: CZ, SK, AT, BE, FR, HU, GB, DE, US, PL, IT, SE, SI, MH, NL, CY, IE, DK, FI, LU, TR

Type-specific methods:

• getCountry() : SmartEmailing\Types\CountryCode Originating country (CZ)

ZIP code

SmartEmailing\Types\ZipCode

Whitespace-free ZIP code valid in following countries: CZ, SK, UK, US

JSON

SmartEmailing\Types\JsonString

Valid JSON-encoded data as string

Type-specific methods:

• static from(mixed $data) : SmartEmailing\Types\JsonString Accepts string or array. Crates JsonString from valid json string or raw data (array)
• static encode(mixed $data) : SmartEmailing\Types\JsonString create JsonString from raw data (array)
• getDecodedValue() : mixed decode JsonString back to raw data

Base 64

SmartEmailing\Types\Base64String

Valid Base 64-encoded data as string

Type-specific methods:

• static encode(string $value) : SmartEmailing\Types\Base64String create Base64String from string
• getDecodedValue() : string decode Base64String back to original string

Iban

SmartEmailing\Types\Iban

Type-specific methods:

• getFormatted(string $type = SmartEmailing\Types\Iban::FORMAT_ELECTRONIC): string returns formatted Iban string. Format types: FORMAT_ELECTRONIC, FORMAT_PRINT.
• getCountry(): SmartEmailing\Types\CountryCode
• getChecksum(): int

SwiftBic

SmartEmailing\Types\SwiftBic

Valid Swift/Bic codes.

VatId

SmartEmailing\Types\VatId

Type-specific methods:

• static isValid(string $vatId): bool returns true if the vat id is valid otherwise returns false
• getCountry(): ?Country returns Country under which the subject should falls or null.
• getPrefix(): ?string returns string that prefixing vat id like EL from EL123456789 or null.
• getVatNumber(): string returns vat number without prefix like 123456789
• getValue(): string return whole vat id EL123456789

CurrencyCode

SmartEmailing\Types\CurrencyCode

Valid currency codes by ISO 4217

CountryCode

SmartEmailing\Types\CountryCode

Valid country codes by ISO 3166-1 alpha-2

Int-extractable types

Int-extractable types are based on validated integers.

They can be easily converted back to int by int-type casting or calling $type->getValue().

Port

SmartEmailing\Types\Port

Port number

Integer interval, <0, 65535>

Quantity

SmartEmailing\Types\Quantity

Quantity of items

Integer interval, <1, PHP_INT_MAX>

Unsigned Integer

SmartEmailing\Types\UnsignedInt

Usigned integer

Integer interval, <0, PHP_INT_MAX>

Float-extractable types

Float-extractable types are based on validated floats.

They can be easily converted back to float by float-type casting or calling $type->getValue().

Part

SmartEmailing\Types\Part

Portion of the whole

Float interval <0.0, 1.0>

Type-specific methods:

• static fromRatio(float $value, float $whole): Part creates new instance by division $value and $whole.
• getPercent(): float returns (Ratio's value) * 100 to get percent representation

Sigmoid function value

SmartEmailing\Types\SigmoidValue

Result of Sigmoid function, useful when building neural networks.

Float interval <-1.0, 1.0>.

Rectified Linear Unit function value

SmartEmailing\Types\ReLUValue

Result of Rectified Linear Unit function, useful when building neural networks.

Float interval <0.0, Infinity).

Unsigned Float

SmartEmailing\Types\UnsignedFloat

Usigned float

Float interval, <0, PHP_FLOAT_MAX>

Array-extractable types

Array-extractable types are composite types encapsulating one or more another types. They are created from associative array. All Array-extractable types implement method toArray() : array which returns normalized array or type's data.

DateTimeRange

SmartEmailing\Types\DateTimeRange

Range between two \DateTimeInterfaces. Safe for datetimes out of range of unix timestamp.

Can be created from:

Type-specific methods:

• getFrom(): \DateTimeImmutable returns From date and time as \DateTimeImmutable instance
• getTo(): \DateTimeImmutable returns To date and time as \DateTimeImmutable instance
• getDurationInSeconds(): int returns number of seconds between From and To dates
• contains(\DateTimeInterface $dateTime): bool returns true if provided \DateTimeInterface lies between From and To dates.
• getLengthInSeconds(): int returns duration length in seconds

Duration

SmartEmailing\Types\Duration

Human-readable time interval.

Can be created from:

Type-specific methods:

• getDateTimeModify(): string returns string that is compatible with \DateTime::modify() and \DateTimeImmutable::modify()
• getUnit(): TimeUnit returns TimeUnit enum type
• getValue() int returns number of units
• static fromDateTimeModify(string $dateTimeModify): self creates new instance from string compatible with \DateTime::modify() and \DateTimeImmutable::modify()

Address

SmartEmailing\Types\Address

Location address contains street and number, town, zip code and country.

Can be created from:

Type-specific methods:

• getStreetAndNumber(): string returns street and number
• getTown(): string returns Town
• getZipCode(): ZipCode returns ZipCode instance
• getCountry(): CountryCode returns CountryCode instance

Price

SmartEmailing\Types\Price

Price object containing number of currency units with VAT, number of currency units without VAT and currency.

Can be created from:

Type-specific methods:

• getWithoutVat(): float returns price without VAT
• getWithVat(): float returns price with VAT
• getCurrency(): CurrencyCode returns CurrencyCode instance

Login credentials

SmartEmailing\Types\LoginCredentials

Value object containing login and plain password. You should use it just in-memory in authentication process and than drop it.

Can be created from:

Type-specific methods:

• getLogin(): string returns login
• getPassword(): string returns password

Key-Value pair

SmartEmailing\Types\KeyValue

Value object containing string key and string value.

Can be created from:

Type-specific methods:

• getKey(): string returns key
• getValue(): string returns value

Scalar leaves array

SmartEmailing\Types\ScalarLeavesArray

Value object containing single or multi-dimensional array with only scalar or NULL values in it's leaves. Array keys stay untouched.

Can be created from:

Array-types-specific extractors:

• static extractOrEmpty(array $data, string $key): self Behaves like standard ::extract() method, but returns empty ScalarLeavesArray when $data[$key] is null or not set.

Array-types

Types provide another kind of Array-extractable types: Unique primitive-type arrays. Their purpose is to hold unique set of primitives. They implement \Countable and \IteratorAggregate and natively support set operations.

All Array-types share following features:

• static empty() : self Creates new empty instance of desired array-type.
• split(int $chunkSize): self[] Splits current instance into array of several instances, each with maximum data-set size of $chunkSize.
• merge(self $toBeMerged): self Returns new instance with data-set combined from parent and $toBeMerged instances. Both source instances stay unchanged.
• deduct(self $toBeDeducted): self Returns new instance with data-set containing all items from parent that are not contained in $toBeDeducted. Both source instances stay unchanged.
• count(): int Returns data-set size.
• isEmpty(): bool Returns true if data-set is empty, false otherwise.

Array-types-specific extractors:

• static extractOrEmpty(array $data, string $key): self Behaves like standard ::extract() method, but returns empty set when $data[$key] is null or not set.
• static extractNotEmpty(array $data, string $key): self Behaves like standard ::extract() method, but throws InvalidTypeException when $data[$key] is not set, null or empty array.

UniqueIntArray

SmartEmailing\Types\UniqueIntArray

UniqueIntArray is able to hold unique set of integers.

Can be created from:

Type-specific methods:

• getValues(): int[] Returns data-set of unique integers as array.
• toArray(): int[] Is just alias for getValues().
• add(int $id): bool Adds another integer to the data-set. Returns false if integer has already been there.
• remove(int $id): void Removes integer from the data-set, if present.
• contains(int $id): bool Returns true if $id is contained in the data-set, false otherwise.

UniqueStringArray

SmartEmailing\Types\UniqueIntArray

UniqueStringArray is able to hold unique set of strings.

Can be created from:

Type-specific methods:

• getValues(): string[] Returns data-set of unique strings as array.
• toArray(): string[] Is just alias for getValues().
• add(string $id): bool Adds another string to the data-set. Returns false if string has already been there.
• remove(string $id): void Removes string from the data-set, if present.
• contains(string $id): bool Returns true if $id is contained in the set, false otherwise.

Enum-extractable types

Enum-extractable types are types that can contain single value from defined set. They are based on kkk

All Enum-extractable types share following features:

• getValue() : string Returns enum-value
• equals(self $enum): bool Returns true if $enum contains same value as parent.
• equalsValue(string $value): self Returns true if parent contains the same value as $value.

Enums can be created using standard extractors or using their constants:

Lawful Basis For Processing

SmartEmailing\Types\LawfulBasisForProcessing

GDPR's lawful basis for processing

Available values

Country code

SmartEmailing\Types\CountryCode

ISO-3166-1 Alpha 2 country code

Available values

Currency code

SmartEmailing\Types\CurrencyCode

ISO-4217 three-letter currency code

Available values

Field of Application

SmartEmailing\Types\FieldOfApplication

Most common fields of human applications.

Available values

Time unit

SmartEmailing\Types\TimeUnit

Time unit compatible with \DateTime::modify() argument format

Available values

Relation

SmartEmailing\Types\Relation

Represents Relation or Gate - AND / OR

Available values

Primitive types and Arrays

Types are able to get and extract primitives using IntType, IntArray, FloatType, FloatArray, StringType, StringArray, BoolType, BoolArray and Array classes. See examples below:

DateTimes and DateTimesImmutable

Types are able to get and extract \DateTime and \DateTimeImmutable objects using DateTimes and DateTimesImmutable classes. Supported format Y-m-d H:s:i. API is the same as for other types, so available methods are (shown for DateTimes):

• from(string $dateTime ) : \DateTime
• extract(array $data, string $index) : \DateTime
• extractOrNull(array $data, string $index, bool $getNullIfInvalid) : ?\DateTime

Dates and DatesImmutable

Types are able to get and extract \DateTime and \DateTimeImmutable objects using Dates and DatesImmutable classes. Dates are created with time sets on 00:00:00. Supported format Y-m-d. API is the same as for other types, so available methods are (shown for Dates):

• from(string $dateTime ) : \DateTime
• extract(array $data, string $index) : \DateTime
• extractOrNull(array $data, string $index, bool $getNullIfInvalid) : ?\DateTime

Writing your own types

Implementing your custom type is easy! At first you have to decide what extractable-type should your new custom type be and use particular extractable-trait in it's class to enhance it by all extractable features. The only thing you have to do next is implement class construtor and throw InvalidTypeException in case of invalid data. You can see examples for every extractable-type below.

• String-extractable types
• Int-extractable types
• Float-extractable types
• Enum-extractable types - You do not have to implement constructor here, just add your public static members.
• Composite (Array-extractable) - Handy for forms-data or API requests validation

One more thought - if you think your new type will be useful for others, please, contribute!

How to contribute

Thank you for your interest in improving Types!️ ❤️ 🖖

Before you open pull request, please, make sure you did not forget to write tests for your code.

Then run following commands:

1) vendor/bin/tester tests Run tests locally. It takes just two seconds :-)

2) bin/cbf This will check the code and automatically fix some code style issues like indentation or line breaks.

3) bin/cs This will run another code style check that will notify you about problems that must be fixed manually. Please, fix them, and re-run the command.

4) bin/stan PHP Static analysis tool - this will check the code for some smelly constructions that should be refactored. Please, fix them, and re-run the command.

5) PR ready!

We are hiring

Do you like our code? If you want to be part of SmartEmailing, we are hiring.