wire-api-0.1.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Wire.API.MLS.LeafNode

Synopsis

Documentation

type LeafIndex = Word32 Source #

data LeafNode Source #

This type can only verify the signature when the LeafNodeSource is LeafNodeSourceKeyPackage

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

Constructors

LeafNode 

Fields

Instances

Instances details
Arbitrary LeafNode Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

arbitrary :: Gen LeafNode Source #

shrink :: LeafNode -> [LeafNode] Source #

Generic LeafNode Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Associated Types

type Rep LeafNode :: Type -> Type #

Methods

from :: LeafNode -> Rep LeafNode x #

to :: Rep LeafNode x -> LeafNode #

Show LeafNode Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

showsPrec :: Int -> LeafNode -> ShowS #

show :: LeafNode -> String #

showList :: [LeafNode] -> ShowS #

Eq LeafNode Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

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

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

ToSchema LeafNode Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

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

ParseMLS LeafNode Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

parseMLS :: Get LeafNode Source #

SerialiseMLS LeafNode Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

serialiseMLS :: LeafNode -> Put Source #

HasField "capabilities" LeafNode Capabilities Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

getField :: LeafNode -> Capabilities #

HasField "credential" LeafNode Credential Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

getField :: LeafNode -> Credential #

HasField "encryptionKey" LeafNode HPKEPublicKey Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

getField :: LeafNode -> HPKEPublicKey #

HasField "leafNode" KeyPackage LeafNode Source # 
Instance details

Defined in Wire.API.MLS.KeyPackage

Methods

getField :: KeyPackage -> LeafNode #

HasField "signatureKey" LeafNode ByteString Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

getField :: LeafNode -> ByteString #

HasField "source" LeafNode LeafNodeSource Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

getField :: LeafNode -> LeafNodeSource #

HasField "extensions" LeafNode [Extension] Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

getField :: LeafNode -> [Extension] #

type Rep LeafNode Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

