Capnp.Gen.Capnp.Rpc

Documentation

newtype Message msg

Constructors

Message'newtype_ (Struct msg)

Instances

ToStruct msg (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Message msg -> Struct msg

FromStruct msg (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Message ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message0 ('Mut s) -> Message ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Message ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message0 ('Mut s) -> m (Message ('Mut s))

MutListElem s (Message ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Message ('Mut s) -> Int -> List ('Mut s) (Message ('Mut s)) -> m ()

newList :: WriteCtx m s => Message0 ('Mut s) -> Int -> m (List ('Mut s) (Message ('Mut s)))

ListElem mut (Message mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Message mut)

Methods

listFromPtr :: ReadCtx m mut => Message0 mut -> Maybe (Ptr mut) -> m (List mut (Message mut))

toUntypedList :: List mut (Message mut) -> List mut

length :: List mut (Message mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Message mut) -> m (Message mut)

MessageDefault (Message mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message0 mut -> m (Message mut)

HasMessage (Message mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Message mut -> Message0 mut

newtype List mut (Message mut)

Defined in Capnp.Gen.Capnp.Rpc

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

data Message' (mut :: Mutability)

Constructors

Message'unimplemented (Message mut)

Message'abort (Exception mut)

Message'call (Call mut)

Message'return (Return mut)

Message'finish (Finish mut)

Message'resolve (Resolve mut)

Message'release (Release mut)

Message'obsoleteSave (Maybe (Ptr mut))

Message'bootstrap (Bootstrap mut)

Message'obsoleteDelete (Maybe (Ptr mut))

Message'provide (Provide mut)

Message'accept (Accept mut)

Message'join (Join mut)

Message'disembargo (Disembargo mut)

Message'unknown' Word16

Instances

FromStruct mut (Message' mut)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Message' mut)

get_Message' :: (ReadCtx m msg, FromStruct msg (Message' msg)) => Message msg -> m (Message' msg)

set_Message'unimplemented :: (RWCtx m s, ToPtr s (Message (Mut s))) => Message (Mut s) -> Message (Mut s) -> m ()

set_Message'abort :: (RWCtx m s, ToPtr s (Exception (Mut s))) => Message (Mut s) -> Exception (Mut s) -> m ()

set_Message'call :: (RWCtx m s, ToPtr s (Call (Mut s))) => Message (Mut s) -> Call (Mut s) -> m ()

set_Message'return :: (RWCtx m s, ToPtr s (Return (Mut s))) => Message (Mut s) -> Return (Mut s) -> m ()

set_Message'finish :: (RWCtx m s, ToPtr s (Finish (Mut s))) => Message (Mut s) -> Finish (Mut s) -> m ()

set_Message'resolve :: (RWCtx m s, ToPtr s (Resolve (Mut s))) => Message (Mut s) -> Resolve (Mut s) -> m ()

set_Message'release :: (RWCtx m s, ToPtr s (Release (Mut s))) => Message (Mut s) -> Release (Mut s) -> m ()

set_Message'obsoleteSave :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Message (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

set_Message'bootstrap :: (RWCtx m s, ToPtr s (Bootstrap (Mut s))) => Message (Mut s) -> Bootstrap (Mut s) -> m ()

set_Message'obsoleteDelete :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Message (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

set_Message'provide :: (RWCtx m s, ToPtr s (Provide (Mut s))) => Message (Mut s) -> Provide (Mut s) -> m ()

set_Message'accept :: (RWCtx m s, ToPtr s (Accept (Mut s))) => Message (Mut s) -> Accept (Mut s) -> m ()

set_Message'join :: (RWCtx m s, ToPtr s (Join (Mut s))) => Message (Mut s) -> Join (Mut s) -> m ()

set_Message'disembargo :: (RWCtx m s, ToPtr s (Disembargo (Mut s))) => Message (Mut s) -> Disembargo (Mut s) -> m ()

set_Message'unknown' :: RWCtx m s => Message (Mut s) -> Word16 -> m ()

newtype Bootstrap msg

Constructors

Bootstrap'newtype_ (Struct msg)

Instances

ToStruct msg (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Bootstrap msg -> Struct msg

FromStruct msg (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Bootstrap ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Bootstrap ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Bootstrap ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Bootstrap ('Mut s))

MutListElem s (Bootstrap ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Bootstrap ('Mut s) -> Int -> List ('Mut s) (Bootstrap ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Bootstrap ('Mut s)))

ListElem mut (Bootstrap mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Bootstrap mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Bootstrap mut))

toUntypedList :: List mut (Bootstrap mut) -> List mut

length :: List mut (Bootstrap mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Bootstrap mut) -> m (Bootstrap mut)

MessageDefault (Bootstrap mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Bootstrap mut)

HasMessage (Bootstrap mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Bootstrap mut -> Message mut

newtype List mut (Bootstrap mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Bootstrap'questionId :: ReadCtx m msg => Bootstrap msg -> m Word32

set_Bootstrap'questionId :: RWCtx m s => Bootstrap (Mut s) -> Word32 -> m ()

get_Bootstrap'deprecatedObjectId :: (ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) => Bootstrap msg -> m (Maybe (Ptr msg))

set_Bootstrap'deprecatedObjectId :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Bootstrap (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

has_Bootstrap'deprecatedObjectId :: ReadCtx m msg => Bootstrap msg -> m Bool

newtype Call msg

Constructors

Call'newtype_ (Struct msg)

Instances

ToStruct msg (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Call msg -> Struct msg

FromStruct msg (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Call ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Call ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Call ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Call ('Mut s))

MutListElem s (Call ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Call ('Mut s) -> Int -> List ('Mut s) (Call ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Call ('Mut s)))

ListElem mut (Call mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Call mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Call mut))

toUntypedList :: List mut (Call mut) -> List mut

length :: List mut (Call mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Call mut) -> m (Call mut)

MessageDefault (Call mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Call mut)

HasMessage (Call mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Call mut -> Message mut

newtype List mut (Call mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Call'questionId :: ReadCtx m msg => Call msg -> m Word32

set_Call'questionId :: RWCtx m s => Call (Mut s) -> Word32 -> m ()

get_Call'target :: (ReadCtx m msg, FromPtr msg (MessageTarget msg)) => Call msg -> m (MessageTarget msg)

set_Call'target :: (RWCtx m s, ToPtr s (MessageTarget (Mut s))) => Call (Mut s) -> MessageTarget (Mut s) -> m ()

has_Call'target :: ReadCtx m msg => Call msg -> m Bool

new_Call'target :: RWCtx m s => Call (Mut s) -> m (MessageTarget (Mut s))

get_Call'interfaceId :: ReadCtx m msg => Call msg -> m Word64

set_Call'interfaceId :: RWCtx m s => Call (Mut s) -> Word64 -> m ()

get_Call'methodId :: ReadCtx m msg => Call msg -> m Word16

set_Call'methodId :: RWCtx m s => Call (Mut s) -> Word16 -> m ()

get_Call'params :: (ReadCtx m msg, FromPtr msg (Payload msg)) => Call msg -> m (Payload msg)

set_Call'params :: (RWCtx m s, ToPtr s (Payload (Mut s))) => Call (Mut s) -> Payload (Mut s) -> m ()

has_Call'params :: ReadCtx m msg => Call msg -> m Bool

new_Call'params :: RWCtx m s => Call (Mut s) -> m (Payload (Mut s))

get_Call'sendResultsTo :: (ReadCtx m msg, FromStruct msg (Call'sendResultsTo msg)) => Call msg -> m (Call'sendResultsTo msg)

get_Call'allowThirdPartyTailCall :: ReadCtx m msg => Call msg -> m Bool

set_Call'allowThirdPartyTailCall :: RWCtx m s => Call (Mut s) -> Bool -> m ()

newtype Call'sendResultsTo msg

Constructors

Call'sendResultsTo'newtype_ (Struct msg)

Instances

ToStruct msg (Call'sendResultsTo msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Call'sendResultsTo msg -> Struct msg

FromStruct msg (Call'sendResultsTo msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Call'sendResultsTo msg)

MessageDefault (Call'sendResultsTo mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Call'sendResultsTo mut)

HasMessage (Call'sendResultsTo mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Call'sendResultsTo mut -> Message mut

data Call'sendResultsTo' (mut :: Mutability)

Constructors

Call'sendResultsTo'caller

Call'sendResultsTo'yourself

Call'sendResultsTo'thirdParty (Maybe (Ptr mut))

Call'sendResultsTo'unknown' Word16

Instances

FromStruct mut (Call'sendResultsTo' mut)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Call'sendResultsTo' mut)

get_Call'sendResultsTo' :: (ReadCtx m msg, FromStruct msg (Call'sendResultsTo' msg)) => Call'sendResultsTo msg -> m (Call'sendResultsTo' msg)

set_Call'sendResultsTo'caller :: RWCtx m s => Call'sendResultsTo (Mut s) -> m ()

set_Call'sendResultsTo'yourself :: RWCtx m s => Call'sendResultsTo (Mut s) -> m ()

set_Call'sendResultsTo'thirdParty :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Call'sendResultsTo (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

set_Call'sendResultsTo'unknown' :: RWCtx m s => Call'sendResultsTo (Mut s) -> Word16 -> m ()

newtype Return msg

Constructors

Return'newtype_ (Struct msg)

Instances

ToStruct msg (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Return msg -> Struct msg

FromStruct msg (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Return ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Return ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Return ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Return ('Mut s))

MutListElem s (Return ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Return ('Mut s) -> Int -> List ('Mut s) (Return ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Return ('Mut s)))

ListElem mut (Return mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Return mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Return mut))

toUntypedList :: List mut (Return mut) -> List mut

length :: List mut (Return mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Return mut) -> m (Return mut)

MessageDefault (Return mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Return mut)

HasMessage (Return mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Return mut -> Message mut

newtype List mut (Return mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Return'answerId :: ReadCtx m msg => Return msg -> m Word32

set_Return'answerId :: RWCtx m s => Return (Mut s) -> Word32 -> m ()

get_Return'releaseParamCaps :: ReadCtx m msg => Return msg -> m Bool

set_Return'releaseParamCaps :: RWCtx m s => Return (Mut s) -> Bool -> m ()

data Return' (mut :: Mutability)

Constructors

Return'results (Payload mut)

Return'exception (Exception mut)

Return'canceled

Return'resultsSentElsewhere

Return'takeFromOtherQuestion Word32

Return'acceptFromThirdParty (Maybe (Ptr mut))

Return'unknown' Word16

Instances

FromStruct mut (Return' mut)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Return' mut)

get_Return' :: (ReadCtx m msg, FromStruct msg (Return' msg)) => Return msg -> m (Return' msg)

set_Return'results :: (RWCtx m s, ToPtr s (Payload (Mut s))) => Return (Mut s) -> Payload (Mut s) -> m ()

set_Return'exception :: (RWCtx m s, ToPtr s (Exception (Mut s))) => Return (Mut s) -> Exception (Mut s) -> m ()

set_Return'canceled :: RWCtx m s => Return (Mut s) -> m ()

set_Return'resultsSentElsewhere :: RWCtx m s => Return (Mut s) -> m ()

set_Return'takeFromOtherQuestion :: RWCtx m s => Return (Mut s) -> Word32 -> m ()

set_Return'acceptFromThirdParty :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Return (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

set_Return'unknown' :: RWCtx m s => Return (Mut s) -> Word16 -> m ()

newtype Finish msg

Constructors

Finish'newtype_ (Struct msg)

Instances

ToStruct msg (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Finish msg -> Struct msg

FromStruct msg (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Finish ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Finish ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Finish ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Finish ('Mut s))

MutListElem s (Finish ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Finish ('Mut s) -> Int -> List ('Mut s) (Finish ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Finish ('Mut s)))

ListElem mut (Finish mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Finish mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Finish mut))

toUntypedList :: List mut (Finish mut) -> List mut

length :: List mut (Finish mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Finish mut) -> m (Finish mut)

MessageDefault (Finish mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Finish mut)

HasMessage (Finish mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Finish mut -> Message mut

newtype List mut (Finish mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Finish'questionId :: ReadCtx m msg => Finish msg -> m Word32

set_Finish'questionId :: RWCtx m s => Finish (Mut s) -> Word32 -> m ()

get_Finish'releaseResultCaps :: ReadCtx m msg => Finish msg -> m Bool

set_Finish'releaseResultCaps :: RWCtx m s => Finish (Mut s) -> Bool -> m ()

newtype Resolve msg

Constructors

Resolve'newtype_ (Struct msg)

Instances

ToStruct msg (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Resolve msg -> Struct msg

FromStruct msg (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Resolve ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Resolve ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Resolve ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Resolve ('Mut s))

MutListElem s (Resolve ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Resolve ('Mut s) -> Int -> List ('Mut s) (Resolve ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Resolve ('Mut s)))

ListElem mut (Resolve mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Resolve mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Resolve mut))

toUntypedList :: List mut (Resolve mut) -> List mut

length :: List mut (Resolve mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Resolve mut) -> m (Resolve mut)

MessageDefault (Resolve mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Resolve mut)

HasMessage (Resolve mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Resolve mut -> Message mut

newtype List mut (Resolve mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Resolve'promiseId :: ReadCtx m msg => Resolve msg -> m Word32

set_Resolve'promiseId :: RWCtx m s => Resolve (Mut s) -> Word32 -> m ()

data Resolve' (mut :: Mutability)

Constructors

Resolve'cap (CapDescriptor mut)

Resolve'exception (Exception mut)

Resolve'unknown' Word16

Instances

FromStruct mut (Resolve' mut)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Resolve' mut)

get_Resolve' :: (ReadCtx m msg, FromStruct msg (Resolve' msg)) => Resolve msg -> m (Resolve' msg)

set_Resolve'cap :: (RWCtx m s, ToPtr s (CapDescriptor (Mut s))) => Resolve (Mut s) -> CapDescriptor (Mut s) -> m ()

set_Resolve'exception :: (RWCtx m s, ToPtr s (Exception (Mut s))) => Resolve (Mut s) -> Exception (Mut s) -> m ()

set_Resolve'unknown' :: RWCtx m s => Resolve (Mut s) -> Word16 -> m ()

newtype Release msg

Constructors

Release'newtype_ (Struct msg)

Instances

ToStruct msg (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Release msg -> Struct msg

FromStruct msg (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Release ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Release ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Release ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Release ('Mut s))

MutListElem s (Release ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Release ('Mut s) -> Int -> List ('Mut s) (Release ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Release ('Mut s)))

ListElem mut (Release mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Release mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Release mut))

toUntypedList :: List mut (Release mut) -> List mut

length :: List mut (Release mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Release mut) -> m (Release mut)

MessageDefault (Release mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Release mut)

HasMessage (Release mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Release mut -> Message mut

newtype List mut (Release mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Release'id :: ReadCtx m msg => Release msg -> m Word32

set_Release'id :: RWCtx m s => Release (Mut s) -> Word32 -> m ()

get_Release'referenceCount :: ReadCtx m msg => Release msg -> m Word32

set_Release'referenceCount :: RWCtx m s => Release (Mut s) -> Word32 -> m ()

newtype Disembargo msg

Constructors

Disembargo'newtype_ (Struct msg)

Instances

ToStruct msg (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Disembargo msg -> Struct msg

FromStruct msg (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Disembargo ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Disembargo ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Disembargo ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Disembargo ('Mut s))

MutListElem s (Disembargo ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Disembargo ('Mut s) -> Int -> List ('Mut s) (Disembargo ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Disembargo ('Mut s)))

ListElem mut (Disembargo mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Disembargo mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Disembargo mut))

toUntypedList :: List mut (Disembargo mut) -> List mut

length :: List mut (Disembargo mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Disembargo mut) -> m (Disembargo mut)

MessageDefault (Disembargo mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Disembargo mut)

HasMessage (Disembargo mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Disembargo mut -> Message mut

newtype List mut (Disembargo mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Disembargo'target :: (ReadCtx m msg, FromPtr msg (MessageTarget msg)) => Disembargo msg -> m (MessageTarget msg)

set_Disembargo'target :: (RWCtx m s, ToPtr s (MessageTarget (Mut s))) => Disembargo (Mut s) -> MessageTarget (Mut s) -> m ()

has_Disembargo'target :: ReadCtx m msg => Disembargo msg -> m Bool

new_Disembargo'target :: RWCtx m s => Disembargo (Mut s) -> m (MessageTarget (Mut s))

get_Disembargo'context :: (ReadCtx m msg, FromStruct msg (Disembargo'context msg)) => Disembargo msg -> m (Disembargo'context msg)

newtype Disembargo'context msg

Constructors

Disembargo'context'newtype_ (Struct msg)

Instances

ToStruct msg (Disembargo'context msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Disembargo'context msg -> Struct msg

FromStruct msg (Disembargo'context msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Disembargo'context msg)

MessageDefault (Disembargo'context mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Disembargo'context mut)

HasMessage (Disembargo'context mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Disembargo'context mut -> Message mut

data Disembargo'context' (mut :: Mutability)

Constructors

Disembargo'context'senderLoopback Word32

Disembargo'context'receiverLoopback Word32

Disembargo'context'accept

Disembargo'context'provide Word32

Disembargo'context'unknown' Word16

Instances

FromStruct mut (Disembargo'context' mut)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Disembargo'context' mut)

get_Disembargo'context' :: (ReadCtx m msg, FromStruct msg (Disembargo'context' msg)) => Disembargo'context msg -> m (Disembargo'context' msg)

set_Disembargo'context'senderLoopback :: RWCtx m s => Disembargo'context (Mut s) -> Word32 -> m ()

set_Disembargo'context'receiverLoopback :: RWCtx m s => Disembargo'context (Mut s) -> Word32 -> m ()

set_Disembargo'context'accept :: RWCtx m s => Disembargo'context (Mut s) -> m ()

set_Disembargo'context'provide :: RWCtx m s => Disembargo'context (Mut s) -> Word32 -> m ()

set_Disembargo'context'unknown' :: RWCtx m s => Disembargo'context (Mut s) -> Word16 -> m ()

newtype Provide msg

Constructors

Provide'newtype_ (Struct msg)

Instances

ToStruct msg (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Provide msg -> Struct msg

FromStruct msg (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Provide ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Provide ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Provide ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Provide ('Mut s))

MutListElem s (Provide ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Provide ('Mut s) -> Int -> List ('Mut s) (Provide ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Provide ('Mut s)))

ListElem mut (Provide mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Provide mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Provide mut))

toUntypedList :: List mut (Provide mut) -> List mut

length :: List mut (Provide mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Provide mut) -> m (Provide mut)

MessageDefault (Provide mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Provide mut)

HasMessage (Provide mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Provide mut -> Message mut

newtype List mut (Provide mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Provide'questionId :: ReadCtx m msg => Provide msg -> m Word32

set_Provide'questionId :: RWCtx m s => Provide (Mut s) -> Word32 -> m ()

get_Provide'target :: (ReadCtx m msg, FromPtr msg (MessageTarget msg)) => Provide msg -> m (MessageTarget msg)

set_Provide'target :: (RWCtx m s, ToPtr s (MessageTarget (Mut s))) => Provide (Mut s) -> MessageTarget (Mut s) -> m ()

has_Provide'target :: ReadCtx m msg => Provide msg -> m Bool

new_Provide'target :: RWCtx m s => Provide (Mut s) -> m (MessageTarget (Mut s))

get_Provide'recipient :: (ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) => Provide msg -> m (Maybe (Ptr msg))

set_Provide'recipient :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Provide (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

has_Provide'recipient :: ReadCtx m msg => Provide msg -> m Bool

newtype Accept msg

Constructors

Accept'newtype_ (Struct msg)

Instances

ToStruct msg (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Accept msg -> Struct msg

FromStruct msg (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Accept ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Accept ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Accept ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Accept ('Mut s))

MutListElem s (Accept ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Accept ('Mut s) -> Int -> List ('Mut s) (Accept ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Accept ('Mut s)))

ListElem mut (Accept mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Accept mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Accept mut))

toUntypedList :: List mut (Accept mut) -> List mut

length :: List mut (Accept mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Accept mut) -> m (Accept mut)

MessageDefault (Accept mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Accept mut)

HasMessage (Accept mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Accept mut -> Message mut

newtype List mut (Accept mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Accept'questionId :: ReadCtx m msg => Accept msg -> m Word32

set_Accept'questionId :: RWCtx m s => Accept (Mut s) -> Word32 -> m ()

get_Accept'provision :: (ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) => Accept msg -> m (Maybe (Ptr msg))

set_Accept'provision :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Accept (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

has_Accept'provision :: ReadCtx m msg => Accept msg -> m Bool

get_Accept'embargo :: ReadCtx m msg => Accept msg -> m Bool

set_Accept'embargo :: RWCtx m s => Accept (Mut s) -> Bool -> m ()

newtype Join msg

Constructors

Join'newtype_ (Struct msg)

Instances

ToStruct msg (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Join msg -> Struct msg

FromStruct msg (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Join ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Join ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Join ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Join ('Mut s))

MutListElem s (Join ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Join ('Mut s) -> Int -> List ('Mut s) (Join ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Join ('Mut s)))

ListElem mut (Join mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Join mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Join mut))

toUntypedList :: List mut (Join mut) -> List mut

length :: List mut (Join mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Join mut) -> m (Join mut)

MessageDefault (Join mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Join mut)

HasMessage (Join mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Join mut -> Message mut

newtype List mut (Join mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Join'questionId :: ReadCtx m msg => Join msg -> m Word32

set_Join'questionId :: RWCtx m s => Join (Mut s) -> Word32 -> m ()

get_Join'target :: (ReadCtx m msg, FromPtr msg (MessageTarget msg)) => Join msg -> m (MessageTarget msg)

set_Join'target :: (RWCtx m s, ToPtr s (MessageTarget (Mut s))) => Join (Mut s) -> MessageTarget (Mut s) -> m ()

has_Join'target :: ReadCtx m msg => Join msg -> m Bool

new_Join'target :: RWCtx m s => Join (Mut s) -> m (MessageTarget (Mut s))

get_Join'keyPart :: (ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) => Join msg -> m (Maybe (Ptr msg))

set_Join'keyPart :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Join (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

has_Join'keyPart :: ReadCtx m msg => Join msg -> m Bool

newtype MessageTarget msg

Constructors

MessageTarget'newtype_ (Struct msg)

Instances

ToStruct msg (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: MessageTarget msg -> Struct msg

FromStruct msg (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (MessageTarget ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> MessageTarget ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (MessageTarget ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (MessageTarget ('Mut s))

MutListElem s (MessageTarget ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => MessageTarget ('Mut s) -> Int -> List ('Mut s) (MessageTarget ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (MessageTarget ('Mut s)))

ListElem mut (MessageTarget mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (MessageTarget mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (MessageTarget mut))

toUntypedList :: List mut (MessageTarget mut) -> List mut

length :: List mut (MessageTarget mut) -> Int

index :: ReadCtx m mut => Int -> List mut (MessageTarget mut) -> m (MessageTarget mut)

MessageDefault (MessageTarget mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (MessageTarget mut)

HasMessage (MessageTarget mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: MessageTarget mut -> Message mut

newtype List mut (MessageTarget mut)

Defined in Capnp.Gen.Capnp.Rpc

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

data MessageTarget' (mut :: Mutability)

Constructors

MessageTarget'importedCap Word32

MessageTarget'promisedAnswer (PromisedAnswer mut)

MessageTarget'unknown' Word16

Instances

FromStruct mut (MessageTarget' mut)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (MessageTarget' mut)

get_MessageTarget' :: (ReadCtx m msg, FromStruct msg (MessageTarget' msg)) => MessageTarget msg -> m (MessageTarget' msg)

set_MessageTarget'importedCap :: RWCtx m s => MessageTarget (Mut s) -> Word32 -> m ()

set_MessageTarget'promisedAnswer :: (RWCtx m s, ToPtr s (PromisedAnswer (Mut s))) => MessageTarget (Mut s) -> PromisedAnswer (Mut s) -> m ()

set_MessageTarget'unknown' :: RWCtx m s => MessageTarget (Mut s) -> Word16 -> m ()

newtype Payload msg

Constructors

Payload'newtype_ (Struct msg)

Instances

ToStruct msg (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Payload msg -> Struct msg

FromStruct msg (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Payload ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Payload ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Payload ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Payload ('Mut s))

MutListElem s (Payload ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Payload ('Mut s) -> Int -> List ('Mut s) (Payload ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Payload ('Mut s)))

ListElem mut (Payload mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Payload mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Payload mut))

toUntypedList :: List mut (Payload mut) -> List mut

length :: List mut (Payload mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Payload mut) -> m (Payload mut)

MessageDefault (Payload mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Payload mut)

HasMessage (Payload mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Payload mut -> Message mut

newtype List mut (Payload mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Payload'content :: (ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) => Payload msg -> m (Maybe (Ptr msg))

set_Payload'content :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Payload (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

has_Payload'content :: ReadCtx m msg => Payload msg -> m Bool

get_Payload'capTable :: (ReadCtx m msg, FromPtr msg (List msg (CapDescriptor msg))) => Payload msg -> m (List msg (CapDescriptor msg))

set_Payload'capTable :: (RWCtx m s, ToPtr s (List (Mut s) (CapDescriptor (Mut s)))) => Payload (Mut s) -> List (Mut s) (CapDescriptor (Mut s)) -> m ()

has_Payload'capTable :: ReadCtx m msg => Payload msg -> m Bool

new_Payload'capTable :: RWCtx m s => Int -> Payload (Mut s) -> m (List (Mut s) (CapDescriptor (Mut s)))

newtype CapDescriptor msg

Constructors

CapDescriptor'newtype_ (Struct msg)

Instances

ToStruct msg (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: CapDescriptor msg -> Struct msg

FromStruct msg (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (CapDescriptor ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> CapDescriptor ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (CapDescriptor ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (CapDescriptor ('Mut s))

MutListElem s (CapDescriptor ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => CapDescriptor ('Mut s) -> Int -> List ('Mut s) (CapDescriptor ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (CapDescriptor ('Mut s)))

ListElem mut (CapDescriptor mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (CapDescriptor mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (CapDescriptor mut))

toUntypedList :: List mut (CapDescriptor mut) -> List mut

length :: List mut (CapDescriptor mut) -> Int

index :: ReadCtx m mut => Int -> List mut (CapDescriptor mut) -> m (CapDescriptor mut)

MessageDefault (CapDescriptor mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (CapDescriptor mut)

HasMessage (CapDescriptor mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: CapDescriptor mut -> Message mut

newtype List mut (CapDescriptor mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_CapDescriptor'attachedFd :: ReadCtx m msg => CapDescriptor msg -> m Word8

set_CapDescriptor'attachedFd :: RWCtx m s => CapDescriptor (Mut s) -> Word8 -> m ()

data CapDescriptor' (mut :: Mutability)

Constructors

CapDescriptor'none

CapDescriptor'senderHosted Word32

CapDescriptor'senderPromise Word32

CapDescriptor'receiverHosted Word32

CapDescriptor'receiverAnswer (PromisedAnswer mut)

CapDescriptor'thirdPartyHosted (ThirdPartyCapDescriptor mut)

CapDescriptor'unknown' Word16

Instances

FromStruct mut (CapDescriptor' mut)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (CapDescriptor' mut)

get_CapDescriptor' :: (ReadCtx m msg, FromStruct msg (CapDescriptor' msg)) => CapDescriptor msg -> m (CapDescriptor' msg)

set_CapDescriptor'none :: RWCtx m s => CapDescriptor (Mut s) -> m ()

set_CapDescriptor'senderHosted :: RWCtx m s => CapDescriptor (Mut s) -> Word32 -> m ()

set_CapDescriptor'senderPromise :: RWCtx m s => CapDescriptor (Mut s) -> Word32 -> m ()

set_CapDescriptor'receiverHosted :: RWCtx m s => CapDescriptor (Mut s) -> Word32 -> m ()

set_CapDescriptor'receiverAnswer :: (RWCtx m s, ToPtr s (PromisedAnswer (Mut s))) => CapDescriptor (Mut s) -> PromisedAnswer (Mut s) -> m ()

set_CapDescriptor'thirdPartyHosted :: (RWCtx m s, ToPtr s (ThirdPartyCapDescriptor (Mut s))) => CapDescriptor (Mut s) -> ThirdPartyCapDescriptor (Mut s) -> m ()

set_CapDescriptor'unknown' :: RWCtx m s => CapDescriptor (Mut s) -> Word16 -> m ()

newtype PromisedAnswer msg

Constructors

PromisedAnswer'newtype_ (Struct msg)

Instances

ToStruct msg (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: PromisedAnswer msg -> Struct msg

FromStruct msg (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (PromisedAnswer ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> PromisedAnswer ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (PromisedAnswer ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (PromisedAnswer ('Mut s))

MutListElem s (PromisedAnswer ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => PromisedAnswer ('Mut s) -> Int -> List ('Mut s) (PromisedAnswer ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (PromisedAnswer ('Mut s)))

ListElem mut (PromisedAnswer mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (PromisedAnswer mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (PromisedAnswer mut))

toUntypedList :: List mut (PromisedAnswer mut) -> List mut

length :: List mut (PromisedAnswer mut) -> Int

index :: ReadCtx m mut => Int -> List mut (PromisedAnswer mut) -> m (PromisedAnswer mut)

MessageDefault (PromisedAnswer mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (PromisedAnswer mut)

HasMessage (PromisedAnswer mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: PromisedAnswer mut -> Message mut

newtype List mut (PromisedAnswer mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_PromisedAnswer'questionId :: ReadCtx m msg => PromisedAnswer msg -> m Word32

set_PromisedAnswer'questionId :: RWCtx m s => PromisedAnswer (Mut s) -> Word32 -> m ()

get_PromisedAnswer'transform :: (ReadCtx m msg, FromPtr msg (List msg (PromisedAnswer'Op msg))) => PromisedAnswer msg -> m (List msg (PromisedAnswer'Op msg))

set_PromisedAnswer'transform :: (RWCtx m s, ToPtr s (List (Mut s) (PromisedAnswer'Op (Mut s)))) => PromisedAnswer (Mut s) -> List (Mut s) (PromisedAnswer'Op (Mut s)) -> m ()

has_PromisedAnswer'transform :: ReadCtx m msg => PromisedAnswer msg -> m Bool

new_PromisedAnswer'transform :: RWCtx m s => Int -> PromisedAnswer (Mut s) -> m (List (Mut s) (PromisedAnswer'Op (Mut s)))

newtype PromisedAnswer'Op msg

Constructors

PromisedAnswer'Op'newtype_ (Struct msg)

Instances

ToStruct msg (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: PromisedAnswer'Op msg -> Struct msg

FromStruct msg (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (PromisedAnswer'Op msg)

ToPtr s (PromisedAnswer'Op ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> PromisedAnswer'Op ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (PromisedAnswer'Op msg)

Allocate s (PromisedAnswer'Op ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (PromisedAnswer'Op ('Mut s))

MutListElem s (PromisedAnswer'Op ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => PromisedAnswer'Op ('Mut s) -> Int -> List ('Mut s) (PromisedAnswer'Op ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (PromisedAnswer'Op ('Mut s)))

ListElem mut (PromisedAnswer'Op mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (PromisedAnswer'Op mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (PromisedAnswer'Op mut))

toUntypedList :: List mut (PromisedAnswer'Op mut) -> List mut

length :: List mut (PromisedAnswer'Op mut) -> Int

index :: ReadCtx m mut => Int -> List mut (PromisedAnswer'Op mut) -> m (PromisedAnswer'Op mut)

MessageDefault (PromisedAnswer'Op mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (PromisedAnswer'Op mut)

HasMessage (PromisedAnswer'Op mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: PromisedAnswer'Op mut -> Message mut

newtype List mut (PromisedAnswer'Op mut)

Defined in Capnp.Gen.Capnp.Rpc

newtype List mut (PromisedAnswer'Op mut) = PromisedAnswer'Op'List_ (ListOf mut (Struct mut))

data PromisedAnswer'Op' (mut :: Mutability)

Constructors

PromisedAnswer'Op'noop

PromisedAnswer'Op'getPointerField Word16

PromisedAnswer'Op'unknown' Word16

Instances

FromStruct mut (PromisedAnswer'Op' mut)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (PromisedAnswer'Op' mut)

get_PromisedAnswer'Op' :: (ReadCtx m msg, FromStruct msg (PromisedAnswer'Op' msg)) => PromisedAnswer'Op msg -> m (PromisedAnswer'Op' msg)

set_PromisedAnswer'Op'noop :: RWCtx m s => PromisedAnswer'Op (Mut s) -> m ()

set_PromisedAnswer'Op'getPointerField :: RWCtx m s => PromisedAnswer'Op (Mut s) -> Word16 -> m ()

set_PromisedAnswer'Op'unknown' :: RWCtx m s => PromisedAnswer'Op (Mut s) -> Word16 -> m ()

newtype ThirdPartyCapDescriptor msg

Constructors

ThirdPartyCapDescriptor'newtype_ (Struct msg)

Instances

ToStruct msg (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: ThirdPartyCapDescriptor msg -> Struct msg

FromStruct msg (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (ThirdPartyCapDescriptor ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> ThirdPartyCapDescriptor ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (ThirdPartyCapDescriptor ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (ThirdPartyCapDescriptor ('Mut s))

MutListElem s (ThirdPartyCapDescriptor ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => ThirdPartyCapDescriptor ('Mut s) -> Int -> List ('Mut s) (ThirdPartyCapDescriptor ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (ThirdPartyCapDescriptor ('Mut s)))

ListElem mut (ThirdPartyCapDescriptor mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (ThirdPartyCapDescriptor mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (ThirdPartyCapDescriptor mut))

toUntypedList :: List mut (ThirdPartyCapDescriptor mut) -> List mut

length :: List mut (ThirdPartyCapDescriptor mut) -> Int

index :: ReadCtx m mut => Int -> List mut (ThirdPartyCapDescriptor mut) -> m (ThirdPartyCapDescriptor mut)

MessageDefault (ThirdPartyCapDescriptor mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ThirdPartyCapDescriptor mut)

HasMessage (ThirdPartyCapDescriptor mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: ThirdPartyCapDescriptor mut -> Message mut

newtype List mut (ThirdPartyCapDescriptor mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_ThirdPartyCapDescriptor'id :: (ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) => ThirdPartyCapDescriptor msg -> m (Maybe (Ptr msg))

set_ThirdPartyCapDescriptor'id :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => ThirdPartyCapDescriptor (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

has_ThirdPartyCapDescriptor'id :: ReadCtx m msg => ThirdPartyCapDescriptor msg -> m Bool

get_ThirdPartyCapDescriptor'vineId :: ReadCtx m msg => ThirdPartyCapDescriptor msg -> m Word32

set_ThirdPartyCapDescriptor'vineId :: RWCtx m s => ThirdPartyCapDescriptor (Mut s) -> Word32 -> m ()

newtype Exception msg

Constructors

Exception'newtype_ (Struct msg)

Instances

ToStruct msg (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

toStruct :: Exception msg -> Struct msg

FromStruct msg (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Exception ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Exception ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Exception ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Exception ('Mut s))

MutListElem s (Exception ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Exception ('Mut s) -> Int -> List ('Mut s) (Exception ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Exception ('Mut s)))

ListElem mut (Exception mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Exception mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Exception mut))

toUntypedList :: List mut (Exception mut) -> List mut

length :: List mut (Exception mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Exception mut) -> m (Exception mut)

MessageDefault (Exception mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Exception mut)

HasMessage (Exception mut) mut

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Exception mut -> Message mut

newtype List mut (Exception mut)

Defined in Capnp.Gen.Capnp.Rpc

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

get_Exception'reason :: (ReadCtx m msg, FromPtr msg (Text msg)) => Exception msg -> m (Text msg)

set_Exception'reason :: (RWCtx m s, ToPtr s (Text (Mut s))) => Exception (Mut s) -> Text (Mut s) -> m ()

has_Exception'reason :: ReadCtx m msg => Exception msg -> m Bool

new_Exception'reason :: RWCtx m s => Int -> Exception (Mut s) -> m (Text (Mut s))

get_Exception'obsoleteIsCallersFault :: ReadCtx m msg => Exception msg -> m Bool

set_Exception'obsoleteIsCallersFault :: RWCtx m s => Exception (Mut s) -> Bool -> m ()

get_Exception'obsoleteDurability :: ReadCtx m msg => Exception msg -> m Word16

set_Exception'obsoleteDurability :: RWCtx m s => Exception (Mut s) -> Word16 -> m ()

get_Exception'type_ :: ReadCtx m msg => Exception msg -> m Exception'Type

set_Exception'type_ :: RWCtx m s => Exception (Mut s) -> Exception'Type -> m ()

data Exception'Type

Constructors

Exception'Type'failed

Exception'Type'overloaded

Exception'Type'disconnected

Exception'Type'unimplemented

Exception'Type'unknown' Word16

Instances

Enum Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

succ :: Exception'Type -> Exception'Type

pred :: Exception'Type -> Exception'Type

toEnum :: Int -> Exception'Type

fromEnum :: Exception'Type -> Int

enumFrom :: Exception'Type -> [Exception'Type]

enumFromThen :: Exception'Type -> Exception'Type -> [Exception'Type]

enumFromTo :: Exception'Type -> Exception'Type -> [Exception'Type]

enumFromThenTo :: Exception'Type -> Exception'Type -> Exception'Type -> [Exception'Type]

Eq Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Exception'Type -> Exception'Type -> Bool

(/=) :: Exception'Type -> Exception'Type -> Bool

Read Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

readsPrec :: Int -> ReadS Exception'Type

readList :: ReadS [Exception'Type]

readPrec :: ReadPrec Exception'Type

readListPrec :: ReadPrec [Exception'Type]

Show Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Exception'Type -> ShowS

show :: Exception'Type -> String

showList :: [Exception'Type] -> ShowS

Generic Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep Exception'Type :: Type -> Type

Methods

from :: Exception'Type -> Rep Exception'Type x

to :: Rep Exception'Type x -> Exception'Type

Decerialize Exception'Type

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Exception'Type

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Exception'Type -> m Exception'Type

IsWord Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromWord :: Word64 -> Exception'Type

toWord :: Exception'Type -> Word64

Cerialize s Exception'Type

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Exception'Type -> m (Cerial ('Mut s) Exception'Type)

MutListElem s Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

setIndex :: RWCtx m s => Exception'Type -> Int -> List ('Mut s) Exception'Type -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) Exception'Type)

ListElem mut Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut Exception'Type

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut Exception'Type)

toUntypedList :: List mut Exception'Type -> List mut

length :: List mut Exception'Type -> Int

index :: ReadCtx m mut => Int -> List mut Exception'Type -> m Exception'Type

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Exception'Type))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Exception'Type))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Exception'Type)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Exception'Type)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Exception'Type)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Exception'Type))))))

Cerialize s (Vector (Vector (Vector (Vector Exception'Type))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Exception'Type))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Exception'Type)))))

Cerialize s (Vector (Vector (Vector Exception'Type)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Exception'Type)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Exception'Type))))

Cerialize s (Vector (Vector Exception'Type))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Exception'Type) -> m (Cerial ('Mut s) (Vector (Vector Exception'Type)))

Cerialize s (Vector Exception'Type)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Exception'Type -> m (Cerial ('Mut s) (Vector Exception'Type))

type Rep Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

type Rep Exception'Type = D1 ('MetaData "Exception'Type" "Capnp.Gen.Capnp.Rpc" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) ((C1 ('MetaCons "Exception'Type'failed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Exception'Type'overloaded" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Exception'Type'disconnected" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Exception'Type'unimplemented" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Exception'Type'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))

type Cerial msg Exception'Type

Defined in Capnp.Gen.Capnp.Rpc.Pure

type Cerial msg Exception'Type = Exception'Type

newtype List mut Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

newtype List mut Exception'Type = Exception'Type'List_ (ListOf mut Word16)