make sure Content::ofLines() and ::ofChunks() hold the properties

Innmind · Oct 21, 2023 · b85fe02 · b85fe02
1 parent 23c7196
commit b85fe02
Showing 1 changed file with 26 additions and 1 deletion.
diff --git a/proofs/file/content.php b/proofs/file/content.php
@@ -1,12 +1,19 @@
 <?php
 declare(strict_types = 1);
 
-use Innmind\Filesystem\File\Content as Model;
+use Innmind\Filesystem\File\{
+    Content as Model,
+    Content\Line,
+};
 use Properties\Innmind\Filesystem\Content;
 use Innmind\BlackBox\Set;
 use Innmind\IO\IO;
 use Innmind\Stream\Streams;
 use Innmind\Url\Path;
+use Innmind\Immutable\{
+    Str,
+    Sequence,
+};
 
 return static function() {
     $capabilities = Streams::fromAmbientAuthority();
@@ -31,6 +38,24 @@
             'Content::none()',
             Set\Elements::of(Model::none()),
         ],
+        [
+            'Content::ofLines()',
+            Set\Sequence::of(
+                Set\Strings::madeOf(
+                    Set\Unicode::any()->filter(static fn($char) => $char !== "\n"),
+                )
+                    ->map(Str::of(...))
+                    ->map(Line::of(...)),
+            )
+                ->map(static fn($lines) => Model::ofLines(Sequence::of(...$lines))),
+        ],
+        [
+            'Content::ofChunks()',
+            Set\Sequence::of(
+                Set\Strings::madeOf(Set\Unicode::any())->map(Str::of(...)),
+            )
+                ->map(static fn($chunks) => Model::ofChunks(Sequence::of(...$chunks))),
+        ],
     ];
 
     foreach ($implementations as [$name, $content]) {