合金 - 从元组中移除中间原子

Question

我目前有三个原子CognitoIdentityCredentials {expired: true, expireTime: null, accessKeyId: undefined, sessionToken: undefined, params: Object…}，class，pupil和格式为grade的元组mark。如何以class->pupil->grade格式返回元组，以便我可以看到特定学生在每个班级中获得的成绩作为班级/等级二元关系？假设系统中只有一个学生。谢谢！

Answer 1

我能想象到的一种方法是使用set comprehension，如下所示：

fun getGrade[p:Pupil]: Class->Grade {
  {c:Class,g:Grade|c->p->g in mark}
}