Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
VatId'newtype_ (Struct msg) |
Instances
TraverseMsg VatId Source # | |
Defined in Capnp.Gen.Capnp.RpcTwoparty | |
ToStruct msg (VatId msg) Source # | |
FromStruct msg (VatId msg) Source # | |
Defined in Capnp.Gen.Capnp.RpcTwoparty | |
ToPtr s (VatId (MutMsg s)) Source # | |
FromPtr msg (VatId msg) Source # | |
Allocate s (VatId (MutMsg s)) Source # | |
MutListElem s (VatId (MutMsg s)) Source # | |
ListElem msg (VatId msg) Source # | |
Defined in Capnp.Gen.Capnp.RpcTwoparty | |
MessageDefault (VatId msg) Source # | |
Defined in Capnp.Gen.Capnp.RpcTwoparty | |
HasMessage (VatId msg) Source # | |
newtype List msg (VatId msg) Source # | |
Defined in Capnp.Gen.Capnp.RpcTwoparty | |
type InMessage (VatId msg) Source # | |
Defined in Capnp.Gen.Capnp.RpcTwoparty |
newtype ProvisionId msg Source #
ProvisionId'newtype_ (Struct msg) |
Instances
get_ProvisionId'joinId :: ReadCtx m msg => ProvisionId msg -> m Word32 Source #
set_ProvisionId'joinId :: RWCtx m s => ProvisionId (MutMsg s) -> Word32 -> m () Source #
newtype RecipientId msg Source #
RecipientId'newtype_ (Struct msg) |
Instances
newtype ThirdPartyCapId msg Source #
Instances
newtype JoinKeyPart msg Source #
JoinKeyPart'newtype_ (Struct msg) |
Instances
get_JoinKeyPart'joinId :: ReadCtx m msg => JoinKeyPart msg -> m Word32 Source #
set_JoinKeyPart'joinId :: RWCtx m s => JoinKeyPart (MutMsg s) -> Word32 -> m () Source #
get_JoinKeyPart'partCount :: ReadCtx m msg => JoinKeyPart msg -> m Word16 Source #
set_JoinKeyPart'partCount :: RWCtx m s => JoinKeyPart (MutMsg s) -> Word16 -> m () Source #
get_JoinKeyPart'partNum :: ReadCtx m msg => JoinKeyPart msg -> m Word16 Source #
set_JoinKeyPart'partNum :: RWCtx m s => JoinKeyPart (MutMsg s) -> Word16 -> m () Source #
newtype JoinResult msg Source #
JoinResult'newtype_ (Struct msg) |
Instances
get_JoinResult'joinId :: ReadCtx m msg => JoinResult msg -> m Word32 Source #
set_JoinResult'joinId :: RWCtx m s => JoinResult (MutMsg s) -> Word32 -> m () Source #
get_JoinResult'succeeded :: ReadCtx m msg => JoinResult msg -> m Bool Source #
set_JoinResult'succeeded :: RWCtx m s => JoinResult (MutMsg s) -> Bool -> m () Source #
get_JoinResult'cap :: ReadCtx m msg => JoinResult msg -> m (Maybe (Ptr msg)) Source #
set_JoinResult'cap :: RWCtx m s => JoinResult (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m () Source #
has_JoinResult'cap :: ReadCtx m msg => JoinResult msg -> m Bool Source #