Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data ClientStore m a where
- GetClients :: [UserId] -> ClientStore m Clients
- CreateClient :: UserId -> ClientId -> ClientStore m ()
- DeleteClient :: UserId -> ClientId -> ClientStore m ()
- DeleteClients :: UserId -> ClientStore m ()
- UseIntraClientListing :: ClientStore m Bool
- createClient :: forall r. Member ClientStore r => UserId -> ClientId -> Sem r ()
- getClients :: forall r. Member ClientStore r => [UserId] -> Sem r Clients
- deleteClient :: forall r. Member ClientStore r => UserId -> ClientId -> Sem r ()
- deleteClients :: forall r. Member ClientStore r => UserId -> Sem r ()
- useIntraClientListing :: forall r. Member ClientStore r => Sem r Bool
ClientStore Effect
data ClientStore m a where Source #
GetClients :: [UserId] -> ClientStore m Clients | |
CreateClient :: UserId -> ClientId -> ClientStore m () | |
DeleteClient :: UserId -> ClientId -> ClientStore m () | |
DeleteClients :: UserId -> ClientStore m () | |
UseIntraClientListing :: ClientStore m Bool |
Create client
createClient :: forall r. Member ClientStore r => UserId -> ClientId -> Sem r () Source #
Get client
getClients :: forall r. Member ClientStore r => [UserId] -> Sem r Clients Source #
Delete client
deleteClient :: forall r. Member ClientStore r => UserId -> ClientId -> Sem r () Source #
deleteClients :: forall r. Member ClientStore r => UserId -> Sem r () Source #
Configuration
useIntraClientListing :: forall r. Member ClientStore r => Sem r Bool Source #