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
If we want people to truly use SmallUnliftedArray_ (and SmallMutableUnliftedArray_) when defining class instances, it is important to have the 'element type' be the last parameter, because only then is it possible to implement typeclasses whose inhabitants are of kind Type -> Type (i.e. any container-like typeclass, like the ones of the contiguous library).
The text was updated successfully, but these errors were encountered:
Compare
primitive-unlifted/src/Data/Primitive/Unlifted/SmallArray/ST.hs
Line 81 in 2692295
primitive-unlifted/src/Data/Primitive/Unlifted/Array/ST.hs
Line 80 in 2692295
The order of the type parameters is reversed.
If we want people to truly use
SmallUnliftedArray_
(andSmallMutableUnliftedArray_
) when defining class instances, it is important to have the 'element type' be the last parameter, because only then is it possible to implement typeclasses whose inhabitants are of kindType -> Type
(i.e. any container-like typeclass, like the ones of the contiguous library).The text was updated successfully, but these errors were encountered: