Pattern

object Pattern
Companion:
class
class Object
trait Matchable
class Any
Pattern.type

Type members

Classlikes

abstract class Builder[V <: ([_ <: HList] =>> HList), Ptrs[_ <: HList, _ <: HList], N <: ([_ <: Nat] =>> Nat)]
case class PartiallyAssignedPatternBuilder[V <: HList, Ptrs <: HList](ptrs: Ptrs, asg: Assignment[V])
case class PatternBuilder[V <: HList, Ptrs <: HList](ptrs: Ptrs)

Types

type Orientation[V <: HList, L <: HList] = (RelChoice[V, L], List[RelChoice[V, _ <: HList]])

Value members

Concrete methods

def apply[V <: HList](implicit ptrs: Pointers[V]): PatternBuilder[V, Out]
def on[A]: Builder[[T <: HList] =>> A :: T, [T <: HList, PT <: HList] =>> Aux[A :: T, _0, A] :: PT, [N0 <: Nat] =>> Succ[N0]]

An alternative to apply that does not require implicit Pointers, and thus is more robust.

An alternative to apply that does not require implicit Pointers, and thus is more robust.