Capnp.Gen.Capnp.RpcTwoparty

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 msg Side

Methods

decerialize :: ReadCtx m ConstMsg => Cerial ConstMsg 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 => MutMsg s -> Side -> m (Cerial (MutMsg s) Side)

MutListElem s Side

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

Associated Types

data List msg Side

Methods

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

toUntypedList :: List msg Side -> List msg

length :: List msg Side -> Int

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

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

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector (Vector (Vector (Vector (Vector Side))))) -> m (Cerial (MutMsg 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 => MutMsg s -> Vector (Vector (Vector (Vector (Vector Side)))) -> m (Cerial (MutMsg 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 => MutMsg s -> Vector (Vector (Vector (Vector Side))) -> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Side)))))

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

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector (Vector Side)) -> m (Cerial (MutMsg s) (Vector (Vector (Vector Side))))

Cerialize s (Vector (Vector Side))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector Side) -> m (Cerial (MutMsg s) (Vector (Vector Side)))

Cerialize s (Vector Side)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector Side -> m (Cerial (MutMsg s) (Vector Side))

type Rep Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep Side = D1 ('MetaData "Side" "Capnp.Gen.Capnp.RpcTwoparty" "capnp-0.8.0.0-GCjrmYaekqlKa81VtWWpNE" '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 msg Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

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

newtype VatId msg

Constructors

VatId'newtype_ (Struct msg)

Instances

ToStruct msg (VatId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toStruct :: VatId msg -> Struct msg

FromStruct msg (VatId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (VatId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => MutMsg s -> VatId (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (VatId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (VatId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

MutListElem s (VatId (MutMsg s))

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

Associated Types

data List msg (VatId msg)

Methods

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

toUntypedList :: List msg (VatId msg) -> List msg

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

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

MessageDefault (VatId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

HasMessage (VatId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (VatId msg)

Methods

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

newtype List msg (VatId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

newtype List msg (VatId msg) = VatId'List_ (ListOf msg (Struct msg))

type InMessage (VatId msg)

Defined in Capnp.Gen.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 ()

newtype ProvisionId msg

Constructors

ProvisionId'newtype_ (Struct msg)

Instances

ToStruct msg (ProvisionId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toStruct :: ProvisionId msg -> Struct msg

FromStruct msg (ProvisionId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (ProvisionId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => MutMsg s -> ProvisionId (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (ProvisionId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (ProvisionId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

MutListElem s (ProvisionId (MutMsg s))

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

Associated Types

data List msg (ProvisionId msg)

Methods

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

toUntypedList :: List msg (ProvisionId msg) -> List msg

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

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

MessageDefault (ProvisionId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

HasMessage (ProvisionId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (ProvisionId msg)

Methods

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

newtype List msg (ProvisionId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

newtype List msg (ProvisionId msg) = ProvisionId'List_ (ListOf msg (Struct msg))

type InMessage (ProvisionId msg)

Defined in Capnp.Gen.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 ()

newtype RecipientId msg

Constructors

RecipientId'newtype_ (Struct msg)

Instances

ToStruct msg (RecipientId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toStruct :: RecipientId msg -> Struct msg

FromStruct msg (RecipientId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (RecipientId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => MutMsg s -> RecipientId (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (RecipientId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (RecipientId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

MutListElem s (RecipientId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

ListElem msg (RecipientId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (RecipientId msg)

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (RecipientId msg))

toUntypedList :: List msg (RecipientId msg) -> List msg

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

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

MessageDefault (RecipientId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

HasMessage (RecipientId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (RecipientId msg)

Methods

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

newtype List msg (RecipientId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

newtype List msg (RecipientId msg) = RecipientId'List_ (ListOf msg (Struct msg))

type InMessage (RecipientId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

type InMessage (RecipientId msg) = msg

newtype ThirdPartyCapId msg

Constructors

ThirdPartyCapId'newtype_ (Struct msg)

Instances

ToStruct msg (ThirdPartyCapId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toStruct :: ThirdPartyCapId msg -> Struct msg

FromStruct msg (ThirdPartyCapId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (ThirdPartyCapId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => MutMsg s -> ThirdPartyCapId (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (ThirdPartyCapId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (ThirdPartyCapId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

MutListElem s (ThirdPartyCapId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

ListElem msg (ThirdPartyCapId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (ThirdPartyCapId msg)

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (ThirdPartyCapId msg))

toUntypedList :: List msg (ThirdPartyCapId msg) -> List msg

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

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

MessageDefault (ThirdPartyCapId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

HasMessage (ThirdPartyCapId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (ThirdPartyCapId msg)

Methods

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

newtype List msg (ThirdPartyCapId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

newtype List msg (ThirdPartyCapId msg) = ThirdPartyCapId'List_ (ListOf msg (Struct msg))

type InMessage (ThirdPartyCapId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

type InMessage (ThirdPartyCapId msg) = msg

newtype JoinKeyPart msg

Constructors

JoinKeyPart'newtype_ (Struct msg)

Instances

ToStruct msg (JoinKeyPart msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toStruct :: JoinKeyPart msg -> Struct msg

FromStruct msg (JoinKeyPart msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (JoinKeyPart (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => MutMsg s -> JoinKeyPart (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (JoinKeyPart msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (JoinKeyPart (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

MutListElem s (JoinKeyPart (MutMsg s))

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

Associated Types

data List msg (JoinKeyPart msg)

Methods

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

toUntypedList :: List msg (JoinKeyPart msg) -> List msg

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

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

MessageDefault (JoinKeyPart msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

HasMessage (JoinKeyPart msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (JoinKeyPart msg)

Methods

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

newtype List msg (JoinKeyPart msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

newtype List msg (JoinKeyPart msg) = JoinKeyPart'List_ (ListOf msg (Struct msg))

type InMessage (JoinKeyPart msg)

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

Methods

toStruct :: JoinResult msg -> Struct msg

FromStruct msg (JoinResult msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (JoinResult (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => MutMsg s -> JoinResult (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (JoinResult msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (JoinResult (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

MutListElem s (JoinResult (MutMsg s))

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

Associated Types

data List msg (JoinResult msg)

Methods

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

toUntypedList :: List msg (JoinResult msg) -> List msg

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

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

MessageDefault (JoinResult msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

HasMessage (JoinResult msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (JoinResult msg)

Methods

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

newtype List msg (JoinResult msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

newtype List msg (JoinResult msg) = JoinResult'List_ (ListOf msg (Struct msg))

type InMessage (JoinResult msg)

Defined in Capnp.Gen.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, FromPtr msg (Maybe (Ptr msg))) => JoinResult msg -> m (Maybe (Ptr msg))

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

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