A list type that tracks non-emptiness at the type level, with conversions to NonEmptyList
, List
, and Unfoldable
types.
bower install purescript-safelist
Module documentation is published on Pursuit.
A list type that tracks non-emptiness at the type level, with conversions to NonEmptyList
, List
, and Unfoldable
types.
bower install purescript-safelist
Module documentation is published on Pursuit.
Pursuit v0.9.9