@@ -450,7 +450,7 @@ any = \xs pred -> countWhere xs pred > 0
450450none : [a] -> (a -> Bool) -> Bool
451451none = \xs pred -> not (any xs pred)
452452all : [a] -> (a -> Bool) -> Bool
453−all = \xs pred -> countWhere xs pred == count xs
453+all = \xs pred -> none xs (\x -> not (pred x))
454454elem = \xs x -> any xs (\y -> y == x)
455455findFirst = \xs pred -> headOf (filter xs pred)
456456when = \cond action -> if cond then action else yield {}
@@ -647,9 +647,7 @@ generateFederationAuth = \scope requestTimestamp ->
647647 else do
648648 token <- genToken
649649 t <- now
650− atomic do
651− pending <- *pendingVerifications
652− set *pendingVerifications = capList (union pending [{token: token, createdAt: t, scope: scope}]) maxPendingVerifications (\p -> p.createdAt)
650+ atomic (appendCapped pendingVerifications [{token: token, createdAt: t, scope: scope}] maxPendingVerifications (\p -> p.createdAt))
653651 yield ("Bearer " ++ token)
654652
655653-- Verify a federation request: signed (Ed25519 over scope|ts|fromServer|nonce) or callback Bearer token.
@@ -980,7 +978,7 @@ refreshLocalPresence = \t -> do
980978 refreshState <- atomic do
981979 sessions <- *sessions
982980 presence <- *presence
983− let sessionKeys = unique (pluck sessions (\s -> s.pubkey))
981+ let sessionKeys = pluck sessions (\s -> s.pubkey)
984982 let needsRefresh = \p -> isLocalServer p.server && elem sessionKeys p.pubkey && p.expiresAt - t < sessionExpiry / 2
985983 let refreshed = mapWhere presence needsRefresh (\p -> {pubkey: p.pubkey, server: p.server, expiresAt: t + sessionExpiry, timestamp: t})
986984 let updated = union (removeWhere presence needsRefresh) refreshed