A SelectList is a nonempty list which always has exactly one element selected. It is an example of a list zipper. myList = SelectList.fromLists [ 1, 2 ] 3 ...
確定! 回上一頁