Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
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 #
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 #