@hackage / NonEmpty

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

Latest0.1

About

Metadata

  • Last updated , by RobinGreen
  • License BSD-3-Clause

  • Maintained by: Robin Green <greenrd@greenrd.org>

  • Lottery factor: 0

Links

Installation

Readme

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.