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

Capnp.Gen.Capnp.RpcTwoparty

Documentation

data Side Source #

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

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 #

IsWord Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

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.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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)

newtype VatId msg Source #

Constructors

VatId'newtype_ (Struct msg) 

Instances

Instances details
ToStruct msg (VatId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toStruct :: VatId msg -> Struct msg Source #

FromStruct msg (VatId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (VatId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> VatId ('Mut s) -> m (Maybe (Ptr ('Mut s))) Source #

FromPtr msg (VatId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (VatId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (VatId ('Mut s)) Source #

MutListElem s (VatId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

ListElem mut (VatId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (VatId mut) Source #

Methods

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

toUntypedList :: List mut (VatId mut) -> List mut Source #

length :: List mut (VatId mut) -> Int Source #

index :: ReadCtx m mut => Int -> List mut (VatId mut) -> m (VatId mut) Source #

MessageDefault (VatId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (VatId mut) Source #

HasMessage (VatId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: VatId mut -> Message mut Source #

newtype List mut (VatId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

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

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

set_VatId'side :: RWCtx m s => VatId (Mut s) -> Side -> m () Source #

newtype ProvisionId msg Source #

Constructors

ProvisionId'newtype_ (Struct msg) 

Instances

Instances details
ToStruct msg (ProvisionId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toStruct :: ProvisionId msg -> Struct msg Source #

FromStruct msg (ProvisionId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (ProvisionId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> ProvisionId ('Mut s) -> m (Maybe (Ptr ('Mut s))) Source #

FromPtr msg (ProvisionId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (ProvisionId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (ProvisionId ('Mut s)) Source #

MutListElem s (ProvisionId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

ListElem mut (ProvisionId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (ProvisionId mut) Source #

Methods

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

toUntypedList :: List mut (ProvisionId mut) -> List mut Source #

length :: List mut (ProvisionId mut) -> Int Source #

index :: ReadCtx m mut => Int -> List mut (ProvisionId mut) -> m (ProvisionId mut) Source #

MessageDefault (ProvisionId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ProvisionId mut) Source #

HasMessage (ProvisionId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: ProvisionId mut -> Message mut Source #

newtype List mut (ProvisionId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

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

newtype RecipientId msg Source #

Constructors

RecipientId'newtype_ (Struct msg) 

Instances

Instances details
ToStruct msg (RecipientId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toStruct :: RecipientId msg -> Struct msg Source #

FromStruct msg (RecipientId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (RecipientId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> RecipientId ('Mut s) -> m (Maybe (Ptr ('Mut s))) Source #

FromPtr msg (RecipientId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (RecipientId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (RecipientId ('Mut s)) Source #

MutListElem s (RecipientId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

ListElem mut (RecipientId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (RecipientId mut) Source #

Methods

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

toUntypedList :: List mut (RecipientId mut) -> List mut Source #

length :: List mut (RecipientId mut) -> Int Source #

index :: ReadCtx m mut => Int -> List mut (RecipientId mut) -> m (RecipientId mut) Source #

MessageDefault (RecipientId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (RecipientId mut) Source #

HasMessage (RecipientId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: RecipientId mut -> Message mut Source #

newtype List mut (RecipientId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

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

newtype ThirdPartyCapId msg Source #

Constructors

ThirdPartyCapId'newtype_ (Struct msg) 

Instances

Instances details
ToStruct msg (ThirdPartyCapId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toStruct :: ThirdPartyCapId msg -> Struct msg Source #

FromStruct msg (ThirdPartyCapId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (ThirdPartyCapId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> ThirdPartyCapId ('Mut s) -> m (Maybe (Ptr ('Mut s))) Source #

FromPtr msg (ThirdPartyCapId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (ThirdPartyCapId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (ThirdPartyCapId ('Mut s)) Source #

MutListElem s (ThirdPartyCapId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

ListElem mut (ThirdPartyCapId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (ThirdPartyCapId mut) Source #

Methods

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

toUntypedList :: List mut (ThirdPartyCapId mut) -> List mut Source #

length :: List mut (ThirdPartyCapId mut) -> Int Source #

index :: ReadCtx m mut => Int -> List mut (ThirdPartyCapId mut) -> m (ThirdPartyCapId mut) Source #

MessageDefault (ThirdPartyCapId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ThirdPartyCapId mut) Source #

HasMessage (ThirdPartyCapId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: ThirdPartyCapId mut -> Message mut Source #

newtype List mut (ThirdPartyCapId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

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

newtype JoinKeyPart msg Source #

Constructors

JoinKeyPart'newtype_ (Struct msg) 

Instances

Instances details
ToStruct msg (JoinKeyPart msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toStruct :: JoinKeyPart msg -> Struct msg Source #

FromStruct msg (JoinKeyPart msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (JoinKeyPart ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> JoinKeyPart ('Mut s) -> m (Maybe (Ptr ('Mut s))) Source #

FromPtr msg (JoinKeyPart msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (JoinKeyPart ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (JoinKeyPart ('Mut s)) Source #

MutListElem s (JoinKeyPart ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

ListElem mut (JoinKeyPart mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (JoinKeyPart mut) Source #

Methods

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

toUntypedList :: List mut (JoinKeyPart mut) -> List mut Source #

length :: List mut (JoinKeyPart mut) -> Int Source #

index :: ReadCtx m mut => Int -> List mut (JoinKeyPart mut) -> m (JoinKeyPart mut) Source #

MessageDefault (JoinKeyPart mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (JoinKeyPart mut) Source #

HasMessage (JoinKeyPart mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: JoinKeyPart mut -> Message mut Source #

newtype List mut (JoinKeyPart mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

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

newtype JoinResult msg Source #

Constructors

JoinResult'newtype_ (Struct msg) 

Instances

Instances details
ToStruct msg (JoinResult msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toStruct :: JoinResult msg -> Struct msg Source #

FromStruct msg (JoinResult msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (JoinResult ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> JoinResult ('Mut s) -> m (Maybe (Ptr ('Mut s))) Source #

FromPtr msg (JoinResult msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (JoinResult ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (JoinResult ('Mut s)) Source #

MutListElem s (JoinResult ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

ListElem mut (JoinResult mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (JoinResult mut) Source #

Methods

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

toUntypedList :: List mut (JoinResult mut) -> List mut Source #

length :: List mut (JoinResult mut) -> Int Source #

index :: ReadCtx m mut => Int -> List mut (JoinResult mut) -> m (JoinResult mut) Source #

MessageDefault (JoinResult mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (JoinResult mut) Source #

HasMessage (JoinResult mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: JoinResult mut -> Message mut Source #

newtype List mut (JoinResult mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

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

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 #