annotate src/lib/Chat.luan @ 31:1e7d855afde3

voices
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 03 Aug 2025 17:05:38 -0600
parents 505185272dd7
children d34d709a7a8e
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"
16
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
13 local languages = require "site:/lib/languages.luan"
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
14 local Utils = require "site:/lib/Utils.luan"
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
15 local get_first = Utils.get_first or error()
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
16 local Course = require "site:/lib/Course.luan"
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
17 local get_course_by_id = Course.get_by_id or error()
31
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
18 local Shared = require "site:/lib/Shared.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
19 local voices = Shared.voices or error()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20
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 Chat = {}
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 local function from_doc(doc)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 doc.type == "chat" or error "wrong type"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 return Chat.new {
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 id = doc.id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 user_id = doc.chat_user_id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 updated = doc.chat_updated
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
30 course_id = doc.course_id
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 name = doc.name
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
32 ai_thread = doc.ai_thread
16
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
33 language = doc.language
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
34 language_region = doc.language_region
31
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
35 voice = doc.voice
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 }
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 local function to_doc(chat)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 return {
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 type = "chat"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 id = chat.id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 chat_user_id = long(chat.user_id)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 chat_updated = long(chat.updated)
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
45 course_id = long(chat.course_id)
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 name = chat.name or error()
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
47 ai_thread = chat.ai_thread
16
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
48 language = chat.language or error()
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
49 language_region = chat.language_region or error()
31
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
50 voice = chat.voice or error()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51 }
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
52 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
53
16
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
54 local function first_region(language)
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
55 return get_first(languages[language].regions)
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
56 end
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
57
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 function Chat.new(chat)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 chat.updated = chat.updated or time_now()
16
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
60 chat.language_region = chat.language_region or first_region(chat.language)
31
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
61 chat.voice = chat.voice or voices[1].code
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63 function chat.save()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64 local doc = to_doc(chat)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65 Db.save(doc)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 chat.id = doc.id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
67 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
68
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
69 function chat.reload()
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
70 return Chat.get_by_id(chat.id) or error(chat.id)
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
71 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
72
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
73 function chat.delete()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
74 Db.delete("id:"..chat.id)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
75 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
76
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
77 function chat.info()
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
78 return {
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
79 id = chat.id
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
80 language_region = chat.language_region
31
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
81 voice = chat.voice
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
82 name = chat.name
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
83 }
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
84 end
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
85
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
86 function chat.name_html()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
87 return html_encode(chat.name)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
88 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
89
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
90 function chat.init_ai() -- return if added message
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
91 if chat.ai_thread ~= nil then
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
92 return false
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
93 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
94 local course = get_course_by_id(chat.course_id) or error()
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
95 local ai_first_message = course.ai_first_message
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
96 local ai_thread = Ai_chat.ask_first(course.ai_system_prompt,ai_first_message)
13
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
97 run_in_transaction( function()
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
98 chat = chat.reload()
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
99 chat.ai_thread = ai_thread
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
100 chat.save()
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
101 end )
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
102 return ai_first_message ~= nil
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
103 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
104
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
105 function chat.output_system_prompt()
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
106 Ai_chat.output_system_prompt(chat.ai_thread)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
107 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
108
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
109 function chat.output_messages_html()
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
110 Ai_chat.output_messages_html(chat.ai_thread)
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
111 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
112
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
113 function chat.ask(input)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
114 local old_thread = chat.ai_thread
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
115 local ai_thread = Ai_chat.ask_more(old_thread,input)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
116 run_in_transaction( function()
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
117 chat = chat.reload()
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
118 chat.ai_thread = ai_thread
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
119 chat.save()
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
120 end )
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
121 return `Ai_chat.output_messages_html(ai_thread,old_thread)`
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
122 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
123
21
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
124 function chat.language_name()
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
125 return languages[chat.language].name
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
126 end
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
127
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
128 return chat
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
129 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
130
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
131 function Chat.search(query,sort,rows)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
132 rows = rows or 1000000
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
133 local chats = {}
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
134 local docs = Db.search(query,1,rows,{sort=sort})
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
135 for _, doc in ipairs(docs) do
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
136 chats[#chats+1] = from_doc(doc)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
137 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
138 return chats
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
139 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
140
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
141 function Chat.get_by_id(id)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
142 local doc = Db.get_document("id:"..id)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
143 return doc and doc.type=="chat" and from_doc(doc) or nil
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
144 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
145
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
146 return Chat