summaryrefslogtreecommitdiff
path: root/provider
diff options
context:
space:
mode:
Diffstat (limited to 'provider')
-rw-r--r--provider/posts/beuteltier-1.lhs5
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---
2title: On the Design of Overly Complicated Feedreaders 2title: On the Design of Overly Complicated Feedreaders
3published: 2015-08-04 3published: 2015-08-04
4tags: Beuteltier
4--- 5---
5 6
6I like feedreaders. 7I like feedreaders.
@@ -32,7 +33,7 @@ of) access to what we call a backstore. A backstore is, to us, an instance of th
32typeclass `Beutel` which contains the most primitive of primitives for storing, searching 33typeclass `Beutel` which contains the most primitive of primitives for storing, searching
33for and deleting representations of the objects we care about from the store. 34for and deleting representations of the objects we care about from the store.
34 35
35It is recommended that reader not try to follow the rest of this post linearly but start 36It is recommended that the reader not try to follow the rest of this post linearly but start
36at the end with the definition of the `Beutel` class and work their way backwards. 37at 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
186guarantees that keys end up being unique. 187guarantees that keys end up being unique.
187 188
188Note below: creation of a `SubObject` is an update. It is thus expected, that `SubObject`s 189Note below: creation of a `SubObject` is an update. It is thus expected, that `SubObject`s
189created at the same time as the `Object` they are associated to contain encode an update 190created at the same time as the `Object` they are associated to encode an update
190time that matches the `Object`s creation time. 191time that matches the `Object`s creation time.
191 192
192> -- | Contents of an object 193> -- | Contents of an object