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

@@ -15,8 +15,8 @@
     },
     "require-dev": {
         "barryvdh/laravel-ide-helper": "^3.0",
+        "larastan/larastan": "^2.9",
         "orchestra/testbench": "^9.0",
-        "phpstan/phpstan": "^1.12",
         "phpunit/phpunit": "^11.0",
         "staudenmeir/eloquent-has-many-deep": "^1.20"
     },

phpstan.types.neon.dist

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

types/Models/Project.php

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

types/Models/Role.php

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

types/Models/User.php

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

types/Relationships.php

@@ -0,0 +1,33 @@
+<?php
+
+namespace Staudenmeir\EloquentJsonRelations\Types;
+
+use Staudenmeir\EloquentJsonRelations\JsonKey;
+use Staudenmeir\EloquentJsonRelations\Types\Models\Project;
+use Staudenmeir\EloquentJsonRelations\Types\Models\Role;
+use Staudenmeir\EloquentJsonRelations\Types\Models\User;
+
+use function PHPStan\Testing\assertType;
+
+function test(Role $role, User $user): void
+{
+    assertType(
+        'Staudenmeir\EloquentJsonRelations\Relations\BelongsToJson<Staudenmeir\EloquentJsonRelations\Types\Models\Role, Staudenmeir\EloquentJsonRelations\Types\Models\User>',
+        $user->belongsToJson(Role::class, 'role_ids')
+    );
+
+    assertType(
+        'Staudenmeir\EloquentJsonRelations\Relations\HasManyJson<Staudenmeir\EloquentJsonRelations\Types\Models\User, Staudenmeir\EloquentJsonRelations\Types\Models\Role>',
+        $role->hasManyJson(User::class, 'role_ids')
+    );
+
+    assertType(
+        'Staudenmeir\EloquentJsonRelations\Relations\HasOneJson<Staudenmeir\EloquentJsonRelations\Types\Models\User, Staudenmeir\EloquentJsonRelations\Types\Models\Role>',
+        $role->hasOneJson(User::class, 'role_ids')
+    );
+
+    assertType(
+        'Staudenmeir\EloquentHasManyDeep\HasManyDeep<Staudenmeir\EloquentJsonRelations\Types\Models\Project, Staudenmeir\EloquentJsonRelations\Types\Models\Role>',
+        $role->hasManyThroughJson(Project::class, User::class, new JsonKey('role_ids'))
+    );
+}