type IndexOf[T <: Tuple, E] = T match { case E*:_$1 => 0 case _$2*:es => S[IndexOf[es, E]] }
Type for obtaining location information inside the Tuple of the specified type.
Type for obtaining location information inside the Tuple of the specified type.
Attributes
type IsColumn[T <: Tuple] = T match { case EmptyTuple => false case Column[t] => true case Column[t] *:EmptyTuple => true case Column[t] *:ts => IsColumn[ts] }
Type to verify that a tuple of a given type consists only of the type wrapped in Column.
Type to verify that a tuple of a given type consists only of the type wrapped in Column.