Commit Graph

193 Commits

Author SHA1 Message Date
Niels G. W. Serup 9e6c793d54
Use the & operator and generate rudimentary retter/index.html 2024-10-15 22:14:00 +02:00
Niels G. W. Serup e51e7a5376
Generate all recipes index.html
TODO: Include date
2024-10-14 23:59:29 +02:00
Niels G. W. Serup 0e98373389
Print functions nicer 2024-10-14 23:43:27 +02:00
Niels G. W. Serup b56853d133
Inline trivial definitions 2024-10-14 23:33:05 +02:00
Niels G. W. Serup 740cb67d66
Use inline functions everywhere except for IO 2024-10-14 23:18:21 +02:00
Niels G. W. Serup 1da32745a2
Rewrite pandoc functions to be inline 2024-10-14 22:48:58 +02:00
Niels G. W. Serup d85243b1ba
Use fewer explicit TypeRep's 2024-10-14 22:15:27 +02:00
Niels G. W. Serup b23aa99b15
Give types back to Action 2024-10-14 20:50:55 +02:00
Niels G. W. Serup f29dd6d299
Try starting supporting inline functions
Gets rid of UToken.
2024-10-14 20:41:42 +02:00
Niels G. W. Serup eae34707e9
Start extracting titles from recipes 2024-10-11 22:41:31 +02:00
Niels G. W. Serup afec7f814f
Split pandoc handling into reading and writing steps 2024-10-11 22:14:28 +02:00
Niels G. W. Serup f348bd1e82
Change Value type to just be Dynamic
Restructure into more modules.
2024-10-10 23:53:54 +02:00
Niels G. W. Serup 41fc74eb98
Get rid of unneeded Eq instance 2024-10-09 23:21:07 +02:00
Niels G. W. Serup 5af98f6c9a
Use Typeable instead of homegrown WitnessFor for ElemOf 2024-10-09 23:19:32 +02:00
Niels G. W. Serup 418ebcb60f
Don't lift types
Not needed since we only care about the final IO () result.
2024-10-09 23:12:01 +02:00
Niels G. W. Serup 6c6dd510d9
Put witness class somewhere more central and add all instances 2024-10-06 16:37:10 +02:00
Niels G. W. Serup 206124c1ca
Expose general behavior as elemOf 2024-10-06 16:28:22 +02:00
Niels G. W. Serup 43f2cef419
Generalize elemOfString into elemOf' 2024-10-06 16:23:57 +02:00
Niels G. W. Serup 08fc0f30e4
Get rid of the dummy values 2024-10-06 16:17:09 +02:00
Niels G. W. Serup 424a688d15
Play with witnesses, kind of 2024-10-06 16:11:54 +02:00
Niels G. W. Serup 347cc07c93
Begin generalizing elemOf 2024-10-06 16:04:22 +02:00
Niels G. W. Serup 3e0e9a128e
Also make Function plug and play 2024-10-06 15:53:40 +02:00
Niels G. W. Serup ff4023bca4
Remove unused appends 2024-10-06 15:23:09 +02:00
Niels G. W. Serup f8e80ae2bc
Define shortcut runners the same place as the instances 2024-10-06 15:12:31 +02:00
Niels G. W. Serup 1fce00e531
Refine unit requirement 2024-10-06 13:44:19 +02:00
Niels G. W. Serup 381ecd5f03
Have instance declarations be independent of Value 2024-10-06 13:25:09 +02:00
Niels G. W. Serup 21d5366fea
Put more types into IsFunctionIO 2024-10-06 13:19:06 +02:00
Niels G. W. Serup b84e45ed8f
Implement Valuable for all Value constructors 2024-10-06 13:11:36 +02:00
Niels G. W. Serup fa06f0685a
Allow easier FunctionIO plug and play 2024-10-06 13:06:34 +02:00
Niels G. W. Serup a6ef299691
Pull instead of push 2024-10-06 00:40:54 +02:00
Niels G. W. Serup ed37ba9a09
Check whether something touches the filesystem 2024-10-06 00:23:19 +02:00
Niels G. W. Serup 9170a7f044
Move pandoc execution out of IO 2024-10-06 00:03:11 +02:00
Niels G. W. Serup eb7848064a
Format wrapped strings more intuitively 2024-10-05 23:47:10 +02:00
Niels G. W. Serup 152f988363
Force early evaluation 2024-10-05 23:42:40 +02:00
Niels G. W. Serup 9c912d2457
Split ConvertImage into three steps 2024-10-05 23:37:54 +02:00
Niels G. W. Serup 94c2fbfbc9
Refactor to be more nested 2024-10-05 22:51:13 +02:00
Niels G. W. Serup 9311d51464
Provide better filter ergonomics for the common case 2024-10-05 21:57:04 +02:00
Niels G. W. Serup 90a968ea7d
Go a more direct route with the recipes dirs 2024-10-05 20:35:34 +02:00
Niels G. W. Serup 9240d66c15
Only use concat 2024-10-05 20:28:25 +02:00
Niels G. W. Serup d96af50943
Introduce ListToken and start using it for concat instead of append 2024-10-05 20:21:06 +02:00
Niels G. W. Serup c06bd28d9a
Fix accidental argument swap 2024-10-05 20:20:16 +02:00
Niels G. W. Serup 7504c083a1
Refactor TupleToken building 2024-10-05 19:56:53 +02:00
Niels G. W. Serup 938cc99db0
Adjust spacing 2024-10-05 19:46:29 +02:00
Niels G. W. Serup a019cee656
Use fewer tuples internally 2024-10-05 19:44:28 +02:00
Niels G. W. Serup ae3ae4c5b0
Consistently use less margin 2024-10-05 19:37:59 +02:00
Niels G. W. Serup 5012aaae0c
Use the cursive font for headers 2024-10-05 19:36:30 +02:00
Niels G. W. Serup ee363bf8ee
Only have padding in the sides 2024-10-05 19:36:17 +02:00
Niels G. W. Serup a8c7c2ccde
Make header smaller 2024-10-05 19:30:55 +02:00
Niels G. W. Serup ff3bd8216b
Let navigation take up less space 2024-10-05 19:30:42 +02:00
Niels G. W. Serup 42647af9eb
Don't break in the header 2024-10-05 19:19:04 +02:00