Next release

.gitattributes

@@ -1 +1,2 @@
 /tests export-ignore
+/fixtures export-ignore

.github/workflows/ci.yml

@@ -12,5 +12,3 @@ jobs:
     uses: innmind/github-workflows/.github/workflows/psalm-matrix.yml@main
   cs:
     uses: innmind/github-workflows/.github/workflows/cs.yml@main
-    with:
-      php-version: '8.2'

.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

CHANGELOG.md

@@ -1,5 +1,20 @@
 # Changelog
 
+## [Unreleased]
+
+### Added
+
+- `Innmind\IO\Files::require()`
+- `Innmind\IO\Files::access()`
+- `Innmind\IO\Files::create()`
+- `Innmind\IO\Files::exists()`
+
+### Changed
+
+- Requires PHP `8.4`
+- Requires `innmind/immutable:~6.0`
+- Requires `innmind/time:~1.0`
+
 ## 3.5.1 - 2025-08-18
 
 ### Fixed

blackbox.php

@@ -11,6 +11,10 @@
 };
 
 Application::new($argv)
+    ->when(
+        \getenv('BLACKBOX_SET_SIZE') !== false,
+        static fn(Application $app) => $app->scenariiPerProof((int) \getenv('BLACKBOX_SET_SIZE')),
+    )
     ->when(
         \getenv('ENABLE_COVERAGE') !== false,
         static fn(Application $app) => $app

composer.json

@@ -15,12 +15,13 @@
         "issues": "http://github.com/innmind/io/issues"
     },
     "require": {
-        "php": "~8.2",
-        "innmind/immutable": "~5.13",
-        "innmind/url": "~4.3",
-        "innmind/time-continuum": "^4.0.2",
-        "innmind/ip": "~3.2",
-        "innmind/validation": "~2.0"
+        "php": "~8.4",
+        "innmind/immutable": "~6.0",
+        "innmind/mutable": "~1.0",
+        "innmind/url": "~5.0",
+        "innmind/time": "~1.0",
+        "innmind/ip": "~4.0",
+        "innmind/validation": "~3.0"
     },
     "autoload": {
         "psr-4": {
@@ -33,7 +34,7 @@
         }
     },
     "require-dev": {
-        "innmind/static-analysis": "^1.2.1",
+        "innmind/static-analysis": "~1.3",
         "innmind/black-box": "~6.1",
         "innmind/coding-standard": "~2.0"
     }

documentation/sockets.md

@@ -81,7 +81,7 @@ This is the default behaviour.
 ### `->timeoutAfter()`
 
 ```php
-use Innmind\TimeContinuum\Period;
+use Innmind\Time\Period;
 
 $server = $server->timeoutAfter(Period::second(1));
 ```
@@ -172,7 +172,7 @@ This is default behaviour.
 ### `->timeoutAfter()`
 
 ```php
-use Innmind\TimeContinuum\Period;
+use Innmind\Time\Period;
 
 $client = $client->timeoutAfter(Period::second(1));
 ```

documentation/streams.md

@@ -52,7 +52,7 @@ This is default behaviour.
 ### `->timeoutAfter()`
 
 ```php
-use Innmind\TimeContinuum\Period;
+use Innmind\Time\Period;
 
 $read = $read->timeoutAfter(Period::second(1));
 ```

documentation/use-cases/socket/heartbeat.md

@@ -11,7 +11,7 @@ use Innmind\IO\{
     Frame,
     Sockets\Internet\Transport,
 };
