|
d90eaf6f1c
|
Add Box instances to allow handling some exceptions in monad and converting them to Traversable accessible from the data part of the type
|
2020-02-27 17:22:12 +01:00 |
|
|
f4df4aab22
|
Found a nicer formulation that doesn't require transitivity or index agglomeration and swapped argument of w for more reusability with at / atAll
|
2020-02-26 17:19:22 +01:00 |
|
|
bdbc5f7351
|
Generalize the Box instances on containers from the particular cases of Document/Layers and Layers/Objects and move them to PDF.Box
|
2020-02-25 17:36:54 +01:00 |
|
|
30fece6537
|
Notice the 'edit' I exported earlier could be reused to simplify the w implementation of the proof that Box is a transitive relation
|
2020-02-25 09:27:56 +01:00 |
|
|
e607f9cd37
|
Implement transitivity instance, extract a part of modifyAt as a convenient 'edit' function useful elsewhere and present a right-infix version of (,) to allow writing the nested tuple indexes more conveniently
|
2020-02-24 17:27:37 +01:00 |
|
|
a9252b129a
|
Start a Box module to describe inclusion relations between different types and get a MonadState action on the top type for any modification down there
|
2020-02-23 22:24:59 +01:00 |
|