1 reply

Maintaining Case Arrays in `ReadonlyArray` Operators

ReadonlyArray

ReadonlyArray

operators remove

Data<_>

Data<_>

, which is to be expected. But is it possible to maybe maintain case arrays as case even if they are sorted? As in, detect the source array implements

Equal

Equal

and return the result in

Data.unsafeArray

Data.unsafeArray

(since it's already cloned)?
Refinements for some reason un-aliases

Data<_>

Data<_>

from

Data<A[]>

Data<A[]>

A[] & Equal

A[] & Equal

which I don't love but idk if we can do anything about it

Maintaining Case Arrays in `ReadonlyArray` Operators

Similar Threads

Maintaining Case Arrays in `ReadonlyArray` Operators

Similar Threads

Similar Threads

Similar Threads