wire-message-proto-lens-0.1.0: Shared protobuf type definitions for Wire Messaging.
Safe HaskellSafe-Inferred
LanguageGHC2021

Proto.Otr

Synopsis

Documentation

data ClientEntry Source #

Fields :

  • client :: Lens' ClientEntry ClientId
  • text :: Lens' ClientEntry Data.ByteString.ByteString

Instances

Instances details
Show ClientEntry Source # 
Instance details

Defined in Proto.Otr

NFData ClientEntry Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: ClientEntry -> () #

Eq ClientEntry Source # 
Instance details

Defined in Proto.Otr

Ord ClientEntry Source # 
Instance details

Defined in Proto.Otr

Message ClientEntry Source # 
Instance details

Defined in Proto.Otr

HasField ClientEntry "client" ClientId Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "client" -> (ClientId -> f ClientId) -> ClientEntry -> f ClientEntry Source #

HasField ClientEntry "text" ByteString Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "text" -> (ByteString -> f ByteString) -> ClientEntry -> f ClientEntry Source #

HasField UserEntry "clients" [ClientEntry] Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "clients" -> ([ClientEntry] -> f [ClientEntry]) -> UserEntry -> f UserEntry Source #

HasField UserEntry "vec'clients" (Vector ClientEntry) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "vec'clients" -> (Vector ClientEntry -> f (Vector ClientEntry)) -> UserEntry -> f UserEntry Source #

data ClientId Source #

Fields :

  • client :: Lens' ClientId Data.Word.Word64

Instances

Instances details
Show ClientId Source # 
Instance details

Defined in Proto.Otr

NFData ClientId Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: ClientId -> () #

Eq ClientId Source # 
Instance details

Defined in Proto.Otr

Ord ClientId Source # 
Instance details

Defined in Proto.Otr

Message ClientId Source # 
Instance details

Defined in Proto.Otr

HasField ClientEntry "client" ClientId Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "client" -> (ClientId -> f ClientId) -> ClientEntry -> f ClientEntry Source #

HasField ClientId "client" Word64 Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "client" -> (Word64 -> f Word64) -> ClientId -> f ClientId Source #

HasField NewOtrMessage "sender" ClientId Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "sender" -> (ClientId -> f ClientId) -> NewOtrMessage -> f NewOtrMessage Source #

HasField OtrAssetMeta "sender" ClientId Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "sender" -> (ClientId -> f ClientId) -> OtrAssetMeta -> f OtrAssetMeta Source #

HasField QualifiedNewOtrMessage "sender" ClientId Source # 
Instance details

Defined in Proto.Otr

data ClientMismatchStrategy Source #

Fields :

Instances

Instances details
Show ClientMismatchStrategy Source # 
Instance details

Defined in Proto.Otr

NFData ClientMismatchStrategy Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: ClientMismatchStrategy -> () #

Eq ClientMismatchStrategy Source # 
Instance details

Defined in Proto.Otr

Ord ClientMismatchStrategy Source # 
Instance details

Defined in Proto.Otr

Message ClientMismatchStrategy Source # 
Instance details

Defined in Proto.Otr

data ClientMismatchStrategy'IgnoreAll Source #

Fields :

Instances

Instances details
Show ClientMismatchStrategy'IgnoreAll Source # 
Instance details

Defined in Proto.Otr

NFData ClientMismatchStrategy'IgnoreAll Source # 
Instance details

Defined in Proto.Otr

Eq ClientMismatchStrategy'IgnoreAll Source # 
Instance details

Defined in Proto.Otr

Ord ClientMismatchStrategy'IgnoreAll Source # 
Instance details

Defined in Proto.Otr

