Stability | experimental |
---|---|
Maintainer | conal@conal.net |
Greatest lower bound
Documentation
Types that support information intersection (glb
)
Greatest lower information bound. Intersects information available from each argument.
n-ary lub
. Defaults to foldr lub undefined