core
0.12.0
API
Generated with
core/com.github.tarao.record4s/com.github.tarao.record4s.typing/syntax

syntax

com.github.tarao.record4s.typing.syntax
object syntax

Attributes

Source
syntax.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
syntax.type

Members list

Type members

Types

type +[R, F <: Tuple] = R match { case % => Concat[R, F *: EmptyTuple] case Tuple => Concat[R, F *: EmptyTuple] }

Attributes

Source
syntax.scala
type ++[R1, R2] = R1 match { case % => Concat[R1, R2] case Tuple => Concat[R1, R2] }

Attributes

Source
syntax.scala
type -[R <: %, L] = Unselect[R, L *: EmptyTuple]

Attributes

Source
syntax.scala
type --[R <: %, U <: Tuple] = Unselect[R, U]

Attributes

Source
syntax.scala
type :=[Out0, A] = A match { case Concat[r1, r2] => Aux[r1, r2, Out0] case Unselect[r, u] => Aux[r, u, Out0] case Lookup[r, l] => Aux[r, l, Out0] case Concat[r1, r2] => Aux[r1, r2, Out0] case Lookup[r, l] => Out0 match { case (o, i) => Lookup[r, l] { type Out = o; type Index = i; } } }

Attributes

Source
syntax.scala
infix type in[L, R] = R match { case % => Lookup[R, L] case Tuple => Lookup[R, L] }

Attributes

Source
syntax.scala
Generated with