Message ClientMismatchStrategy'IgnoreAll Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "ignoreAll" ClientMismatchStrategy'IgnoreAll Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "maybe'ignoreAll" (Maybe ClientMismatchStrategy'IgnoreAll) Source # 
Instance details

Defined in Proto.Otr

data ClientMismatchStrategy'IgnoreOnly Source #

Fields :

  • userIds :: Lens' ClientMismatchStrategy'IgnoreOnly [QualifiedUserId]
  • vec'userIds :: Lens' ClientMismatchStrategy'IgnoreOnly (Data.Vector.Vector QualifiedUserId)

Instances

Instances details
Show ClientMismatchStrategy'IgnoreOnly Source # 
Instance details

Defined in Proto.Otr

NFData ClientMismatchStrategy'IgnoreOnly Source # 
Instance details

Defined in Proto.Otr

Eq ClientMismatchStrategy'IgnoreOnly Source # 
Instance details

Defined in Proto.Otr

Ord ClientMismatchStrategy'IgnoreOnly Source # 
Instance details

Defined in Proto.Otr

Message ClientMismatchStrategy'IgnoreOnly Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "ignoreOnly" ClientMismatchStrategy'IgnoreOnly Source # 
Instance details

Defined in Proto.Otr

HasField ClientMismatchStrategy'IgnoreOnly "userIds" [QualifiedUserId] Source # 
Instance details

Defined in Proto.Otr

HasField ClientMismatchStrategy'IgnoreOnly "vec'userIds" (Vector QualifiedUserId) Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "maybe'ignoreOnly" (Maybe ClientMismatchStrategy'IgnoreOnly) Source # 
Instance details

Defined in Proto.Otr

data ClientMismatchStrategy'ReportAll Source #

Fields :

Instances

Instances details
Show ClientMismatchStrategy'ReportAll Source # 
Instance details

Defined in Proto.Otr

NFData ClientMismatchStrategy'ReportAll Source # 
Instance details

Defined in Proto.Otr

Eq ClientMismatchStrategy'ReportAll Source # 
Instance details

Defined in Proto.Otr

Ord ClientMismatchStrategy'ReportAll Source # 
Instance details

Defined in Proto.Otr

Message ClientMismatchStrategy'ReportAll Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "reportAll" ClientMismatchStrategy'ReportAll Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "maybe'reportAll" (Maybe ClientMismatchStrategy'ReportAll) Source # 
Instance details

Defined in Proto.Otr

data ClientMismatchStrategy'ReportOnly Source #

Fields :

  • userIds :: Lens' ClientMismatchStrategy'ReportOnly [QualifiedUserId]
  • vec'userIds :: Lens' ClientMismatchStrategy'ReportOnly (Data.Vector.Vector QualifiedUserId)

Instances

Instances details
Show ClientMismatchStrategy'ReportOnly Source # 
Instance details

Defined in Proto.Otr

NFData ClientMismatchStrategy'ReportOnly Source # 
Instance details

Defined in Proto.Otr

Eq ClientMismatchStrategy'ReportOnly Source # 
Instance details

Defined in Proto.Otr

Ord ClientMismatchStrategy'ReportOnly Source # 
Instance details

Defined in Proto.Otr

Message ClientMismatchStrategy'ReportOnly Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "reportOnly" ClientMismatchStrategy'ReportOnly Source # 
Instance details

Defined in Proto.Otr

HasField ClientMismatchStrategy'ReportOnly "userIds" [QualifiedUserId] Source # 
Instance details

Defined in Proto.Otr

HasField ClientMismatchStrategy'ReportOnly "vec'userIds" (Vector QualifiedUserId) Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "maybe'reportOnly" (Maybe ClientMismatchStrategy'ReportOnly) Source # 
Instance details

Defined in Proto.Otr

data NewOtrMessage Source #

Fields :

Instances

Instances details
Show NewOtrMessage Source # 
Instance details

Defined in Proto.Otr

NFData NewOtrMessage Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: NewOtrMessage -> () #

Eq NewOtrMessage Source # 
Instance details

Defined in Proto.Otr

Ord NewOtrMessage Source # 
Instance details

Defined in Proto.Otr

Message NewOtrMessage Source # 
Instance details

Defined in Proto.Otr

HasField NewOtrMessage "blob" ByteString Source # 
Instance details

Defined in Proto.Otr

HasField NewOtrMessage "nativePriority" Priority Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "nativePriority" -> (Priority -> f Priority) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "nativePush" Bool Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "nativePush" -> (Bool -> f Bool) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "sender" ClientId Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "sender" -> (ClientId -> f ClientId) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "transient" Bool Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "transient" -> (Bool -> f Bool) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "maybe'blob" (Maybe ByteString) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'blob" -> (Maybe ByteString -> f (Maybe ByteString)) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "maybe'nativePriority" (Maybe Priority) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'nativePriority" -> (Maybe Priority -> f (Maybe Priority)) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "maybe'nativePush" (Maybe Bool) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'nativePush" -> (Maybe Bool -> f (Maybe Bool)) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "maybe'transient" (Maybe Bool) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'transient" -> (Maybe Bool -> f (Maybe Bool)) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "recipients" [UserEntry] Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "recipients" -> ([UserEntry] -> f [UserEntry]) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "reportMissing" [UserId] Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "reportMissing" -> ([UserId] -> f [UserId]) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "vec'recipients" (Vector UserEntry) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "vec'recipients" -> (Vector UserEntry -> f (Vector UserEntry)) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "vec'reportMissing" (Vector UserId) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "vec'reportMissing" -> (Vector UserId -> f (Vector UserId)) -> NewOtrMessage -> f NewOtrMessage Source #

