simple-adt-implemention
API
Generated with
simple-adt-implemention/net.scalax.simple.adt/CCDD/ABCD2

ABCD2

net.scalax.simple.adt.CCDD.ABCD2
trait ABCD2[P1, P1Append <: ([_, _ <: P1] =>> P1), P1Zero <: P1, X1, X1Append <: ([_, _ <: X1] =>> X1), X1Zero <: X1, M2[_ <: P1, _ <: X1]] extends ABDECD[P1, P1Append, P1Zero, P1, P1Append, P1Zero, X1, X1Append, X1Zero, { type MX = [A <: P1, B <: P1, C <: X1] =>> M2[B, C]; }#<none>]

Attributes

Graph
Supertypes
trait ABDECD[P1, P1Append, P1Zero, P1, P1Append, P1Zero, X1, X1Append, X1Zero, { type MX = [A <: P1, B <: P1, C <: X1] =>> M2[B, C]; }#<none>]
class Object
trait Matchable
class Any
Known subtypes
trait ABCD1[P1, P1Append, P1Zero, M2]

Members list

Value members

Abstract methods

def append2[A, P <: P1, X <: X1](m: M2[P, X]): M2[P1Append[A, P], X1Append[A, X]]
def zero2: M2[P1Zero, X1Zero]

Concrete methods

final override def append[A, PP <: P1, P2 <: P1, X <: X1](m: M2[P2, X]): M2[P1Append[A, P2], X1Append[A, X]]

Attributes

Definition Classes
final override def zero: M2[P1Zero, X1Zero]

Attributes

Definition Classes
Generated with