Skip to content

NonEmpty lists

Erin van der Veenrequested to merge
non-empty into master

What does this MR do?

Implements the NonEmpty list type

Related issues

N/A

Changes to public APIs

Creates a new module Data.List.NonEmpty that implements several instances and functions

Author's checklist (required)

See CONTRIBUTING.md for the rationale behind these items:

  • The commit history does not contain merges (use git rebase -i master if it does)
  • Intermediate commits compile (use git rebase -i master if not)
  • Newly added code follows the Platform code style
  • Newly added code is documented
  • If bugs have been solved, tests have been added
  • Appropriate types have been used, especially in APIs
  • If efficiency is part of the acceptance criteria of the issue, a benchmark is provided
  • A changelog entry has been added if required. See CONTRIBUTING.md
Edited by Erin van der Veen

Merge request reports