decrel-core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
decrel-core/decrel/syntax/ZipSyntax

ZipSyntax

decrel.syntax.ZipSyntax
final implicit class ZipSyntax[LeftTree, LeftIn, LeftOut](self: LeftTree & Relation[LeftIn, LeftOut])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def &[RightTree, RightIn <: LeftIn, RightOut, ZippedOut](that: RightTree & Relation[RightIn, RightOut])(implicit zippable: Out[LeftOut, RightOut, ZippedOut], ev: LeftIn <:< RightIn): Zipped[LeftTree & Relation[LeftIn, LeftOut], LeftIn, LeftOut, RightTree & Relation[RightIn, RightOut], RightIn, RightOut, ZippedOut]

A symbolic alias for zip.

A symbolic alias for zip.

Attributes

def zip[RightTree, RightIn, RightOut, ZippedOut](that: RightTree & Relation[RightIn, RightOut])(implicit zippable: Out[LeftOut, RightOut, ZippedOut], ev: LeftIn <:< RightIn): Zipped[LeftTree & Relation[LeftIn, LeftOut], LeftIn, LeftOut, RightTree & Relation[RightIn, RightOut], RightIn, RightOut, ZippedOut]

TODO add description

TODO add description

Attributes

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL