type DirectedBinaryCombinator

source code

object --+
         |
        DirectedBinaryCombinator

Known Subclasses:

• BackwardCombinator
• , ForwardCombinator

Wrapper for the undirected binary combinator. It takes left and right categories, and decides which is to be the function, and which the argument. It then decides whether or not they can be combined.