Type Members

1.  implicit final class ContravariantOps[F[_], A] extends AnyVal
2.  implicit final class FunctorOps[F[_], A] extends AnyVal
3.  implicit final class InvariantOps[F[_], A] extends AnyVal
4.  implicit final class SemigroupalOps[F[_], A] extends AnyVal
5.  trait Twiddler[A] extends AnyRef

   Witness that type A is isomorphic to a left-associated HList formed from pairs; i.e., A :: B :: C :: D :: HNil ~ (((A, B), C), D)

   Witness that type A is isomorphic to a left-associated HList formed from pairs; i.e., A :: B :: C :: D :: HNil ~ (((A, B), C), D)

   Annotations

   @implicitNotFound("Cannot construct a mapping between the source (which must be a twiddle-list type) and the specified target type ${A} (which must be a case class of the same structure).")

   See also

   https://github.com/tpolecat/skunk/blob/master/modules/core/src/main/scala-2/util/Twiddler.scala

6.  implicit final class TwiddlerOps[A] extends AnyVal
7.  type ~[+A, +B] = (A, B)

   Infix alias for (A, B) that provides convenient syntax for left-associated HLists.

   Infix alias for (A, B) that provides convenient syntax for left-associated HLists.

   See also

   https://github.com/tpolecat/skunk/blob/96ac7ee38f65633abae137d3baf6e1aeae53ab8d/modules/core/src/main/scala/package.scala