Skip to content

rtfeldman/selectlist

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SelectList

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 [ 4, 5, 6 ]

SelectList.before myList
--> [ 1, 2 ]

SelectList.after myList
--> [ 3, 4, 5 ]

SelectList.selected myList
--> 3

About

A nonempty list in which exactly one element is always selected.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages