Zeta.Types

data SCOPE

data WRITE :: SCOPE

data READ :: SCOPE

type Handler a = a -> Effect Unit

class SignalScope (s :: Row SCOPE -> Type -> Type)  where

Members

• readOnly :: forall rw a. s (read :: READ | rw) a -> s (read :: READ) a
• writeOnly :: forall rw a. s (write :: WRITE | rw) a -> s (write :: WRITE) a
• allowReading :: forall rw a. s (write :: WRITE | rw) a -> s (read :: READ, write :: WRITE) a
• allowWriting :: forall rw a. s (read :: READ | rw) a -> s (read :: READ, write :: WRITE) a