Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
VatId'newtype_ (Struct msg) |
Instances
ToStruct msg (VatId msg) Source # | |
FromStruct msg (VatId msg) Source # | |
Defined in Capnp.Gen.Capnp.RpcTwoparty | |
ToPtr s (VatId ('Mut s)) Source # | |
FromPtr msg (VatId msg) Source # | |
Allocate s (VatId ('Mut s)) Source # | |
MutListElem s (VatId ('Mut s)) Source # | |
ListElem mut (VatId mut) Source # | |
Defined in Capnp.Gen.Capnp.RpcTwoparty | |
MessageDefault (VatId mut) mut Source # | |
Defined in Capnp.Gen.Capnp.RpcTwoparty | |
HasMessage (VatId mut) mut Source # | |
newtype List mut (VatId mut) 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 (Mut 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 (Mut s) -> Word32 -> m () Source #
get_JoinKeyPart'partCount :: ReadCtx m msg => JoinKeyPart msg -> m Word16 Source #
set_JoinKeyPart'partCount :: RWCtx m s => JoinKeyPart (Mut s) -> Word16 -> m () Source #
get_JoinKeyPart'partNum :: ReadCtx m msg => JoinKeyPart msg -> m Word16 Source #
set_JoinKeyPart'partNum :: RWCtx m s => JoinKeyPart (Mut 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 (Mut s) -> Word32 -> m () Source #
get_JoinResult'succeeded :: ReadCtx m msg => JoinResult msg -> m Bool Source #
set_JoinResult'succeeded :: RWCtx m s => JoinResult (Mut s) -> Bool -> m () Source #
get_JoinResult'cap :: (ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) => JoinResult msg -> m (Maybe (Ptr msg)) Source #
set_JoinResult'cap :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => JoinResult (Mut s) -> Maybe (Ptr (Mut s)) -> m () Source #
has_JoinResult'cap :: ReadCtx m msg => JoinResult msg -> m Bool Source #