Index
| length' | Data.List.NonEmpty |
| listToNonEmpty | Data.List.NonEmpty |
| neHead | Data.List.NonEmpty |
| neTail | Data.List.NonEmpty |
| NonEmpty | |
| 1 (Type/Class) | Data.List.NonEmpty |
| 2 (Data Constructor) | Data.List.NonEmpty |
| nonEmptyToList | Data.List.NonEmpty |
NonEmpty-0.1: Library providing a non-empty list datatype, and total functions operating on it
Index
| length' | Data.List.NonEmpty |
| listToNonEmpty | Data.List.NonEmpty |
| neHead | Data.List.NonEmpty |
| neTail | Data.List.NonEmpty |
| NonEmpty | |
| 1 (Type/Class) | Data.List.NonEmpty |
| 2 (Data Constructor) | Data.List.NonEmpty |
| nonEmptyToList | Data.List.NonEmpty |