PathTerm

object PathTerm
Companion:
class
Source:
predicate.scala
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

case class ListPath[A](path: List[String]) extends Term[A] with PathTerm
case class UniquePath[A](path: List[String]) extends Term[A] with PathTerm

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
Source:
Mirror.scala

The name of the type

The name of the type

Inherited from:
Mirror
Source:
Mirror.scala