decrel.Relation$.Composed$
See theComposed companion trait
object Composed
Members list
Concise view
Type members
Classlikes
case class Many[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut, CC[A]](left: LeftTree, right: RightTree)(implicit composeOneEv: LeftOut <:< RightIn, leftRel: LeftTree <:< Many[LeftIn, CC, LeftOut], rightRel: RightTree <:< Relation[RightIn, RightOut]) extends Composed[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut, CC[RightOut]]
case class Optional[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut](left: LeftTree, right: RightTree)(implicit composeOneEv: LeftOut <:< RightIn, leftRel: LeftTree <:< Optional[LeftIn, LeftOut], rightRel: RightTree <:< Relation[RightIn, RightOut]) extends Composed[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut, Option[RightOut]]
case class Single[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut](left: LeftTree, right: RightTree)(implicit composeOneEv: LeftOut <:< RightIn, leftRel: LeftTree <:< Single[LeftIn, LeftOut], rightRel: RightTree <:< Relation[RightIn, RightOut]) extends Composed[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut, RightOut]
case class Zipped[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut, ZippedOut](left: LeftTree & Relation[LeftIn, LeftOut], right: RightTree & Relation[RightIn, RightOut])(implicit zippedEv: LeftIn <:< RightIn) extends Composed[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut, ZippedOut]