Inj

scalaprops.Inj
See theInj companion class
object Inj

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Inj.type

Members list

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]