NonEmpty: Library providing a non-empty list datatype, and total functions operating on it

[ bsd3, data, library ] [ Propose Tags ]

When you want to state that a list should always be non-empty, you can use this type. This enables you to avoid the error of taking the head or tail of an empty list.

Versions [RSS] [faq] 0.1
Dependencies base [details]
License BSD-3-Clause
Copyright Copyright (C) Robin Green 2009
Author Robin Green
Maintainer Robin Green <>
Category Data
Bug tracker
Source repo head: darcs get
Uploaded by RobinGreen at 2009-03-19T20:49:34Z
Distributions NixOS:0.1
Downloads 1269 total (10 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees