2006-10-24, 00:59
If there’s a type Foo a b, then it’s possible to access a and b in a function definition through the notation f@(x y):
bar :: Foo a b -> Int
bar f@(x y) = ...
Very handy indeed.
Copy HTML:
If you like this then please subscribe to the
RSS Feed.