Updated the contracts

gplanchat · gplanchat · commit d31b9f8b6bd1 · 2023-11-14T11:18:33.000+01:00
diff --git a/src/ExtractingInterface.php b/src/ExtractingInterface.php
@@ -7,7 +7,7 @@
 interface ExtractingInterface
 {
     /**
-     * @template OutputType
+     * @template OutputType of non-empty-array<array-key, mixed>|object
      *
      * @param ExtractorInterface<OutputType> $extractor
      */
diff --git a/src/ExtractorInterface.php b/src/ExtractorInterface.php
@@ -6,13 +6,13 @@
 
 use Kiboko\Contract\Bucket\ResultBucketInterface;
 
-/** @template OutputType */
+/** @template OutputType of non-empty-array<array-key, mixed>|object */
 interface ExtractorInterface
 {
     /**
      * Extract data from the given source.
      *
-     * @return iterable<int, ResultBucketInterface<OutputType|null>>
+     * @return iterable<int, ResultBucketInterface<OutputType>>
      */
     public function extract(): iterable;
 }
diff --git a/src/LoaderInterface.php b/src/LoaderInterface.php
@@ -7,15 +7,15 @@
 use Kiboko\Contract\Bucket\ResultBucketInterface;
 
 /**
- * @template InputType
- * @template OutputType
+ * @template InputType of non-empty-array<array-key, mixed>|object
+ * @template OutputType of non-empty-array<array-key, mixed>|object
  */
 interface LoaderInterface
 {
     /**
      * Loads data in the given sink.
      *
-     * @return \Generator<mixed, ResultBucketInterface<OutputType>|ResultBucketInterface<void>, InputType|null, void>
+     * @return \Generator<mixed, ResultBucketInterface<OutputType>, InputType|null, void>
      */
     public function load(): \Generator;
 }
diff --git a/src/LoadingInterface.php b/src/LoadingInterface.php
@@ -7,8 +7,8 @@
 interface LoadingInterface
 {
     /**
-     * @template InputType
-     * @template OutputType
+     * @template InputType of non-empty-array<array-key, mixed>|object
+     * @template OutputType of non-empty-array<array-key, mixed>|object
      *
      * @param LoaderInterface<InputType, OutputType> $loader
      */
diff --git a/src/PipelineRunnerInterface.php b/src/PipelineRunnerInterface.php
@@ -12,11 +12,11 @@ interface PipelineRunnerInterface
      * @template InputType of non-empty-array<array-key, mixed>|object
      * @template OutputType of non-empty-array<array-key, mixed>|object
      *
-     * @param \Iterator<int, InputType|null> $source
-     * @param \Generator<int, ResultBucketInterface<InputType>, InputType, void> $coroutine
+     * @param \Iterator<positive-int, InputType|null> $source
+     * @param \Generator<positive-int, ResultBucketInterface<InputType>, InputType, void> $coroutine
      * @param StepRejectionInterface<InputType> $rejection
      * @param StepStateInterface $state
-     * @return \Iterator<int, ResultBucketInterface<OutputType>|null>
+     * @return \Iterator<positive-int, ResultBucketInterface<OutputType>|null>
      */
     public function run(
         \Iterator $source,
diff --git a/src/TransformerInterface.php b/src/TransformerInterface.php
@@ -7,8 +7,8 @@
 use Kiboko\Contract\Bucket\ResultBucketInterface;
 
 /**
- * @template InputType
- * @template OutputType
+ * @template InputType of non-empty-array<array-key, mixed>|object
+ * @template OutputType of non-empty-array<array-key, mixed>|object
  */
 interface TransformerInterface
 {
diff --git a/src/TransformingInterface.php b/src/TransformingInterface.php
@@ -7,8 +7,8 @@
 interface TransformingInterface
 {
     /**
-     * @template InputType
-     * @template OutputType
+     * @template InputType of non-empty-array<array-key, mixed>|object
+     * @template OutputType of non-empty-array<array-key, mixed>|object
      *
      * @param TransformerInterface<InputType, OutputType> $transformer
      */

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@`
`7`	`7`	`interface ExtractingInterface`
`8`	`8`	`{`
`9`	`9`	`/**`
`10`		`- * @template OutputType`
	`10`	`+ * @template OutputType of non-empty-array<array-key, mixed>\|object`
`11`	`11`	`*`
`12`	`12`	`* @param ExtractorInterface<OutputType> $extractor`
`13`	`13`	`*/`
Original file line number	Diff line number	Diff line change
`@@ -6,13 +6,13 @@`
`6`	`6`
`7`	`7`	`use Kiboko\Contract\Bucket\ResultBucketInterface;`
`8`	`8`
`9`		`-/** @template OutputType */`
	`9`	`+/** @template OutputType of non-empty-array<array-key, mixed>\|object */`
`10`	`10`	`interface ExtractorInterface`
`11`	`11`	`{`
`12`	`12`	`/**`
`13`	`13`	`* Extract data from the given source.`
`14`	`14`	`*`
`15`		`- * @return iterable<int, ResultBucketInterface<OutputType\|null>>`
	`15`	`+ * @return iterable<int, ResultBucketInterface<OutputType>>`
`16`	`16`	`*/`
`17`	`17`	`public function extract(): iterable;`
`18`	`18`	`}`
Original file line number	Diff line number	Diff line change
`@@ -7,15 +7,15 @@`
`7`	`7`	`use Kiboko\Contract\Bucket\ResultBucketInterface;`
`8`	`8`
`9`	`9`	`/**`
`10`		`- * @template InputType`
`11`		`- * @template OutputType`
	`10`	`+ * @template InputType of non-empty-array<array-key, mixed>\|object`
	`11`	`+ * @template OutputType of non-empty-array<array-key, mixed>\|object`
`12`	`12`	`*/`
`13`	`13`	`interface LoaderInterface`
`14`	`14`	`{`
`15`	`15`	`/**`
`16`	`16`	`* Loads data in the given sink.`
`17`	`17`	`*`
`18`		`- * @return \Generator<mixed, ResultBucketInterface<OutputType>\|ResultBucketInterface<void>, InputType\|null, void>`
	`18`	`+ * @return \Generator<mixed, ResultBucketInterface<OutputType>, InputType\|null, void>`
`19`	`19`	`*/`
`20`	`20`	`public function load(): \Generator;`
`21`	`21`	`}`
Original file line number	Diff line number	Diff line change
`@@ -7,8 +7,8 @@`
`7`	`7`	`interface LoadingInterface`
`8`	`8`	`{`
`9`	`9`	`/**`
`10`		`- * @template InputType`
`11`		`- * @template OutputType`
	`10`	`+ * @template InputType of non-empty-array<array-key, mixed>\|object`
	`11`	`+ * @template OutputType of non-empty-array<array-key, mixed>\|object`
`12`	`12`	`*`
`13`	`13`	`* @param LoaderInterface<InputType, OutputType> $loader`
`14`	`14`	`*/`
Original file line number	Diff line number	Diff line change
`@@ -7,8 +7,8 @@`
`7`	`7`	`interface TransformingInterface`
`8`	`8`	`{`
`9`	`9`	`/**`
`10`		`- * @template InputType`
`11`		`- * @template OutputType`
	`10`	`+ * @template InputType of non-empty-array<array-key, mixed>\|object`
	`11`	`+ * @template OutputType of non-empty-array<array-key, mixed>\|object`
`12`	`12`	`*`
`13`	`13`	`* @param TransformerInterface<InputType, OutputType> $transformer`
`14`	`14`	`*/`