base on Type Guard is a lightweight PHP library that allows you to narrow down the type of an variable to a more specific type. <p align="center"> <p align="center"> <a href="https://github.com/pinkary-project/type-guard/actions"><img alt="GitHub Workflow Status (master)" src="https://github.com/pinkary-project/type-guard/actions/workflows/tests.yml/badge.svg"></a> <a href="https://packagist.org/packages/pinkary-project/type-guard"><img alt="Total Downloads" src="https://img.shields.io/packagist/dt/pinkary-project/type-guard"></a> <a href="https://packagist.org/packages/pinkary-project/type-guard"><img alt="Latest Version" src="https://img.shields.io/packagist/v/pinkary-project/type-guard"></a> <a href="https://packagist.org/packages/pinkary-project/type-guard"><img alt="License" src="https://img.shields.io/packagist/l/pinkary-project/type-guard"></a> </p> </p> ------ > This library is a **work in progress**. Please, do not use it in production. Type Guard module is part of the [Pinkary Project](https://github.com/pinkary-project), and allows you to **narrow down the type** of a variable to a more specific type. Using the `type` function, you can perform specific checks to determine the type of an object and then use that object in a way that is **type-safe** according to the [PHPStan](https://phpstan.org/) and [Psalm](https://psalm.dev/) static analyzers. Here is an example, where we use the `type` function to narrow down the type of a variable that previously had a `mixed` type: ```php function config(): mixed; // At compile time, the type of $apiKey is `mixed`: $apiKey = config('api_key'); // We instruct the static analyzer that $apiKey is a `string`: $apiKey = type($apiKey)->asString(); ``` Here is another example, where we use the `type` function to narrow down the type of a variable that previously could be `null`. In the process, zero type information is lost: ```php /** @var array<int, User>|null $users */ $users = getUsers(); // Narrows down the type to `array<int, User>` $users = type($users)->not()->null(); ``` And one more example, where we narrow down the type of a variable to a Collection without losing the type information: ```php /** @var Collection<int, User>|null $users */ $users = getUsers(); // Narrows down the type to `Collection<int, User>` $users = type($users)->as(Collection::class); ``` ## Installation > **Requires [PHP 8.2+](https://php.net/releases/)** You may use [Composer](https://getcomposer.org) to install Type Guard into your PHP project: ```bash composer require pinkary-project/type-guard ``` ## Usage - [`as`](#as) - [`asInt()`](#asint) - [`asFloat()`](#asfloat) - [`asString()`](#asstring) - [`asBool()`](#asbool) - [`asNull()`](#asnull) - [`asCallable()`](#ascallable) - [`not()->null()`](#notnull) - [`asArray()`](#asarray) - [`asIterable()`](#asiterable) ### `as` Asserts and narrows down the type of the given variable to a more specific type. ```php $variable = type($variable)->as(User::class); ``` ### `asInt()` Asserts and narrows down the type of the given variable to an integer. ```php $variable = type($variable)->asInt(); ``` ### `asFloat()` Asserts and narrows down the type of the given variable to a float. ```php $variable = type($variable)->asFloat(); ``` ### `asString()` Asserts and narrows down the type of the given variable to a string. ```php $variable = type($variable)->asString(); ``` ### `asBool()` Asserts and narrows down the type of the given variable to a boolean. ```php $variable = type($variable)->asBool(); ``` ### `asNull()` Asserts and narrows down the type of the given variable to a null. ```php $variable = type($variable)->asNull(); ``` ### `asCallable()` Asserts and narrows down the type of the given variable to a callable. ```php $variable = type($variable)->asCallable(); ``` ### `not()->null()` Asserts and narrows down the type of the given variable to a non-null value. ```php $variable = type($variable)->not()->null(); ``` ### `asArray()` Asserts and narrows down the type of the given variable to an array. ```php $variable = type($variable)->asArray(); ``` ### `asIterable()` Asserts and narrows down the type of the given variable to an iterable. ```php $variable = type($variable)->asIterable(); ``` ------ **Type Guard** is part of the [Pinkary Project](https://github.com/pinkary-project) project. It was created by **[Nuno Maduro](https://twitter.com/enunomaduro)** and open-sourced under the **[MIT license](https://opensource.org/licenses/MIT)**. ", Assign "at most 3 tags" to the expected json: {"id":"9019","tags":[]} "only from the tags list I provide: [{"id":77,"name":"3d"},{"id":89,"name":"agent"},{"id":17,"name":"ai"},{"id":54,"name":"algorithm"},{"id":24,"name":"api"},{"id":44,"name":"authentication"},{"id":3,"name":"aws"},{"id":27,"name":"backend"},{"id":60,"name":"benchmark"},{"id":72,"name":"best-practices"},{"id":39,"name":"bitcoin"},{"id":37,"name":"blockchain"},{"id":1,"name":"blog"},{"id":45,"name":"bundler"},{"id":58,"name":"cache"},{"id":21,"name":"chat"},{"id":49,"name":"cicd"},{"id":4,"name":"cli"},{"id":64,"name":"cloud-native"},{"id":48,"name":"cms"},{"id":61,"name":"compiler"},{"id":68,"name":"containerization"},{"id":92,"name":"crm"},{"id":34,"name":"data"},{"id":47,"name":"database"},{"id":8,"name":"declarative-gui "},{"id":9,"name":"deploy-tool"},{"id":53,"name":"desktop-app"},{"id":6,"name":"dev-exp-lib"},{"id":59,"name":"dev-tool"},{"id":13,"name":"ecommerce"},{"id":26,"name":"editor"},{"id":66,"name":"emulator"},{"id":62,"name":"filesystem"},{"id":80,"name":"finance"},{"id":15,"name":"firmware"},{"id":73,"name":"for-fun"},{"id":2,"name":"framework"},{"id":11,"name":"frontend"},{"id":22,"name":"game"},{"id":81,"name":"game-engine "},{"id":23,"name":"graphql"},{"id":84,"name":"gui"},{"id":91,"name":"http"},{"id":5,"name":"http-client"},{"id":51,"name":"iac"},{"id":30,"name":"ide"},{"id":78,"name":"iot"},{"id":40,"name":"json"},{"id":83,"name":"julian"},{"id":38,"name":"k8s"},{"id":31,"name":"language"},{"id":10,"name":"learning-resource"},{"id":33,"name":"lib"},{"id":41,"name":"linter"},{"id":28,"name":"lms"},{"id":16,"name":"logging"},{"id":76,"name":"low-code"},{"id":90,"name":"message-queue"},{"id":42,"name":"mobile-app"},{"id":18,"name":"monitoring"},{"id":36,"name":"networking"},{"id":7,"name":"node-version"},{"id":55,"name":"nosql"},{"id":57,"name":"observability"},{"id":46,"name":"orm"},{"id":52,"name":"os"},{"id":14,"name":"parser"},{"id":74,"name":"react"},{"id":82,"name":"real-time"},{"id":56,"name":"robot"},{"id":65,"name":"runtime"},{"id":32,"name":"sdk"},{"id":71,"name":"search"},{"id":63,"name":"secrets"},{"id":25,"name":"security"},{"id":85,"name":"server"},{"id":86,"name":"serverless"},{"id":70,"name":"storage"},{"id":75,"name":"system-design"},{"id":79,"name":"terminal"},{"id":29,"name":"testing"},{"id":12,"name":"ui"},{"id":50,"name":"ux"},{"id":88,"name":"video"},{"id":20,"name":"web-app"},{"id":35,"name":"web-server"},{"id":43,"name":"webassembly"},{"id":69,"name":"workflow"},{"id":87,"name":"yaml"}]" returns me the "expected json"