capnp-0.7.0.0: Cap'n Proto for Haskell

Safe HaskellNone
LanguageHaskell2010

Capnp

Contents

Description

This module re-exports the most commonly used functionality from other modules in the library.

Users getting acquainted with the library are *strongly* encouraged to read the Capnp.Tutorial module before anything else.

Synopsis

Working with capnproto lists

class ListElem msg e where Source #

Types which may be stored as an element of a capnproto list.

Associated Types

data List msg e Source #

The type of lists of e stored in messages of type msg

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg e) Source #

Convert an untyped list to a list of this type. May fail with a SchemaViolationError if the list does not have the correct representation.

TODO: this is basically just fromPtr; refactor so this is less redundant.

toUntypedList :: List msg e -> List msg Source #

length :: List msg e -> Int Source #

Get the length of a list.

index :: ReadCtx m msg => Int -> List msg e -> m e Source #

index i list gets the ith element of a list.

Instances
ListElem msg Bool Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Bool :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Bool) Source #

toUntypedList :: List msg Bool -> List msg Source #

length :: List msg Bool -> Int Source #

index :: ReadCtx m msg => Int -> List msg Bool -> m Bool Source #

ListElem msg Double Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Double :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Double) Source #

toUntypedList :: List msg Double -> List msg Source #

length :: List msg Double -> Int Source #

index :: ReadCtx m msg => Int -> List msg Double -> m Double Source #

ListElem msg Float Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Float :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Float) Source #

toUntypedList :: List msg Float -> List msg Source #

length :: List msg Float -> Int Source #

index :: ReadCtx m msg => Int -> List msg Float -> m Float Source #

ListElem msg Word64 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Word64 :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Word64) Source #

toUntypedList :: List msg Word64 -> List msg Source #

length :: List msg Word64 -> Int Source #

index :: ReadCtx m msg => Int -> List msg Word64 -> m Word64 Source #

ListElem msg Word32 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Word32 :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Word32) Source #

toUntypedList :: List msg Word32 -> List msg Source #

length :: List msg Word32 -> Int Source #

index :: ReadCtx m msg => Int -> List msg Word32 -> m Word32 Source #

ListElem msg Word16 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Word16 :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Word16) Source #

toUntypedList :: List msg Word16 -> List msg Source #

length :: List msg Word16 -> Int Source #

index :: ReadCtx m msg => Int -> List msg Word16 -> m Word16 Source #

ListElem msg Word8 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Word8 :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Word8) Source #

toUntypedList :: List msg Word8 -> List msg Source #

length :: List msg Word8 -> Int Source #

index :: ReadCtx m msg => Int -> List msg Word8 -> m Word8 Source #

ListElem msg Int64 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Int64 :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Int64) Source #

toUntypedList :: List msg Int64 -> List msg Source #

length :: List msg Int64 -> Int Source #

index :: ReadCtx m msg => Int -> List msg Int64 -> m Int64 Source #

ListElem msg Int32 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Int32 :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Int32) Source #

toUntypedList :: List msg Int32 -> List msg Source #

length :: List msg Int32 -> Int Source #

index :: ReadCtx m msg => Int -> List msg Int32 -> m Int32 Source #

ListElem msg Int16 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Int16 :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Int16) Source #

toUntypedList :: List msg Int16 -> List msg Source #

length :: List msg Int16 -> Int Source #

index :: ReadCtx m msg => Int -> List msg Int16 -> m Int16 Source #

ListElem msg Int8 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Int8 :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg Int8) Source #

toUntypedList :: List msg Int8 -> List msg Source #

length :: List msg Int8 -> Int Source #

index :: ReadCtx m msg => Int -> List msg Int8 -> m Int8 Source #

ListElem msg ElementSize Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg ElementSize :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg ElementSize) Source #

toUntypedList :: List msg ElementSize -> List msg Source #

length :: List msg ElementSize -> Int Source #

index :: ReadCtx m msg => Int -> List msg ElementSize -> m ElementSize Source #

ListElem msg Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg Side :: Type Source #

Methods

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

toUntypedList :: List msg Side -> List msg Source #

length :: List msg Side -> Int Source #

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

ListElem msg Exception'Type Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg Exception'Type :: Type Source #

ListElem msg (Text msg) Source # 
Instance details

Defined in Capnp.Basics

Associated Types

data List msg (Text msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Text msg)) Source #

toUntypedList :: List msg (Text msg) -> List msg Source #

length :: List msg (Text msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Text msg) -> m (Text msg) Source #

ListElem msg (Data msg) Source # 
Instance details

Defined in Capnp.Basics

Associated Types

data List msg (Data msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Data msg)) Source #

toUntypedList :: List msg (Data msg) -> List msg Source #

length :: List msg (Data msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Data msg) -> m (Data msg) Source #

