[Haskell-cafe] Mathematical functions with multiple arguments

[Sumit Sahrawat, Maths & Computing, IIT (BHU)]

Hi everybody,

I have a function of type

    plot :: ([Double] -> Double)    -- A function to plot
         -> [(Double, Double)]      -- Range for all arguments
         -> IO ()

I want to enforce the fact that ranges for all arguments should be provided.
Is there a way to make the type system enforce it?

-- 
Regards

Sumit Sahrawat
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150312/8adb8c76/attachment.html>