Agda.Utils.Bag
data Bag a
null
size
(!)
member
notMember
count
empty
singleton
union
unions
insert
fromList
groups
toList
keys
elems
toAscList
map
traverse'
prop_count_empty
prop_count_singleton
prop_count_insert
prop_size_union
prop_size_fromList
prop_fromList_toList
prop_toList_fromList
prop_keys_fromList
prop_nonempty_groups
prop_map_id
prop_map_compose
prop_traverse_id
tests