Capnp.Capnp.RpcTwoparty

This module is the generated code for capnp/rpc-twoparty.capnp, for the low-level api.

Documentation

newtype JoinKeyPart msg

Constructors

JoinKeyPart_newtype_ (Struct msg)

Instances

ToStruct msg (JoinKeyPart msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

toStruct :: JoinKeyPart msg -> Struct msg

FromStruct msg (JoinKeyPart msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (JoinKeyPart msg)

IsPtr msg (JoinKeyPart msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (JoinKeyPart msg)

toPtr :: JoinKeyPart msg -> Maybe (Ptr msg)

Allocate s (JoinKeyPart (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => MutMsg s -> m (JoinKeyPart (MutMsg s))

MutListElem s (JoinKeyPart (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

setIndex :: RWCtx m s => JoinKeyPart (MutMsg s) -> Int -> List (MutMsg s) (JoinKeyPart (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (JoinKeyPart (MutMsg s)))

ListElem msg (JoinKeyPart msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (JoinKeyPart msg) :: *

Methods

length :: List msg (JoinKeyPart msg) -> Int

index :: ReadCtx m msg => Int -> List msg (JoinKeyPart msg) -> m (JoinKeyPart msg)

IsPtr msg (List msg (JoinKeyPart msg))

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (JoinKeyPart msg))

toPtr :: List msg (JoinKeyPart msg) -> Maybe (Ptr msg)

MessageDefault (JoinKeyPart msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

messageDefault :: InMessage (JoinKeyPart msg) -> JoinKeyPart msg

HasMessage (JoinKeyPart msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

type InMessage (JoinKeyPart msg) :: *

Methods

message :: JoinKeyPart msg -> InMessage (JoinKeyPart msg)

data List msg (JoinKeyPart msg)

Defined in Capnp.Capnp.RpcTwoparty

data List msg (JoinKeyPart msg) = List_JoinKeyPart (ListOf msg (Struct msg))

type InMessage (JoinKeyPart msg)

Defined in Capnp.Capnp.RpcTwoparty

type InMessage (JoinKeyPart msg) = msg

get_JoinKeyPart'joinId :: ReadCtx m msg => JoinKeyPart msg -> m Word32

set_JoinKeyPart'joinId :: RWCtx m s => JoinKeyPart (MutMsg s) -> Word32 -> m ()

get_JoinKeyPart'partCount :: ReadCtx m msg => JoinKeyPart msg -> m Word16

set_JoinKeyPart'partCount :: RWCtx m s => JoinKeyPart (MutMsg s) -> Word16 -> m ()

get_JoinKeyPart'partNum :: ReadCtx m msg => JoinKeyPart msg -> m Word16

set_JoinKeyPart'partNum :: RWCtx m s => JoinKeyPart (MutMsg s) -> Word16 -> m ()

newtype JoinResult msg

Constructors

JoinResult_newtype_ (Struct msg)

Instances

ToStruct msg (JoinResult msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

toStruct :: JoinResult msg -> Struct msg

FromStruct msg (JoinResult msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (JoinResult msg)

IsPtr msg (JoinResult msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (JoinResult msg)

toPtr :: JoinResult msg -> Maybe (Ptr msg)

Allocate s (JoinResult (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => MutMsg s -> m (JoinResult (MutMsg s))

MutListElem s (JoinResult (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

setIndex :: RWCtx m s => JoinResult (MutMsg s) -> Int -> List (MutMsg s) (JoinResult (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (JoinResult (MutMsg s)))

ListElem msg (JoinResult msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (JoinResult msg) :: *

Methods

length :: List msg (JoinResult msg) -> Int

index :: ReadCtx m msg => Int -> List msg (JoinResult msg) -> m (JoinResult msg)

IsPtr msg (List msg (JoinResult msg))

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (JoinResult msg))

toPtr :: List msg (JoinResult msg) -> Maybe (Ptr msg)

MessageDefault (JoinResult msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

messageDefault :: InMessage (JoinResult msg) -> JoinResult msg

HasMessage (JoinResult msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

type InMessage (JoinResult msg) :: *

Methods

message :: JoinResult msg -> InMessage (JoinResult msg)

data List msg (JoinResult msg)

Defined in Capnp.Capnp.RpcTwoparty

data List msg (JoinResult msg) = List_JoinResult (ListOf msg (Struct msg))

type InMessage (JoinResult msg)

Defined in Capnp.Capnp.RpcTwoparty

type InMessage (JoinResult msg) = msg

get_JoinResult'joinId :: ReadCtx m msg => JoinResult msg -> m Word32

set_JoinResult'joinId :: RWCtx m s => JoinResult (MutMsg s) -> Word32 -> m ()

get_JoinResult'succeeded :: ReadCtx m msg => JoinResult msg -> m Bool

set_JoinResult'succeeded :: RWCtx m s => JoinResult (MutMsg s) -> Bool -> m ()

get_JoinResult'cap :: ReadCtx m msg => JoinResult msg -> m (Maybe (Ptr msg))

has_JoinResult'cap :: ReadCtx m msg => JoinResult msg -> m Bool

set_JoinResult'cap :: RWCtx m s => JoinResult (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()

newtype ProvisionId msg

Constructors

ProvisionId_newtype_ (Struct msg)

Instances

ToStruct msg (ProvisionId msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

toStruct :: ProvisionId msg -> Struct msg

FromStruct msg (ProvisionId msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (ProvisionId msg)

IsPtr msg (ProvisionId msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (ProvisionId msg)

toPtr :: ProvisionId msg -> Maybe (Ptr msg)

Allocate s (ProvisionId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => MutMsg s -> m (ProvisionId (MutMsg s))

MutListElem s (ProvisionId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

setIndex :: RWCtx m s => ProvisionId (MutMsg s) -> Int -> List (MutMsg s) (ProvisionId (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (ProvisionId (MutMsg s)))

ListElem msg (ProvisionId msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (ProvisionId msg) :: *

Methods

length :: List msg (ProvisionId msg) -> Int

index :: ReadCtx m msg => Int -> List msg (ProvisionId msg) -> m (ProvisionId msg)

IsPtr msg (List msg (ProvisionId msg))

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (ProvisionId msg))

toPtr :: List msg (ProvisionId msg) -> Maybe (Ptr msg)

MessageDefault (ProvisionId msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

messageDefault :: InMessage (ProvisionId msg) -> ProvisionId msg

HasMessage (ProvisionId msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

type InMessage (ProvisionId msg) :: *

Methods

message :: ProvisionId msg -> InMessage (ProvisionId msg)

data List msg (ProvisionId msg)

Defined in Capnp.Capnp.RpcTwoparty

data List msg (ProvisionId msg) = List_ProvisionId (ListOf msg (Struct msg))

type InMessage (ProvisionId msg)

Defined in Capnp.Capnp.RpcTwoparty

type InMessage (ProvisionId msg) = msg

get_ProvisionId'joinId :: ReadCtx m msg => ProvisionId msg -> m Word32

set_ProvisionId'joinId :: RWCtx m s => ProvisionId (MutMsg s) -> Word32 -> m ()

data Side

Constructors

Side'server

Side'client

Side'unknown' Word16

Instances

Enum Side

Defined in Capnp.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.Capnp.RpcTwoparty

Methods

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

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

Read Side

Defined in Capnp.Capnp.RpcTwoparty

Methods

readsPrec :: Int -> ReadS Side

readList :: ReadS [Side]

readPrec :: ReadPrec Side

readListPrec :: ReadPrec [Side]

Show Side

Defined in Capnp.Capnp.RpcTwoparty

Methods

showsPrec :: Int -> Side -> ShowS

show :: Side -> String

showList :: [Side] -> ShowS

Generic Side

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

type Rep Side :: * -> *

Methods

from :: Side -> Rep Side x

to :: Rep Side x -> Side

IsWord Side

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromWord :: Word64 -> Side

toWord :: Side -> Word64

MutListElem s Side

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Side)

ListElem msg Side

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg Side :: *

Methods

length :: List msg Side -> Int

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

IsPtr msg (List msg Side)

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Side)

toPtr :: List msg Side -> Maybe (Ptr msg)

type Rep Side

Defined in Capnp.Capnp.RpcTwoparty

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

data List msg Side

Defined in Capnp.Capnp.RpcTwoparty

data List msg Side = List_Side (ListOf msg Word16)

newtype VatId msg

Constructors

VatId_newtype_ (Struct msg)

Instances

ToStruct msg (VatId msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

toStruct :: VatId msg -> Struct msg

FromStruct msg (VatId msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (VatId msg)

IsPtr msg (VatId msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (VatId msg)

toPtr :: VatId msg -> Maybe (Ptr msg)

Allocate s (VatId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => MutMsg s -> m (VatId (MutMsg s))

MutListElem s (VatId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

setIndex :: RWCtx m s => VatId (MutMsg s) -> Int -> List (MutMsg s) (VatId (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (VatId (MutMsg s)))

ListElem msg (VatId msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (VatId msg) :: *

Methods

length :: List msg (VatId msg) -> Int

index :: ReadCtx m msg => Int -> List msg (VatId msg) -> m (VatId msg)

IsPtr msg (List msg (VatId msg))

Defined in Capnp.Capnp.RpcTwoparty

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (VatId msg))

toPtr :: List msg (VatId msg) -> Maybe (Ptr msg)

MessageDefault (VatId msg)

Defined in Capnp.Capnp.RpcTwoparty

Methods

messageDefault :: InMessage (VatId msg) -> VatId msg

HasMessage (VatId msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

type InMessage (VatId msg) :: *

Methods

message :: VatId msg -> InMessage (VatId msg)

data List msg (VatId msg)

Defined in Capnp.Capnp.RpcTwoparty

data List msg (VatId msg) = List_VatId (ListOf msg (Struct msg))

type InMessage (VatId msg)

Defined in Capnp.Capnp.RpcTwoparty

type InMessage (VatId msg) = msg

get_VatId'side :: ReadCtx m msg => VatId msg -> m Side

set_VatId'side :: RWCtx m s => VatId (MutMsg s) -> Side -> m ()