Suggest QuantifiedConstraints in the doc of Unbox
commita5e7af667d676f5e013aa596c72f8fbe4f6cacd1
authorAdithya Kumar <adithya@composewell.com>
dateFri 4 Nov 2022, 15:42 (4 years ago)
parenteecc006
core/src/Streamly/Internal/Data/Unboxed.hs+2
@@ -179,6 +179,8 @@ unpin arr@(MutableByteArray marr#) =
179179-- is similar to Storable in the sense that it has corresponding operations for
180180-- peekByteOff and pokeByteOff. While Storable allows writing to a Ptr, this
181181-- type class allows writing to a MutableByteArray#.
182+--
183+-- Note: Enable @QuantifiedConstraints@ to simplify constraint specification.
182184class Storable a => Unbox a where
183185 -- | Read an element of type "a" from a MutableByteArray given the byte
184186 -- index.