capnp-0.12.0.0: Cap'n Proto for Haskell
Safe HaskellNone
LanguageHaskell2010

Capnp.Gen.Capnp.RpcTwoparty.Pure

Documentation

data Side Source #

Constructors

Side'server 
Side'client 
Side'unknown' Word16 

Instances

Instances details
Enum Side Source # 
Instance details

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 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

Read Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

readsPrec :: Int -> ReadS Side #

readList :: ReadS [Side] #

readPrec :: ReadPrec Side #

readListPrec :: ReadPrec [Side] #

Show Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

showsPrec :: Int -> Side -> ShowS #

show :: Side -> String #

showList :: [Side] -> ShowS #

Generic Side Source # 
Instance details

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 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut Side Source #

Methods

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

IsWord Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

fromWord :: Word64 -> Side Source #

toWord :: Side -> Word64 Source #

Cerialize s Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

MutListElem s Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

ListElem mut Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut Side Source #

Methods

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

toUntypedList :: List mut Side -> List mut Source #

length :: List mut Side -> Int Source #

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Side)))))) Source # 
Instance details

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))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector Side))))) Source # 
Instance details

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)))))) Source #

Cerialize s (Vector (Vector (Vector (Vector Side)))) Source # 
Instance details

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))))) Source #

Cerialize s (Vector (Vector (Vector Side))) Source # 
Instance details

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)))) Source #

Cerialize s (Vector (Vector Side)) Source # 
Instance details

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))) Source #

Cerialize s (Vector Side) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

type Rep Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep Side = D1 ('MetaData "Side" "Capnp.Gen.Capnp.RpcTwoparty" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg Side = Side
newtype List mut Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

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

data VatId Source #

Constructors

VatId 

Fields

Instances

Instances details
Eq VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

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

Show VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> VatId -> ShowS #

show :: VatId -> String #

showList :: [VatId] -> ShowS #

Generic VatId Source # 
Instance details

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 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: VatId #

Decerialize VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut VatId Source #

Methods

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

FromStruct 'Const VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Marshal s VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))) Source # 
Instance details

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)))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))) Source # 
Instance details

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))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector VatId))))) Source # 
Instance details

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)))))) Source #

Cerialize s (Vector (Vector (Vector (Vector VatId)))) Source # 
Instance details

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))))) Source #

Cerialize s (Vector (Vector (Vector VatId))) Source # 
Instance details

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)))) Source #

Cerialize s (Vector (Vector VatId)) Source # 
Instance details

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))) Source #

Cerialize s (Vector VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

type Rep VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep VatId = D1 ('MetaData "VatId" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "VatId" 'PrefixI 'True) (S1 ('MetaSel ('Just "side") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Side)))
type Cerial msg VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg VatId = VatId msg

data ProvisionId Source #

Constructors

ProvisionId 

Fields

Instances

Instances details
Eq ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

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

Show ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> ProvisionId -> ShowS #

show :: ProvisionId -> String #

showList :: [ProvisionId] -> ShowS #

Generic ProvisionId Source # 
Instance details

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 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: ProvisionId #

Decerialize ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut ProvisionId Source #

Methods

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

FromStruct 'Const ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Marshal s ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))) Source # 
Instance details

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)))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))) Source # 
Instance details

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))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector ProvisionId))))) Source # 
Instance details

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)))))) Source #

Cerialize s (Vector (Vector (Vector (Vector ProvisionId)))) Source # 
Instance details

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))))) Source #

Cerialize s (Vector (Vector (Vector ProvisionId))) Source # 
Instance details

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)))) Source #

Cerialize s (Vector (Vector ProvisionId)) Source # 
Instance details

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))) Source #

Cerialize s (Vector ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

type Rep ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep ProvisionId = D1 ('MetaData "ProvisionId" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "ProvisionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "joinId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))
type Cerial msg ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg ProvisionId = ProvisionId msg

data RecipientId Source #

Constructors

RecipientId 

Instances

Instances details
Eq RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

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

Show RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> RecipientId -> ShowS #

show :: RecipientId -> String #

showList :: [RecipientId] -> ShowS #

Generic RecipientId Source # 
Instance details

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 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: RecipientId #

Decerialize RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut RecipientId Source #

Methods

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

FromStruct 'Const RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Marshal s RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))) Source # 
Instance details

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)))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))) Source # 
Instance details

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))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector RecipientId))))) Source # 
Instance details

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)))))) Source #

Cerialize s (Vector (Vector (Vector (Vector RecipientId)))) Source # 
Instance details

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))))) Source #

Cerialize s (Vector (Vector (Vector RecipientId))) Source # 
Instance details

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)))) Source #

