sealed traitUnzipAndInsert[L <: HList, A] extends DepFn2[L, A] with Serializable
This type-class serves two purposes:
as a witness of the ability for a HList to be unzipped
(iff made of Tuple2/pairs)
as a higher-ranked function that allows the caller to invoke it (using
an instance of the HList and an instance of some type A
that needs to be inserted) to unzip the HList into
exactly twoHList and then concatenate these two
after having inserted between them that instance of A.
L
The HList that will be unzipped iff it
contains Tuple2
This member is added by an implicit conversion from UnzipAndInsert[L, A] to
any2stringadd[UnzipAndInsert[L, A]] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from UnzipAndInsert[L, A] to
ArrowAssoc[UnzipAndInsert[L, A]] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from UnzipAndInsert[L, A] to
Ensuring[UnzipAndInsert[L, A]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from UnzipAndInsert[L, A] to
Ensuring[UnzipAndInsert[L, A]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from UnzipAndInsert[L, A] to
Ensuring[UnzipAndInsert[L, A]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from UnzipAndInsert[L, A] to
Ensuring[UnzipAndInsert[L, A]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from UnzipAndInsert[L, A] to
StringFormat[UnzipAndInsert[L, A]] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from UnzipAndInsert[L, A] to
ArrowAssoc[UnzipAndInsert[L, A]] performed by method ArrowAssoc in scala.Predef.
This type-class serves two purposes:
The HList that will be unzipped iff it contains Tuple2
The type we want to insert before concatenation