GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-24 18:28:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

Update transactions.md

Browse Source
This commit is contained in:
Krasimir Angelov
2021-09-23 15:28:49 +02:00
committed by GitHub
parent 3ee0d54878
commit c843cec096
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/runtime/c/doc/transactions.md
View File

@@ -9,7 +9,7 @@ The database model of the runtime is specifically designed to be friendly toward
main = do main = do
gr <- readNGF "Example.ngf" gr <- readNGF "Example.ngf"
functionType gr "f" >>= print functionType gr "f" >>= print
<... modify the grammar gr ...> -- modify the grammar gr
functionType gr "f" >>= print functionType gr "f" >>= print
``` ```
Here we ask for the type of a function before and after an arbitrary update in the grammar `gr`. Obviously if we allow that then `functionType` would have to be in the IO monad, e.g.: Here we ask for the type of a function before and after an arbitrary update in the grammar `gr`. Obviously if we allow that then `functionType` would have to be in the IO monad, e.g.: