Searched refs:TypingUsers (Results 1 – 2 of 2) sorted by relevance
24 , TypingUsers146 type TypingUsers = AllMyUsers (Max UTCTime) type149 noTypingUsers :: TypingUsers153 addTypingUser :: UserId -> UTCTime -> TypingUsers -> TypingUsers157 allTypingUsers :: TypingUsers -> [UserId]162 expireTypingUsers :: UTCTime -> TypingUsers -> TypingUsers
90 import Matterhorn.Types.Users ( TypingUsers, noTypingUsers, addTypingUser )236 , _cdTypingUsers :: TypingUsers