SumCaseClassRepresentation

Representation for sum case classes that are represented as a Data with DataConstr and DataUnconstr operators to work with the data. the index of the constructor and x is a field.

packed in data representation as a list of data elements. i.e. unListData for unpacking into DataList

Representation for sum case classes that are represented as a Pair of Int and DataList.

SumDataPairList packed as AssocMap

Representation for sum case classes that are represented as a list of data elements. unlike DataConstr, this representation does not use a constructor tag, but use unList and unListData to work with the data.

List of pairs of data elements. result of unMapData

Representation as tern Constr(i,x1,...,xn) where i is the index of the constructor and x is a field

Representation as Constr(i,x1,...,xn) where i is the index of the constructor and x is a field represented as data.

The names of the product elements

The name of the type