Skip to content

Latest commit

 

History

History

0020-nonempty

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 

This directory contains code from Point-Free Episode: NonEmpty

We often deal with collections that we know can never be empty, yet we use arrays to model them. Using the ideas from our last episode on algebraic data types, we develop a NonEmpty type that can be used to transform any collection into a non-empty version of itself.