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
I'm not sure we've got the new array ops naming quite right. The operation names (mostly) do not mention array This would be fine if they were in an array extension, but in prelude we now have prelude.get, prelude.set . These are very general names for ops that only work on a specific type. I suggest creating an array , or prelude.array extension.
The text was updated successfully, but these errors were encountered:
I'm not sure we've got the new array ops naming quite right. The operation names (mostly) do not mention array This would be fine if they were in an array extension, but in prelude we now have
prelude.get
,prelude.set
. These are very general names for ops that only work on a specific type. I suggest creating anarray
, orprelude.array
extension.The text was updated successfully, but these errors were encountered: