khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2024-11-29 14:45:51 +03:00
Code Issues Projects Releases Wiki Activity

fix. add missing guard function.

Browse Source
This commit is contained in:
Kei Hibino 2016-09-17 14:59:06 +09:00
parent 48ced4f2d6
commit 15e74b3987
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
doc/slide/Haskell-Day-201609/HRR.txt
View File

@ -44,7 +44,7 @@ $$\{ (p, b) | p \in P, b \in B, \pi_{P.name}(p) = \pi_{B.name}(b) \}$$
| p <- person, b <- birthday , P.name p == B.name b ]
-- List Comprehension
do { p <- person; b <- birthday; P.name p == B.name b
do { p <- person; b <- birthday; guard (P.name p == B.name b)
; return (p, b) } -- List Monad
~~~~~
@ -54,7 +54,7 @@ Intro / DSL using Haskell!
-----
~~~~~ {.haskell}
do { p <- person; b <- birthday; P.name p == B.name b
do { p <- person; b <- birthday; guard (P.name p == B.name b)
; return (p, b) } -- List Monad
~~~~~