Add type checks

.gitattributes

@@ -1,9 +1,11 @@
 /.docker                export-ignore
 /.github                export-ignore
 /tests                  export-ignore
+/types                  export-ignore
 .gitattributes          export-ignore
 .gitignore              export-ignore
 docker-compose.ci.yml   export-ignore
 docker-compose.yml      export-ignore
 phpstan.neon.dist       export-ignore
+phpstan.types.neon.dist export-ignore
 phpunit.xml.dist        export-ignore

.github/CONTRIBUTING.md

@@ -26,4 +26,5 @@ We accept contributions via Pull Requests on [GitHub](https://github.com/stauden
 docker compose run --rm php8.3 composer install
 docker compose run --rm php8.3 vendor/bin/phpunit
 docker compose run --rm php8.3 vendor/bin/phpstan analyse --memory-limit=-1
+docker compose run --rm php8.3 vendor/bin/phpstan analyse --configuration=phpstan.types.neon.dist --memory-limit=-1
 ```

.github/workflows/static-analysis.yml

@@ -31,3 +31,7 @@ jobs:
         run: |
           docker compose -f docker-compose.yml -f docker-compose.ci.yml run --rm php${{ matrix.php }} \
             vendor/bin/phpstan analyse --error-format=github --memory-limit=-1
+      - name: Analyse types
+        run: |
+          docker compose -f docker-compose.yml -f docker-compose.ci.yml run --rm php${{ matrix.php }} \
+            vendor/bin/phpstan analyse --configuration=phpstan.types.neon.dist --error-format=github --memory-limit=-1   

composer.json

@@ -18,9 +18,9 @@
         "barryvdh/laravel-ide-helper": "^3.0",
         "illuminate/pagination": "^11.0",
         "korridor/laravel-has-many-merged": "^1.1",
+        "larastan/larastan": "^2.9",
         "mockery/mockery": "^1.6",
         "orchestra/testbench": "^9.0",
-        "phpstan/phpstan": "^1.12",
         "phpunit/phpunit": "^11.0",
         "staudenmeir/eloquent-json-relations": "^1.11",
         "staudenmeir/laravel-adjacency-list": "^1.21"

phpstan.types.neon.dist

@@ -0,0 +1,6 @@
+includes:
+    - ./vendor/larastan/larastan/extension.neon
+parameters:
+    level: 9
+    paths:
+        - types

types/Models/Comment.php

@@ -0,0 +1,10 @@
+<?php
+
+namespace Staudenmeir\EloquentHasManyDeep\Types\Models;
+
+use Illuminate\Database\Eloquent\Model;
+
+class Comment extends Model
+{
+    //
+}

types/Models/Country.php

@@ -0,0 +1,11 @@
+<?php
+
+namespace Staudenmeir\EloquentHasManyDeep\Types\Models;
+
+use Illuminate\Database\Eloquent\Model;
+use Staudenmeir\EloquentHasManyDeep\HasRelationships;
+
+class Country extends Model
+{
+    use HasRelationships;
+}

types/Models/Post.php

@@ -0,0 +1,10 @@
+<?php
+
+namespace Staudenmeir\EloquentHasManyDeep\Types\Models;
+
+use Illuminate\Database\Eloquent\Model;
+
+class Post extends Model
+{
+    //
+}

types/Models/User.php

@@ -0,0 +1,10 @@
+<?php
+
+namespace Staudenmeir\EloquentHasManyDeep\Types\Models;
+
+use Illuminate\Database\Eloquent\Model;
+
+class User extends Model
+{
+    //
+}

types/Relationships.php

@@ -0,0 +1,49 @@
+<?php
+
+namespace Staudenmeir\EloquentHasManyDeep\Types;
+
+use Staudenmeir\EloquentHasManyDeep\Types\Models\Comment;
+use Staudenmeir\EloquentHasManyDeep\Types\Models\Country;
+use Staudenmeir\EloquentHasManyDeep\Types\Models\Post;
+use Staudenmeir\EloquentHasManyDeep\Types\Models\User;
+
+use function PHPStan\Testing\assertType;
+
+function test(Country $country): void
+{
+    assertType(
+        'Staudenmeir\EloquentHasManyDeep\HasManyDeep<Staudenmeir\EloquentHasManyDeep\Types\Models\Comment, Staudenmeir\EloquentHasManyDeep\Types\Models\Country>',
+        $country->hasManyDeep(Comment::class, [User::class, Post::class])
+    );
+
+    assertType(
+        'Staudenmeir\EloquentHasManyDeep\HasOneDeep<Staudenmeir\EloquentHasManyDeep\Types\Models\Comment, Staudenmeir\EloquentHasManyDeep\Types\Models\Country>',
+        $country->hasOneDeep(Comment::class, [User::class, Post::class])
+    );
+
+    assertType(
+        'Staudenmeir\EloquentHasManyDeep\HasManyDeep<Illuminate\Database\Eloquent\Model, Staudenmeir\EloquentHasManyDeep\Types\Models\Country>',
+        $country->hasManyDeepFromRelations(
+            (new Country())->hasManyThrough(Post::class, User::class),
+            (new Post())->hasMany(Comment::class)
+        )
+    );
+
+    assertType(
+        'Staudenmeir\EloquentHasManyDeep\HasOneDeep<Illuminate\Database\Eloquent\Model, Staudenmeir\EloquentHasManyDeep\Types\Models\Country>',
+        $country->hasOneDeepFromRelations(
+            (new Country())->hasManyThrough(Post::class, User::class),
+            (new Post())->hasMany(Comment::class)
+        )
+    );
+
+    assertType(
+        'Staudenmeir\EloquentHasManyDeep\HasManyDeep<Staudenmeir\EloquentHasManyDeep\Types\Models\Country, Staudenmeir\EloquentHasManyDeep\Types\Models\Comment>',
+        $country->hasManyDeepFromReverse((new Country())->hasManyDeep(Comment::class, [User::class, Post::class]))
+    );
+
+    assertType(
+        'Staudenmeir\EloquentHasManyDeep\HasOneDeep<Staudenmeir\EloquentHasManyDeep\Types\Models\Country, Staudenmeir\EloquentHasManyDeep\Types\Models\Comment>',
+        $country->hasOneDeepFromReverse((new Country())->hasManyDeep(Comment::class, [User::class, Post::class]))
+    );
+}