[Haskell-cafe] Mathematical functions with multiple arguments

Sumit Sahrawat, Maths & Computing, IIT (BHU) sumit.sahrawat.apm13 at iitbhu.ac.in
Wed Mar 11 21:45:03 UTC 2015

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?


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

More information about the Haskell-Cafe mailing list