2module Set (empty,singleton,insert,remove
15singleton k = Dict.singleton k ()
17insert : t -> Set t -> Set t
18insert k = Dict.insert k ()
20remove : t -> Set t -> Set t
23member : t -> Set t -> Bool
26union : Set t -> Set t -> Set t
29intersect : Set t -> Set t -> Set t
30intersect = Dict.intersect
32diff : Set t -> Set t -> Set t
38fromList : [t] -> Set t
39fromList = List.foldl (\k t -> Dict.insert k () t) empty
41foldl : (a -> b -> b) -> b -> Set a -> b
42foldl f = Dict.foldl (\k _ b -> f k b)
44foldr : (a -> b -> b) -> b -> Set a -> b
45foldr f = Dict.foldr (\k _ b -> f k b)
47map : (a -> b) -> Set a -> Set b
48map f = fromList . List.map f . toList
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list