type Rep LeafNode = D1 ('MetaData "LeafNode" "Wire.API.MLS.LeafNode" "wire-api-0.1.0-3915FetN8WgFcCGrbk6Vve" 'False) (C1 ('MetaCons "LeafNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "core") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RawMLS LeafNodeCore)) :*: S1 ('MetaSel ('Just "signature_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data LeafNodeCore Source #

Constructors

LeafNodeCore 

Fields

Instances

Instances details
Arbitrary LeafNodeCore Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

arbitrary :: Gen LeafNodeCore Source #

shrink :: LeafNodeCore -> [LeafNodeCore] Source #

Generic LeafNodeCore Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Associated Types

type Rep LeafNodeCore :: Type -> Type #

Methods

from :: LeafNodeCore -> Rep LeafNodeCore x #

to :: Rep LeafNodeCore x -> LeafNodeCore #

Show LeafNodeCore Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

showsPrec :: Int -> LeafNodeCore -> ShowS #

show :: LeafNodeCore -> String #

showList :: [LeafNodeCore] -> ShowS #

Eq LeafNodeCore Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

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

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

ParseMLS LeafNodeCore Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

parseMLS :: Get LeafNodeCore Source #

SerialiseMLS LeafNodeCore Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

serialiseMLS :: LeafNodeCore -> Put Source #

type Rep LeafNodeCore Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

type Rep LeafNodeCore = D1 ('MetaData "LeafNodeCore" "Wire.API.MLS.LeafNode" "wire-api-0.1.0-3915FetN8WgFcCGrbk6Vve" 'False) (C1 ('MetaCons "LeafNodeCore" 'PrefixI 'True) ((S1 ('MetaSel ('Just "encryptionKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HPKEPublicKey) :*: (S1 ('MetaSel ('Just "signatureKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "credential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential))) :*: (S1 ('MetaSel ('Just "capabilities") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Capabilities) :*: (S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LeafNodeSource) :*: S1 ('MetaSel ('Just "extensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Extension])))))

data LeafNodeTBS Source #

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

Constructors

LeafNodeTBS 

Fields

Instances

Instances details
SerialiseMLS LeafNodeTBS Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

serialiseMLS :: LeafNodeTBS -> Put Source #

data LeafNodeTBSExtra Source #

Constructors

LeafNodeTBSExtraKeyPackage 
LeafNodeTBSExtraUpdate GroupId LeafIndex 
LeafNodeTBSExtraCommit GroupId LeafIndex 

Instances

Instances details
HasField "tag" LeafNodeTBSExtra LeafNodeSourceTag Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

getField :: LeafNodeTBSExtra -> LeafNodeSourceTag #

data LeafNodeSource Source #

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

Constructors

LeafNodeSourceKeyPackage Lifetime 
LeafNodeSourceUpdate 
LeafNodeSourceCommit ByteString 

Instances

Instances details
Arbitrary LeafNodeSource Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

arbitrary :: Gen LeafNodeSource Source #

shrink :: LeafNodeSource -> [LeafNodeSource] Source #

Generic LeafNodeSource Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Associated Types

type Rep LeafNodeSource :: Type -> Type #

Methods

from :: LeafNodeSource -> Rep LeafNodeSource x #

to :: Rep LeafNodeSource x -> LeafNodeSource #

Show LeafNodeSource Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

showsPrec :: Int -> LeafNodeSource -> ShowS #

show :: LeafNodeSource -> String #

showList :: [LeafNodeSource] -> ShowS #

Eq LeafNodeSource Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

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

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

ParseMLS LeafNodeSource Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

parseMLS :: Get LeafNodeSource Source #

SerialiseMLS LeafNodeSource Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

serialiseMLS :: LeafNodeSource -> Put Source #

HasField "source" LeafNode LeafNodeSource Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

getField :: LeafNode -> LeafNodeSource #

type Rep LeafNodeSource Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

type Rep LeafNodeSource = D1 ('MetaData "LeafNodeSource" "Wire.API.MLS.LeafNode" "wire-api-0.1.0-3915FetN8WgFcCGrbk6Vve" 'False) (C1 ('MetaCons "LeafNodeSourceKeyPackage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lifetime)) :+: (C1 ('MetaCons "LeafNodeSourceUpdate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeafNodeSourceCommit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

data LeafNodeSourceTag Source #

Constructors

LeafNodeSourceKeyPackageTag 
LeafNodeSourceUpdateTag 
LeafNodeSourceCommitTag 

Instances

Instances details
Bounded LeafNodeSourceTag Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

minBound :: LeafNodeSourceTag #

maxBound :: LeafNodeSourceTag #

Enum LeafNodeSourceTag Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

succ :: LeafNodeSourceTag -> LeafNodeSourceTag #

pred :: LeafNodeSourceTag -> LeafNodeSourceTag #

toEnum :: Int -> LeafNodeSourceTag #

fromEnum :: LeafNodeSourceTag -> Int #

enumFrom :: LeafNodeSourceTag -> [LeafNodeSourceTag] #

enumFromThen :: LeafNodeSourceTag -> LeafNodeSourceTag -> [LeafNodeSourceTag] #

enumFromTo :: LeafNodeSourceTag -> LeafNodeSourceTag -> [LeafNodeSourceTag] #

enumFromThenTo :: LeafNodeSourceTag -> LeafNodeSourceTag -> LeafNodeSourceTag -> [LeafNodeSourceTag] #

Show LeafNodeSourceTag Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

showsPrec :: Int -> LeafNodeSourceTag -> ShowS #

show :: LeafNodeSourceTag -> String #

showList :: [LeafNodeSourceTag] -> ShowS #

Eq LeafNodeSourceTag Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

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

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

Ord LeafNodeSourceTag Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

compare :: LeafNodeSourceTag -> LeafNodeSourceTag -> Ordering #

(<) :: LeafNodeSourceTag -> LeafNodeSourceTag -> Bool #

(<=) :: LeafNodeSourceTag -> LeafNodeSourceTag -> Bool #

(>) :: LeafNodeSourceTag -> LeafNodeSourceTag -> Bool #

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

max :: LeafNodeSourceTag -> LeafNodeSourceTag -> LeafNodeSourceTag #

min :: LeafNodeSourceTag -> LeafNodeSourceTag -> LeafNodeSourceTag #

ParseMLS LeafNodeSourceTag Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

parseMLS :: Get LeafNodeSourceTag Source #

SerialiseMLS LeafNodeSourceTag Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

serialiseMLS :: LeafNodeSourceTag -> Put Source #

HasField "name" LeafNodeSourceTag Text Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

getField :: LeafNodeSourceTag -> Text #

HasField "tag" LeafNodeTBSExtra LeafNodeSourceTag Source # 
Instance details

Defined in Wire.API.MLS.LeafNode

Methods

getField :: LeafNodeTBSExtra -> LeafNodeSourceTag #

leafNodeSourceTag :: LeafNodeSource -> LeafNodeSourceTag Source #