Ground rebuild

.gitattributes

@@ -1,5 +1,3 @@
 /.gitattributes export-ignore
 /.gitignore export-ignore
-/phpunit.xml.dist export-ignore
-/fixtures export-ignore
-/tests export-ignore
+/proofs/ export-ignore

.github/workflows/ci.yml

@@ -1,72 +1,14 @@
 name: CI
 
-on: [push]
+on: [push, pull_request]
 
 jobs:
-  phpunit:
-    runs-on: ${{ matrix.os }}
-    strategy:
-      matrix:
-        os: [ubuntu-latest, macOS-latest]
-        php-version: ['8.2', '8.3']
-        dependencies: ['lowest', 'highest']
-    name: 'PHPUnit'
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v2
-      - name: Setup PHP
-        uses: shivammathur/setup-php@v2
-        with:
-          php-version: ${{ matrix.php-version }}
-          extensions: mbstring, intl
-          coverage: xdebug
-      - name: Composer
-        uses: "ramsey/composer-install@v2"
-        with:
-          dependency-versions: ${{ matrix.dependencies }}
-      - name: PHPUnit
-        run: vendor/bin/phpunit --coverage-clover=coverage.clover --stop-on-error
-        env:
-          CI: 'github'
-      - uses: codecov/codecov-action@v1
-        with:
-          token: ${{ secrets.CODECOV_TOKEN }}
+  blackbox:
+    uses: innmind/github-workflows/.github/workflows/black-box-matrix.yml@main
+  coverage:
+    uses: innmind/github-workflows/.github/workflows/coverage-matrix.yml@main
+    secrets: inherit
   psalm:
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        php-version: ['8.2', '8.3']
-        dependencies: ['lowest', 'highest']
-    name: 'Psalm'
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v2
-      - name: Setup PHP
-        uses: shivammathur/setup-php@v2
-        with:
-          php-version: ${{ matrix.php-version }}
-          extensions: mbstring, intl
-      - name: Composer
-        uses: "ramsey/composer-install@v2"
-        with:
-          dependency-versions: ${{ matrix.dependencies }}
-      - name: Psalm
-        run: vendor/bin/psalm --shepherd
+    uses: innmind/github-workflows/.github/workflows/psalm-matrix.yml@main
   cs:
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        php-version: ['8.2']
-    name: 'CS'
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v2
-      - name: Setup PHP
-        uses: shivammathur/setup-php@v2
-        with:
-          php-version: ${{ matrix.php-version }}
-          extensions: mbstring, intl
-      - name: Composer
-        uses: "ramsey/composer-install@v2"
-      - name: CS
-        run: vendor/bin/php-cs-fixer fix --diff --dry-run
+    uses: innmind/github-workflows/.github/workflows/cs.yml@main

.github/workflows/extensive.yml

@@ -0,0 +1,12 @@
+name: Extensive CI
+
+on:
+  push:
+    tags:
+      - '*'
+    paths:
+      - '.github/workflows/extensive.yml'
+
+jobs:
+  blackbox:
+    uses: innmind/github-workflows/.github/workflows/extensive.yml@main

.github/workflows/release.yml

@@ -0,0 +1,11 @@
+name: Create release
+
+on:
+  push:
+    tags:
+      - '*'
+
+jobs:
+  release:
+    uses: innmind/github-workflows/.github/workflows/release.yml@main
+    secrets: inherit

.gitignore

@@ -1,4 +1,2 @@
 /composer.lock
 /vendor
-.phpunit.result.cache
-.phpunit.cache

.php-cs-fixer.dist.php

@@ -1,6 +1,7 @@
 <?php
 
 return Innmind\CodingStandard\CodingStandard::config([
-    'tests',
+    'fixtures',
+    'proofs',
     'src',
 ]);

CHANGELOG.md

@@ -2,6 +2,25 @@
 
 ## [Unreleased]
 
+### Changed
+
+- Requires PHP `8.4`
+- Requires `innmind/foundation:~2.1`
+- `Innmind\IPC\IPC` is a final class now
+- `Innmind\IPC\Message` is a final class now
+- `Innmind\IPC\Process\Name::maybe()` has been replace by `::attempt()`
+- `Innmind\IPC\Process` is a final class now
+- `Innmind\IPC\Protocol` is an internal final class now
+- `Innmind\IPC\Server::__invoke()` has been replaced by `::with()`
+
+### Removed
+
+- `Innmind\IPC\Client\Unix`
+- `Innmind\IPC\Exception\*`
+- `Innmind\IPC\IPC\Unix`, use `Innmind\IPC\IPC` instead
+- `Innmind\IPC\Message\*`, use `Innmind\IPC\Message` instead
+- `Innmind\IPC\Factory`, use `Innmind\IPC\IPC::of()` instead
+
 ### Fixed
 
 - PHP `8.4` deprecations

README.md

@@ -1,6 +1,6 @@
 # Inter-Process Communication (IPC)
 
