wire-api-0.1.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Wire.API.Conversation.Action

Synopsis

Documentation

type family ConversationAction (tag :: ConversationActionTag) :: Type where ... Source #

We use this type family instead of a sum type to be able to define individual effects per conversation action. See HasConversationActionEffects.

Equations

ConversationAction 'ConversationJoinTag = ConversationJoin 
ConversationAction 'ConversationLeaveTag = () 
ConversationAction 'ConversationMemberUpdateTag = ConversationMemberUpdate 
ConversationAction 'ConversationDeleteTag = () 
ConversationAction 'ConversationRenameTag = ConversationRename 
ConversationAction 'ConversationMessageTimerUpdateTag = ConversationMessageTimerUpdate 
ConversationAction 'ConversationReceiptModeUpdateTag = ConversationReceiptModeUpdate 
ConversationAction 'ConversationAccessDataTag = ConversationAccessData 
ConversationAction 'ConversationRemoveMembersTag = ConversationRemoveMembers 
ConversationAction 'ConversationUpdateProtocolTag = ProtocolTag 

data ConversationActionTag Source #

Constructors

ConversationJoinTag 
ConversationLeaveTag 
ConversationRemoveMembersTag 
ConversationMemberUpdateTag 
ConversationDeleteTag 
ConversationRenameTag 
ConversationMessageTimerUpdateTag 
ConversationReceiptModeUpdateTag 
ConversationAccessDataTag 
ConversationUpdateProtocolTag 

Instances

Instances details
Arbitrary ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

arbitrary :: Gen ConversationActionTag Source #

shrink :: ConversationActionTag -> [ConversationActionTag] Source #

FromJSON ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

parseJSON :: Value -> Parser ConversationActionTag Source #

parseJSONList :: Value -> Parser [ConversationActionTag] Source #

ToJSON ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

toJSON :: ConversationActionTag -> Value Source #

toEncoding :: ConversationActionTag -> Encoding Source #

toJSONList :: [ConversationActionTag] -> Value Source #

toEncodingList :: [ConversationActionTag] -> Encoding Source #

Bounded ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

minBound :: ConversationActionTag #

maxBound :: ConversationActionTag #

Enum ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

succ :: ConversationActionTag -> ConversationActionTag #

pred :: ConversationActionTag -> ConversationActionTag #

toEnum :: Int -> ConversationActionTag #

fromEnum :: ConversationActionTag -> Int #

enumFrom :: ConversationActionTag -> [ConversationActionTag] #

enumFromThen :: ConversationActionTag -> ConversationActionTag -> [ConversationActionTag] #

enumFromTo :: ConversationActionTag -> ConversationActionTag -> [ConversationActionTag] #

enumFromThenTo :: ConversationActionTag -> ConversationActionTag -> ConversationActionTag -> [ConversationActionTag] #

Generic ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Associated Types

type Rep ConversationActionTag :: Type -> Type #

Methods

from :: ConversationActionTag -> Rep ConversationActionTag x #

to :: Rep ConversationActionTag x -> ConversationActionTag #

Show ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

showsPrec :: Int -> ConversationActionTag -> ShowS #

show :: ConversationActionTag -> String #

showList :: [ConversationActionTag] -> ShowS #

Eq ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

(==) :: ConversationActionTag -> ConversationActionTag -> Bool #

(/=) :: ConversationActionTag -> ConversationActionTag -> Bool #

ToSchema ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

declareNamedSchema :: Proxy ConversationActionTag -> Declare (Definitions Schema) NamedSchema Source #

ToSchema ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

schema :: ValueSchema NamedSwaggerDoc ConversationActionTag Source #

SingKind ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Associated Types

type Demote ConversationActionTag = (r :: Type) Source #

Methods

fromSing :: forall (a :: ConversationActionTag). Sing a -> Demote ConversationActionTag Source #

toSing :: Demote ConversationActionTag -> SomeSing ConversationActionTag Source #

SDecide ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

(%~) :: forall (a :: ConversationActionTag) (b :: ConversationActionTag). Sing a -> Sing b -> Decision (a :~: b) Source #

TestCoercion SConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

testCoercion :: forall (a :: k) (b :: k). SConversationActionTag a -> SConversationActionTag b -> Maybe (Coercion a b) #

TestEquality SConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

testEquality :: forall (a :: k) (b :: k). SConversationActionTag a -> SConversationActionTag b -> Maybe (a :~: b) #

SingI 'ConversationAccessDataTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

sing :: Sing 'ConversationAccessDataTag Source #

SingI 'ConversationDeleteTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

sing :: Sing 'ConversationDeleteTag Source #

SingI 'ConversationJoinTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

sing :: Sing 'ConversationJoinTag Source #

SingI 'ConversationLeaveTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

sing :: Sing 'ConversationLeaveTag Source #

SingI 'ConversationMemberUpdateTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

sing :: Sing 'ConversationMemberUpdateTag Source #

SingI 'ConversationMessageTimerUpdateTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

sing :: Sing 'ConversationMessageTimerUpdateTag Source #

SingI 'ConversationReceiptModeUpdateTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

sing :: Sing 'ConversationReceiptModeUpdateTag Source #

SingI 'ConversationRemoveMembersTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

sing :: Sing 'ConversationRemoveMembersTag Source #

SingI 'ConversationRenameTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

sing :: Sing 'ConversationRenameTag Source #

SingI 'ConversationUpdateProtocolTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

sing :: Sing 'ConversationUpdateProtocolTag Source #

type Rep ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

