chshersh/ghc-plugin-non-empty

This is stars and forks stats for /chshersh/ghc-plugin-non-empty repository. As of 11 May, 2024 this repository has 26 stars and 3 forks.

ghc-plugin-non-empty GHC Compiler Plugin for automatically converting list literals to the NonEmpty type from the Data.List.NonEmpty module in base. This plugin checks statically defined list literals and transforms them into NonEmpty lists during compile time. In other words, it provides compile-time guarantees for non-emptiness checks and allows the following expression to type-check: portsToListen :: NonEmpty Int portsToListen = [8000, 8080, 8081] Compare to usage without the plugin: portsToListen...