commit 2b4d0fa2641a3d404ee4827fba1c0fda891fe81e · kitten.sh/wonka

+6 -31
src/web/wonkaJs.re
···

       82
       82
        
           })

     

       83
       83
        
         );

     

       84
       84
        
       

     

       85
       85
       -
       type delayStateT = {

     

       86
       86
       -
         mutable talkback: (. talkbackT) => unit,

     

       87
       87
       -
         mutable active: int,

     

       88
       88
       -
         mutable ended: bool,

     

       89
       89
       -
       };

     

       90
       90
       -
       

     

       91
       85
        
       [@genType]

     

       92
       86
        
       let delay = (wait: int): operatorT('a, 'a) =>

     

       93
       87
        
         curry(source =>

     

       94
       88
        
           curry(sink => {

     

       95
       95
       -
             let state: delayStateT = {

     

       96
       96
       -
               talkback: Wonka_helpers.talkbackPlaceholder,

     

       97
       97
       -
               active: 0,

     

       98
       98
       -
               ended: false,

     

       99
       99
       -
             };

     

       89
       89
       +
             let active = ref(0);

     

       100
       90
        
       

     

       101
       91
        
             source((. signal) =>

     

       102
       92
        
               switch (signal) {

     

       103
       103
       -
               | Start(tb) => state.talkback = tb

     

       104
       104
       -
               | _ when !state.ended =>

     

       105
       105
       -
                 state.active = state.active + 1;

     

       93
       93
       +
               | Start(_) => sink(. signal)

     

       94
       94
       +
               | _ =>

     

       95
       95
       +
                 active := active^ + 1;

     

       106
       96
        
                 ignore(

     

       107
       97
        
                   Js.Global.setTimeout(

     

       108
       98
        
                     () =>

     

       109
       109
       -
                       if (!state.ended || state.active !== 0) {

     

       110
       110
       -
                         state.active = state.active - 1;

     

       99
       99
       +
                       if (active^ !== 0) {

     

       100
       100
       +
                         active := active^ - 1;

     

       111
       101
        
                         sink(. signal);

     

       112
       102
        
                       },

     

       113
       103
        
                     wait,

     

       114
       104
        
                   ),

     

       115
       105
        
                 );

     

       116
       116
       -
               | _ => ()

     

       117
       106
        
               }

     

       118
       118
       -
             );

     

       119
       119
       -
       

     

       120
       120
       -
             sink(.

     

       121
       121
       -
               Start(

     

       122
       122
       -
                 (. signal) =>

     

       123
       123
       -
                   switch (signal) {

     

       124
       124
       -
                   | Close when !state.ended =>

     

       125
       125
       -
                     state.ended = true;

     

       126
       126
       -
                     state.talkback(. Close);

     

       127
       127
       -
                   | Close => ()

     

       128
       128
       -
                   | Pull when !state.ended => state.talkback(. Pull)

     

       129
       129
       -
                   | Pull => ()

     

       130
       130
       -
                   },

     

       131
       131
       -
               ),

     

       132
       107
        
             );

     

       133
       108
        
           })

     

       134
       109
        
         );