[Haskell-beginners] type T' = T a b c

Imants Cekusins imantc at gmail.com
Mon Aug 22 10:01:08 UTC 2016


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.


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