PatternBuilder

case class PatternBuilder[V <: HList, Ptrs <: HList](ptrs: Ptrs)
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def build[N <: Nat](f: Ptrs => NonEmptyList[RelChoice[V, _ <: HList]])(implicit l: Aux[V, N], nToInt: ToInt[N]): Pattern[V]
def where[PA <: HList, N <: Nat](f: Ptrs => PA)(implicit vp: ValuedPointers[V, PA], l: Aux[V, N], nToInt: ToInt[N]): PartiallyAssignedPatternBuilder[V, Ptrs]

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product