annotate src/lib/Chat.luan @ 104:46418395c860 default tip

add mute chat
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 14 Jul 2025 00:49:11 -0600
parents a47036fd0158
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local ipairs = Luan.ipairs or error()
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local Time = require "luan:Time.luan"
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local time_now = Time.now or error()
58
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
6 local Table = require "luan:Table.luan"
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
7 local sort = Table.sort or error()
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
8 local concat = Table.concat or error()
12
9f45d32670ae server push
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
9 local Http = require "luan:http/Http.luan"
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local Db = require "site:/lib/Db.luan"
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local run_in_transaction = Db.run_in_transaction or error()
12
9f45d32670ae server push
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
12 local Utils = require "site:/lib/Utils.luan"
9f45d32670ae server push
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
13 local base_url = Utils.base_url or error()
104
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 83
diff changeset
14 local set_to_list = Utils.set_to_list or error()
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 83
diff changeset
15 local list_to_set = Utils.list_to_set or error()
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 83
diff changeset
16 local to_list = Utils.to_list or error()
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 local Chat = {}
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 local function from_doc(doc)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 doc.type == "chat" or error "wrong type"
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 return Chat.new {
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 id = doc.id
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 user_ids = doc.chat_user_ids
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 updated = doc.chat_updated
58
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
27 key = doc.chat_key
104
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 83
diff changeset
28 mute_ids = list_to_set(to_list(doc.mute_ids))
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 }
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 end
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 local function to_doc(chat)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 return {
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 type = "chat"
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 id = chat.id
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 chat_user_ids = chat.user_ids or error()
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 chat_updated = chat.updated or error()
58
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
38 chat_key = chat.key or error()
104
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 83
diff changeset
39 mute_ids = set_to_list(chat.mute_ids)
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 }
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 end
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42
58
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
43 local function get_chat_key(user_ids)
64
Franklin Schmidt <fschmidt@gmail.com>
parents: 63
diff changeset
44 #user_ids > 1 or error "You can't chat with yourself"
58
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
45 sort(user_ids)
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
46 return concat(user_ids,"~")
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
47 end
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
48
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49 function Chat.new(chat)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 chat.updated = chat.updated or time_now()
58
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
51 chat.key = chat.key or get_chat_key(chat.user_ids)
104
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 83
diff changeset
52 chat.mute_ids = chat.mute_ids or list_to_set{}
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
53
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
54 function chat.save()
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55 local doc = to_doc(chat)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 Db.save(doc)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 chat.id = doc.id
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 end
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59
104
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 83
diff changeset
60 function chat.reload()
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 83
diff changeset
61 return Chat.get_by_id(chat.id) or error(chat.id)
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 83
diff changeset
62 end
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 83
diff changeset
63
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64 function chat.delete()
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65 run_in_transaction( function()
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 local id = chat.id
11
563a5358f2ee add delete_chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
67 Db.delete("post_chat_id:"..id)
55
d21ae4920aac minor fix
Franklin Schmidt <fschmidt@gmail.com>
parents: 53
diff changeset
68 Db.delete("chatuser_chat_id:"..id)
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
69 Db.delete("id:"..id)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
70 end )
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
71 end
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
72
12
9f45d32670ae server push
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
73 function chat.http_push(message)
9f45d32670ae server push
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
74 local url = base_url().."/chat/"..chat.id
9f45d32670ae server push
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
75 Http.push(url,message)
9f45d32670ae server push
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
76 end
9f45d32670ae server push
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
77
83
a47036fd0158 group chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 64
diff changeset
78 function chat.other_user_ids(my_id)
a47036fd0158 group chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 64
diff changeset
79 local t = {nil}
46
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
80 for _, user_id in ipairs(chat.user_ids) do
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
81 if user_id ~= my_id then
83
a47036fd0158 group chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 64
diff changeset
82 t[#t+1] = user_id
46
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
83 end
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
84 end
83
a47036fd0158 group chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 64
diff changeset
85 return t
46
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
86 end
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
87
57
c420f39eb474 chatuser_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 55
diff changeset
88 local function get_chatuser_key(user)
53
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
89 return chat.id.."~"..user.id
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
90 end
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
91
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
92 function chat.unread(user)
57
c420f39eb474 chatuser_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 55
diff changeset
93 local doc = Db.get_document("chatuser_key:"..get_chatuser_key(user))
53
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
94 local read_date = doc and doc.read_date or 0
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
95 return Db.count("+post_chat_id:"..chat.id.." +post_date:["..read_date.." TO *]")
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
96 end
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
97
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
98 function chat.read(user)
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
99 run_in_transaction( function()
57
c420f39eb474 chatuser_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 55
diff changeset
100 local chatuser_key = get_chatuser_key(user)
c420f39eb474 chatuser_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 55
diff changeset
101 local doc = Db.get_document("chatuser_key:"..chatuser_key) or {
53
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
102 type = "chatuser"
57
c420f39eb474 chatuser_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 55
diff changeset
103 chatuser_key = chatuser_key
55
d21ae4920aac minor fix
Franklin Schmidt <fschmidt@gmail.com>
parents: 53
diff changeset
104 chatuser_chat_id = chat.id or error()
53
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
105 }
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
106 doc.read_date = time_now()
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
107 Db.save(doc)
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
108 end )
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
109 end
9298b04607ae add unread
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
110
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
111 return chat
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
112 end
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
113
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
114 function Chat.search(query,sort,rows)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
115 rows = rows or 1000000
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
116 local chats = {}
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
117 local docs = Db.search(query,1,rows,{sort=sort})
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
118 for _, doc in ipairs(docs) do
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
119 chats[#chats+1] = from_doc(doc)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
120 end
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
121 return chats
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
122 end
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
123
7
41d35b72c774 chat page
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
124 function Chat.get_by_id(id)
41d35b72c774 chat page
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
125 local doc = Db.get_document("id:"..id)
41d35b72c774 chat page
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
126 return doc and doc.type=="chat" and from_doc(doc) or nil
41d35b72c774 chat page
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
127 end
41d35b72c774 chat page
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
128
58
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
129 function Chat.get_by_user_ids(user_ids)
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
130 local key = get_chat_key(user_ids)
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
131 local doc = Db.get_document("chat_key:"..key)
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
132 return doc and from_doc(doc)
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
133 end
7b6691bd65c3 chat_key
Franklin Schmidt <fschmidt@gmail.com>
parents: 57
diff changeset
134
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
135 return Chat