diff options
Diffstat (limited to 'stdlib/source/library/lux/control/concurrency/stm.lux')
| -rw-r--r-- | stdlib/source/library/lux/control/concurrency/stm.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/control/concurrency/stm.lux b/stdlib/source/library/lux/control/concurrency/stm.lux index a1e50a983..3dfeeec5c 100644 --- a/stdlib/source/library/lux/control/concurrency/stm.lux +++ b/stdlib/source/library/lux/control/concurrency/stm.lux @@ -23,16 +23,16 @@ ["[0]" async (.only Async Resolver)] ["[0]" frp (.only Channel Sink)]]) -(type: (Observer a) +(type (Observer a) (-> a (IO Any))) (primitive .public (Var'' a) (Atom [a (List (Sink a))]) - (type: .public (Var' r w) + (type .public (Var' r w) (Var'' (Mutable r w))) - (type: .public (Var a) + (type .public (Var a) (Var'' (Mutable a a))) (def .public (var value) @@ -87,16 +87,16 @@ (in [channel sink]))) ) -(type: (Tx_Frame r w) +(type (Tx_Frame r w) (Record [#var (Var' r w) #original r #current w])) -(type: Tx +(type Tx (List (Ex (_ r w) (Tx_Frame r w)))) -(type: .public (STM a) +(type .public (STM a) (-> Tx [Tx a])) (def (var_value var tx) @@ -212,7 +212,7 @@ (def fresh_tx Tx (list)) -(type: (Commit a) +(type (Commit a) [(STM a) (Async a) (Resolver a)]) |