simple-ghdmzsk
API
Generated with
simple-ghdmzsk/net.scalax.simple/net.scalax.simple.adt/SimpleCoProductImpl

SimpleCoProductImpl

net.scalax.simple.adt.SimpleCoProductImpl
object SimpleCoProductImpl

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

trait HListFuncMapGeneric[Source1, Target1, Target2, Target3, M1[_, _, _], M2[_], M3[_], M4[_]]

Attributes

Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def append[T1, Source1 <: AdtNat, HL1 <: AdtNat, HL2 <: AdtNat, HL3 <: AdtNat, M1Context[_, _, _], M2[_], M3[_], M4[_]](tail: Either[TypeGen[M1Context, M2, M3, M4], HListFuncMapGeneric[Source1, HL1, HL2, HL3, M1Context, M2, M3, M4]]): HListFuncMapGeneric[AdtNatPositive[T1, Source1], AdtNatPositive[M2[T1], HL1], AdtNatPositive[M3[T1], HL2], AdtNatPositive[M4[T1], HL3], M1Context, M2, M3, M4]
def appendImpl[T1, Source1 <: AdtNat, HL1 <: AdtNat, HL2 <: AdtNat, HL3 <: AdtNat, M1Context[_, _, _], M2[_], M3[_], M4[_]](tail: HListFuncMapGeneric[Source1, HL1, HL2, HL3, M1Context, M2, M3, M4]): HListFuncMapGeneric[AdtNatPositive[T1, Source1], AdtNatPositive[M2[T1], HL1], AdtNatPositive[M3[T1], HL2], AdtNatPositive[M4[T1], HL3], M1Context, M2, M3, M4]
Generated with