GHC Plugin for rewriting list literals of non-empty list to NonEmpty type. Enable the plugin in a module where you want to use it like on the example below:

{-# OPTIONS_GHC -fplugin=GhcPluginNonEmpty #-}

import Data.List.NonEmpty (NonEmpty)

portsToListen :: NonEmpty Int
portsToListen = [8000, 8080, 8081]

You can also enable the plugin globally in your entire project from the .cabal file:

library
   ...
   ghc-options: -fplugin=GhcPluginNonEmpty

It guarantees that only non-empty lists will be automatically rewritten. Otherwise, if you use an empty list:

portsToListen :: NonEmpty Int
portsToListen = []

You'll see ordinary compiler error:

src/Path/To/My/Module:34:17: error:
    • Couldn't match expected type: NonEmpty Int
                  with actual type: [a0]
    • In the expression: []
      In an equation for ‘portsToListen’: portsToListen = []
   |
34 | portsToListen = []
   |                 ^^

Since: 0.0.0.0