[Haskell-beginners] type T' = T a b c
Imants Cekusins
imantc at gmail.com
Mon Aug 22 10:01:08 UTC 2016
*problem*:
given type T with a few parameters e.g.
T a b c
some functions where this type is passed to, are agnostic to a, b, c
i.e. accept T with any of a, b, c
processT::T a b c -> ()
when either number of these parameters or T change (c is dropped or d is
added: T a b c d), signatures of every function where T is passed to, need
to be updated.
*question*:
is this possible to specify type synonym T' so that it may be passed to
parameter (a,b,c) - agnostic functions so:
processT::T' -> ()
?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20160822/355f0cb2/attachment.html>
More information about the Beginners
mailing list