org.specs2.control.eff
Union represents one effect T[_] embedded in a tree of possible effects R
The effect tree is represented by four possible cases:
The union type has three concrete constructors:
Union represents one effect T[_] embedded in a tree of possible effects R
The effect tree is represented by four possible cases:
The union type has three concrete constructors: