functional-php/fantasy-land

Specification for interoperability of common algebraic structures in PHP

1.0.2 2024-12-18 16:28 UTC

Requires

• php: >=7.1

Requires (Dev)

• friendsofphp/php-cs-fixer: ^2
• giorgiosironi/eris: ^0.9
• phpunit/phpunit: ^5

BSD-3-Clause

• Gabriel Habryn

README

Introduction

This project specifies interoperability of common algebraic structures in PHP. The inspiration for this package is the fantastic fantasyland project [A].

The repository contains the following algebraic structures:

• Setoid
• Semigroup
• Monoid
• Functor
• Apply
• Applicative
• Foldable
• Traversable
• Chain
• Monad
• Pointed

Each of those algebraic structures must obey some laws. In order to simplify their verification, the project provides encapsulated property tests. They can be used to easily verify the correctness of newly implemented structures.

• Setoid Laws
• Monoid Laws
• Functor Laws
• Applicative Laws
• Monad Laws

You can find exemples on how to use those tests in the directory of examples

Installation

composer require functional-php/fantasy-land:^1

Projects that are using FantasyLand

• widmogrod/php-functional

References

• [A] https://github.com/fantasyland/fantasy-land