Safe Haskell	Safe-Inferred
Language	GHC2021

Wire.API.MLS.Welcome

Synopsis

data Welcome = Welcome {
- welCipherSuite :: CipherSuite
- welSecrets :: [GroupSecrets]
- welGroupInfo :: ByteString
}
data GroupSecrets = GroupSecrets {
- gsNewMember :: KeyPackageRef
- gsSecrets :: HPKECiphertext
}

Documentation

data Welcome Source #

https://messaginglayersecurity.rocks/mls-protocol/draft-ietf-mls-protocol-20/draft-ietf-mls-protocol.html#section-12.4.3.1-5

Constructors

Welcome
Fields welCipherSuite :: CipherSuite welSecrets :: [GroupSecrets] welGroupInfo :: ByteString

Instances

Instances details

Arbitrary Welcome Source #
Instance details Defined in Wire.API.MLS.Welcome Methods arbitrary :: Gen Welcome Source # shrink :: Welcome -> [Welcome] Source #
Generic Welcome Source #
Instance details Defined in Wire.API.MLS.Welcome Associated Types type Rep Welcome :: Type -> Type # Methods from :: Welcome -> Rep Welcome x # to :: Rep Welcome x -> Welcome #
Show Welcome Source #
Instance details Defined in Wire.API.MLS.Welcome Methods showsPrec :: Int -> Welcome -> ShowS # show :: Welcome -> String # showList :: [Welcome] -> ShowS #
Eq Welcome Source #
Instance details Defined in Wire.API.MLS.Welcome Methods (==) :: Welcome -> Welcome -> Bool # (/=) :: Welcome -> Welcome -> Bool #
ToSchema Welcome Source #
Instance details Defined in Wire.API.MLS.Welcome Methods declareNamedSchema :: Proxy Welcome -> Declare (Definitions Schema) NamedSchema Source #
ParseMLS Welcome Source #
Instance details Defined in Wire.API.MLS.Welcome Methods parseMLS :: Get Welcome Source #
SerialiseMLS Welcome Source #
Instance details Defined in Wire.API.MLS.Welcome Methods serialiseMLS :: Welcome -> Put Source #
type Rep Welcome Source #
Instance details Defined in Wire.API.MLS.Welcome type Rep Welcome = D1 ('MetaData "Welcome" "Wire.API.MLS.Welcome" "wire-api-0.1.0-3915FetN8WgFcCGrbk6Vve" 'False) (C1 ('MetaCons "Welcome" 'PrefixI 'True) (S1 ('MetaSel ('Just "welCipherSuite") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CipherSuite) :: (S1 ('MetaSel ('Just "welSecrets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GroupSecrets]) :: S1 ('MetaSel ('Just "welGroupInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

data GroupSecrets Source #

https://messaginglayersecurity.rocks/mls-protocol/draft-ietf-mls-protocol-20/draft-ietf-mls-protocol.html#section-12.4.3.1-5

Constructors

GroupSecrets
Fields gsNewMember :: KeyPackageRef gsSecrets :: HPKECiphertext

Instances

Instances details

Arbitrary GroupSecrets Source #
Instance details Defined in Wire.API.MLS.Welcome Methods arbitrary :: Gen GroupSecrets Source # shrink :: GroupSecrets -> [GroupSecrets] Source #
Generic GroupSecrets Source #
Instance details Defined in Wire.API.MLS.Welcome Associated Types type Rep GroupSecrets :: Type -> Type # Methods from :: GroupSecrets -> Rep GroupSecrets x # to :: Rep GroupSecrets x -> GroupSecrets #
Show GroupSecrets Source #
Instance details Defined in Wire.API.MLS.Welcome Methods showsPrec :: Int -> GroupSecrets -> ShowS # show :: GroupSecrets -> String # showList :: [GroupSecrets] -> ShowS #
Eq GroupSecrets Source #
Instance details Defined in Wire.API.MLS.Welcome Methods (==) :: GroupSecrets -> GroupSecrets -> Bool # (/=) :: GroupSecrets -> GroupSecrets -> Bool #
ParseMLS GroupSecrets Source #
Instance details Defined in Wire.API.MLS.Welcome Methods parseMLS :: Get GroupSecrets Source #
SerialiseMLS GroupSecrets Source #
Instance details Defined in Wire.API.MLS.Welcome Methods serialiseMLS :: GroupSecrets -> Put Source #
type Rep GroupSecrets Source #
Instance details Defined in Wire.API.MLS.Welcome type Rep GroupSecrets = D1 ('MetaData "GroupSecrets" "Wire.API.MLS.Welcome" "wire-api-0.1.0-3915FetN8WgFcCGrbk6Vve" 'False) (C1 ('MetaCons "GroupSecrets" 'PrefixI 'True) (S1 ('MetaSel ('Just "gsNewMember") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KeyPackageRef) :*: S1 ('MetaSel ('Just "gsSecrets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HPKECiphertext)))