Skip to content
Snippets Groups Projects
Verified Commit 8699d826 authored by Sergey Vinokurov's avatar Sergey Vinokurov
Browse files

Add comment outlining Data.List.NonEmpty implementation guiding principles

parent 1249e597
No related branches found
No related tags found
No related merge requests found
......@@ -20,6 +20,13 @@
-- @since 4.9.0.0
----------------------------------------------------------------------------
-- Function implementations in this module adhere to the following principle:
--
-- For every NonEmpty function that is different from a corresponding
-- List function only in the presence of NonEmpty in its type, both
-- the List and NonEmpty functions should have the same strictness
-- properties. Same applies to the class instances.
module Data.List.NonEmpty (
-- * The type of non-empty streams
NonEmpty(..)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment