Capnp.Gen.Capnp.RpcTwoparty.Pure

Documentation

data Side

Constructors

Side'server

Side'client

Side'unknown' Word16

Instances

Enum Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

succ :: Side -> Side

pred :: Side -> Side

toEnum :: Int -> Side

fromEnum :: Side -> Int

enumFrom :: Side -> [Side]

enumFromThen :: Side -> Side -> [Side]

enumFromTo :: Side -> Side -> [Side]

enumFromThenTo :: Side -> Side -> Side -> [Side]

Eq Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

(==) :: Side -> Side -> Bool

(/=) :: Side -> Side -> Bool

Read Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

readsPrec :: Int -> ReadS Side

readList :: ReadS [Side]

readPrec :: ReadPrec Side

readListPrec :: ReadPrec [Side]

Show Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

showsPrec :: Int -> Side -> ShowS

show :: Side -> String

showList :: [Side] -> ShowS

Generic Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type Rep Side :: Type -> Type

Methods

from :: Side -> Rep Side x

to :: Rep Side x -> Side

Decerialize Side

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut Side

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Side -> m Side

IsWord Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

fromWord :: Word64 -> Side

toWord :: Side -> Word64

Cerialize s Side

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Side -> m (Cerial ('Mut s) Side)

MutListElem s Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

setIndex :: RWCtx m s => Side -> Int -> List ('Mut s) Side -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) Side)

ListElem mut Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut Side

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut Side)

toUntypedList :: List mut Side -> List mut

length :: List mut Side -> Int

index :: ReadCtx m mut => Int -> List mut Side -> m Side

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Side))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Side))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Side)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Side)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Side)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Side))))))

Cerialize s (Vector (Vector (Vector (Vector Side))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Side))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Side)))))

Cerialize s (Vector (Vector (Vector Side)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Side)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Side))))

Cerialize s (Vector (Vector Side))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Side) -> m (Cerial ('Mut s) (Vector (Vector Side)))

Cerialize s (Vector Side)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Side -> m (Cerial ('Mut s) (Vector Side))

type Rep Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep Side = D1 ('MetaData "Side" "Capnp.Gen.Capnp.RpcTwoparty" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" 'False) (C1 ('MetaCons "Side'server" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Side'client" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Side'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))

type Cerial msg Side

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg Side = Side

newtype List mut Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

newtype List mut Side = Side'List_ (ListOf mut Word16)

data VatId

Constructors

VatId

Fields

• side :: Side

Instances

Eq VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

(==) :: VatId -> VatId -> Bool

(/=) :: VatId -> VatId -> Bool

Show VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> VatId -> ShowS

show :: VatId -> String

showList :: [VatId] -> ShowS

Generic VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Rep VatId :: Type -> Type

Methods

from :: VatId -> Rep VatId x

to :: Rep VatId x -> VatId

Default VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: VatId

Decerialize VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut VatId

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const VatId -> m VatId

FromStruct 'Const VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

fromStruct :: ReadCtx m 'Const => Struct 'Const -> m VatId

Cerialize s VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> VatId -> m (Cerial ('Mut s) VatId)

Marshal s VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

marshalInto :: RWCtx m s => Cerial ('Mut s) VatId -> VatId -> m ()

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector VatId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector VatId)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector VatId)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector VatId))))))

Cerialize s (Vector (Vector (Vector (Vector VatId))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector VatId))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector VatId)))))

Cerialize s (Vector (Vector (Vector VatId)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector VatId)) -> m (Cerial ('Mut s) (Vector (Vector (Vector VatId))))

Cerialize s (Vector (Vector VatId))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector VatId) -> m (Cerial ('Mut s) (Vector (Vector VatId)))

Cerialize s (Vector VatId)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector VatId -> m (Cerial ('Mut s) (Vector VatId))

type Rep VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep VatId = D1 ('MetaData "VatId" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" 'False) (C1 ('MetaCons "VatId" 'PrefixI 'True) (S1 ('MetaSel ('Just "side") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Side)))

type Cerial msg VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg VatId = VatId msg

data ProvisionId

Constructors

ProvisionId

Fields

• joinId :: Word32

Instances

Eq ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

(==) :: ProvisionId -> ProvisionId -> Bool

(/=) :: ProvisionId -> ProvisionId -> Bool

Show ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> ProvisionId -> ShowS

show :: ProvisionId -> String

showList :: [ProvisionId] -> ShowS

Generic ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Rep ProvisionId :: Type -> Type

Methods

from :: ProvisionId -> Rep ProvisionId x

to :: Rep ProvisionId x -> ProvisionId

Default ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: ProvisionId

Decerialize ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut ProvisionId

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const ProvisionId -> m ProvisionId

FromStruct 'Const ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

fromStruct :: ReadCtx m 'Const => Struct 'Const -> m ProvisionId

Cerialize s ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> ProvisionId -> m (Cerial ('Mut s) ProvisionId)

Marshal s ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

marshalInto :: RWCtx m s => Cerial ('Mut s) ProvisionId -> ProvisionId -> m ()

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector ProvisionId)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector ProvisionId)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector ProvisionId))))))

Cerialize s (Vector (Vector (Vector (Vector ProvisionId))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector ProvisionId))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector ProvisionId)))))

Cerialize s (Vector (Vector (Vector ProvisionId)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector ProvisionId)) -> m (Cerial ('Mut s) (Vector (Vector (Vector ProvisionId))))

Cerialize s (Vector (Vector ProvisionId))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector ProvisionId) -> m (Cerial ('Mut s) (Vector (Vector ProvisionId)))

Cerialize s (Vector ProvisionId)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector ProvisionId -> m (Cerial ('Mut s) (Vector ProvisionId))

type Rep ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep ProvisionId = D1 ('MetaData "ProvisionId" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" 'False) (C1 ('MetaCons "ProvisionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "joinId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

type Cerial msg ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg ProvisionId = ProvisionId msg

data RecipientId

Constructors

RecipientId

Instances

Eq RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

(==) :: RecipientId -> RecipientId -> Bool

(/=) :: RecipientId -> RecipientId -> Bool

Show RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> RecipientId -> ShowS

show :: RecipientId -> String

showList :: [RecipientId] -> ShowS

Generic RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Rep RecipientId :: Type -> Type

Methods

from :: RecipientId -> Rep RecipientId x

to :: Rep RecipientId x -> RecipientId

Default RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: RecipientId

Decerialize RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut RecipientId

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const RecipientId -> m RecipientId

FromStruct 'Const RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

fromStruct :: ReadCtx m 'Const => Struct 'Const -> m RecipientId

Cerialize s RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> RecipientId -> m (Cerial ('Mut s) RecipientId)

Marshal s RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

marshalInto :: RWCtx m s => Cerial ('Mut s) RecipientId -> RecipientId -> m ()

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector RecipientId)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector RecipientId)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector RecipientId))))))

Cerialize s (Vector (Vector (Vector (Vector RecipientId))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector RecipientId))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector RecipientId)))))

Cerialize s (Vector (Vector (Vector RecipientId)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector RecipientId)) -> m (Cerial ('Mut s) (Vector (Vector (Vector RecipientId))))

Cerialize s (Vector (Vector RecipientId))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector RecipientId) -> m (Cerial ('Mut s) (Vector (Vector RecipientId)))

Cerialize s (Vector RecipientId)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector RecipientId -> m (Cerial ('Mut s) (Vector RecipientId))

type Rep RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep RecipientId = D1 ('MetaData "RecipientId" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" 'False) (C1 ('MetaCons "RecipientId" 'PrefixI 'False) (U1 :: Type -> Type))

type Cerial msg RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg RecipientId = RecipientId msg

data ThirdPartyCapId

Constructors

ThirdPartyCapId

Instances

Eq ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

(==) :: ThirdPartyCapId -> ThirdPartyCapId -> Bool

(/=) :: ThirdPartyCapId -> ThirdPartyCapId -> Bool

Show ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> ThirdPartyCapId -> ShowS

show :: ThirdPartyCapId -> String

showList :: [ThirdPartyCapId] -> ShowS

Generic ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Rep ThirdPartyCapId :: Type -> Type

Methods

from :: ThirdPartyCapId -> Rep ThirdPartyCapId x

to :: Rep ThirdPartyCapId x -> ThirdPartyCapId

Default ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: ThirdPartyCapId

Decerialize ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut ThirdPartyCapId

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const ThirdPartyCapId -> m ThirdPartyCapId

FromStruct 'Const ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

fromStruct :: ReadCtx m 'Const => Struct 'Const -> m ThirdPartyCapId

Cerialize s ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> ThirdPartyCapId -> m (Cerial ('Mut s) ThirdPartyCapId)

Marshal s ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

marshalInto :: RWCtx m s => Cerial ('Mut s) ThirdPartyCapId -> ThirdPartyCapId -> m ()

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))

Cerialize s (Vector (Vector (Vector (Vector ThirdPartyCapId))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector ThirdPartyCapId))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector ThirdPartyCapId)))))

Cerialize s (Vector (Vector (Vector ThirdPartyCapId)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector ThirdPartyCapId)) -> m (Cerial ('Mut s) (Vector (Vector (Vector ThirdPartyCapId))))

Cerialize s (Vector (Vector ThirdPartyCapId))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector ThirdPartyCapId) -> m (Cerial ('Mut s) (Vector (Vector ThirdPartyCapId)))

Cerialize s (Vector ThirdPartyCapId)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector ThirdPartyCapId -> m (Cerial ('Mut s) (Vector ThirdPartyCapId))

type Rep ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep ThirdPartyCapId = D1 ('MetaData "ThirdPartyCapId" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" 'False) (C1 ('MetaCons "ThirdPartyCapId" 'PrefixI 'False) (U1 :: Type -> Type))

type Cerial msg ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg ThirdPartyCapId = ThirdPartyCapId msg

data JoinKeyPart

Constructors

JoinKeyPart

Fields

• joinId :: Word32
• partCount :: Word16
• partNum :: Word16

Instances

Eq JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

(==) :: JoinKeyPart -> JoinKeyPart -> Bool

(/=) :: JoinKeyPart -> JoinKeyPart -> Bool

Show JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> JoinKeyPart -> ShowS

show :: JoinKeyPart -> String

showList :: [JoinKeyPart] -> ShowS

Generic JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Rep JoinKeyPart :: Type -> Type

Methods

from :: JoinKeyPart -> Rep JoinKeyPart x

to :: Rep JoinKeyPart x -> JoinKeyPart

Default JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: JoinKeyPart

Decerialize JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut JoinKeyPart

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const JoinKeyPart -> m JoinKeyPart

FromStruct 'Const JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

fromStruct :: ReadCtx m 'Const => Struct 'Const -> m JoinKeyPart

Cerialize s JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> JoinKeyPart -> m (Cerial ('Mut s) JoinKeyPart)

Marshal s JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

marshalInto :: RWCtx m s => Cerial ('Mut s) JoinKeyPart -> JoinKeyPart -> m ()

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector JoinKeyPart)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))

Cerialize s (Vector (Vector (Vector (Vector JoinKeyPart))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector JoinKeyPart))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector JoinKeyPart)))))

Cerialize s (Vector (Vector (Vector JoinKeyPart)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector JoinKeyPart)) -> m (Cerial ('Mut s) (Vector (Vector (Vector JoinKeyPart))))

Cerialize s (Vector (Vector JoinKeyPart))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector JoinKeyPart) -> m (Cerial ('Mut s) (Vector (Vector JoinKeyPart)))

Cerialize s (Vector JoinKeyPart)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector JoinKeyPart -> m (Cerial ('Mut s) (Vector JoinKeyPart))

type Rep JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep JoinKeyPart = D1 ('MetaData "JoinKeyPart" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" 'False) (C1 ('MetaCons "JoinKeyPart" 'PrefixI 'True) (S1 ('MetaSel ('Just "joinId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "partCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16) :*: S1 ('MetaSel ('Just "partNum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))

type Cerial msg JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg JoinKeyPart = JoinKeyPart msg

data JoinResult

Constructors

JoinResult

Fields

• joinId :: Word32
• succeeded :: Bool
• cap :: Maybe Ptr

Instances

Eq JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

(==) :: JoinResult -> JoinResult -> Bool

(/=) :: JoinResult -> JoinResult -> Bool

Show JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> JoinResult -> ShowS

show :: JoinResult -> String

showList :: [JoinResult] -> ShowS

Generic JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Rep JoinResult :: Type -> Type

Methods

from :: JoinResult -> Rep JoinResult x

to :: Rep JoinResult x -> JoinResult

Default JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: JoinResult

Decerialize JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut JoinResult

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const JoinResult -> m JoinResult

FromStruct 'Const JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

fromStruct :: ReadCtx m 'Const => Struct 'Const -> m JoinResult

Cerialize s JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> JoinResult -> m (Cerial ('Mut s) JoinResult)

Marshal s JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

marshalInto :: RWCtx m s => Cerial ('Mut s) JoinResult -> JoinResult -> m ()

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector JoinResult)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector JoinResult)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector JoinResult))))))

Cerialize s (Vector (Vector (Vector (Vector JoinResult))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector JoinResult))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector JoinResult)))))

Cerialize s (Vector (Vector (Vector JoinResult)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector JoinResult)) -> m (Cerial ('Mut s) (Vector (Vector (Vector JoinResult))))

Cerialize s (Vector (Vector JoinResult))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector JoinResult) -> m (Cerial ('Mut s) (Vector (Vector JoinResult)))

Cerialize s (Vector JoinResult)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector JoinResult -> m (Cerial ('Mut s) (Vector JoinResult))

type Rep JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep JoinResult = D1 ('MetaData "JoinResult" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" 'False) (C1 ('MetaCons "JoinResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "joinId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "succeeded") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "cap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Ptr)))))

type Cerial msg JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg JoinResult = JoinResult msg

Orphan instances

Decerialize Side

Associated Types

type Cerial mut Side

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Side -> m Side

Cerialize s Side

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Side -> m (Cerial ('Mut s) Side)

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Side))))))

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Side))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Side)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Side)))))

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Side)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Side))))))

Cerialize s (Vector (Vector (Vector (Vector Side))))

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Side))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Side)))))

Cerialize s (Vector (Vector (Vector Side)))

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Side)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Side))))

Cerialize s (Vector (Vector Side))

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Side) -> m (Cerial ('Mut s) (Vector (Vector Side)))

Cerialize s (Vector Side)

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Side -> m (Cerial ('Mut s) (Vector Side))