• Home
• org.typelevel
• shapeless-contrib-common_2.10
• 0.5
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

.shapeless-contrib-common_2.10.0.5.source-code.common.scala Maven / Gradle / Ivy

package shapeless.contrib

import shapeless._

trait Product[+C[_], F, T <: HList] {
  def F: C[F]
  def T: C[T]

  type λ = F :: T
}

trait Sum[+C[_], L, R <: Coproduct] {
  def L: C[L]
  def R: C[R]

  type λ = L :+: R
}

trait Isomorphic[+C[_], A, B] {
  def B: C[B]
  def to: A => B
  def from: B => A
}

// vim: expandtab:ts=2:sw=2