|
|
a9d3e5d326
|
Clean unused dependencies from Map + use a more defined Monad for the Box Chunks instance, hoping we will be able to clear the whole stack someday and stop requiring that RoContext type, unboxing and reboxing the FontSet for no good
|
2020-03-14 16:27:56 +01:00 |
|
|
|
5bf2b08fa9
|
Try replacing general monadic type constraint by a definite monad stack
|
2020-03-11 22:35:19 +01:00 |
|
|
|
d3f1b97f3a
|
Replace the fake instance of Box for Content over Indexed Text with the true one using renderText
|
2020-03-11 18:53:41 +01:00 |
|
|
|
a04adff1d2
|
Prepare real instance of Box using renderText
|
2020-03-10 22:55:16 +01:00 |
|
|
|
0ade9cc2f5
|
Implement proper text formatting into PDF instructions using the new encode feature available in Fonts
|
2020-03-08 00:04:18 +01:00 |
|
|
|
44bc898ed3
|
Generalize the Indexed type to handle both arbitrary Content instructions and text-related ones that can be viewed as text chunks
|
2020-03-06 19:21:16 +01:00 |
|
|
|
71e62ee732
|
Add IDs to Instructions so that they can be selected in a given Content (and modified one day…)
|
2020-02-23 22:21:09 +01:00 |
|
|
|
eb4d76002c
|
Finish the split of Navigation out of Page, generalize the use of MonadFail with a custom Error monad (~= Either String)
|
2020-02-11 22:41:46 +01:00 |
|
|
|
11647eb4eb
|
Implement output for Content streams
|
2020-02-11 17:26:47 +01:00 |
|
|
|
9f1b1afafe
|
Implement Text rendering from parsed Content
|
2020-02-10 10:54:44 +01:00 |
|
|
|
20466c4f13
|
WIP: Clean code parsing «pages» (now Content), separated from text rendering (will be reimplemented as an upper layer, also providing modification as stream filters) — Page is also forgotten for now, will need a big improvement in Object navigation
|
2020-02-09 22:42:57 +01:00 |
|
