Capnp.Gen.Capnp.Rpc

Documentation

newtype Message msg

Constructors

Message'newtype_ (Struct msg)

Instances

TraverseMsg Message

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Message msgA -> m (Message msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Message (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Message (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Message msg) :: Type

Methods

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

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

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

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

MessageDefault (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Message msg) :: Type

Methods

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

newtype List msg (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Message msg) = msg

data Message' msg

Constructors

Message'unimplemented (Message msg)

Message'abort (Exception msg)

Message'call (Call msg)

Message'return (Return msg)

Message'finish (Finish msg)

Message'resolve (Resolve msg)

Message'release (Release msg)

Message'obsoleteSave (Maybe (Ptr msg))

Message'bootstrap (Bootstrap msg)

Message'obsoleteDelete (Maybe (Ptr msg))

Message'provide (Provide msg)

Message'accept (Accept msg)

Message'join (Join msg)

Message'disembargo (Disembargo msg)

Message'unknown' Word16

Instances

FromStruct msg (Message' msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

set_Message'unimplemented :: RWCtx m s => Message (MutMsg s) -> Message (MutMsg s) -> m ()

set_Message'abort :: RWCtx m s => Message (MutMsg s) -> Exception (MutMsg s) -> m ()

set_Message'call :: RWCtx m s => Message (MutMsg s) -> Call (MutMsg s) -> m ()

set_Message'return :: RWCtx m s => Message (MutMsg s) -> Return (MutMsg s) -> m ()

set_Message'finish :: RWCtx m s => Message (MutMsg s) -> Finish (MutMsg s) -> m ()

set_Message'resolve :: RWCtx m s => Message (MutMsg s) -> Resolve (MutMsg s) -> m ()

set_Message'release :: RWCtx m s => Message (MutMsg s) -> Release (MutMsg s) -> m ()

set_Message'obsoleteSave :: RWCtx m s => Message (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()

set_Message'bootstrap :: RWCtx m s => Message (MutMsg s) -> Bootstrap (MutMsg s) -> m ()

set_Message'obsoleteDelete :: RWCtx m s => Message (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()

set_Message'provide :: RWCtx m s => Message (MutMsg s) -> Provide (MutMsg s) -> m ()

set_Message'accept :: RWCtx m s => Message (MutMsg s) -> Accept (MutMsg s) -> m ()

set_Message'join :: RWCtx m s => Message (MutMsg s) -> Join (MutMsg s) -> m ()

set_Message'disembargo :: RWCtx m s => Message (MutMsg s) -> Disembargo (MutMsg s) -> m ()

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

newtype Bootstrap msg

Constructors

Bootstrap'newtype_ (Struct msg)

Instances

TraverseMsg Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Bootstrap msgA -> m (Bootstrap msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Bootstrap (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Bootstrap (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Bootstrap msg) :: Type

Methods

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

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

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

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

MessageDefault (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Bootstrap msg) :: Type

Methods

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

newtype List msg (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Bootstrap msg) = msg

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

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

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

set_Bootstrap'deprecatedObjectId :: RWCtx m s => Bootstrap (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()

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

newtype Call msg

Constructors

Call'newtype_ (Struct msg)

Instances

TraverseMsg Call

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Call msgA -> m (Call msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Call (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Call (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Call msg) :: Type

Methods

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

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

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

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

MessageDefault (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Call msg) :: Type

Methods

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

newtype List msg (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Call msg) = msg

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

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

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

set_Call'target :: RWCtx m s => Call (MutMsg s) -> MessageTarget (MutMsg s) -> m ()

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

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

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

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

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

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

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

set_Call'params :: RWCtx m s => Call (MutMsg s) -> Payload (MutMsg s) -> m ()

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

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

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

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

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

newtype Call'sendResultsTo msg

Constructors

Call'sendResultsTo'newtype_ (Struct msg)

Instances

TraverseMsg Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Call'sendResultsTo msgA -> m (Call'sendResultsTo msgB)

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

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Call'sendResultsTo msg) -> Call'sendResultsTo msg

HasMessage (Call'sendResultsTo msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Call'sendResultsTo msg) :: Type

Methods

message :: Call'sendResultsTo msg -> InMessage (Call'sendResultsTo msg)

type InMessage (Call'sendResultsTo msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Call'sendResultsTo msg) = msg

data Call'sendResultsTo' msg

Constructors

Call'sendResultsTo'caller

Call'sendResultsTo'yourself

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

Call'sendResultsTo'unknown' Word16

Instances

FromStruct msg (Call'sendResultsTo' msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

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

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

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

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

newtype Return msg

Constructors

Return'newtype_ (Struct msg)

Instances

TraverseMsg Return

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Return msgA -> m (Return msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Return (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Return (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Return msg) :: Type

Methods

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

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

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

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

MessageDefault (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Return msg) :: Type

Methods

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

newtype List msg (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Return msg) = msg

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

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

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

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

data Return' msg

Constructors

Return'results (Payload msg)

Return'exception (Exception msg)

Return'canceled

Return'resultsSentElsewhere

Return'takeFromOtherQuestion Word32

Return'acceptFromThirdParty (Maybe (Ptr msg))

Return'unknown' Word16

Instances

FromStruct msg (Return' msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

set_Return'results :: RWCtx m s => Return (MutMsg s) -> Payload (MutMsg s) -> m ()

set_Return'exception :: RWCtx m s => Return (MutMsg s) -> Exception (MutMsg s) -> m ()

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

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

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

set_Return'acceptFromThirdParty :: RWCtx m s => Return (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()

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

newtype Finish msg

Constructors

Finish'newtype_ (Struct msg)

Instances

TraverseMsg Finish

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Finish msgA -> m (Finish msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Finish (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Finish (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Finish msg) :: Type

Methods

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

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

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

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

MessageDefault (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Finish msg) :: Type

Methods

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

newtype List msg (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Finish msg) = msg

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

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

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

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

newtype Resolve msg

Constructors

Resolve'newtype_ (Struct msg)

Instances

TraverseMsg Resolve

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Resolve msgA -> m (Resolve msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Resolve (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Resolve (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Resolve msg) :: Type

Methods

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

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

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

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

MessageDefault (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Resolve msg) :: Type

Methods

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

newtype List msg (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Resolve msg) = msg

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

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

data Resolve' msg

Constructors

Resolve'cap (CapDescriptor msg)

Resolve'exception (Exception msg)

Resolve'unknown' Word16

Instances

FromStruct msg (Resolve' msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

set_Resolve'cap :: RWCtx m s => Resolve (MutMsg s) -> CapDescriptor (MutMsg s) -> m ()

set_Resolve'exception :: RWCtx m s => Resolve (MutMsg s) -> Exception (MutMsg s) -> m ()

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

newtype Release msg

Constructors

Release'newtype_ (Struct msg)

Instances

TraverseMsg Release

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Release msgA -> m (Release msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Release (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Release (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Release msg) :: Type

Methods

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

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

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

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

MessageDefault (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Release msg) :: Type

Methods

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

newtype List msg (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Release msg) = msg

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

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

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

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

newtype Disembargo msg

Constructors

Disembargo'newtype_ (Struct msg)

Instances

TraverseMsg Disembargo

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Disembargo msgA -> m (Disembargo msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Disembargo (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Disembargo (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Disembargo msg) :: Type

Methods

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

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

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

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

MessageDefault (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Disembargo msg) :: Type

Methods

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

newtype List msg (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Disembargo msg) = msg

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

set_Disembargo'target :: RWCtx m s => Disembargo (MutMsg s) -> MessageTarget (MutMsg s) -> m ()

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

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

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

newtype Disembargo'context msg

Constructors

Disembargo'context'newtype_ (Struct msg)

Instances

TraverseMsg Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Disembargo'context msgA -> m (Disembargo'context msgB)

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

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Disembargo'context msg) -> Disembargo'context msg

HasMessage (Disembargo'context msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Disembargo'context msg) :: Type

Methods

message :: Disembargo'context msg -> InMessage (Disembargo'context msg)

type InMessage (Disembargo'context msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Disembargo'context msg) = msg

data Disembargo'context' msg

Constructors

Disembargo'context'senderLoopback Word32

Disembargo'context'receiverLoopback Word32

Disembargo'context'accept

Disembargo'context'provide Word32

Disembargo'context'unknown' Word16

Instances

FromStruct msg (Disembargo'context' msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

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

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

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

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

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

newtype Provide msg

Constructors

Provide'newtype_ (Struct msg)

Instances

TraverseMsg Provide

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Provide msgA -> m (Provide msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Provide (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Provide (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Provide msg) :: Type

Methods

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

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

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

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

MessageDefault (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Provide msg) :: Type

Methods

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

newtype List msg (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Provide msg) = msg

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

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

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

set_Provide'target :: RWCtx m s => Provide (MutMsg s) -> MessageTarget (MutMsg s) -> m ()

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

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

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

set_Provide'recipient :: RWCtx m s => Provide (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()

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

newtype Accept msg

Constructors

Accept'newtype_ (Struct msg)

Instances

TraverseMsg Accept

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Accept msgA -> m (Accept msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Accept (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Accept (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Accept msg) :: Type

Methods

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

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

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

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

MessageDefault (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Accept msg) :: Type

Methods

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

newtype List msg (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Accept msg) = msg

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

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

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

set_Accept'provision :: RWCtx m s => Accept (MutMsg s) -> Maybe (Ptr (MutMsg 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 (MutMsg s) -> Bool -> m ()

newtype Join msg

Constructors

Join'newtype_ (Struct msg)

Instances

TraverseMsg Join

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Join msgA -> m (Join msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Join (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Join (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Join msg) :: Type

Methods

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

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

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

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

MessageDefault (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Join msg) :: Type

Methods

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

newtype List msg (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Join msg) = msg

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

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

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

set_Join'target :: RWCtx m s => Join (MutMsg s) -> MessageTarget (MutMsg s) -> m ()

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

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

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

set_Join'keyPart :: RWCtx m s => Join (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()

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

newtype MessageTarget msg

Constructors

MessageTarget'newtype_ (Struct msg)

Instances

TraverseMsg MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> MessageTarget msgA -> m (MessageTarget msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (MessageTarget (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (MessageTarget (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (MessageTarget msg) :: Type

Methods

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

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

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

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

MessageDefault (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (MessageTarget msg) :: Type

Methods

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

newtype List msg (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (MessageTarget msg) = msg

data MessageTarget' msg

Constructors

MessageTarget'importedCap Word32

MessageTarget'promisedAnswer (PromisedAnswer msg)

MessageTarget'unknown' Word16

Instances

FromStruct msg (MessageTarget' msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

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

set_MessageTarget'promisedAnswer :: RWCtx m s => MessageTarget (MutMsg s) -> PromisedAnswer (MutMsg s) -> m ()

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

newtype Payload msg

Constructors

Payload'newtype_ (Struct msg)

Instances

TraverseMsg Payload

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Payload msgA -> m (Payload msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Payload (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Payload (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Payload msg) :: Type

Methods

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

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

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

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

MessageDefault (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Payload msg) :: Type

Methods

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

newtype List msg (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Payload msg) = msg

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

set_Payload'content :: RWCtx m s => Payload (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()

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

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

set_Payload'capTable :: RWCtx m s => Payload (MutMsg s) -> List (MutMsg s) (CapDescriptor (MutMsg s)) -> m ()

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

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

newtype CapDescriptor msg

Constructors

CapDescriptor'newtype_ (Struct msg)

Instances

TraverseMsg CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> CapDescriptor msgA -> m (CapDescriptor msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (CapDescriptor (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (CapDescriptor (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (CapDescriptor msg) :: Type

Methods

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

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

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

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

MessageDefault (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (CapDescriptor msg) :: Type

Methods

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

newtype List msg (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (CapDescriptor msg) = msg

data CapDescriptor' msg

Constructors

CapDescriptor'none

CapDescriptor'senderHosted Word32

CapDescriptor'senderPromise Word32

CapDescriptor'receiverHosted Word32

CapDescriptor'receiverAnswer (PromisedAnswer msg)

CapDescriptor'thirdPartyHosted (ThirdPartyCapDescriptor msg)

CapDescriptor'unknown' Word16

Instances

FromStruct msg (CapDescriptor' msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

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

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

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

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

set_CapDescriptor'receiverAnswer :: RWCtx m s => CapDescriptor (MutMsg s) -> PromisedAnswer (MutMsg s) -> m ()

set_CapDescriptor'thirdPartyHosted :: RWCtx m s => CapDescriptor (MutMsg s) -> ThirdPartyCapDescriptor (MutMsg s) -> m ()

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

newtype PromisedAnswer msg

Constructors

PromisedAnswer'newtype_ (Struct msg)

Instances

TraverseMsg PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> PromisedAnswer msgA -> m (PromisedAnswer msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (PromisedAnswer (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (PromisedAnswer (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (PromisedAnswer msg) :: Type

Methods

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

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

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

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

MessageDefault (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (PromisedAnswer msg) :: Type

Methods

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

newtype List msg (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (PromisedAnswer msg) = msg

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

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

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

set_PromisedAnswer'transform :: RWCtx m s => PromisedAnswer (MutMsg s) -> List (MutMsg s) (PromisedAnswer'Op (MutMsg s)) -> m ()

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

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

newtype PromisedAnswer'Op msg

Constructors

PromisedAnswer'Op'newtype_ (Struct msg)

Instances

TraverseMsg PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> PromisedAnswer'Op msgA -> m (PromisedAnswer'Op msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (PromisedAnswer'Op (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (PromisedAnswer'Op (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (PromisedAnswer'Op msg) :: Type

Methods

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

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

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

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

MessageDefault (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (PromisedAnswer'Op msg) -> PromisedAnswer'Op msg

HasMessage (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (PromisedAnswer'Op msg) :: Type

Methods

message :: PromisedAnswer'Op msg -> InMessage (PromisedAnswer'Op msg)

newtype List msg (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (PromisedAnswer'Op msg) = msg

data PromisedAnswer'Op' msg

Constructors

PromisedAnswer'Op'noop

PromisedAnswer'Op'getPointerField Word16

PromisedAnswer'Op'unknown' Word16

Instances

FromStruct msg (PromisedAnswer'Op' msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

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

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

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

newtype ThirdPartyCapDescriptor msg

Constructors

ThirdPartyCapDescriptor'newtype_ (Struct msg)

Instances

TraverseMsg ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> ThirdPartyCapDescriptor msgA -> m (ThirdPartyCapDescriptor msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (ThirdPartyCapDescriptor (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (ThirdPartyCapDescriptor (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (ThirdPartyCapDescriptor msg) :: Type

Methods

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

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

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

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

MessageDefault (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (ThirdPartyCapDescriptor msg) :: Type

Methods

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

newtype List msg (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (ThirdPartyCapDescriptor msg) = msg

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

set_ThirdPartyCapDescriptor'id :: RWCtx m s => ThirdPartyCapDescriptor (MutMsg s) -> Maybe (Ptr (MutMsg 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 (MutMsg s) -> Word32 -> m ()

newtype Exception msg

Constructors

Exception'newtype_ (Struct msg)

Instances

TraverseMsg Exception

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Exception msgA -> m (Exception msgB)

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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

FromPtr msg (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Exception (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

MutListElem s (Exception (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Exception msg) :: Type

Methods

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

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

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

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

MessageDefault (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

HasMessage (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Exception msg) :: Type

Methods

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

newtype List msg (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

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

type InMessage (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

type InMessage (Exception msg) = msg

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

set_Exception'reason :: RWCtx m s => Exception (MutMsg s) -> Text (MutMsg s) -> m ()

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

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

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

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

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

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

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

set_Exception'type_ :: RWCtx m s => Exception (MutMsg 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

Cerialize Exception'Type

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Decerialize Exception'Type

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Exception'Type :: Type

Methods

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

IsWord Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromWord :: Word64 -> Exception'Type

toWord :: Exception'Type -> Word64

MutListElem s Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

ListElem msg Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg Exception'Type :: Type

Methods

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

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

length :: List msg Exception'Type -> Int

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

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

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

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

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

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

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

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

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize (Vector (Vector Exception'Type))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize (Vector Exception'Type)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector Exception'Type -> m (Cerial (MutMsg 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.6.0.0-kmuWJKkOwSDLq91ugTnNR" 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 msg Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

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