summaryrefslogtreecommitdiff
path: root/src/hypnotisml.lisp
blob: 729841ae3ada320a1da5f7e1dc931d71ef3c63f8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
;;;; hypnotisml.lisp

(in-package #:hypnotisml)

;;; UTILITIES

(def:var *indent* :doc "Current indentation" :init 0)
(defun indent (stream &optional (indent *indent*))
  (cl:loop :repeat indent :do (write-char #\space stream)))

(let ((counter 0)
      (hostid (sxhash (list (lisp-implementation-type)
                            (lisp-implementation-version)
                            (machine-version)
                            (machine-type)
                            (software-version)
                            (uiop:hostname)))))
  (defun make-uid ()
    "returns a unique string"
    (format nil "~36r~36r"
      (sxhash (incf counter))
      (sxhash (list (get-universal-time)
                    hostid)))))

;;; CLASSES

(deftype self-closing-tag ()
  '(member
    :area :base :br :col :embed
    :hr :img :input :link :meta
    :param :source :track :wbr))

(defun self-closing-elem-p (elem)
  (typep (tag elem) 'self-closing-tag))

(defun keyword-plist-p (xs)
  (and (listp xs)
       (evenp (length xs))
       (cl:loop
          :for x :in xs :by #'cddr
          :always (keywordp x)
          :never (find x keys)
          :collect x :into keys)))

(deftype keyword-plist ()
  '(satisfies keyword-plist-p))

(defstruct styles list)

(defmethod print-object ((ob styles) stream)
  (format stream "STYLE=~s" (styles-list ob)))
(def:class dom-node ())

(defstruct attribs list)

(defmethod print-object ((ob attribs) stream)
  (format stream "~{~a=~s~^ ~}" (attribs-list ob)))

(defun dom-node-p (x) (typep x 'dom-node))

(defun node-list-p (es)
  (and
   (listp es)
   (cl:loop :for e :in es :always (dom-node-p e))))

(deftype node-list ()
  '(satisfies node-list-p))

(def:class elem (dom-node)
  (tag :type keyword
       :initform (error 'tag-required)
       :documentation "HTML tag.")
  (id :prefix
      :ro :noarg
      :type string
      :initform (make-uid)
      :documentation "A unique id, because id attribute.")
  (style attributes
         :prefix
         :initform nil)
  (children :type node-list)
  :documentation "The base class for all UI elements.")


(defmethod print-object ((object elem) stream)
  (indent stream)
  (write-string "<" stream)
  (with-slots (tag attributes style) object
    (let ((elem-tag 
            (format nil "~a:~a" (class-name (class-of object)) tag)))
      (write-string elem-tag stream)  
      (when attributes
        (format stream " ~a" attributes))
      (when style
        (when attributes
          (terpri stream)
          (indent stream)
          (indent stream (1+ (length elem-tag))))
        (format stream " ~a" style)))
    (write-string ">" stream)
    (terpri stream))
  (let ((*indent* (+ 2 *indent*)))
    (cl:loop :for elem :in (children object) :do (print-object elem stream))))

(defun elemp (x) (typep x 'elem))

(def:class text (dom-node)
  (content :prefix :type string :initform ""))

(defmethod print-object ((ob text) stream)
  (indent stream)
  (format stream "[text]~s~%" (text-content ob)))

(def:class vertical (elem)
  :default-initargs (:tag :div))

(def:class horizontal (elem)
  :default-initargs (:tag :div))

;;; MODIFYING

(defun $ (&rest plist)
  (check-type plist keyword-plist)
  (make-styles :list plist))

(defun $= (elem &rest plist)
  (check-type plist keyword-plist)
  (a:if-let (style (elem-style elem))
    (cl:loop
       :for (prop val) :on plist :by #'cddr
       :do (setf (getf (styles-list style) prop) val))
    (setf (elem-style elem)
          (make-styles :list plist)))
  elem)

(defun @ (&rest plist)
  (check-type plist keyword-plist)
  (make-attribs :list (cl:loop
                         :for (k v) :on plist :by #'cddr
                         :when v
                           :collect k :and :collect v)))

(defun @= (elem &rest plist)
  (check-type plist keyword-plist)
  (a:if-let (attribs (elem-attributes elem))
    (cl:loop
       :for (prop val) :on plist :by #'cddr
       :when val
         :do (setf (getf (attribs-list attribs) prop) val))
    (setf (elem-attributes elem)
          (make-attribs :list plist)))
  elem)

;;; RENDERING

(defgeneric html (elem stream)
  (:documentation "Renders an element as HTML"))



(defmethod html ((elem elem) stream)
  (let ((*standard-output* stream)
        (*print-case* :downcase))
    (indent stream)
    (with-slots (attributes style tag children id) elem
      (format t "<~a" tag)
      (when (and attributes (attribs-list attributes))
        (format t " ~{~a=~s~^ ~}"
          (attribs-list attributes)))
      (when (and style (styles-list style))
        (when attributes (write-char #\space))
        (write-string "style=")
        (write-char #\")
        (format t "~{~a:~a;~}" (styles-list style))
        (write-char #\"))
      (write-char #\>)
      (unless (self-closing-elem-p elem)
        (let ((*indent* (+ 2 *indent*)))
          (dolist (child children)
            (terpri)
            (html child stream)))
        (terpri)
        (indent stream)
        (format t "</~a>" tag)))))

(defmethod html ((text text) stream)
  (indent stream)
  (write-string (text-content text) stream))


;;; ELEM BUILDERS

(defun ensure-node (thing)
  (etypecase thing
    (dom-node thing)
    (string (make-instance 'text :content thing))))

(defun filter-nodes (contents)
  (cl:loop
     :for c :in contents
     :when (or (stringp c) (dom-node-p c))
       :collect (ensure-node c)))

(defun parse-contents (contents)
  (values (find-if #'styles-p contents)
          (find-if #'attribs-p contents)
          (filter-nodes contents)))

(macrolet ((defelems (&body tags)
             (let ((children (gensym "children"))
                   (styles (gensym "styles"))
                   (attribs (gensym "attribs"))
                   (tags (remove-duplicates tags)))
               `(progn
                  ,@(cl:loop
                       :for tag :in tags
                       :for fname := (a:symbolicate #\< tag #\>)
                       :collect `(defun ,fname (&rest contents)
                                   (multiple-value-bind
                                         (,styles ,attribs ,children)
                                       (parse-contents contents) 
                                     (make-instance 'elem
                                       :tag ,(a:make-keyword tag)
                                       :style ,styles
                                       :attributes ,attribs
                                       :children ,children))))))))
  (defelems
    a 
    abbr 
    address
    area 
    article 
    aside 
    audio 
    b 
    base 
    bdi 
    bdo 
    blockquote
    body 
    br 
    button
    canvas
    caption
    cite 
    code 
    col 
    colgroup
    data 
    datalist
    dd 
    del 
    details 
    dfn 
    dialog 
    div 
    dl 
    dt 
    em 
    embed
    fieldset
    figcaption
    figuregure 
    footer 
    form 
    h1 h2 h3 h4 h5 h6
    head 
    header
    hgroup
    hr 
    html 
    i 
    iframe 
    img 
    input 
    ins 
    kbd 
    label 
    legend
    label 
    legend
    li 
    link 
    main 
    map 
    mark 
    menu 
    meta 
    meter 
    nav 
    noscript
    object 
    ol 
    optgroup
    option 
    output
    p 
    param 
    pre 
    progress
    q 
    rp 
    rt 
    ruby 
    s 
    samp 
    script 
    section
    script 
    section
    select 
    small 
    source
    span 
    strong 
    style 
    sub 
    summary
    sup 
    table 
    tbody 
    td 
    textarea
    tfoot 
    th 
    thead 
    time 
    title 
    tr 
    track 
    ul 
    var 
    video 
    wbr))

;;; CONVENIENCE ELEMENT BUILDERS

(defun <checkbox> (&key checked name)
  (<input> (@ :type "checkbox" :name name :checked (when checked "true"))))

(defun <color> (&key name)
  (<input> (@ :type "color" :name name)))

(defun <date> (&key name)
  (<input> (@ :type "date" :name name)))

(defun <email> (&key name)
  (<input> (@ :type "email" :name name)))

(defun <file> (&key name accept)
  (<input> (@ :type "file" :name name :accept accept)))

(defun <hidden> (&key name value)
  (<input> (@ :type "hidden" :name name :value value)))

(defun <number> (&key name value)
  (<input> (@ :type "number" :name name :value value)))

(defun <password> (&key (placeholder "Password") (name "password"))
  (<input> (@ :type "password" :name name :placeholder placeholder)))

(defun <radio> (name value &key checked)
  (<input> (@ :type "radio" :name name :value value :checked (when checked "true"))))

(defun <range> (min max &key name value)
  (<input> (@ :type "range" :name name :min min :max max :value value)))

(defun <reset> ()
  (<input> (@ :type "reset")))

(defun <search> (&key placeholder name)
  (<input> (@ :type "search" :placeholder placeholder :name name)))

(defun <timeinput> (&key name)
  (<input> (@ :type "time" :name name)))

(defun <submit> (&rest contents)
  (apply #'<button> (@ :type "submit") contents))

;;; LAYOUT ELEM BUILDERS

(macrolet ((deflayouts (&body specs)
             (let ((children (gensym "children"))
                   (styles (gensym "styles"))
                   (attribs (gensym "attribs")))
               `(progn
                  ,@(cl:loop
                       :for (name class tag) :in specs
                       :for fname := (a:symbolicate #\< name #\>)
                       :collect `(defun ,fname (&rest contents)
                                   (multiple-value-bind
                                         (,styles ,attribs ,children)
                                       (parse-contents contents) 
                                     (make-instance ',class
                                       :tag ,(a:make-keyword tag)
                                       :style ,styles
                                       :attributes ,attribs
                                       :children ,children))))))))

  (deflayouts
      (horiz horizontal div)
      (vert vertical div)))