RelationComposeSyntax
decrel.syntax.RelationComposeSyntax
final implicit class RelationComposeSyntax[RightTree, RightIn, RightOut](right: RightTree & Relation[RightIn, RightOut])
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Members list
Concise view
Value members
Concrete methods
def <>:[LeftTree, LeftIn, LeftOut, ZippedOut](left: LeftTree & Single[LeftIn, LeftOut])(implicit ev: LeftOut <:< RightIn, zippable: Out[LeftOut, RightOut, ZippedOut]): Zipped[LeftTree & Single[LeftIn, LeftOut], LeftIn, LeftOut, Single[LeftTree & Single[LeftIn, LeftOut], LeftIn, LeftOut, RightTree & Relation[RightIn, RightOut], RightIn, RightOut], LeftIn, RightOut, ZippedOut]
def <>:[LeftTree, LeftIn, LeftOut, ZippedOut](left: LeftTree & Optional[LeftIn, LeftOut])(implicit ev: LeftOut <:< RightIn, zippable: Out[LeftOut, RightOut, ZippedOut]): Optional[LeftTree & Optional[LeftIn, LeftOut], LeftIn, LeftOut, Zipped[Self[LeftOut], LeftOut, LeftOut, RightTree & Relation[RightIn, RightOut], RightIn, RightOut, ZippedOut], LeftOut, ZippedOut]
def <>:[LeftTree, LeftIn, LeftOutO, ZippedOut, CC[A]](left: LeftTree & Many[LeftIn, CC, LeftOutO])(implicit ev: LeftOutO <:< RightIn, zippable: Out[LeftOutO, RightOut, ZippedOut]): Many[LeftTree & Many[LeftIn, CC, LeftOutO], LeftIn, LeftOutO, Zipped[Self[LeftOutO], LeftOutO, LeftOutO, RightTree & Relation[RightIn, RightOut], RightIn, RightOut, ZippedOut], LeftOutO, ZippedOut, CC]