[Haskell-cafe] DiffArray is an unsaturated type?
ndmitchell at gmail.com
Mon Aug 21 11:23:41 EDT 2006
I note that in the base libraries, Data.Array.Diff is defined as:
type DiffArray = IOToDiffArray IOArray
However, IOToDiffArray takes 3 parameters.
I thought this was not allowed in Haskell 98? Its annoying from my
point of view because Hoogle wants to know the arity of a type, and if
it has to chase down the arity of the RHS to do it, I probably just
Is there any difference between the above definition and:
type DiffArray a b = IOToDiffArray IOArray a b
Is the first prefered for any reason?
More information about the Haskell-Cafe