nPusherProvider.ButtonPusher: IButtonPusher with get</div>
<div class="fsdocs-tip" id="fs18">abstract IButtonPusher.PushButton: unit -&gt; Task&lt;unit&gt;</div>
<div class="fsdocs-tip" id="fs19">val work: unit -&gt; Effect&lt;#IButtonPusherProvider,unit,&#39;b&gt;</div>
<div class="fsdocs-tip" id="fs20">val eff: EffBuilder</div>
<div class="fsdocs-tip" id="fs21">module ButtonPusher

from 1_Motivation</div>
<div class="fsdocs-tip" id="fs22">type ILoggerProvider =
  abstract Logger: ILogger</div>
<div class=