type Rep ConversationActionTag = D1 ('MetaData "ConversationActionTag" "Wire.API.Conversation.Action.Tag" "wire-api-0.1.0-3915FetN8WgFcCGrbk6Vve" 'False) (((C1 ('MetaCons "ConversationJoinTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConversationLeaveTag" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ConversationRemoveMembersTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ConversationMemberUpdateTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConversationDeleteTag" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ConversationRenameTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConversationMessageTimerUpdateTag" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ConversationReceiptModeUpdateTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ConversationAccessDataTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConversationUpdateProtocolTag" 'PrefixI 'False) (U1 :: Type -> Type)))))
type Demote ConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

type Demote ConversationActionTag = ConversationActionTag
type Sing Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

type Sing = SConversationActionTag

data SConversationActionTag :: ConversationActionTag -> Type where Source #

Constructors

SConversationJoinTag :: SConversationActionTag ('ConversationJoinTag :: ConversationActionTag) 
SConversationLeaveTag :: SConversationActionTag ('ConversationLeaveTag :: ConversationActionTag) 
SConversationRemoveMembersTag :: SConversationActionTag ('ConversationRemoveMembersTag :: ConversationActionTag) 
SConversationMemberUpdateTag :: SConversationActionTag ('ConversationMemberUpdateTag :: ConversationActionTag) 
SConversationDeleteTag :: SConversationActionTag ('ConversationDeleteTag :: ConversationActionTag) 
SConversationRenameTag :: SConversationActionTag ('ConversationRenameTag :: ConversationActionTag) 
SConversationMessageTimerUpdateTag :: SConversationActionTag ('ConversationMessageTimerUpdateTag :: ConversationActionTag) 
SConversationReceiptModeUpdateTag :: SConversationActionTag ('ConversationReceiptModeUpdateTag :: ConversationActionTag) 
SConversationAccessDataTag :: SConversationActionTag ('ConversationAccessDataTag :: ConversationActionTag) 
SConversationUpdateProtocolTag :: SConversationActionTag ('ConversationUpdateProtocolTag :: ConversationActionTag) 

Instances

Instances details
TestCoercion SConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

testCoercion :: forall (a :: k) (b :: k). SConversationActionTag a -> SConversationActionTag b -> Maybe (Coercion a b) #

TestEquality SConversationActionTag Source # 
Instance details

Defined in Wire.API.Conversation.Action.Tag

Methods

testEquality :: forall (a :: k) (b :: k). SConversationActionTag a -> SConversationActionTag b -> Maybe (a :~: b) #

data SomeConversationAction where Source #

Constructors

SomeConversationAction :: Sing tag -> ConversationAction tag -> SomeConversationAction 

Instances

Instances details
Arbitrary SomeConversationAction Source # 
Instance details

Defined in Wire.API.Conversation.Action

Methods

arbitrary :: Gen SomeConversationAction Source #

shrink :: SomeConversationAction -> [SomeConversationAction] Source #

FromJSON SomeConversationAction Source # 
Instance details

Defined in Wire.API.Conversation.Action

Methods

parseJSON :: Value -> Parser SomeConversationAction Source #

parseJSONList :: Value -> Parser [SomeConversationAction] Source #

ToJSON SomeConversationAction Source # 
Instance details

Defined in Wire.API.Conversation.Action

Methods

toJSON :: SomeConversationAction -> Value Source #

toEncoding :: SomeConversationAction -> Encoding Source #

toJSONList :: [SomeConversationAction] -> Value Source #

toEncodingList :: [SomeConversationAction] -> Encoding Source #

Show SomeConversationAction Source # 
Instance details

Defined in Wire.API.Conversation.Action

Methods

showsPrec :: Int -> SomeConversationAction -> ShowS #

show :: SomeConversationAction -> String #

showList :: [SomeConversationAction] -> ShowS #

Eq SomeConversationAction Source # 
Instance details

Defined in Wire.API.Conversation.Action

Methods

(==) :: SomeConversationAction -> SomeConversationAction -> Bool #

(/=) :: SomeConversationAction -> SomeConversationAction -> Bool #

ToSchema SomeConversationAction Source # 
Instance details

Defined in Wire.API.Conversation.Action

Methods

declareNamedSchema :: Proxy SomeConversationAction -> Declare (Definitions Schema) NamedSchema Source #

conversationActionToEvent :: forall tag. Sing tag -> UTCTime -> Qualified UserId -> Qualified ConvId -> Maybe SubConvId -> ConversationAction tag -> Event Source #

conversationActionPermission :: ConversationActionTag -> Action Source #

type family ConversationActionPermission (a :: ConversationActionTag) :: Action where ... Source #

Equations

ConversationActionPermission 'ConversationJoinTag = AddConversationMemberSym0 
ConversationActionPermission 'ConversationLeaveTag = LeaveConversationSym0 
ConversationActionPermission 'ConversationRemoveMembersTag = RemoveConversationMemberSym0 
ConversationActionPermission 'ConversationMemberUpdateTag = ModifyOtherConversationMemberSym0 
ConversationActionPermission 'ConversationDeleteTag = DeleteConversationSym0 
ConversationActionPermission 'ConversationRenameTag = ModifyConversationNameSym0 
ConversationActionPermission 'ConversationMessageTimerUpdateTag = ModifyConversationMessageTimerSym0 
ConversationActionPermission 'ConversationReceiptModeUpdateTag = ModifyConversationReceiptModeSym0 
ConversationActionPermission 'ConversationAccessDataTag = ModifyConversationAccessSym0 
ConversationActionPermission 'ConversationUpdateProtocolTag = LeaveConversationSym0 

sConversationActionPermission :: forall (t :: ConversationActionTag). Sing t -> Sing (Apply ConversationActionPermissionSym0 t :: Action) :: Type Source #