-use Innmind\TimeContinuum\Period;
+use Innmind\Time\Period;
 use Innmind\Url\Url;
 use Innmind\Immutable\{
     Str,

documentation/use-cases/socket/read.md

@@ -11,7 +11,7 @@ use Innmind\IO\{
     Frame,
     Sockets\Internet\Transport,
 };
-use Innmind\TimeContinuum\Period;
+use Innmind\Time\Period;
 use Innmind\Url\Url;
 
 $status = IO::fromAmbienAuthority()

fixtures/to-load.php

@@ -0,0 +1,3 @@
+<?php
+
+return 42;

proofs/files.php

@@ -55,7 +55,7 @@ static function($assert, $chunks, $size) {
                 ->number($loaded->size())
                 ->int()
                 ->greaterThan(0);
-            $loaded
+            $_ = $loaded
                 ->dropEnd(1)
                 ->foreach(static fn($chunk) => $assert->same(
                     $size,
@@ -72,7 +72,7 @@ static function($assert, $chunks, $size) {
             $assert->same(
                 $data,
                 $loaded
-                    ->fold(new Concat)
+                    ->fold(Concat::monoid)
                     ->toString(),
             );
         },
@@ -90,7 +90,7 @@ static function($assert, $chunks, $size, $encoding) {
             $data = \implode('', $chunks);
             \file_put_contents($tmp, $data);
 
-            IO::fromAmbientAuthority()
+            $_ = IO::fromAmbientAuthority()
                 ->files()
                 ->read(Path::of($tmp))
                 ->toEncoding($encoding)
@@ -128,7 +128,7 @@ static function($assert, $lines) {
                 ->number($loaded->size())
                 ->int()
                 ->greaterThan(0);
-            $loaded
+            $_ = $loaded
                 ->dropEnd(1)
                 ->foreach(static fn($line) => $assert->true(
                     $line->endsWith("\n"),
@@ -143,7 +143,7 @@ static function($assert, $lines) {
             $assert->same(
                 $data,
                 $loaded
-                    ->fold(new Concat)
+                    ->fold(Concat::monoid)
                     ->toString(),
             );
 
@@ -175,7 +175,7 @@ static function($assert, $lines, $encoding) {
             $data = \implode("\n", $lines);
             \file_put_contents($tmp, $data);
 
-            IO::fromAmbientAuthority()
+            $_ = IO::fromAmbientAuthority()
                 ->files()
                 ->read(Path::of($tmp))
                 ->toEncoding($encoding)
@@ -298,14 +298,14 @@ static function($assert, $chunks) {
                 $expected,
                 $read
                     ->lines()
-                    ->fold(new Concat)
+                    ->fold(Concat::monoid)
                     ->toString(),
             );
             $assert->same(
                 $expected,
                 $read
                     ->lines()
-                    ->fold(new Concat)
+                    ->fold(Concat::monoid)
                     ->toString(),
                 'Temporary file should be accessible multiple times',
             );
@@ -386,7 +386,7 @@ static function($assert, $chunks, $encoding) {
                 $tmp
                     ->read()
                     ->chunks(8192)
-                    ->fold(new Concat)
+                    ->fold(Concat::monoid)
                     ->toString(),
             );
         },
@@ -430,4 +430,29 @@ static function($assert, $chunks) {
             );
         },
     );
+
+    yield test(
+        'IO::files()->require()',
+        static function($assert) {
+            $assert->same(
+                42,
+                IO::fromAmbientAuthority()
+                    ->files()
+                    ->require(Path::of('fixtures/to-load.php'))
+                    ->match(
+                        static fn($value) => $value,
+                        static fn() => null,
+                    ),
+            );
+            $assert->false(
+                IO::fromAmbientAuthority()
+                    ->files()
+                    ->require(Path::of('fixtures/unknown.php'))
+                    ->match(
+                        static fn() => true,
+                        static fn() => false,
+                    ),
+            );
+        },
+    );
 };

proofs/frames.php

@@ -154,7 +154,7 @@ static function($assert, $lines) use ($reader) {
                         ->maybe(static fn($lines, $line) => $line->maybe()->map($lines)),
                 )
                 ->flatMap(Frame::maybe(...));
-            $values = $frame($reader(Str::of($data)))->match(
+            $values = $frame($reader(Str::of($data, Str\Encoding::ascii)))->match(
                 static fn($values) => $values,
                 static fn() => null,
             );

proofs/sockets.php

@@ -6,7 +6,7 @@
     Frame,
     Sockets\Unix\Address,
 };
-use Innmind\TimeContinuum\Period;
+use Innmind\Time\Period;
 use Innmind\Url\Path;
 use Innmind\Immutable\{
     Sequence,
@@ -99,8 +99,8 @@ static function($assert) {
                 );
 
             $assert->same('foo', $result);
-            $client->close()->memoize();
-            $server->close()->memoize();
+            $_ = $client->close()->memoize();
+            $_ = $server->close()->memoize();
         },
     );
 };

proofs/streams.php

@@ -159,7 +159,7 @@ static function($assert, $lines) {
             $assert->same(
                 \implode("\n", $lines),
                 $load()
-                    ->fold(new Concat)
+                    ->fold(Concat::monoid)
                     ->toString(),
             );
         },
@@ -207,7 +207,7 @@ static function($assert, $lines) {
             $assert->same(
                 \implode("\n", $lines),
                 $load()
-                    ->fold(new Concat)
+                    ->fold(Concat::monoid)
                     ->toString(),
             );
         },
@@ -248,7 +248,7 @@ static function($assert, $lines) {
             $assert->same(
                 \implode("\n", $lines),
                 $sequence
-                    ->fold(new Concat)
+                    ->fold(Concat::monoid)
                     ->toString(),
             );
         },
@@ -285,7 +285,7 @@ static function($assert, $a, $b, $encoding) {
                 ->chunks();
 
             $assert->same(2, $chunks->size());
-            $chunks->foreach(static fn($chunk) => $assert->same(
+            $_ = $chunks->foreach(static fn($chunk) => $assert->same(
                 $encoding,
                 $chunk->value()->encoding(),
             ));
@@ -338,7 +338,7 @@ static function($assert, $a, $b, $encoding) {
                 ->chunks();
 
             $assert->same(2, $chunks->size());
-            $chunks->foreach(static fn($chunk) => $assert->same(
+            $_ = $chunks->foreach(static fn($chunk) => $assert->same(
                 $encoding,
                 $chunk->value()->encoding(),
             ));

src/Files.php

@@ -7,12 +7,17 @@
     Files\Read,
     Files\Temporary,
     Files\Write,
+    Files\File,
+    Files\Directory,
+    Files\Link,
+    Files\Kind,
     Internal\Capabilities,
 };
 use Innmind\Url\Path;
 use Innmind\Immutable\{
     Str,
     Attempt,
+    Maybe,
     Sequence,
 };
 
@@ -41,6 +46,14 @@ public function write(Path $path): Write
         return Write::of($this->capabilities, $path);
     }
 
+    /**
+     * @return Maybe<mixed>
+     */
+    public function require(Path $path): Maybe
+    {
+        return $this->capabilities->files()->require($path);
+    }
+
     /**
      * @param Sequence<Str> $chunks
      *
@@ -60,4 +73,40 @@ public function temporary(Sequence $chunks): Attempt
                     ->map(static fn() => Temporary::of($capabilities, $tmp)),
             );
     }
+
+    /**
+     * @return Attempt<File|Directory|Link>
+     */
+    public function access(Path $path): Attempt
+    {
+        return $this
+            ->capabilities
+            ->files()
+            ->kind($path)
+            ->map(fn($kind) => match ($kind) {
+                Kind::directory => Directory::of($this->capabilities, $path),
+                Kind::file => File::of($this->capabilities, $path),
+                Kind::link => Link::of(),
+            });
+    }
+
+    /**
+     * @return Attempt<File|Directory>
+     */
+    public function create(Path $path): Attempt
+    {
+        return $this
+            ->capabilities
+            ->files()
+            ->create($path)
+            ->map(fn() => match ($path->directory()) {
+                true => Directory::of($this->capabilities, $path),
+                false => File::of($this->capabilities, $path),
+            });
+    }
+
+    public function exists(Path $path): bool
+    {
+        return $this->capabilities->files()->exists($path);
+    }
 }