Add indexWith?

[safareli]

Not sure if it's best place for it but I find using something like his when working with NonEmpty:

indexWith :: ∀ a f. (f a → Int → Maybe a) → NonEmpty f a → Int → Maybe a
indexWith _    (NonEmpty x _ ) 0   = pure x
indexWith with (NonEmpty _ xs) idx = with xs (idx - 1)

indexNEA :: ∀ a. NonEmpty Array a → Int → Maybe a
indexNEA = indexWith index

[garyb]

You should probably be using NonEmptyList anyway IMO

[safareli]

I use Array because I'm not updating, need indexed access, iteration over elements. NonEmptyList will work tho as at this current moment, my data is 30-40 elements or something.

do you think it will be better to define NonEmptyArray instead of indexWith-kinda thing?

[paf31]

NonEmpty doesn't assume anything about how indexing works in the container, but this does. I don't think we should assume anything like that, so a NonEmptyArray would be better IMO.