diff options
Diffstat (limited to 'provider/posts')
-rw-r--r-- | provider/posts/beuteltier-1.lhs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/provider/posts/beuteltier-1.lhs b/provider/posts/beuteltier-1.lhs index c8f3e6c..9cc2364 100644 --- a/provider/posts/beuteltier-1.lhs +++ b/provider/posts/beuteltier-1.lhs | |||
@@ -1,6 +1,7 @@ | |||
1 | --- | 1 | --- |
2 | title: On the Design of Overly Complicated Feedreaders | 2 | title: On the Design of Overly Complicated Feedreaders |
3 | published: 2015-08-04 | 3 | published: 2015-08-04 |
4 | tags: Beuteltier | ||
4 | --- | 5 | --- |
5 | 6 | ||
6 | I like feedreaders. | 7 | I like feedreaders. |
@@ -32,7 +33,7 @@ of) access to what we call a backstore. A backstore is, to us, an instance of th | |||
32 | typeclass `Beutel` which contains the most primitive of primitives for storing, searching | 33 | typeclass `Beutel` which contains the most primitive of primitives for storing, searching |
33 | for and deleting representations of the objects we care about from the store. | 34 | for and deleting representations of the objects we care about from the store. |
34 | 35 | ||
35 | It is recommended that reader not try to follow the rest of this post linearly but start | 36 | It is recommended that the reader not try to follow the rest of this post linearly but start |
36 | at the end with the definition of the `Beutel` class and work their way backwards. | 37 | at the end with the definition of the `Beutel` class and work their way backwards. |
37 | 38 | ||
38 | > {-# LANGUAGE FlexibleInstances, StandaloneDeriving, KindSignatures, MultiParamTypeClasses, TypeFamilies #-} | 39 | > {-# LANGUAGE FlexibleInstances, StandaloneDeriving, KindSignatures, MultiParamTypeClasses, TypeFamilies #-} |
@@ -186,7 +187,7 @@ to using a `Map` for reasons of deduplication. Inserting into a `Map` carries so | |||
186 | guarantees that keys end up being unique. | 187 | guarantees that keys end up being unique. |
187 | 188 | ||
188 | Note below: creation of a `SubObject` is an update. It is thus expected, that `SubObject`s | 189 | Note below: creation of a `SubObject` is an update. It is thus expected, that `SubObject`s |
189 | created at the same time as the `Object` they are associated to contain encode an update | 190 | created at the same time as the `Object` they are associated to encode an update |
190 | time that matches the `Object`s creation time. | 191 | time that matches the `Object`s creation time. |
191 | 192 | ||
192 | > -- | Contents of an object | 193 | > -- | Contents of an object |