diff options
| author | https://www.joachim-breitner.de/ <nomeata@web> | 2017-05-07 03:19:37 +0000 |
|---|---|---|
| committer | admin <admin@branchable.com> | 2017-05-07 03:19:37 +0000 |
| commit | 09d8a31d108c37bcf92096c03659f4ad97062945 (patch) | |
| tree | 938a0d690da487650d9fac574c7cda9be7801409 | |
| parent | 8915810f371a31a30328a04f5e010a32f114a985 (diff) | |
| download | debug-me-09d8a31d108c37bcf92096c03659f4ad97062945.tar.gz | |
removed
| -rw-r--r-- | doc/protocol/comment_3_e2d91431651d3ffe9072bd110b2fdc1d._comment | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/doc/protocol/comment_3_e2d91431651d3ffe9072bd110b2fdc1d._comment b/doc/protocol/comment_3_e2d91431651d3ffe9072bd110b2fdc1d._comment deleted file mode 100644 index 1318d16..0000000 --- a/doc/protocol/comment_3_e2d91431651d3ffe9072bd110b2fdc1d._comment +++ /dev/null @@ -1,19 +0,0 @@ -[[!comment format=mdwn - username="https://www.joachim-breitner.de/" - nickname="nomeata" - avatar="http://cdn.libravatar.org/avatar/a2112893817513537c6a2c228c04c138a2f68bba57121ab7f267de58fc5171d7" - subject="comment 3" - date="2017-05-07T03:19:14Z" - content=""" -Still not good, I think, as the instance `Hashable Hash` has `hash = id`, so -``` -hash Nothing = hash () = id (hash ()) = hash (Just (hash ()) -``` -and we have a collision at type `Maybe Hash`. - -What would work is to do the same that `Hashable []` does, i.e. has the hash again: -``` - hash (Just v) = hash (val (hashValue v)) - hash Nothing = hash (mempty :: B.ByteString) -``` -"""]] |