sayo-hs/heftia
1
1
Fork 0
mirror of https://github.com/sayo-hs/heftia.git synced 2024-11-23 10:59:57 +03:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

[add] the Issue 12 Semantics Test to README.md.

Browse Source
This commit is contained in:
Yamada Ryo 2024-09-09 16:32:37 +09:00
parent 03a43f09a6
commit 08f5cfe6a8
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -99,6 +99,10 @@ $ cabal run exe:SemanticsZoo
( runNonDet . runTell . elaborateWriter . runChooseH $ action ) = [(3,(3,True)),(4,(4,False))] ( runNonDet . runTell . elaborateWriter . runChooseH $ action ) = [(3,(3,True)),(4,(4,False))]
( runTell . runNonDet . elaborateWriter . runChooseH $ action ) = (6,[(3,True),(4,False)]) ( runTell . runNonDet . elaborateWriter . runChooseH $ action ) = (6,[(3,True),(4,False)])
# https://github.com/hasura/eff/issues/12
interpret SomeEff then runCatch : ( runThrow . runCatch . runSomeEff $ action ) = Right "caught"
runCatch then interpret SomeEff : ( runThrow . runSomeEff . runCatch $ action ) = Left "not caught"
[Note] All other permutations will cause type errors. [Note] All other permutations will cause type errors.
$ $
``` ```