Data.Singletons.Map
data SingMap k f
type family SingMap' (f :: k -> Type) :: Type where ...
empty
singleton
null
size
lookup
lookupAssoc
combine
insertMax
insertMin
merge
glue
deleteFindMin
deleteFindMax
delta
ratio
balance
rotateL
rotateR
singleL
singleR
doubleL
doubleR
bin
trim
trimLookupLo
filterGt
filterLt
(!)
(\\)
member
notMember
find
findWithDefault
insert
insertWith
insertWith'
insertWithKey
insertWithKey'
insertLookupWithKey
insertLookupWithKey'
delete
adjust
adjustWithKey
update
updateWithKey
updateLookupWithKey
alter
findIndex
lookupIndex
elemAt
updateAt
deleteAt
findMin
findMax
deleteMin
deleteMax
updateMinWithKey
updateMaxWithKey
minViewWithKey
maxViewWithKey
unions
unionsWithKey
union
hedgeUnionL
unionWithKey
hedgeUnionWithKey
difference
hedgeDiff
differenceWithKey
hedgeDiffWithKey
intersection
intersectionWithKey
filterWithKey
partitionWithKey
mapMaybeWithKey
mapEitherWithKey
mapWithKey
mapAccumLWithKey
mapAccumRWithKey
foldWithKey
foldrWithKey
foldlWithKey
keys
assocs
fromList
fromListWithKey
toList
toAscList
toDescList
fromAscList
fromAscListWithKey
fromDistinctAscList
split
splitLookup
splitLookupWithKey
showTreeWith
showsTree
showsTreeHang
showWide
showsBars
node
withBar
withEmpty
valid
ordered
balanced
validsize
foldlStrict
ltSome
gtSome
unifyOnCompareEQ
unifyOnEq
fromRec
insertRec