garyb/purescript-safelist

A list type that tracks non-emptiness at the type level

purescript-safelist

A list type that tracks non-emptiness at the type level, with conversions to NonEmptyList, List, and Unfoldable types.

Installation

bower install purescript-safelist

Documentation

Module documentation is published on Pursuit.