annotate src/lib/Chat.luan @ 13:65bd7e245c63

add html
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 24 Jul 2025 22:47:48 -0600
parents 46097e607701
children f5425a3c1898
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()
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
12 local Ai = require "site:/lib/ai/Ai.luan"
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 local Chat = {}
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 local function from_doc(doc)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 doc.type == "chat" or error "wrong type"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 return Chat.new {
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 id = doc.id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 user_id = doc.chat_user_id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 updated = doc.chat_updated
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 name = doc.name
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
24 ai_name = doc.ai_name
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
25 ai_thread = doc.ai_thread
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 }
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 local function to_doc(chat)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 return {
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 type = "chat"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 id = chat.id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 chat_user_id = long(chat.user_id)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 chat_updated = long(chat.updated)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 name = chat.name or error()
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
36 ai_name = chat.ai_name or error()
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
37 ai_thread = chat.ai_thread -- or error()
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 function Chat.new(chat)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 chat.updated = chat.updated or time_now()
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
43 chat.ai_name = chat.ai_name or "claude"
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
44 chat.ai = Ai[chat.ai_name]["Chat.luan"] or error()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 function chat.save()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47 local doc = to_doc(chat)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
48 Db.save(doc)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49 chat.id = doc.id
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
52 function chat.reload()
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
53 return Chat.get_by_id(chat.id) or error(chat.id)
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
54 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
55
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 function chat.delete()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 Db.delete("id:"..chat.id)
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.name_html()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 return html_encode(chat.name)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
64 function chat.output_system_prompt()
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
65 chat.ai.output_system_prompt(chat.ai_thread)
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
66 end
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
67
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
68 function chat.output_messages_html()
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
69 chat.ai.output_messages_html(chat.ai_thread)
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
70 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
71
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
72 function chat.ask(input)
13
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
73 local old_thread = chat.ai_thread
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
74 local ai_thread = chat.ai.ask(old_thread,input)
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
75 run_in_transaction( function()
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
76 chat = chat.reload()
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
77 chat.ai_thread = ai_thread
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
78 chat.save()
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
79 end )
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
80 return `chat.ai.output_messages_html(ai_thread,old_thread)`
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
81 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
82
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
83 return chat
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
84 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
85
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
86 function Chat.search(query,sort,rows)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
87 rows = rows or 1000000
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
88 local chats = {}
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
89 local docs = Db.search(query,1,rows,{sort=sort})
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
90 for _, doc in ipairs(docs) do
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
91 chats[#chats+1] = from_doc(doc)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
92 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
93 return chats
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
94 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
95
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
96 function Chat.get_by_id(id)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
97 local doc = Db.get_document("id:"..id)
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
98 return doc and doc.type=="chat" and from_doc(doc) or nil
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
99 end
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
100
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
101 return Chat