[Haskell-cafe] DiffArray is an unsaturated type?

Neil Mitchell 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
won't bother.

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 mailing list