Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
Comma categories.
Documentation
type ObjectsFUnder f a = ConstF f a :/\: fSource
type ObjectsFOver f a = f :/\: ConstF f aSource
type ObjectsUnder c a = Id c `ObjectsFUnder` aSource
type ObjectsOver c a = Id c `ObjectsFOver` aSource