Type Members

1.  sealed trait Relation[-In, +Out] extends AnyRef

   A _declaration_ of a Relation object by extending one of Relation.Single, Relation.Optional or Relation.Many can be thought of as an edge in the directed graph that is your entire domain model.

   A _declaration_ of a Relation object by extending one of Relation.Single, Relation.Optional or Relation.Many can be thought of as an edge in the directed graph that is your entire domain model.

   An expression with a type of Relation[A, B] represents a traversal of the domain model graph starting from A into B, where B can be a result of accumulation of an arbitrary number of nodes.

   In

   **When declaring**: starting node of an edge. **When in an expression**: starting node of a traversal

   Out

   **When declaring**: ending node of an edge. **When in an expression**: accumulated nodes of a traversal

2.  trait Zippable[-A, -B] extends AnyRef
3.  trait ZippableLowPriority1 extends ZippableLowPriority2
4.  trait ZippableLowPriority2 extends ZippableLowPriority3
5.  trait ZippableLowPriority3 extends ZippableLowPriority4
6.  trait ZippableLowPriority4 extends AnyRef
7.  trait syntax extends AnyRef
8.  implicit final class CustomSyntax[Tree, In, Out] extends AnyRef

   Definition Classes

   syntax

9.  implicit final class RelationComposeSyntax[RightTree, RightIn, RightOut] extends AnyRef

   Definition Classes

   syntax

10.  implicit final class ZipSyntax[LeftTree, LeftIn, LeftOut] extends AnyRef

    Definition Classes

    syntax