annotate src/lib/Course.luan @ 36:2737eeedc1d5

autoplay
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 05 Aug 2025 17:24:47 -0600
parents 3a80ddafe5a4
children cc20eebaa74a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
23
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local ipairs = Luan.ipairs or error()
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local Number = require "luan:Number.luan"
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local long = Number.long or error()
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 23
diff changeset
6 local Html = require "luan:Html.luan"
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 23
diff changeset
7 local html_encode = Html.encode or error()
23
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local Db = require "site:/lib/Db.luan"
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local languages = require "site:/lib/languages.luan"
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 local Course = {}
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 local function from_doc(doc)
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 doc.type == "course" or error "wrong type"
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 return Course.new {
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 id = doc.id
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 user_id = doc.course_user_id
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 language = doc.course_language
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 23
diff changeset
20 updated = doc.course_updated
23
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 name = doc.name
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 ai_system_prompt = doc.ai_system_prompt
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
23 ai_first_message = doc.ai_first_message
23
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 }
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 end
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 local function to_doc(course)
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 return {
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 type = "course"
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 id = course.id
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 course_user_id = long(course.user_id)
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 course_language = course.language or error()
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 23
diff changeset
33 course_updated = long(course.updated)
23
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 name = course.name or error()
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 ai_system_prompt = course.ai_system_prompt or error()
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
36 ai_first_message = course.ai_first_message
23
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 }
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 end
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 function Course.new(course)
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 function course.save()
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 23
diff changeset
43 local doc = to_doc(course)
23
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 Db.save(doc)
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 23
diff changeset
45 course.id = doc.id
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 23
diff changeset
46 end
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 23
diff changeset
47
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 23
diff changeset
48 function course.name_html()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 23
diff changeset
49 return html_encode(course.name)
23
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 end
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
52 function course.language_name()
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
53 return languages[course.language].name
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
54 end
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 return course
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 end
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 23
diff changeset
59 function Course.search(query,sort,rows)
23
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 rows = rows or 1000000
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 local courses = {}
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62 local docs = Db.search(query,1,rows,{sort=sort})
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63 for _, doc in ipairs(docs) do
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64 courses[#courses+1] = from_doc(doc)
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65 end
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 return courses
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
67 end
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
68
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
69 function Course.get_by_id(id)
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
70 local doc = Db.get_document("id:"..id)
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
71 return doc and doc.type=="course" and from_doc(doc) or nil
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
72 end
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
73
0c17c233c45a start courses
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
74 return Course