Add pandoc to Dockerfile

doc/Collections.md

@@ -111,10 +111,9 @@ $collection = HashMap::collectPairs([
 $collection(new Foo(2))->getOrElse(0); // 2
 
 $collection
-    ->mapValues(fn(Entry $entry) => $entry->value + 1)
-    ->filter(fn(Entry $entry) => $entry->value > 2)
-    ->mapKeys(fn(Entry $entry) => $entry->key->a)
-    ->fold(0, fn(int $acc, Entry $entry) => $acc + $entry->value); // 3+4+5=12 
+    ->map(fn(int $value) => $value + 1)
+    ->filter(fn(int $value) => $value > 2)
+    ->fold(0, fn(int $acc, int $value) => $acc + $value); // 3+4+5=12 
 ```
 
 # HashSet
@@ -280,9 +279,8 @@ $collection = NonEmptyHashMap::collectPairsNonEmpty([
 $collection(new Foo(2))->getOrElse(0); // 2
 
 $collection
-    ->mapValues(fn(Entry $entry) => $entry->value + 1)
-    ->mapKeys(fn(Entry $entry) => $entry->key->a)
-    ->toArray(); // [[1, 2], [2, 3], [3, 4], [4, 5]]
+    ->map(fn(int $value) => $value + 1)
+    ->toList(); // [[1, 2], [2, 3], [3, 4], [4, 5]]
 ```
 
 # NonEmptyHashSet

doc/Streams.md

@@ -23,7 +23,7 @@ Stream::emit(1)
     ->repeat() // [1, 1, ...] infinite stream
     ->map(fn(int $i) => $i + 1) // [2, 2, ...] infinite stream
     ->take(5) // [2, 2, 2, 2, 2]
-    ->toArray(); // [2, 2, 2, 2, 2]
+    ->toList(); // [2, 2, 2, 2, 2]
 ```
 
 ``` php
@@ -126,16 +126,15 @@ function parseJsonLinesFile(string $path): array
         ->map(fn(array $pair) => $pair[1])
         ->map(fn(Seq $line) => $line->mkString(sep: ''))
         ->filterMap(parseFoo(...))
-        ->toArray();
+        ->toList();
 }
 
 /**
  * @return Option<Foo>
  */
 function parseFoo(string $json): Option
 {
-    return jsonDecode($json)
-        ->toOption()
+    return Option::try(fn() => json_decode($json, associative: true, flags: JSON_THROW_ON_ERROR))
         ->filter(fn($candidate) => is_array($candidate))
         ->filter(fn($candidate) => array_key_exists(0, $candidate) && is_int($candidate[0]))
         ->filter(fn($candidate) => array_key_exists(1, $candidate) && is_bool($candidate[1]))

docker/php/Dockerfile

@@ -3,7 +3,7 @@ FROM php:8.1-cli
 ADD https://github.com/mlocati/docker-php-extension-installer/releases/latest/download/install-php-extensions /usr/local/bin/
 RUN chmod +x /usr/local/bin/install-php-extensions
 
-RUN apt-get update -y && apt-get install -y curl unzip
+RUN apt-get update -y && apt-get install -y curl unzip pandoc
 
 RUN curl -sS https://getcomposer.org/installer | php -- --install-dir=/bin --filename=composer --quiet
 

src/Doc/Md/Streams/1_Overview.md

@@ -123,8 +123,7 @@ function parseJsonLinesFile(string $path): array
  */
 function parseFoo(string $json): Option
 {
-    return jsonDecode($json)
-        ->toOption()
+    return Option::try(fn() => json_decode($json, associative: true, flags: JSON_THROW_ON_ERROR))
         ->filter(fn($candidate) => is_array($candidate))
         ->filter(fn($candidate) => array_key_exists(0, $candidate) && is_int($candidate[0]))
         ->filter(fn($candidate) => array_key_exists(1, $candidate) && is_bool($candidate[1]))