selectlist:非空列表，其中始终仅选择一个元素

选择列表 SelectList是一个非空列表，始终始终只选择一个元素。 这是列表的示例。 myList = SelectList.fromLists [ 1, 2 ] 3 [ 4, 5, 6 ] SelectList.before myList --> [ 1, 2 ] SelectList.after myList --> [ 3, 4, 5 ] SelectList.selected myList --> 3