data OtrAssetMeta Source #

Fields :

Instances

Instances details
Show OtrAssetMeta Source # 
Instance details

Defined in Proto.Otr

NFData OtrAssetMeta Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: OtrAssetMeta -> () #

Eq OtrAssetMeta Source # 
Instance details

Defined in Proto.Otr

Ord OtrAssetMeta Source # 
Instance details

Defined in Proto.Otr

Message OtrAssetMeta Source # 
Instance details

Defined in Proto.Otr

HasField OtrAssetMeta "isInline" Bool Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "isInline" -> (Bool -> f Bool) -> OtrAssetMeta -> f OtrAssetMeta Source #

HasField OtrAssetMeta "nativePush" Bool Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "nativePush" -> (Bool -> f Bool) -> OtrAssetMeta -> f OtrAssetMeta Source #

HasField OtrAssetMeta "sender" ClientId Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "sender" -> (ClientId -> f ClientId) -> OtrAssetMeta -> f OtrAssetMeta Source #

HasField OtrAssetMeta "maybe'isInline" (Maybe Bool) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'isInline" -> (Maybe Bool -> f (Maybe Bool)) -> OtrAssetMeta -> f OtrAssetMeta Source #

HasField OtrAssetMeta "maybe'nativePush" (Maybe Bool) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'nativePush" -> (Maybe Bool -> f (Maybe Bool)) -> OtrAssetMeta -> f OtrAssetMeta Source #

HasField OtrAssetMeta "recipients" [UserEntry] Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "recipients" -> ([UserEntry] -> f [UserEntry]) -> OtrAssetMeta -> f OtrAssetMeta Source #

HasField OtrAssetMeta "vec'recipients" (Vector UserEntry) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "vec'recipients" -> (Vector UserEntry -> f (Vector UserEntry)) -> OtrAssetMeta -> f OtrAssetMeta Source #

data Priority Source #

Instances

Instances details
Bounded Priority Source # 
Instance details

Defined in Proto.Otr

Enum Priority Source # 
Instance details

Defined in Proto.Otr

Show Priority Source # 
Instance details

Defined in Proto.Otr

NFData Priority Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: Priority -> () #

Eq Priority Source # 
Instance details

Defined in Proto.Otr

Ord Priority Source # 
Instance details

Defined in Proto.Otr

FieldDefault Priority Source # 
Instance details

Defined in Proto.Otr

MessageEnum Priority Source # 
Instance details

Defined in Proto.Otr

HasField NewOtrMessage "nativePriority" Priority Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "nativePriority" -> (Priority -> f Priority) -> NewOtrMessage -> f NewOtrMessage Source #

HasField QualifiedNewOtrMessage "nativePriority" Priority Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "nativePriority" -> (Priority -> f Priority) -> QualifiedNewOtrMessage -> f QualifiedNewOtrMessage Source #

HasField NewOtrMessage "maybe'nativePriority" (Maybe Priority) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'nativePriority" -> (Maybe Priority -> f (Maybe Priority)) -> NewOtrMessage -> f NewOtrMessage Source #

HasField QualifiedNewOtrMessage "maybe'nativePriority" (Maybe Priority) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'nativePriority" -> (Maybe Priority -> f (Maybe Priority)) -> QualifiedNewOtrMessage -> f QualifiedNewOtrMessage Source #

data Priority Source #

Instances

Instances details
Bounded Priority Source # 
Instance details

Defined in Proto.Otr

Enum Priority Source # 
Instance details

Defined in Proto.Otr

Show Priority Source # 
Instance details

Defined in Proto.Otr

NFData Priority Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: Priority -> () #

Eq Priority Source # 
Instance details

Defined in Proto.Otr

Ord Priority Source # 
Instance details

Defined in Proto.Otr

FieldDefault Priority Source # 
Instance details

Defined in Proto.Otr

MessageEnum Priority Source # 
Instance details

