Safe Haskell	Safe-Inferred
Language	GHC2021

Wire.API.MLS.Commit

Synopsis

data Commit = Commit {
- proposals :: [ProposalOrRef]
- path :: Maybe UpdatePath
}
data UpdatePath = UpdatePath {
- leaf :: RawMLS LeafNode
- nodes :: [UpdatePathNode]
}
data UpdatePathNode = UpdatePathNode {
- publicKey :: ByteString
- secret :: [HPKECiphertext]
}
data HPKECiphertext = HPKECiphertext {
- output :: ByteString
- ciphertext :: ByteString
}

Documentation

data Commit Source #

https://messaginglayersecurity.rocks/mls-protocol/draft-ietf-mls-protocol-20/draft-ietf-mls-protocol.html#section-12.4-3

Constructors

Commit
Fields proposals :: [ProposalOrRef] path :: Maybe UpdatePath

Instances

Instances details

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

data UpdatePath Source #

https://messaginglayersecurity.rocks/mls-protocol/draft-ietf-mls-protocol-20/draft-ietf-mls-protocol.html#section-7.6-2

Constructors

UpdatePath
Fields leaf :: RawMLS LeafNode nodes :: [UpdatePathNode]

Instances

Instances details

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

data UpdatePathNode Source #

https://messaginglayersecurity.rocks/mls-protocol/draft-ietf-mls-protocol-20/draft-ietf-mls-protocol.html#section-7.6-2

Constructors

UpdatePathNode
Fields publicKey :: ByteString secret :: [HPKECiphertext]

Instances

Instances details

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

data HPKECiphertext Source #

https://messaginglayersecurity.rocks/mls-protocol/draft-ietf-mls-protocol-20/draft-ietf-mls-protocol.html#section-7.6-2

Constructors

HPKECiphertext
Fields output :: ByteString ciphertext :: ByteString

Instances

Instances details

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