Cerialize s (Vector (Vector RecipientId)) Source # 
Instance details

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))) Source #

Cerialize s (Vector RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

type Rep RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep RecipientId = D1 ('MetaData "RecipientId" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "RecipientId" 'PrefixI 'False) (U1 :: Type -> Type))
type Cerial msg RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg RecipientId = RecipientId msg

data ThirdPartyCapId Source #

Constructors

ThirdPartyCapId 

Instances

Instances details
Eq ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

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

Show ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> ThirdPartyCapId -> ShowS #

show :: ThirdPartyCapId -> String #

showList :: [ThirdPartyCapId] -> ShowS #

Generic ThirdPartyCapId Source # 
Instance details

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 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: ThirdPartyCapId #

Decerialize ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut ThirdPartyCapId Source #

Methods

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

FromStruct 'Const ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Marshal s ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))) Source # 
Instance details

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)))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))) Source # 
Instance details

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))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))) Source # 
Instance details

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)))))) Source #

Cerialize s (Vector (Vector (Vector (Vector ThirdPartyCapId)))) Source # 
Instance details

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))))) Source #

Cerialize s (Vector (Vector (Vector ThirdPartyCapId))) Source # 
Instance details

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)))) Source #

Cerialize s (Vector (Vector ThirdPartyCapId)) Source # 
Instance details

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))) Source #

Cerialize s (Vector ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

type Rep ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep ThirdPartyCapId = D1 ('MetaData "ThirdPartyCapId" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "ThirdPartyCapId" 'PrefixI 'False) (U1 :: Type -> Type))
type Cerial msg ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg ThirdPartyCapId = ThirdPartyCapId msg

data JoinKeyPart Source #

Constructors

JoinKeyPart 

Fields

Instances

Instances details
Eq JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

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

Show JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> JoinKeyPart -> ShowS #

show :: JoinKeyPart -> String #

showList :: [JoinKeyPart] -> ShowS #

Generic JoinKeyPart Source # 
Instance details

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 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: JoinKeyPart #

Decerialize JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut JoinKeyPart Source #

Methods

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

FromStruct 'Const JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Marshal s JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))) Source # 
Instance details

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)))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))) Source # 
Instance details

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))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))) Source # 
Instance details

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)))))) Source #

Cerialize s (Vector (Vector (Vector (Vector JoinKeyPart)))) Source # 
Instance details

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))))) Source #

Cerialize s (Vector (Vector (Vector JoinKeyPart))) Source # 
Instance details

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)))) Source #

Cerialize s (Vector (Vector JoinKeyPart)) Source # 
Instance details

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))) Source #

Cerialize s (Vector JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

type Rep JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep JoinKeyPart = D1 ('MetaData "JoinKeyPart" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg JoinKeyPart = JoinKeyPart msg

data JoinResult Source #

Constructors

JoinResult 

Fields

Instances

Instances details
Eq JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

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

Show JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

showsPrec :: Int -> JoinResult -> ShowS #

show :: JoinResult -> String #

showList :: [JoinResult] -> ShowS #

Generic JoinResult Source # 
Instance details

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 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

def :: JoinResult #

Decerialize JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut JoinResult Source #

Methods

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

FromStruct 'Const JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Marshal s JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))) Source # 
Instance details

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)))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))) Source # 
Instance details

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))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector JoinResult))))) Source # 
Instance details

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)))))) Source #

Cerialize s (Vector (Vector (Vector (Vector JoinResult)))) Source # 
Instance details

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))))) Source #

Cerialize s (Vector (Vector (Vector JoinResult))) Source # 
Instance details

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)))) Source #

Cerialize s (Vector (Vector JoinResult)) Source # 
Instance details

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))) Source #

Cerialize s (Vector JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

type Rep JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Rep JoinResult = D1 ('MetaData "JoinResult" "Capnp.Gen.Capnp.RpcTwoparty.Pure" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

type Cerial msg JoinResult = JoinResult msg

Orphan instances

Decerialize Side Source # 
Instance details

Associated Types

type Cerial mut Side Source #

Methods

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

Cerialize s Side Source # 
Instance details

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Side)))))) Source # 
Instance details

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))))))) Source #

Cerialize s (Vector (Vector (Vector (Vector (Vector Side))))) Source # 
Instance details

Methods

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

Cerialize s (Vector (Vector (Vector (Vector Side)))) Source # 
Instance details

Methods

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

Cerialize s (Vector (Vector (Vector Side))) Source # 
Instance details

Methods

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

Cerialize s (Vector (Vector Side)) Source # 
Instance details

Methods

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

Cerialize s (Vector Side) Source # 
Instance details

Methods

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