ListElem msg (StreamResult msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream

Associated Types

data List msg (StreamResult msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (StreamResult msg)) Source #

toUntypedList :: List msg (StreamResult msg) -> List msg Source #

length :: List msg (StreamResult msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (StreamResult msg) -> m (StreamResult msg) Source #

ListElem msg (CodeGeneratorRequest'RequestedFile'Import msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest'RequestedFile'Import msg) :: Type Source #

ListElem msg (CodeGeneratorRequest'RequestedFile msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest'RequestedFile msg) :: Type Source #

ListElem msg (CodeGeneratorRequest msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (CodeGeneratorRequest msg)) Source #

toUntypedList :: List msg (CodeGeneratorRequest msg) -> List msg Source #

length :: List msg (CodeGeneratorRequest msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (CodeGeneratorRequest msg) -> m (CodeGeneratorRequest msg) Source #

ListElem msg (CapnpVersion msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (CapnpVersion msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (CapnpVersion msg)) Source #

toUntypedList :: List msg (CapnpVersion msg) -> List msg Source #

length :: List msg (CapnpVersion msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (CapnpVersion msg) -> m (CapnpVersion msg) Source #

ListElem msg (Annotation msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Annotation msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Annotation msg)) Source #

toUntypedList :: List msg (Annotation msg) -> List msg Source #

length :: List msg (Annotation msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Annotation msg) -> m (Annotation msg) Source #

ListElem msg (Value msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Value msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Value msg)) Source #

toUntypedList :: List msg (Value msg) -> List msg Source #

length :: List msg (Value msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Value msg) -> m (Value msg) Source #

ListElem msg (Brand'Binding msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Brand'Binding msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Brand'Binding msg)) Source #

toUntypedList :: List msg (Brand'Binding msg) -> List msg Source #

length :: List msg (Brand'Binding msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Brand'Binding msg) -> m (Brand'Binding msg) Source #

ListElem msg (Brand'Scope msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Brand'Scope msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Brand'Scope msg)) Source #

toUntypedList :: List msg (Brand'Scope msg) -> List msg Source #

length :: List msg (Brand'Scope msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Brand'Scope msg) -> m (Brand'Scope msg) Source #

ListElem msg (Brand msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Brand msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Brand msg)) Source #

toUntypedList :: List msg (Brand msg) -> List msg Source #

length :: List msg (Brand msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Brand msg) -> m (Brand msg) Source #

ListElem msg (Type msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Type msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Type msg)) Source #

toUntypedList :: List msg (Type msg) -> List msg Source #

length :: List msg (Type msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Type msg) -> m (Type msg) Source #

ListElem msg (Method msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Method msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Method msg)) Source #

toUntypedList :: List msg (Method msg) -> List msg Source #

length :: List msg (Method msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Method msg) -> m (Method msg) Source #

ListElem msg (Superclass msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Superclass msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Superclass msg)) Source #

toUntypedList :: List msg (Superclass msg) -> List msg Source #

length :: List msg (Superclass msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Superclass msg) -> m (Superclass msg) Source #

ListElem msg (Enumerant msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Enumerant msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Enumerant msg)) Source #

toUntypedList :: List msg (Enumerant msg) -> List msg Source #

length :: List msg (Enumerant msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Enumerant msg) -> m (Enumerant msg) Source #

ListElem msg (Field msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Field msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Field msg)) Source #

toUntypedList :: List msg (Field msg) -> List msg Source #

length :: List msg (Field msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Field msg) -> m (Field msg) Source #

ListElem msg (Node'SourceInfo'Member msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Node'SourceInfo'Member msg) :: Type Source #

ListElem msg (Node'SourceInfo msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Node'SourceInfo msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Node'SourceInfo msg)) Source #

toUntypedList :: List msg (Node'SourceInfo msg) -> List msg Source #

length :: List msg (Node'SourceInfo msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Node'SourceInfo msg) -> m (Node'SourceInfo msg) Source #

ListElem msg (Node'NestedNode msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Node'NestedNode msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Node'NestedNode msg)) Source #

toUntypedList :: List msg (Node'NestedNode msg) -> List msg Source #

length :: List msg (Node'NestedNode msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Node'NestedNode msg) -> m (Node'NestedNode msg) Source #

ListElem msg (Node'Parameter msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Node'Parameter msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Node'Parameter msg)) Source #

toUntypedList :: List msg (Node'Parameter msg) -> List msg Source #

length :: List msg (Node'Parameter msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Node'Parameter msg) -> m (Node'Parameter msg) Source #

ListElem msg (Node msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Node msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Node msg)) Source #

toUntypedList :: List msg (Node msg) -> List msg Source #

length :: List msg (Node msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Node msg) -> m (Node msg) Source #

ListElem msg (JoinResult msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (JoinResult msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (JoinKeyPart msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (JoinKeyPart msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (ThirdPartyCapId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (ThirdPartyCapId msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (RecipientId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (RecipientId msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (ProvisionId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (ProvisionId msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (VatId msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (VatId msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Exception msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Exception msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (ThirdPartyCapDescriptor msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (ThirdPartyCapDescriptor msg) :: Type Source #

ListElem msg (PromisedAnswer'Op msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

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

Methods

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

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

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

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

ListElem msg (PromisedAnswer msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (PromisedAnswer msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (CapDescriptor msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (CapDescriptor msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Payload msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Payload msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (MessageTarget msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (MessageTarget msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Join msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Join msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Accept msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Accept msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Provide msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Provide msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Disembargo msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Disembargo msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Release msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Release msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Resolve msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Resolve msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Finish msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Finish msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Return msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Return msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Call msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Call msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Bootstrap msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Bootstrap msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (Message msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Message msg) :: Type Source #

Methods

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

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

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

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

ListElem msg (RealmGateway'export'params msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

data List msg (RealmGateway'export'params msg) :: Type Source #

ListElem msg (RealmGateway'import'params msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

data List msg (RealmGateway'import'params msg) :: Type Source #

ListElem msg (Persistent'SaveResults msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

data List msg (Persistent'SaveResults msg) :: Type Source #

ListElem msg (Persistent'SaveParams msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

data List msg (Persistent'SaveParams msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Persistent'SaveParams msg)) Source #

toUntypedList :: List msg (Persistent'SaveParams msg) -> List msg Source #

length :: List msg (Persistent'SaveParams msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Persistent'SaveParams msg) -> m (Persistent'SaveParams msg) Source #

ListElem msg (DiscriminatorOptions msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List msg (DiscriminatorOptions msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (DiscriminatorOptions msg)) Source #

toUntypedList :: List msg (DiscriminatorOptions msg) -> List msg Source #

length :: List msg (DiscriminatorOptions msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (DiscriminatorOptions msg) -> m (DiscriminatorOptions msg) Source #

ListElem msg (FlattenOptions msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List msg (FlattenOptions msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (FlattenOptions msg)) Source #

toUntypedList :: List msg (FlattenOptions msg) -> List msg Source #

length :: List msg (FlattenOptions msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (FlattenOptions msg) -> m (FlattenOptions msg) Source #

ListElem msg (Value'Call msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List msg (Value'Call msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Value'Call msg)) Source #

toUntypedList :: List msg (Value'Call msg) -> List msg Source #

length :: List msg (Value'Call msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Value'Call msg) -> m (Value'Call msg) Source #

ListElem msg (Value'Field msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List msg (Value'Field msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Value'Field msg)) Source #

toUntypedList :: List msg (Value'Field msg) -> List msg Source #

length :: List msg (Value'Field msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Value'Field msg) -> m (Value'Field msg) Source #

ListElem msg (Value msg) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List msg (Value msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Value msg)) Source #

toUntypedList :: List msg (Value msg) -> List msg Source #

length :: List msg (Value msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Value msg) -> m (Value msg) Source #

ListElem msg e => ListElem msg (List msg e) Source # 
Instance details

Defined in Capnp.Classes

Associated Types

data List msg (List msg e) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (List msg e)) Source #

toUntypedList :: List msg (List msg e) -> List0 msg Source #

length :: List msg (List msg e) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (List msg e) -> m (List msg e) Source #

class ListElem (MutMsg s) e => MutListElem s e where Source #

Types which may be stored as an element of a *mutable* capnproto list.

Methods

setIndex :: RWCtx m s => e -> Int -> List (MutMsg s) e -> m () Source #

setIndex value i list sets the ith index in list to value

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) e) Source #

newList msg size allocates and returns a new list of length size inside msg.

Instances
MutListElem s Bool Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

setIndex :: RWCtx m s => Bool -> Int -> List (MutMsg s) Bool -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Bool) Source #

MutListElem s Double Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

setIndex :: RWCtx m s => Double -> Int -> List (MutMsg s) Double -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Double) Source #

MutListElem s Float Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

setIndex :: RWCtx m s => Float -> Int -> List (MutMsg s) Float -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Float) Source #

MutListElem s Word64 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

setIndex :: RWCtx m s => Word64 -> Int -> List (MutMsg s) Word64 -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Word64) Source #

MutListElem s Word32 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

setIndex :: RWCtx m s => Word32 -> Int -> List (MutMsg s) Word32 -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Word32) Source #

MutListElem s Word16 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

setIndex :: RWCtx m s => Word16 -> Int -> List (MutMsg s) Word16 -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Word16) Source #

MutListElem s Word8 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

setIndex :: RWCtx m s => Word8 -> Int -> List (MutMsg s) Word8 -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Word8) Source #

MutListElem s Int64 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

setIndex :: RWCtx m s => Int64 -> Int -> List (MutMsg s) Int64 -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Int64) Source #

MutListElem s Int32 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

setIndex :: RWCtx m s => Int32 -> Int -> List (MutMsg s) Int32 -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Int32) Source #

MutListElem s Int16 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

setIndex :: RWCtx m s => Int16 -> Int -> List (MutMsg s) Int16 -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Int16) Source #

MutListElem s Int8 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

setIndex :: RWCtx m s => Int8 -> Int -> List (MutMsg s) Int8 -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Int8) Source #

MutListElem s ElementSize Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => ElementSize -> Int -> List (MutMsg s) ElementSize -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) ElementSize) Source #

MutListElem s Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

setIndex :: RWCtx m s => Side -> Int -> List (MutMsg s) Side -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) Side) Source #

MutListElem s Exception'Type Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

MutListElem s (Text (MutMsg s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

setIndex :: RWCtx m s => Text (MutMsg s) -> Int -> List (MutMsg s) (Text (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Text (MutMsg s))) Source #

MutListElem s (Data (MutMsg s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

setIndex :: RWCtx m s => Data (MutMsg s) -> Int -> List (MutMsg s) (Data (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Data (MutMsg s))) Source #

MutListElem s (StreamResult (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream

Methods

setIndex :: RWCtx m s => StreamResult (MutMsg s) -> Int -> List (MutMsg s) (StreamResult (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (StreamResult (MutMsg s))) Source #

MutListElem s (CodeGeneratorRequest'RequestedFile'Import (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

MutListElem s (CodeGeneratorRequest'RequestedFile (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

MutListElem s (CodeGeneratorRequest (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

MutListElem s (CapnpVersion (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => CapnpVersion (MutMsg s) -> Int -> List (MutMsg s) (CapnpVersion (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (CapnpVersion (MutMsg s))) Source #

MutListElem s (Annotation (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Annotation (MutMsg s) -> Int -> List (MutMsg s) (Annotation (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Annotation (MutMsg s))) Source #

MutListElem s (Value (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Value (MutMsg s) -> Int -> List (MutMsg s) (Value (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Value (MutMsg s))) Source #

MutListElem s (Brand'Binding (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Brand'Binding (MutMsg s) -> Int -> List (MutMsg s) (Brand'Binding (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Brand'Binding (MutMsg s))) Source #

MutListElem s (Brand'Scope (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Brand'Scope (MutMsg s) -> Int -> List (MutMsg s) (Brand'Scope (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Brand'Scope (MutMsg s))) Source #

MutListElem s (Brand (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Brand (MutMsg s) -> Int -> List (MutMsg s) (Brand (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Brand (MutMsg s))) Source #

MutListElem s (Type (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type (MutMsg s) -> Int -> List (MutMsg s) (Type (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type (MutMsg s))) Source #

MutListElem s (Method (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Method (MutMsg s) -> Int -> List (MutMsg s) (Method (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Method (MutMsg s))) Source #

MutListElem s (Superclass (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Superclass (MutMsg s) -> Int -> List (MutMsg s) (Superclass (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Superclass (MutMsg s))) Source #

MutListElem s (Enumerant (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Enumerant (MutMsg s) -> Int -> List (MutMsg s) (Enumerant (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Enumerant (MutMsg s))) Source #

MutListElem s (Field (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Field (MutMsg s) -> Int -> List (MutMsg s) (Field (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Field (MutMsg s))) Source #

MutListElem s (Node'SourceInfo'Member (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

MutListElem s (Node'SourceInfo (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'SourceInfo (MutMsg s) -> Int -> List (MutMsg s) (Node'SourceInfo (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node'SourceInfo (MutMsg s))) Source #

MutListElem s (Node'NestedNode (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'NestedNode (MutMsg s) -> Int -> List (MutMsg s) (Node'NestedNode (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node'NestedNode (MutMsg s))) Source #

MutListElem s (Node'Parameter (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'Parameter (MutMsg s) -> Int -> List (MutMsg s) (Node'Parameter (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node'Parameter (MutMsg s))) Source #

MutListElem s (Node (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node (MutMsg s) -> Int -> List (MutMsg s) (Node (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node (MutMsg s))) Source #

MutListElem s (JoinResult (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (JoinResult (MutMsg s))) Source #

MutListElem s (JoinKeyPart (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (JoinKeyPart (MutMsg s))) Source #

MutListElem s (ThirdPartyCapId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (RecipientId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (ProvisionId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (ProvisionId (MutMsg s))) Source #

MutListElem s (VatId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (VatId (MutMsg s))) Source #

MutListElem s (Exception (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (ThirdPartyCapDescriptor (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

MutListElem s (PromisedAnswer'Op (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (CapDescriptor (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Payload (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (MessageTarget (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Join (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Accept (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Provide (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Disembargo (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Release (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Resolve (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Finish (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Return (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Call (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Bootstrap (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Message (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (RealmGateway'export'params (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

MutListElem s (RealmGateway'import'params (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

MutListElem s (Persistent'SaveResults (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

MutListElem s (Persistent'SaveParams (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

MutListElem s (DiscriminatorOptions (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

MutListElem s (FlattenOptions (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => FlattenOptions (MutMsg s) -> Int -> List (MutMsg s) (FlattenOptions (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (FlattenOptions (MutMsg s))) Source #

MutListElem s (Value'Call (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => Value'Call (MutMsg s) -> Int -> List (MutMsg s) (Value'Call (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Value'Call (MutMsg s))) Source #

MutListElem s (Value'Field (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => Value'Field (MutMsg s) -> Int -> List (MutMsg s) (Value'Field (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Value'Field (MutMsg s))) Source #

MutListElem s (Value (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => Value (MutMsg s) -> Int -> List (MutMsg s) (Value (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Value (MutMsg s))) Source #

MutListElem s e => MutListElem s (List (MutMsg s) e) Source # 
Instance details

Defined in Capnp.Classes

Methods

setIndex :: RWCtx m s => List (MutMsg s) e -> Int -> List (MutMsg s) (List (MutMsg s) e) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (List (MutMsg s) e)) Source #

Working with capnproto Text and Data values.

data Data msg Source #

A blob of bytes (Data in capnproto's schema language). The argument to the data constructor is a slice into the message, containing the raw bytes.

Instances
ToPtr s (Data (MutMsg s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

toPtr :: WriteCtx m s => MutMsg s -> Data (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

FromPtr msg (Data msg) Source # 
Instance details

Defined in Capnp.Basics

Methods

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

MutListElem s (Data (MutMsg s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

setIndex :: RWCtx m s => Data (MutMsg s) -> Int -> List (MutMsg s) (Data (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Data (MutMsg s))) Source #

ListElem msg (Data msg) Source # 
Instance details

Defined in Capnp.Basics

Associated Types

data List msg (Data msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Data msg)) Source #

toUntypedList :: List msg (Data msg) -> List msg Source #

length :: List msg (Data msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Data msg) -> m (Data msg) Source #

newtype List msg (Data msg) Source # 
Instance details

Defined in Capnp.Basics

newtype List msg (Data msg) = DataList (ListOf msg (Maybe (Ptr msg)))

dataBytes :: ReadCtx m msg => Data msg -> m ByteString Source #

Convert a Data to a ByteString.

data Text msg Source #

A textual string (Text in capnproto's schema language). On the wire, this is NUL-terminated. The encoding should be UTF-8, but the library does not verify this; users of the library must do validation themselves, if they care about this.

Rationale: validation would require doing an up-front pass over the data, which runs counter to the overall design of capnproto.

Instances
ToPtr s (Text (MutMsg s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

toPtr :: WriteCtx m s => MutMsg s -> Text (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

FromPtr msg (Text msg) Source # 
Instance details

Defined in Capnp.Basics

Methods

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

MutListElem s (Text (MutMsg s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

setIndex :: RWCtx m s => Text (MutMsg s) -> Int -> List (MutMsg s) (Text (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Text (MutMsg s))) Source #

ListElem msg (Text msg) Source # 
Instance details

Defined in Capnp.Basics

Associated Types

data List msg (Text msg) :: Type Source #

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Text msg)) Source #

toUntypedList :: List msg (Text msg) -> List msg Source #

length :: List msg (Text msg) -> Int Source #

index :: ReadCtx m msg => Int -> List msg (Text msg) -> m (Text msg) Source #

newtype List msg (Text msg) Source # 
Instance details

Defined in Capnp.Basics

newtype List msg (Text msg) = TextList (ListOf msg (Maybe (Ptr msg)))

textBytes :: ReadCtx m msg => Text msg -> m ByteString Source #

Convert a Text to a ByteString, comprising the raw bytes of the text (not counting the NUL terminator).

Working with messages

data ConstMsg Source #

A read-only capnproto message.

ConstMsg is an instance of the generic Message type class. its implementations of toByteString and fromByteString are O(1); the underlying bytes are not copied.

Instances
Eq ConstMsg Source # 
Instance details

Defined in Capnp.Message

Thaw ConstMsg Source # 
Instance details

Defined in Capnp.Message

Associated Types

type Mutable s ConstMsg :: Type Source #

Monad m => Message m ConstMsg Source # 
Instance details

Defined in Capnp.Message

Associated Types

data Segment ConstMsg :: Type Source #

FromStruct ConstMsg Struct Source # 
Instance details

Defined in Capnp.Untyped.Pure

FromStruct ConstMsg StreamResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream.Pure

FromStruct ConstMsg CodeGeneratorRequest'RequestedFile'Import Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg CodeGeneratorRequest'RequestedFile Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg CodeGeneratorRequest Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg CapnpVersion Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Annotation Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Value Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Brand'Binding Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Brand'Scope' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Brand'Scope Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Brand Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Type'anyPointer'implicitMethodParameter Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Type'anyPointer'parameter Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Type'anyPointer'unconstrained Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Type'anyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Type'interface Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Type'struct Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Type'enum Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Type'list Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Type Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Method Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Superclass Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Enumerant Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Field'ordinal Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Field'group Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Field'slot Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Field' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Field Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Node'SourceInfo'Member Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Node'SourceInfo Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Node'NestedNode Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Node'Parameter Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Node'annotation Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Node'const Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Node'interface Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Node'enum Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Node'struct Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Node' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg Node Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

FromStruct ConstMsg JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

FromStruct ConstMsg JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

FromStruct ConstMsg ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

FromStruct ConstMsg RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

FromStruct ConstMsg ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

FromStruct ConstMsg VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

FromStruct ConstMsg Exception Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg ThirdPartyCapDescriptor Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg PromisedAnswer'Op Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg PromisedAnswer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg CapDescriptor' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg CapDescriptor Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Payload Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg MessageTarget Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Join Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Accept Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Provide Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Disembargo'context Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Disembargo Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Release Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Resolve' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Resolve Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Finish Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Return' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Return Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Call'sendResultsTo Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Call Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Bootstrap Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg Message Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

FromStruct ConstMsg DiscriminatorOptions Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json.Pure

FromStruct ConstMsg FlattenOptions Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json.Pure

FromStruct ConstMsg Value'Call Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json.Pure

FromStruct ConstMsg Value'Field Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json.Pure

FromStruct ConstMsg Value Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json.Pure

FromStruct ConstMsg RealmGateway'export'params Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent.Pure

FromStruct ConstMsg RealmGateway'import'params Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent.Pure

FromStruct ConstMsg Persistent'SaveResults Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent.Pure

FromStruct ConstMsg Persistent'SaveParams Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent.Pure

Eq (Segment ConstMsg) Source # 
Instance details

Defined in Capnp.Message

Thaw (Segment ConstMsg) Source # 
Instance details

Defined in Capnp.Message

Associated Types

type Mutable s (Segment ConstMsg) :: Type Source #

newtype Segment ConstMsg Source # 
Instance details

Defined in Capnp.Message

type Mutable s ConstMsg Source # 
Instance details

Defined in Capnp.Message

type Mutable s (Segment ConstMsg) Source # 
Instance details

Defined in Capnp.Message

class Monad m => Message m msg where Source #

A Message is a (possibly read-only) capnproto message. It is parameterized over a monad in which operations are performed.

Associated Types

data Segment msg Source #

The type of segments in the message.

Methods

numSegs :: msg -> m Int Source #

numSegs gets the number of segments in a message.

numWords :: Segment msg -> m WordCount Source #

numWords gets the number of words in a segment.

numCaps :: msg -> m Int Source #

numCaps gets the number of capabilities in a message's capability table.

internalGetSeg :: msg -> Int -> m (Segment msg) Source #

internalGetSeg message index gets the segment at index index in message. Most callers should use the getSegment wrapper, instead of calling this directly.

internalGetCap :: msg -> Int -> m Client Source #

internalGetCap cap index reads a capability from the message's capability table, returning the client. does not check bounds. Callers should use getCap instead.

slice :: WordCount -> WordCount -> Segment msg -> m (Segment msg) Source #

slice start length segment extracts a sub-section of the segment, starting at index start, of length length.

read :: Segment msg -> WordCount -> m Word64 Source #

read segment index reads a 64-bit word from the segement at the given index. Consider using getWord on the message, instead of calling this directly.

fromByteString :: ByteString -> m (Segment msg) Source #

Convert a ByteString to a segment.

toByteString :: Segment msg -> m ByteString Source #

Convert a segment to a byte string.

data MutMsg s Source #

A MutMsg is a mutable capnproto message. The type parameter s is the state token for the instance of PrimMonad in which the message may be modified.

Due to mutabilty, the implementations of toByteString and fromByteString must make full copies, and so are O(n) in the length of the segment.

Instances
(PrimMonad m, s ~ PrimState m) => Message m (MutMsg s) Source # 
Instance details

Defined in Capnp.Message

Associated Types

data Segment (MutMsg s) :: Type Source #

ToPtr s (Maybe (Cap (MutMsg s))) Source # 
Instance details

Defined in Capnp.Classes

Methods

toPtr :: WriteCtx m s => MutMsg s -> Maybe (Cap (MutMsg s)) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Struct (MutMsg s)) Source # 
Instance details

Defined in Capnp.Classes

Methods

toPtr :: WriteCtx m s => MutMsg s -> Struct (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Maybe (Ptr (MutMsg s))) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

ToPtr s (Text (MutMsg s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

toPtr :: WriteCtx m s => MutMsg s -> Text (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Data (MutMsg s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

toPtr :: WriteCtx m s => MutMsg s -> Data (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (StreamResult (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream

Methods

toPtr :: WriteCtx m s => MutMsg s -> StreamResult (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (CodeGeneratorRequest'RequestedFile'Import (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

ToPtr s (CodeGeneratorRequest'RequestedFile (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

ToPtr s (CodeGeneratorRequest (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> CodeGeneratorRequest (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (CapnpVersion (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> CapnpVersion (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Annotation (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Annotation (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Value (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Value (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Brand'Binding (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Brand'Binding (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Brand'Scope (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Brand'Scope (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Brand (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Brand (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Type (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Type (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Method (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Method (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Superclass (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Superclass (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Enumerant (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Enumerant (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Field (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Field (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Node'SourceInfo'Member (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Node'SourceInfo'Member (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Node'SourceInfo (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Node'SourceInfo (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Node'NestedNode (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Node'NestedNode (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Node'Parameter (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Node'Parameter (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Node (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Node (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (JoinResult (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (JoinKeyPart (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (ThirdPartyCapId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (RecipientId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (ProvisionId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (VatId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

ToPtr s (Exception (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (ThirdPartyCapDescriptor (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (PromisedAnswer'Op (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (PromisedAnswer (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (CapDescriptor (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Payload (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (MessageTarget (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Join (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Accept (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Provide (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Disembargo (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Release (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Resolve (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Finish (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Return (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Call (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Bootstrap (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (Message (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

ToPtr s (RealmGateway'export'params (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Methods

toPtr :: WriteCtx m s => MutMsg s -> RealmGateway'export'params (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (RealmGateway'import'params (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Methods

toPtr :: WriteCtx m s => MutMsg s -> RealmGateway'import'params (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (RealmGateway (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Methods

toPtr :: WriteCtx m s => MutMsg s -> RealmGateway (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Persistent'SaveResults (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Methods

toPtr :: WriteCtx m s => MutMsg s -> Persistent'SaveResults (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Persistent'SaveParams (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Methods

toPtr :: WriteCtx m s => MutMsg s -> Persistent'SaveParams (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Persistent (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Methods

toPtr :: WriteCtx m s => MutMsg s -> Persistent (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (DiscriminatorOptions (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toPtr :: WriteCtx m s => MutMsg s -> DiscriminatorOptions (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (FlattenOptions (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toPtr :: WriteCtx m s => MutMsg s -> FlattenOptions (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Value'Call (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toPtr :: WriteCtx m s => MutMsg s -> Value'Call (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Value'Field (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toPtr :: WriteCtx m s => MutMsg s -> Value'Field (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (Value (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toPtr :: WriteCtx m s => MutMsg s -> Value (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #

Allocate s (StreamResult (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream

Methods

new :: WriteCtx m s => MutMsg s -> m (StreamResult (MutMsg s)) Source #

Allocate s (CodeGeneratorRequest'RequestedFile'Import (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Allocate s (CodeGeneratorRequest'RequestedFile (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Allocate s (CodeGeneratorRequest (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (CodeGeneratorRequest (MutMsg s)) Source #

Allocate s (CapnpVersion (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (CapnpVersion (MutMsg s)) Source #

Allocate s (Annotation (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Annotation (MutMsg s)) Source #

Allocate s (Value (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Value (MutMsg s)) Source #

Allocate s (Brand'Binding (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Brand'Binding (MutMsg s)) Source #

Allocate s (Brand'Scope (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Brand'Scope (MutMsg s)) Source #

Allocate s (Brand (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Brand (MutMsg s)) Source #

Allocate s (Type (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type (MutMsg s)) Source #

Allocate s (Method (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Method (MutMsg s)) Source #

Allocate s (Superclass (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Superclass (MutMsg s)) Source #

Allocate s (Enumerant (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Enumerant (MutMsg s)) Source #

Allocate s (Field (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Field (MutMsg s)) Source #

Allocate s (Node'SourceInfo'Member (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node'SourceInfo'Member (MutMsg s)) Source #

Allocate s (Node'SourceInfo (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node'SourceInfo (MutMsg s)) Source #

Allocate s (Node'NestedNode (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node'NestedNode (MutMsg s)) Source #

Allocate s (Node'Parameter (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node'Parameter (MutMsg s)) Source #

Allocate s (Node (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node (MutMsg s)) Source #

Allocate s (JoinResult (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (JoinKeyPart (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (ThirdPartyCapId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (RecipientId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (ProvisionId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (VatId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

Allocate s (Exception (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (ThirdPartyCapDescriptor (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (PromisedAnswer'Op (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (PromisedAnswer (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (CapDescriptor (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Payload (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (MessageTarget (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Join (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Accept (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Provide (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Disembargo (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Release (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Resolve (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Finish (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Return (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Call (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Bootstrap (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (Message (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

Allocate s (RealmGateway'export'params (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Allocate s (RealmGateway'import'params (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Allocate s (Persistent'SaveResults (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Methods

new :: WriteCtx m s => MutMsg s -> m (Persistent'SaveResults (MutMsg s)) Source #

Allocate s (Persistent'SaveParams (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Methods

new :: WriteCtx m s => MutMsg s -> m (Persistent'SaveParams (MutMsg s)) Source #

Allocate s (DiscriminatorOptions (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

new :: WriteCtx m s => MutMsg s -> m (DiscriminatorOptions (MutMsg s)) Source #

Allocate s (FlattenOptions (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

new :: WriteCtx m s => MutMsg s -> m (FlattenOptions (MutMsg s)) Source #

Allocate s (Value'Call (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

new :: WriteCtx m s => MutMsg s -> m (Value'Call (MutMsg s)) Source #

Allocate s (Value'Field (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

new :: WriteCtx m s => MutMsg s -> m (Value'Field (MutMsg s)) Source #

Allocate s (Value (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

new :: WriteCtx m s => MutMsg s -> m (Value (MutMsg s)) Source #

MutListElem s (Text (MutMsg s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

setIndex :: RWCtx m s => Text (MutMsg s) -> Int -> List (MutMsg s) (Text (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Text (MutMsg s))) Source #

MutListElem s (Data (MutMsg s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

setIndex :: RWCtx m s => Data (MutMsg s) -> Int -> List (MutMsg s) (Data (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Data (MutMsg s))) Source #

MutListElem s (StreamResult (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream

Methods

setIndex :: RWCtx m s => StreamResult (MutMsg s) -> Int -> List (MutMsg s) (StreamResult (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (StreamResult (MutMsg s))) Source #

MutListElem s (CodeGeneratorRequest'RequestedFile'Import (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

MutListElem s (CodeGeneratorRequest'RequestedFile (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

MutListElem s (CodeGeneratorRequest (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

MutListElem s (CapnpVersion (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => CapnpVersion (MutMsg s) -> Int -> List (MutMsg s) (CapnpVersion (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (CapnpVersion (MutMsg s))) Source #

MutListElem s (Annotation (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Annotation (MutMsg s) -> Int -> List (MutMsg s) (Annotation (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Annotation (MutMsg s))) Source #

MutListElem s (Value (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Value (MutMsg s) -> Int -> List (MutMsg s) (Value (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Value (MutMsg s))) Source #

MutListElem s (Brand'Binding (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Brand'Binding (MutMsg s) -> Int -> List (MutMsg s) (Brand'Binding (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Brand'Binding (MutMsg s))) Source #

MutListElem s (Brand'Scope (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Brand'Scope (MutMsg s) -> Int -> List (MutMsg s) (Brand'Scope (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Brand'Scope (MutMsg s))) Source #

MutListElem s (Brand (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Brand (MutMsg s) -> Int -> List (MutMsg s) (Brand (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Brand (MutMsg s))) Source #

MutListElem s (Type (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type (MutMsg s) -> Int -> List (MutMsg s) (Type (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type (MutMsg s))) Source #

MutListElem s (Method (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Method (MutMsg s) -> Int -> List (MutMsg s) (Method (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Method (MutMsg s))) Source #

MutListElem s (Superclass (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Superclass (MutMsg s) -> Int -> List (MutMsg s) (Superclass (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Superclass (MutMsg s))) Source #

MutListElem s (Enumerant (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Enumerant (MutMsg s) -> Int -> List (MutMsg s) (Enumerant (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Enumerant (MutMsg s))) Source #

MutListElem s (Field (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Field (MutMsg s) -> Int -> List (MutMsg s) (Field (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Field (MutMsg s))) Source #

MutListElem s (Node'SourceInfo'Member (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

MutListElem s (Node'SourceInfo (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'SourceInfo (MutMsg s) -> Int -> List (MutMsg s) (Node'SourceInfo (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node'SourceInfo (MutMsg s))) Source #

MutListElem s (Node'NestedNode (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'NestedNode (MutMsg s) -> Int -> List (MutMsg s) (Node'NestedNode (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node'NestedNode (MutMsg s))) Source #

MutListElem s (Node'Parameter (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'Parameter (MutMsg s) -> Int -> List (MutMsg s) (Node'Parameter (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node'Parameter (MutMsg s))) Source #

MutListElem s (Node (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node (MutMsg s) -> Int -> List (MutMsg s) (Node (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node (MutMsg s))) Source #

MutListElem s (JoinResult (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (JoinResult (MutMsg s))) Source #

MutListElem s (JoinKeyPart (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (JoinKeyPart (MutMsg s))) Source #

MutListElem s (ThirdPartyCapId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (RecipientId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (ProvisionId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (ProvisionId (MutMsg s))) Source #

MutListElem s (VatId (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (VatId (MutMsg s))) Source #

MutListElem s (Exception (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (ThirdPartyCapDescriptor (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

MutListElem s (PromisedAnswer'Op (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (CapDescriptor (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Payload (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (MessageTarget (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Join (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Accept (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Provide (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Disembargo (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Release (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Resolve (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Finish (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Return (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Call (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Bootstrap (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Message (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (RealmGateway'export'params (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

MutListElem s (RealmGateway'import'params (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

MutListElem s (Persistent'SaveResults (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

MutListElem s (Persistent'SaveParams (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

MutListElem s (DiscriminatorOptions (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

MutListElem s (FlattenOptions (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => FlattenOptions (MutMsg s) -> Int -> List (MutMsg s) (FlattenOptions (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (FlattenOptions (MutMsg s))) Source #

MutListElem s (Value'Call (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => Value'Call (MutMsg s) -> Int -> List (MutMsg s) (Value'Call (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Value'Call (MutMsg s))) Source #

MutListElem s (Value'Field (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => Value'Field (MutMsg s) -> Int -> List (MutMsg s) (Value'Field (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Value'Field (MutMsg s))) Source #

MutListElem s (Value (MutMsg s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => Value (MutMsg s) -> Int -> List (MutMsg s) (Value (MutMsg s)) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Value (MutMsg s))) Source #

ListElem (MutMsg s) e => ToPtr s (List (MutMsg s) e) Source # 
Instance details

Defined in Capnp.Classes

Methods

toPtr :: WriteCtx m s => MutMsg s -> List (MutMsg s) e -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (ListOf (MutMsg s) (Maybe (Ptr (MutMsg s)))) Source # 
Instance details

Defined in Capnp.Classes

Methods

toPtr :: WriteCtx m s => MutMsg s -> ListOf (MutMsg s) (Maybe (Ptr (MutMsg s))) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (ListOf (MutMsg s) (Struct (MutMsg s))) Source # 
Instance details

Defined in Capnp.Classes

Methods

toPtr :: WriteCtx m s => MutMsg s -> ListOf (MutMsg s) (Struct (MutMsg s)) -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (ListOf (MutMsg s) Bool) Source # 
Instance details

Defined in Capnp.Classes

Methods

toPtr :: WriteCtx m s => MutMsg s -> ListOf (MutMsg s) Bool -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (ListOf (MutMsg s) Word64) Source # 
Instance details

Defined in Capnp.Classes

Methods

toPtr :: WriteCtx m s => MutMsg s -> ListOf (MutMsg s) Word64 -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (ListOf (MutMsg s) Word32) Source # 
Instance details

Defined in Capnp.Classes

Methods

toPtr :: WriteCtx m s => MutMsg s -> ListOf (MutMsg s) Word32 -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (ListOf (MutMsg s) Word16) Source # 
Instance details

Defined in Capnp.Classes

Methods

toPtr :: WriteCtx m s => MutMsg s -> ListOf (MutMsg s) Word16 -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (ListOf (MutMsg s) Word8) Source # 
Instance details

Defined in Capnp.Classes

Methods

toPtr :: WriteCtx m s => MutMsg s -> ListOf (MutMsg s) Word8 -> m (Maybe (Ptr (MutMsg s))) Source #

ToPtr s (ListOf (MutMsg s) ()) Source # 
Instance details

Defined in Capnp.Classes

Methods

toPtr :: WriteCtx m s => MutMsg s -> ListOf (MutMsg s) () -> m (Maybe (Ptr (MutMsg s))) Source #

MutListElem s e => MutListElem s (List (MutMsg s) e) Source # 
Instance details

Defined in Capnp.Classes

Methods

setIndex :: RWCtx m s => List (MutMsg s) e -> Int -> List (MutMsg s) (List (MutMsg s) e) -> m () Source #

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (List (MutMsg s) e)) Source #

Eq (MutMsg s) Source # 
Instance details

Defined in Capnp.Message

Methods

(==) :: MutMsg s -> MutMsg s -> Bool #

(/=) :: MutMsg s -> MutMsg s -> Bool #

newtype Segment (MutMsg s) Source # 
Instance details

Defined in Capnp.Message

newtype Segment (MutMsg s) = MutSegment (AppendVec MVector s Word64)

newMessage :: WriteCtx m s => Maybe WordCount -> m (MutMsg s) Source #

newMessage sizeHint allocates a new empty message, with a single segment having capacity sizeHint. If sizeHint is Nothing, defaults to a sensible value.

Canonicalizing messages

canonicalize :: (RWCtx m s, Message m msgIn) => Struct msgIn -> m (MutMsg s, Segment (MutMsg s)) Source #

Return a canonicalized message with a copy of the given struct as its root. returns a (message, segment) pair, where the segment is the first and only segment of the returned message.

In addition to the usual reasons for failure when reading a message (traversal limit, malformed messages), this can fail if the message does not fit in a single segment, as the canonical form requires single-segment messages.

Manipulating the root object of a message

getRoot :: (FromStruct msg a, ReadCtx m msg) => msg -> m a Source #

getRoot returns the root object of a message.

newRoot :: (ToStruct (MutMsg s) a, Allocate s a, WriteCtx m s) => MutMsg s -> m a Source #

newRoot allocates and returns a new value inside the message, setting it as the root object of the message.

setRoot :: (ToStruct (MutMsg s) a, WriteCtx m s) => a -> m () Source #

setRoot sets its argument to be the root object in its message.

Marshalling data into and out of messages

class Decerialize a where Source #

Types which may be extracted from a message.

typically, instances of Decerialize will be the algebraic data types defined in generated code for the high-level API.

Associated Types

type Cerial msg a Source #

A variation on a which is encoded in the message.

For the case of instances in generated high-level API code, this will be the low-level API analouge of the type.

Methods

decerialize :: ReadCtx m ConstMsg => Cerial ConstMsg a -> m a Source #

Extract the value from the message.

Instances
Decerialize Bool Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial msg Bool :: Type Source #

Decerialize Double Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial msg Double :: Type Source #

Decerialize Float Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial msg Float :: Type Source #

Decerialize Int8 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial msg Int8 :: Type Source #

Decerialize Int16 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial msg Int16 :: Type Source #

Decerialize Int32 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial msg Int32 :: Type Source #

Decerialize Int64 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial msg Int64 :: Type Source #

Decerialize Word8 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial msg Word8 :: Type Source #

Decerialize Word16 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial msg Word16 :: Type Source #

Decerialize Word32 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial msg Word32 :: Type Source #

Decerialize Word64 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial msg Word64 :: Type Source #

Decerialize List Source # 
Instance details

Defined in Capnp.Untyped.Pure

Associated Types

type Cerial msg List :: Type Source #

Decerialize Struct Source # 
Instance details

Defined in Capnp.Untyped.Pure

Associated Types

type Cerial msg Struct :: Type Source #

Decerialize Text Source # 
Instance details

Defined in Capnp.Basics.Pure

Associated Types

type Cerial msg Text :: Type Source #

Decerialize Data Source # 
Instance details

Defined in Capnp.Basics.Pure

Associated Types

type Cerial msg Data :: Type Source #

Decerialize StreamResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream.Pure

Associated Types

type Cerial msg StreamResult :: Type Source #

Decerialize ElementSize Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg ElementSize :: Type Source #

Decerialize CodeGeneratorRequest'RequestedFile'Import Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Decerialize CodeGeneratorRequest'RequestedFile Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Decerialize CodeGeneratorRequest Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg CodeGeneratorRequest :: Type Source #

Decerialize CapnpVersion Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg CapnpVersion :: Type Source #

Decerialize Annotation Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Annotation :: Type Source #

Decerialize Value Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Value :: Type Source #

Decerialize Brand'Binding Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Brand'Binding :: Type Source #

Decerialize Brand'Scope' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Brand'Scope' :: Type Source #

Decerialize Brand'Scope Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Brand'Scope :: Type Source #

Decerialize Brand Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Brand :: Type Source #

Decerialize Type'anyPointer'implicitMethodParameter Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Decerialize Type'anyPointer'parameter Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Type'anyPointer'parameter :: Type Source #

Decerialize Type'anyPointer'unconstrained Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Type'anyPointer'unconstrained :: Type Source #

Decerialize Type'anyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Type'anyPointer :: Type Source #

Decerialize Type'interface Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Type'interface :: Type Source #

Decerialize Type'struct Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Type'struct :: Type Source #

Decerialize Type'enum Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Type'enum :: Type Source #

Decerialize Type'list Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Type'list :: Type Source #

Decerialize Type Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Type :: Type Source #

Decerialize Method Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Method :: Type Source #

Decerialize Superclass Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Superclass :: Type Source #

Decerialize Enumerant Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Enumerant :: Type Source #

Decerialize Field'ordinal Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Field'ordinal :: Type Source #

Decerialize Field'group Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Field'group :: Type Source #

Decerialize Field'slot Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Field'slot :: Type Source #

Decerialize Field' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Field' :: Type Source #

Decerialize Field Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Field :: Type Source #

Decerialize Node'SourceInfo'Member Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Node'SourceInfo'Member :: Type Source #

Decerialize Node'SourceInfo Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Node'SourceInfo :: Type Source #

Decerialize Node'NestedNode Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Node'NestedNode :: Type Source #

Decerialize Node'Parameter Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Node'Parameter :: Type Source #

Decerialize Node'annotation Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Node'annotation :: Type Source #

Decerialize Node'const Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Node'const :: Type Source #

Decerialize Node'interface Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Node'interface :: Type Source #

Decerialize Node'enum Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Node'enum :: Type Source #

Decerialize Node'struct Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Node'struct :: Type Source #

Decerialize Node' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Node' :: Type Source #

Decerialize Node Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial msg Node :: Type Source #

Decerialize Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial msg Side :: Type Source #

Decerialize JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial msg JoinResult :: Type Source #

Decerialize JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial msg JoinKeyPart :: Type Source #

Decerialize ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial msg ThirdPartyCapId :: Type Source #

Decerialize RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial msg RecipientId :: Type Source #

Decerialize ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial msg ProvisionId :: Type Source #

Decerialize VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial msg VatId :: Type Source #

Decerialize Exception'Type Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Exception'Type :: Type Source #

Decerialize Exception Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Exception :: Type Source #

Decerialize ThirdPartyCapDescriptor Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg ThirdPartyCapDescriptor :: Type Source #

Decerialize PromisedAnswer'Op Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg PromisedAnswer'Op :: Type Source #

Decerialize PromisedAnswer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg PromisedAnswer :: Type Source #

Decerialize CapDescriptor' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg CapDescriptor' :: Type Source #

Decerialize CapDescriptor Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg CapDescriptor :: Type Source #

Decerialize Payload Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Payload :: Type Source #

Decerialize MessageTarget Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg MessageTarget :: Type Source #

Decerialize Join Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Join :: Type Source #

Decerialize Accept Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Accept :: Type Source #

Decerialize Provide Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Provide :: Type Source #

Decerialize Disembargo'context Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Disembargo'context :: Type Source #

Decerialize Disembargo Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Disembargo :: Type Source #

Decerialize Release Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Release :: Type Source #

Decerialize Resolve' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Resolve' :: Type Source #

Decerialize Resolve Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Resolve :: Type Source #

Decerialize Finish Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Finish :: Type Source #

Decerialize Return' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial msg Return' ::