diff options
| author | Eduardo Julian | 2021-08-26 02:34:05 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-26 02:34:05 -0400 |
| commit | e814f667aed509a70bd386dcd54628929134def4 (patch) | |
| tree | 0a948502194c846a66396020420bd99c6c68370a /stdlib/source/library/lux/control | |
| parent | b216900093c905b3b20dd45c69e577b192e2f7a3 (diff) | |
"Interface" instead of "interface:", and "Rec" can be used in type definition.
Diffstat (limited to 'stdlib/source/library/lux/control')
| -rw-r--r-- | stdlib/source/library/lux/control/concurrency/frp.lux | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/control/concurrency/frp.lux b/stdlib/source/library/lux/control/concurrency/frp.lux index df0ef8160..c31908da3 100644 --- a/stdlib/source/library/lux/control/concurrency/frp.lux +++ b/stdlib/source/library/lux/control/concurrency/frp.lux @@ -22,11 +22,12 @@ (exception: .public channel_is_already_closed) -(interface: .public (Sink a) - (: (IO (Try Any)) - close) - (: (-> a (IO (Try Any))) - feed)) +(type: .public (Sink a) + (Interface + (: (IO (Try Any)) + close) + (: (-> a (IO (Try Any))) + feed))) (def: (sink resolve) (All [a] |