-[![Build Status](https://github.com/Innmind/IPC/workflows/CI/badge.svg?branch=master)](https://github.com/Innmind/IPC/actions?query=workflow%3ACI)
+[![CI](https://github.com/Innmind/IPC/actions/workflows/ci.yml/badge.svg?branch=master)](https://github.com/Innmind/IPC/actions/workflows/ci.yml)
 [![codecov](https://codecov.io/gh/Innmind/IPC/branch/develop/graph/badge.svg)](https://codecov.io/gh/Innmind/IPC)
 [![Type Coverage](https://shepherd.dev/github/Innmind/IPC/coverage.svg)](https://shepherd.dev/github/Innmind/IPC)
 
@@ -17,47 +17,87 @@ composer require innmind/ipc
 ```php
 # Process A
 use Innmind\IPC\{
-    Factory as IPC,
+    IPC,
     Process\Name,
+    Continuation,
+    Server,
+    Message,
 };
 use Innmind\OperatingSystem\Factory;
+use Innmind\Immutable\Monoid;
 
-$ipc = IPC::build(Factory::build());
-$counter = $ipc->listen(Name::of('a'))(0, static function($message, $continuation, $counter): void {
-    if ($counter === 42) {
-        return $continuation->stop($counter);
+/**
+ * @psalm-immutable
+ * @implements Monoid<int>
+ */
+final class Addition implements Monoid
+{
+    public function identity(): int
+    {
+        return 0;
+    }
+
+    public function combine(mixed $a, mixed $b): int
+    {
+        return $a + $b;
     }
+}
 
-    return $continuation->respond($counter + 1, $message);
-})->match(
-    static fn($counter) => $counter,
-    static fn() => throw new \RuntimeException('Unable to start the server'),
-);
+$ipc = IPC::build(Factory::build());
+$counter = $ipc
+    ->serve(Name::of('a'))
+    ->sink(new Addition)
+    ->monitor(static fn(int $counter, Server\Continuation $continuation) => match ($counter) {
+        42 => $continuation->finish(),
+        default => $continuation,
+    })
+    ->with(
+        static fn(Message $message, Continuation $continuation, int $counter) => $continuation
+            ->respond($message)
+            ->carryWith($counter + 1),
+    )
+    ->unwrap();
 // $counter will always be 42 in this case
 ```
 
 ```php
 # Process B
 use Innmind\IPC\{
-    Factory as IPC,
+    IPC,
+    Process,
     Process\Name,
-    Message\Generic as Message,
+    Message,
 };
 use Innmind\OperatingSystem\Factory;
-use Innmind\Immutable\Sequence;
+use Innmind\MediaType\{
+    MediaType,
+    TopLevel,
+};
+use Innmind\Immutable\{
+    Str,
+    Sequence,
+};
 
 $ipc = IPC::build(Factory::build());
 $server = Name::of('a');
-$ipc
-    ->wait(Name::of('a'))
-    ->flatMap(fn($process) => $process->send(Sequence::of(
-        Message::of('text/plain', 'hello world'),
-    )))
-    ->flatMap(fn($process) => $process->wait())
+$response = $ipc
+    ->connectTo($server)
+    ->flatMap(
+        static fn(Process $process) => $process
+            ->send(Sequence::of(
+                Message::of(
+                    MediaType::from(TopLevel::text, 'plain'),
+                    Str::of('hello world'),
+                ),
+            ))
+            ->map(static fn() => $process),
+    )
+    ->flatMap(fn(Process $process) => $process->wait())
     ->match(
-        static fn($message) => print('server responded '.$message->content()->toString()),
-        static fn() => print('no response from the server'),
+        static fn(Message $message) => 'server responded '.$message->content()->toString(),
+        static fn() => 'no response from the server',
     );
+print($message);
 ```
 
 The above example will result in the output `server responded hello world` in the process `B`.

blackbox.php

@@ -0,0 +1,28 @@
+<?php
+declare(strict_types = 1);
+
+require 'vendor/autoload.php';
+
+use Innmind\BlackBox\{
+    Application,
+    Runner\Load,
+    Runner\CodeCoverage,
+};
+
+Application::new($argv)
+    ->map(static fn($app) => match (\getenv('BLACKBOX_ENV')) {
+        'coverage' => $app
+            ->codeCoverage(
+                CodeCoverage::of(
+                    __DIR__.'/src/',
+                    __DIR__.'/proofs/',
+                )
+                    ->dumpTo('coverage.clover')
+                    ->enableWhen(true),
+            )
+            ->scenariiPerProof(1),
+        'extensive' => $app->scenariiPerProof(1_000),
+        default => $app,
+    })
+    ->tryToProve(Load::everythingIn(__DIR__.'/proofs/'))
+    ->exit();

composer.json

@@ -15,28 +15,17 @@
         "issues": "http://github.com/Innmind/IPC/issues"
     },
     "require": {
-        "php": "~8.2",
-        "innmind/immutable": "~4.15|~5.0",
-        "innmind/operating-system": "~5.0",
-        "innmind/url": "~4.0",
-        "innmind/media-type": "~2.0",
-        "innmind/socket": "~6.0",
-        "innmind/server-control": "~5.0"
+        "php": "~8.4",
+        "innmind/foundation": "~2.1"
     },
     "autoload": {
         "psr-4": {
             "Innmind\\IPC\\": "src/"
         }
     },
-    "autoload-dev": {
-        "psr-4": {
-            "Tests\\Innmind\\IPC\\": "tests/"
-        }
-    },
     "require-dev": {
-        "phpunit/phpunit": "~10.2",
-        "innmind/static-analysis": "^1.2.1",
-        "innmind/black-box": "~5.5",
+        "innmind/static-analysis": "~1.3",
+        "innmind/black-box": "~6.5",
         "innmind/coding-standard": "~2.0"
     }
 }