annotate src/lib/Chat.luan @ 52:27758f3b2d69

add hide_ruby
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 16 Aug 2025 09:56:10 +0900
parents cc20eebaa74a
children ecb851fabd75
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local ipairs = Luan.ipairs or error()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local Number = require "luan:Number.luan"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local long = Number.long or error()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local Time = require "luan:Time.luan"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local time_now = Time.now or error()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local Html = require "luan:Html.luan"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local html_encode = Html.encode or error()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local Db = require "site:/lib/Db.luan"
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
11 local run_in_transaction = Db.run_in_transaction or error()
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
12 local Ai_chat = require "site:/lib/ai/claude/Ai_chat.luan"
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
13 local Course = require "site:/lib/Course.luan"
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
14 local get_course_by_id = Course.get_by_id or error()
31
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
15 local Shared = require "site:/lib/Shared.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
16 local voices = Shared.voices or error()
46
cc20eebaa74a use openai tts
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
17 local languages = Shared.languages or error()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 local Chat = {}
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 local function from_doc(doc)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 doc.type == "chat" or error "wrong type"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 return Chat.new {
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 id = doc.id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 user_id = doc.chat_user_id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 updated = doc.chat_updated
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
28 course_id = doc.course_id
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 name = doc.name
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
30 ai_thread = doc.ai_thread
16
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
31 language = doc.language
46
cc20eebaa74a use openai tts
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
32 tts_instructions = doc.tts_instructions
31
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
33 voice = doc.voice
52
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
34 show_text = doc.show_text
36
2737eeedc1d5 autoplay
Franklin Schmidt <fschmidt@gmail.com>
parents: 35
diff changeset
35 autoplay = doc.autoplay == "true"
41
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
36 is_private = doc.is_private == "true"
52
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
37 has_ruby = doc.has_ruby == "true"
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 }
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 local function to_doc(chat)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 return {
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 type = "chat"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 id = chat.id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 chat_user_id = long(chat.user_id)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 chat_updated = long(chat.updated)
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
47 course_id = long(chat.course_id)
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
48 name = chat.name or error()
35
3117876debca ai_first_message in textarea
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
49 ai_thread = chat.ai_thread or error()
16
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
50 language = chat.language or error()
46
cc20eebaa74a use openai tts
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
51 tts_instructions = chat.tts_instructions -- or error()
31
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
52 voice = chat.voice or error()
52
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
53 show_text = chat.show_text
36
2737eeedc1d5 autoplay
Franklin Schmidt <fschmidt@gmail.com>
parents: 35
diff changeset
54 autoplay = chat.autoplay and "true" or "false"
41
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
55 is_private = chat.is_private and "true" or nil
52
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
56 has_ruby = chat.has_ruby and "true" or nil
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 }
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 function Chat.new(chat)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 chat.updated = chat.updated or time_now()
46
cc20eebaa74a use openai tts
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
62 chat.voice = chat.voice or voices[1]
36
2737eeedc1d5 autoplay
Franklin Schmidt <fschmidt@gmail.com>
parents: 35
diff changeset
63 if chat.autoplay==nil then chat.autoplay = true end
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65 function chat.save()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 local doc = to_doc(chat)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
67 Db.save(doc)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
68 chat.id = doc.id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
69 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
70
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
71 function chat.reload()
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
72 return Chat.get_by_id(chat.id) or error(chat.id)
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
73 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
74
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
75 function chat.delete()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
76 Db.delete("id:"..chat.id)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
77 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
78
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
79 function chat.info()
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
80 return {
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
81 id = chat.id
31
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
82 voice = chat.voice
46
cc20eebaa74a use openai tts
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
83 tts_instructions = chat.tts_instructions
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
84 name = chat.name
34
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 32
diff changeset
85 show_text = chat.show_text
36
2737eeedc1d5 autoplay
Franklin Schmidt <fschmidt@gmail.com>
parents: 35
diff changeset
86 autoplay = chat.autoplay
41
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
87 is_private = chat.is_private
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
88 }
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
89 end
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
90
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
91 function chat.name_html()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
92 return html_encode(chat.name)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
93 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
94
35
3117876debca ai_first_message in textarea
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
95 function chat.init_text() -- return text for textarea
3117876debca ai_first_message in textarea
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
96 if Ai_chat.has_messages(chat.ai_thread) then
3117876debca ai_first_message in textarea
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
97 return ""
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
98 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
99 local course = get_course_by_id(chat.course_id) or error()
35
3117876debca ai_first_message in textarea
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
100 return course.ai_first_message or error()
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
101 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
102
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
103 function chat.output_system_prompt()
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
104 Ai_chat.output_system_prompt(chat.ai_thread)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
105 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
106
52
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
107 local function option(name,text)
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
108 local selected = name==chat.show_text and " selected" or ""
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
109 %>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
110 <option <%=name%><%=selected%>><%=text%></option>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
111 <%
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
112 end
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
113
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
114 local function assistant_controls()
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
115 return `%>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
116 <div controls>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
117 <audio controls preload=none></audio>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
118 <select>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
119 <%
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
120 option("show_text","Show text")
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
121 if chat.has_ruby then
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
122 option("hide_ruby","Hide pronunciation")
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
123 end
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
124 option("hide_text","Hide text")
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
125 %>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
126 </select>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
127 </div>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
128 <% `
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
129 end
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
130
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
131 function chat.output_messages_html()
52
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
132 Ai_chat.output_messages_html(assistant_controls(),chat.ai_thread)
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
133 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
134
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
135 function chat.ask(input)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
136 local old_thread = chat.ai_thread
35
3117876debca ai_first_message in textarea
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
137 local ai_thread = Ai_chat.ask(old_thread,input)
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
138 run_in_transaction( function()
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
139 chat = chat.reload()
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
140 chat.ai_thread = ai_thread
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
141 chat.save()
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
142 end )
52
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
143 return `Ai_chat.output_messages_html(assistant_controls(),ai_thread,old_thread)`
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
144 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
145
21
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
146 function chat.language_name()
46
cc20eebaa74a use openai tts
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
147 return languages[chat.language]
21
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
148 end
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
149
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
150 return chat
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
151 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
152
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
153 function Chat.search(query,sort,rows)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
154 rows = rows or 1000000
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
155 local chats = {}
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
156 local docs = Db.search(query,1,rows,{sort=sort})
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
157 for _, doc in ipairs(docs) do
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
158 chats[#chats+1] = from_doc(doc)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
159 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
160 return chats
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
161 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
162
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
163 function Chat.get_by_id(id)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
164 local doc = Db.get_document("id:"..id)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
165 return doc and doc.type=="chat" and from_doc(doc) or nil
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
166 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
167
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
168 return Chat