├── .gitignore ├── .travis.yml ├── LICENSE ├── README.md ├── elm-package.json ├── elm.json ├── src └── List │ └── Nonempty.elm └── tests ├── .gitignore ├── Tests.elm └── elm-verify-examples.json /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgold/elm-nonempty-list/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgold/elm-nonempty-list/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgold/elm-nonempty-list/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgold/elm-nonempty-list/HEAD/README.md -------------------------------------------------------------------------------- /elm-package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgold/elm-nonempty-list/HEAD/elm-package.json -------------------------------------------------------------------------------- /elm.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgold/elm-nonempty-list/HEAD/elm.json -------------------------------------------------------------------------------- /src/List/Nonempty.elm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgold/elm-nonempty-list/HEAD/src/List/Nonempty.elm -------------------------------------------------------------------------------- /tests/.gitignore: -------------------------------------------------------------------------------- 1 | /elm-stuff/ 2 | -------------------------------------------------------------------------------- /tests/Tests.elm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgold/elm-nonempty-list/HEAD/tests/Tests.elm -------------------------------------------------------------------------------- /tests/elm-verify-examples.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgold/elm-nonempty-list/HEAD/tests/elm-verify-examples.json --------------------------------------------------------------------------------