Add a way for Bus with no `write :: Cap` to be killed.
Opened this issue · 0 comments
safareli commented
In some cases you might wanna allow "reader" (read :: Cap) to be able to kill a bus too.
I'm thinking on something like:
- add
type BusRK = BusR' (kill :: Cap) - add
split' ∷ ∀ a. BusRW a → Tuple (BusRK a) (BusW a). - changing
kill ∷ ∀ eff a r. CanKill r => Exn.Error → Bus r a → Aff (avar ∷ AVAR | eff) Unit, thisCanKillinstance will be available forwrite :: Caporkill :: Cap