| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Galley.Effects.ServiceStore
Synopsis
- data ServiceStore m a where
- CreateService :: Service -> ServiceStore m ()
- GetService :: ServiceRef -> ServiceStore m (Maybe Service)
- DeleteService :: ServiceRef -> ServiceStore m ()
- createService :: forall r. Member ServiceStore r => Service -> Sem r ()
- getService :: forall r. Member ServiceStore r => ServiceRef -> Sem r (Maybe Service)
- deleteService :: forall r. Member ServiceStore r => ServiceRef -> Sem r ()
Service effect
data ServiceStore m a where Source #
Constructors
| CreateService :: Service -> ServiceStore m () | |
| GetService :: ServiceRef -> ServiceStore m (Maybe Service) | |
| DeleteService :: ServiceRef -> ServiceStore m () |
Create service
createService :: forall r. Member ServiceStore r => Service -> Sem r () Source #
Read service
getService :: forall r. Member ServiceStore r => ServiceRef -> Sem r (Maybe Service) Source #
Delete service
deleteService :: forall r. Member ServiceStore r => ServiceRef -> Sem r () Source #