Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data TeamInvitationSubsystem m a where
- InviteUser :: Local UserId -> TeamId -> InvitationRequest -> TeamInvitationSubsystem m (Invitation, InvitationLocation)
- InternalCreateInvitation :: TeamId -> Maybe InvitationId -> Role -> Local (Maybe UserId) -> EmailAddress -> InvitationRequest -> TeamInvitationSubsystem m (Invitation, InvitationCode)
- internalCreateInvitation :: forall r. Member TeamInvitationSubsystem r => TeamId -> Maybe InvitationId -> Role -> Local (Maybe UserId) -> EmailAddress -> InvitationRequest -> Sem r (Invitation, InvitationCode)
- inviteUser :: forall r. Member TeamInvitationSubsystem r => Local UserId -> TeamId -> InvitationRequest -> Sem r (Invitation, InvitationLocation)
Documentation
data TeamInvitationSubsystem m a where Source #
InviteUser :: Local UserId -> TeamId -> InvitationRequest -> TeamInvitationSubsystem m (Invitation, InvitationLocation) | |
InternalCreateInvitation :: TeamId -> Maybe InvitationId -> Role -> Local (Maybe UserId) -> EmailAddress -> InvitationRequest -> TeamInvitationSubsystem m (Invitation, InvitationCode) | This function exists to support migration in this susbystem, after the migration this would just be an internal detail of the subsystem |
internalCreateInvitation :: forall r. Member TeamInvitationSubsystem r => TeamId -> Maybe InvitationId -> Role -> Local (Maybe UserId) -> EmailAddress -> InvitationRequest -> Sem r (Invitation, InvitationCode) Source #
This function exists to support migration in this susbystem, after the migration this would just be an internal detail of the subsystem
inviteUser :: forall r. Member TeamInvitationSubsystem r => Local UserId -> TeamId -> InvitationRequest -> Sem r (Invitation, InvitationLocation) Source #