You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Would it make sense to add some equivalent of :| for NonEmpty but for NonEmptyVector? I suppose in this case it would need to be a function, not a data constructor. ie. something like consV :: a -> Vector a -> NonEmptyVector a.
I suppose an equivalent snocV might also be useful.
I'd be happy to open a PR if this is all desirable.