Stability | experimental |
---|---|
Maintainer | conal@conal.net |
Least upper bounds
Types that support information merging (lub
)
Least upper information bound. Combines information available from each argument. The arguments must be consistent, i.e., must have a common upper bound.
n-ary lub
. Defaults to foldr lub undefined
Some useful special applications of lub
parCommute :: HasLub b => (a -> a -> b) -> a -> a -> bSource