Интерпретация обхода списка с условием?

Question

Не могли бы вы объяснить, что означает это утверждение?

NewList = [{{U, S, R}, I} || {{U, S, R}, I} <- Users, U =:= User], 

, где USERS - это список.

Answer 1

Он возвращает все элементы Users, которые 1) соответствуют шаблону {{U, S, R}, I} (т. Е. Являются 2-мя корнями, где первый элемент представляет собой 3-х кортеж); 2) U в этом шаблоне равен значению User.

Для получения более подробной информации см. the manual.