├── .github ├── CODEOWNERS ├── dependabot.yml └── workflows │ └── ci.yml ├── .gitignore ├── .stylish-haskell.yaml ├── CHANGELOG.md ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── FUNDING.yml ├── LICENSE ├── README.md ├── ghc-plugin-non-empty.cabal ├── src └── GhcPluginNonEmpty.hs └── test ├── Spec.hs └── Test └── Data ├── Fail.hs ├── Overloaded.hs └── Plain.hs /.github/CODEOWNERS: -------------------------------------------------------------------------------- 1 | * @chshersh 2 | -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/.gitignore -------------------------------------------------------------------------------- /.stylish-haskell.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/.stylish-haskell.yaml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /FUNDING.yml: -------------------------------------------------------------------------------- 1 | github: [chshersh] 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/README.md -------------------------------------------------------------------------------- /ghc-plugin-non-empty.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/ghc-plugin-non-empty.cabal -------------------------------------------------------------------------------- /src/GhcPluginNonEmpty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/src/GhcPluginNonEmpty.hs -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /test/Test/Data/Fail.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/test/Test/Data/Fail.hs -------------------------------------------------------------------------------- /test/Test/Data/Overloaded.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/test/Test/Data/Overloaded.hs -------------------------------------------------------------------------------- /test/Test/Data/Plain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chshersh/ghc-plugin-non-empty/HEAD/test/Test/Data/Plain.hs --------------------------------------------------------------------------------