Download the PHP package fp4php/functional-psalm-plugin without Composer

On this page you can find all versions of the php package fp4php/functional-psalm-plugin. It is possible to download/install these versions without Composer. Possible dependencies are resolved automatically.

FAQ

After the download, you have to make one include require_once('vendor/autoload.php');. After that you have to import the classes with use statements.

Example:
If you use only one package a project is not needed. But if you use more then one package, without a project it is not possible to import the classes with use statements.

In general, it is recommended to use always a project to download your libraries. In an application normally there is more than one library needed.
Some PHP packages are not free to download and because of that hosted in private repositories. In this case some credentials are needed to access such packages. Please use the auth.json textarea to insert credentials, if a package is coming from a private repository. You can look here for more information.

  • Some hosting areas are not accessible by a terminal or SSH. Then it is not possible to use Composer.
  • To use Composer is sometimes complicated. Especially for beginners.
  • Composer needs much resources. Sometimes they are not available on a simple webspace.
  • If you are using private repositories you don't need to share your credentials. You can set up everything on our site and then you provide a simple download link to your team member.
  • Simplify your Composer build process. Use our own command line tool to download the vendor folder as binary. This makes your build process faster and you don't need to expose your credentials for private repositories.
Please rate this library. Is it a good library?

Example code of fp4php/functional-psalm-plugin

Informations about the package functional-psalm-plugin

fp4php/functional psalm plugin

psalm level psalm type coverage

Installation

Supported installation method is via composer:

Usage

To enable the plugin, add the Fp\PsalmPlugin\FunctionalPlugin class to your psalm configuration using psalm-plugin binary as follows:

Features

Plugin add type narrowing for filtering.

Fp\Functional\Option\Option::filter:

Fp\Collections\ArrayList::filter (and other collections with filter method):

Fp\Functional\Either\Either::filterOrElse:

Fp\Collection\filter:

Fp\Collection\first and Fp\Collection\last:

For all cases above you can use first-class callable syntax:

Is too difficult to make the fold function using type system of psalm. Without plugin Fp\Collection\fold and collections fold method has some edge cases. For example: https://psalm.dev/r/b0a99c4912

Plugin can fix that problem.

PHP 8.1 brings feature called first-class callable. But that feature cannot be used for class constructor. Fp\Callable\ctor can simulate this feature for class constructors, but requires plugin for static analysis.

Plugin brings structural type inference for sequence functions:

Unfortunately @psalm-assert-if-true/@psalm-assert-if-false works incorrectly for Option/Either assertion methods: https://psalm.dev/r/408248f46f

Plugin implements workaround for this bug.

Psalm plugin will prevent calling *N combinator in non-valid cases:

Implementation assertion effect for Fp\Evidence\proveTrue (like for builtin assert function):

Inference for Fp\Functional\Separated\Separated::toEither:

Plugin infers each list type from predicates of partitionT:

Plugin turns all nullable keys to possibly undefined keys:

All versions of functional-psalm-plugin with dependencies

PHP Build Version
Package Version
Requires php Version ^8.1
ext-simplexml Version *
Composer command for our command line client (download client) This client runs in each environment. You don't need a specific PHP version etc. The first 20 API calls are free. Standard composer command

The package fp4php/functional-psalm-plugin contains the following files

Loading the files please wait ....