I find myself needing to do these casts all the time and I think we should add these to the package.
Really these two types are the same type and making them different was a JavaScript design mistake.
fromUint8Array::Uint8Array->EffectDataView
fromUint8Array x = DV.part (AT.buffer x) (AT.byteOffset x) (AT.byteLength x)
toUint8Array::DataView->EffectUint8Array
toUint8Array x = AT.part (DV.buffer x) (DV.byteOffset x) (DV.byteLength x)
I find myself needing to do these casts all the time and I think we should add these to the package.
Really these two types are the same type and making them different was a JavaScript design mistake.