org.combinators.cls.types
Type class for syntactic sugar to construct intersection types.
The type constructed so far.
Intersects ty with other.
ty
other
The product of ty and other
Uses ty as the parameter of an arrow resulting in other.
(Since version ) see corresponding Javadoc for more information.
Type class for syntactic sugar to construct intersection types.