Defined in Proto.Otr

HasField NewOtrMessage "nativePriority" Priority Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "nativePriority" -> (Priority -> f Priority) -> NewOtrMessage -> f NewOtrMessage Source #

HasField QualifiedNewOtrMessage "nativePriority" Priority Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "nativePriority" -> (Priority -> f Priority) -> QualifiedNewOtrMessage -> f QualifiedNewOtrMessage Source #

HasField NewOtrMessage "maybe'nativePriority" (Maybe Priority) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'nativePriority" -> (Maybe Priority -> f (Maybe Priority)) -> NewOtrMessage -> f NewOtrMessage Source #

HasField QualifiedNewOtrMessage "maybe'nativePriority" (Maybe Priority) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'nativePriority" -> (Maybe Priority -> f (Maybe Priority)) -> QualifiedNewOtrMessage -> f QualifiedNewOtrMessage Source #

data QualifiedNewOtrMessage Source #

Fields :

  • sender :: Lens' QualifiedNewOtrMessage ClientId
  • recipients :: Lens' QualifiedNewOtrMessage [QualifiedUserEntry]
  • vec'recipients :: Lens' QualifiedNewOtrMessage (Data.Vector.Vector QualifiedUserEntry)
  • nativePush :: Lens' QualifiedNewOtrMessage Prelude.Bool
  • maybe'nativePush :: Lens' QualifiedNewOtrMessage (Prelude.Maybe Prelude.Bool)
  • blob :: Lens' QualifiedNewOtrMessage Data.ByteString.ByteString
  • maybe'blob :: Lens' QualifiedNewOtrMessage (Prelude.Maybe Data.ByteString.ByteString)
  • nativePriority :: Lens' QualifiedNewOtrMessage Priority
  • maybe'nativePriority :: Lens' QualifiedNewOtrMessage (Prelude.Maybe Priority)
  • transient :: Lens' QualifiedNewOtrMessage Prelude.Bool
  • maybe'transient :: Lens' QualifiedNewOtrMessage (Prelude.Maybe Prelude.Bool)
  • maybe'clientMismatchStrategy :: Lens' QualifiedNewOtrMessage (Prelude.Maybe QualifiedNewOtrMessage'ClientMismatchStrategy)
  • maybe'reportAll :: Lens' QualifiedNewOtrMessage (Prelude.Maybe ClientMismatchStrategy'ReportAll)
  • reportAll :: Lens' QualifiedNewOtrMessage ClientMismatchStrategy'ReportAll
  • maybe'ignoreAll :: Lens' QualifiedNewOtrMessage (Prelude.Maybe ClientMismatchStrategy'IgnoreAll)
  • ignoreAll :: Lens' QualifiedNewOtrMessage ClientMismatchStrategy'IgnoreAll
  • maybe'reportOnly :: Lens' QualifiedNewOtrMessage (Prelude.Maybe ClientMismatchStrategy'ReportOnly)
  • reportOnly :: Lens' QualifiedNewOtrMessage ClientMismatchStrategy'ReportOnly
  • maybe'ignoreOnly :: Lens' QualifiedNewOtrMessage (Prelude.Maybe ClientMismatchStrategy'IgnoreOnly)
  • ignoreOnly :: Lens' QualifiedNewOtrMessage ClientMismatchStrategy'IgnoreOnly

Instances

Instances details
Show QualifiedNewOtrMessage Source # 
Instance details

Defined in Proto.Otr

NFData QualifiedNewOtrMessage Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: QualifiedNewOtrMessage -> () #

Eq QualifiedNewOtrMessage Source # 
Instance details

Defined in Proto.Otr

Ord QualifiedNewOtrMessage Source # 
Instance details

Defined in Proto.Otr

Message QualifiedNewOtrMessage Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "blob" ByteString Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "ignoreAll" ClientMismatchStrategy'IgnoreAll Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "ignoreOnly" ClientMismatchStrategy'IgnoreOnly Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "nativePriority" Priority Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "nativePriority" -> (Priority -> f Priority) -> QualifiedNewOtrMessage -> f QualifiedNewOtrMessage Source #

HasField QualifiedNewOtrMessage "nativePush" Bool Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "nativePush" -> (Bool -> f Bool) -> QualifiedNewOtrMessage -> f QualifiedNewOtrMessage Source #

HasField QualifiedNewOtrMessage "reportAll" ClientMismatchStrategy'ReportAll Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "reportOnly" ClientMismatchStrategy'ReportOnly Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "sender" ClientId Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "transient" Bool Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "transient" -> (Bool -> f Bool) -> QualifiedNewOtrMessage -> f QualifiedNewOtrMessage Source #

HasField QualifiedNewOtrMessage "maybe'blob" (Maybe ByteString) Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "maybe'clientMismatchStrategy" (Maybe QualifiedNewOtrMessage'ClientMismatchStrategy) Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "maybe'ignoreAll" (Maybe ClientMismatchStrategy'IgnoreAll) Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "maybe'ignoreOnly" (Maybe ClientMismatchStrategy'IgnoreOnly) Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "maybe'nativePriority" (Maybe Priority) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'nativePriority" -> (Maybe Priority -> f (Maybe Priority)) -> QualifiedNewOtrMessage -> f QualifiedNewOtrMessage Source #

HasField QualifiedNewOtrMessage "maybe'nativePush" (Maybe Bool) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'nativePush" -> (Maybe Bool -> f (Maybe Bool)) -> QualifiedNewOtrMessage -> f QualifiedNewOtrMessage Source #

HasField QualifiedNewOtrMessage "maybe'reportAll" (Maybe ClientMismatchStrategy'ReportAll) Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "maybe'reportOnly" (Maybe ClientMismatchStrategy'ReportOnly) Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "maybe'transient" (Maybe Bool) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "maybe'transient" -> (Maybe Bool -> f (Maybe Bool)) -> QualifiedNewOtrMessage -> f QualifiedNewOtrMessage Source #

HasField QualifiedNewOtrMessage "recipients" [QualifiedUserEntry] Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "vec'recipients" (Vector QualifiedUserEntry) Source # 
Instance details

Defined in Proto.Otr

data QualifiedNewOtrMessage'ClientMismatchStrategy Source #

Instances

Instances details
Show QualifiedNewOtrMessage'ClientMismatchStrategy Source # 
Instance details

Defined in Proto.Otr

NFData QualifiedNewOtrMessage'ClientMismatchStrategy Source # 
Instance details

Defined in Proto.Otr

Eq QualifiedNewOtrMessage'ClientMismatchStrategy Source # 
Instance details

Defined in Proto.Otr

Ord QualifiedNewOtrMessage'ClientMismatchStrategy Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "maybe'clientMismatchStrategy" (Maybe QualifiedNewOtrMessage'ClientMismatchStrategy) Source # 
Instance details

Defined in Proto.Otr

data QualifiedUserEntry Source #

Fields :

  • domain :: Lens' QualifiedUserEntry Data.Text.Text
  • entries :: Lens' QualifiedUserEntry [UserEntry]
  • vec'entries :: Lens' QualifiedUserEntry (Data.Vector.Vector UserEntry)

Instances

Instances details
Show QualifiedUserEntry Source # 
Instance details

Defined in Proto.Otr

NFData QualifiedUserEntry Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: QualifiedUserEntry -> () #

Eq QualifiedUserEntry Source # 
Instance details

Defined in Proto.Otr

Ord QualifiedUserEntry Source # 
Instance details

Defined in Proto.Otr

Message QualifiedUserEntry Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedUserEntry "domain" Text Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "domain" -> (Text -> f Text) -> QualifiedUserEntry -> f QualifiedUserEntry Source #

HasField QualifiedNewOtrMessage "recipients" [QualifiedUserEntry] Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedNewOtrMessage "vec'recipients" (Vector QualifiedUserEntry) Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedUserEntry "entries" [UserEntry] Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "entries" -> ([UserEntry] -> f [UserEntry]) -> QualifiedUserEntry -> f QualifiedUserEntry Source #

HasField QualifiedUserEntry "vec'entries" (Vector UserEntry) Source # 
Instance details

Defined in Proto.Otr

data QualifiedUserId Source #

Fields :

  • id :: Lens' QualifiedUserId Data.Text.Text
  • domain :: Lens' QualifiedUserId Data.Text.Text

Instances

Instances details
Show QualifiedUserId Source # 
Instance details

Defined in Proto.Otr

NFData QualifiedUserId Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: QualifiedUserId -> () #

Eq QualifiedUserId Source # 
Instance details

Defined in Proto.Otr

Ord QualifiedUserId Source # 
Instance details

Defined in Proto.Otr

Message QualifiedUserId Source # 
Instance details

Defined in Proto.Otr

HasField QualifiedUserId "domain" Text Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "domain" -> (Text -> f Text) -> QualifiedUserId -> f QualifiedUserId Source #

HasField QualifiedUserId "id" Text Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "id" -> (Text -> f Text) -> QualifiedUserId -> f QualifiedUserId Source #

HasField ClientMismatchStrategy'IgnoreOnly "userIds" [QualifiedUserId] Source # 
Instance details

Defined in Proto.Otr

HasField ClientMismatchStrategy'IgnoreOnly "vec'userIds" (Vector QualifiedUserId) Source # 
Instance details

Defined in Proto.Otr

HasField ClientMismatchStrategy'ReportOnly "userIds" [QualifiedUserId] Source # 
Instance details

Defined in Proto.Otr

HasField ClientMismatchStrategy'ReportOnly "vec'userIds" (Vector QualifiedUserId) Source # 
Instance details

Defined in Proto.Otr

data UserEntry Source #

Fields :

  • user :: Lens' UserEntry UserId
  • clients :: Lens' UserEntry [ClientEntry]
  • vec'clients :: Lens' UserEntry (Data.Vector.Vector ClientEntry)

Instances

Instances details
Show UserEntry Source # 
Instance details

Defined in Proto.Otr

NFData UserEntry Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: UserEntry -> () #

Eq UserEntry Source # 
Instance details

Defined in Proto.Otr

Ord UserEntry Source # 
Instance details

Defined in Proto.Otr

Message UserEntry Source # 
Instance details

Defined in Proto.Otr

HasField UserEntry "user" UserId Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "user" -> (UserId -> f UserId) -> UserEntry -> f UserEntry Source #

HasField NewOtrMessage "recipients" [UserEntry] Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "recipients" -> ([UserEntry] -> f [UserEntry]) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "vec'recipients" (Vector UserEntry) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "vec'recipients" -> (Vector UserEntry -> f (Vector UserEntry)) -> NewOtrMessage -> f NewOtrMessage Source #

HasField OtrAssetMeta "recipients" [UserEntry] Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "recipients" -> ([UserEntry] -> f [UserEntry]) -> OtrAssetMeta -> f OtrAssetMeta Source #

HasField OtrAssetMeta "vec'recipients" (Vector UserEntry) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "vec'recipients" -> (Vector UserEntry -> f (Vector UserEntry)) -> OtrAssetMeta -> f OtrAssetMeta Source #

HasField QualifiedUserEntry "entries" [UserEntry] Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "entries" -> ([UserEntry] -> f [UserEntry]) -> QualifiedUserEntry -> f QualifiedUserEntry Source #

HasField QualifiedUserEntry "vec'entries" (Vector UserEntry) Source # 
Instance details

Defined in Proto.Otr

HasField UserEntry "clients" [ClientEntry] Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "clients" -> ([ClientEntry] -> f [ClientEntry]) -> UserEntry -> f UserEntry Source #

HasField UserEntry "vec'clients" (Vector ClientEntry) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "vec'clients" -> (Vector ClientEntry -> f (Vector ClientEntry)) -> UserEntry -> f UserEntry Source #

data UserId Source #

Fields :

  • uuid :: Lens' UserId Data.ByteString.ByteString

Instances

Instances details
Show UserId Source # 
Instance details

Defined in Proto.Otr

NFData UserId Source # 
Instance details

Defined in Proto.Otr

Methods

rnf :: UserId -> () #

Eq UserId Source # 
Instance details

Defined in Proto.Otr

Methods

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

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

Ord UserId Source # 
Instance details

Defined in Proto.Otr

Message UserId Source # 
Instance details

Defined in Proto.Otr

HasField UserEntry "user" UserId Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "user" -> (UserId -> f UserId) -> UserEntry -> f UserEntry Source #

HasField UserId "uuid" ByteString Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "uuid" -> (ByteString -> f ByteString) -> UserId -> f UserId Source #

HasField NewOtrMessage "reportMissing" [UserId] Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "reportMissing" -> ([UserId] -> f [UserId]) -> NewOtrMessage -> f NewOtrMessage Source #

HasField NewOtrMessage "vec'reportMissing" (Vector UserId) Source # 
Instance details

Defined in Proto.Otr

Methods

fieldOf :: Functor f => Proxy# "vec'reportMissing" -> (Vector UserId -> f (Vector UserId)) -> NewOtrMessage -> f NewOtrMessage Source #