10 Jul
2007
10 Jul
'07
4:53 a.m.
On Tue, 10 Jul 2007, Tony Morris wrote:
Is your explanation specific to maybe? Or does that apply to all functions?
Suppose the following function for lists:
f :: [a] -> b -> (a -> [a] -> b) -> b
...instead of pattern matching [] and (x:xs)
A foldr without recursion. I use such functions frequently in order to hide constructors of a data type. Does this kind of functions has a common name?