phpstan.neon

includes:
    - vendor/phunkie/phpstan/extension.neon

parameters:
    level: 5
    paths:
        - src
    excludePaths:
        - src/Functions/common.php
    ignoreErrors:
        # HKT Limitation: PHPStan can't express that Kind is a higher-kinded type marker
        # Kind is used to simulate HKTs in PHP - it's intentionally not generic
        - '#PHPDoc tag @param .+ contains generic type Phunkie\\Types\\Kind\<.+\> but interface Phunkie\\Types\\Kind is not generic#'
        
        # Method body inference: PHPStan can't infer generic types through closures in method bodies
        # The phunkie/phpstan extension provides correct types at CALL SITES
        # These ignores suppress false positives in the method DEFINITIONS
        - '#Method .+::zipWith\(\) should return .+ but returns .+Pair#'
        - '#Method .+::attempt\(\) should return .+ but returns .+Validation#'
    reportUnmatchedIgnoredErrors: false