scalaprops-all/scalaprops/Inj

Inj

object Inj
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[C <: Or, I](implicit inject: Inj[C, I]): Inj[C, I]

Implicits

Implicits

implicit
def hdInj[H, T <: Or]: Inj[H :-: T, H]
implicit
def tlInj[H, T <: Or, I](implicit tlInj: Inj[T, I]): Inj[H :-: T, I]