Module
Signal.Types
- Package
- purescript-zeta
- Repository
- athanclark/purescript-zeta
#SignalScope Source
class SignalScope (s :: Row SCOPE -> Row Effect -> Type -> Type) where
Members
readOnly :: forall a eff rw. s (read :: READ | rw) eff a -> s (read :: READ) eff a
writeOnly :: forall a eff rw. s (write :: WRITE | rw) eff a -> s (write :: WRITE) eff a
allowReading :: forall a eff rw. s (read :: READ) eff a -> s (read :: READ | rw) eff a
allowWriting :: forall a eff rw. s (write :: WRITE) eff a -> s (write :: WRITE | rw) eff a