Operator Labels

SE.Transformation.Domain.Operator.Labels

Official ASCII-safe string labels for transformation operators.

Labels are short human-readable names for operator codes.

def SE.Transformation.operatorCodeLabel : OperatorCode → String

Official short label for each transformation operator.

Equations

• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.AT = "attest"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.AZ = "authorize"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.BD = "bind"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.BR = "branch"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.CL = "collapse"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.CP = "copy"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.EM = "embed"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.EX = "expand"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.LK = "link"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.MG = "merge"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.PR = "project"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.RO = "reorder"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.RV = "revert"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.SH = "shift"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.SP = "split"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.UB = "unbind"
• SE.Transformation.operatorCodeLabel SE.Transformation.OperatorCode.VS = "version"