Data.Capnp.Basics

In particular

• Text and Data (which are primitive types in the schema language, but are both the same as List(UInt8) on the wire).
• Lists of types other than those in Data.Capnp.Untyped. Whereas ListOf only deals with low-level encodings of lists, this module's List type can represent typed lists.

Documentation

data Text msg

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

IsPtr msg (Text msg)

Defined in Data.Capnp.Basics

Methods

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

toPtr :: Text msg -> Maybe (Ptr msg)

newtype Data msg

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.

Constructors

Data (ListOf msg Word8)

Instances

IsPtr msg (Data msg)

Defined in Data.Capnp.Basics

Methods

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

toPtr :: Data msg -> Maybe (Ptr msg)

class ListElem msg e where

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

Minimal complete definition

length, index

Associated Types

data List msg e

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

Methods

length :: List msg e -> Int

Get the length of a list.

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

index i list gets the ith element of a list.

Instances

ListElem msg Bool

Defined in Internal.Gen.Instances

Associated Types

data List msg Bool :: *

Methods

length :: List msg Bool -> Int

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

ListElem msg Double

Defined in Internal.Gen.Instances

Associated Types

data List msg Double :: *

Methods

length :: List msg Double -> Int

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

ListElem msg Float

Defined in Internal.Gen.Instances

Associated Types

data List msg Float :: *

Methods

length :: List msg Float -> Int

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

ListElem msg Word64

Defined in Internal.Gen.Instances

Associated Types

data List msg Word64 :: *

Methods

length :: List msg Word64 -> Int

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

ListElem msg Word32

Defined in Internal.Gen.Instances

Associated Types

data List msg Word32 :: *

Methods

length :: List msg Word32 -> Int

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

ListElem msg Word16

Defined in Internal.Gen.Instances

Associated Types

data List msg Word16 :: *

Methods

length :: List msg Word16 -> Int

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

ListElem msg Word8

Defined in Internal.Gen.Instances

Associated Types

data List msg Word8 :: *

Methods

length :: List msg Word8 -> Int

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

ListElem msg Int64

Defined in Internal.Gen.Instances

Associated Types

data List msg Int64 :: *

Methods

length :: List msg Int64 -> Int

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

ListElem msg Int32

Defined in Internal.Gen.Instances

Associated Types

data List msg Int32 :: *

Methods

length :: List msg Int32 -> Int

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

ListElem msg Int16

Defined in Internal.Gen.Instances

Associated Types

data List msg Int16 :: *

Methods

length :: List msg Int16 -> Int

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

ListElem msg Int8

Defined in Internal.Gen.Instances

Associated Types

data List msg Int8 :: *

Methods

length :: List msg Int8 -> Int

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

ListElem msg ElementSize

Defined in Capnp.Capnp.Schema

Associated Types

data List msg ElementSize :: *

Methods

length :: List msg ElementSize -> Int

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

ListElem msg Side

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg Side :: *

Methods

length :: List msg Side -> Int

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

ListElem msg Exception'Type

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg Exception'Type :: *

Methods

length :: List msg Exception'Type -> Int

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

ListElem msg (Type'anyPointer'unconstrained msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'unconstrained msg) :: *

Methods

length :: List msg (Type'anyPointer'unconstrained msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer'unconstrained msg) -> m (Type'anyPointer'unconstrained msg)

ListElem msg (Type'anyPointer'implicitMethodParameter'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'implicitMethodParameter'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'implicitMethodParameter'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer'implicitMethodParameter'group' msg) -> m (Type'anyPointer'implicitMethodParameter'group' msg)

ListElem msg (Type'anyPointer'parameter'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'parameter'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'parameter'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer'parameter'group' msg) -> m (Type'anyPointer'parameter'group' msg)

ListElem msg (Type'anyPointer'unconstrained'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'unconstrained'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'unconstrained'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer'unconstrained'group' msg) -> m (Type'anyPointer'unconstrained'group' msg)

ListElem msg (Type'anyPointer msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer msg) :: *

Methods

length :: List msg (Type'anyPointer msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer msg) -> m (Type'anyPointer msg)

ListElem msg (Node'Parameter msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'Parameter msg) :: *

Methods

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

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

ListElem msg (Node'NestedNode msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'NestedNode msg) :: *

Methods

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

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

ListElem msg (Node'annotation'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'annotation'group' msg) :: *

Methods

length :: List msg (Node'annotation'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Node'annotation'group' msg) -> m (Node'annotation'group' msg)

ListElem msg (Node'const'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'const'group' msg) :: *

Methods

length :: List msg (Node'const'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Node'const'group' msg) -> m (Node'const'group' msg)

ListElem msg (Node'interface'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'interface'group' msg) :: *

Methods

length :: List msg (Node'interface'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Node'interface'group' msg) -> m (Node'interface'group' msg)

ListElem msg (Node'enum'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'enum'group' msg) :: *

Methods

length :: List msg (Node'enum'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Node'enum'group' msg) -> m (Node'enum'group' msg)

ListElem msg (Node'struct'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'struct'group' msg) :: *

Methods

length :: List msg (Node'struct'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Node'struct'group' msg) -> m (Node'struct'group' msg)

ListElem msg (Node' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node' msg) :: *

Methods

length :: List msg (Node' msg) -> Int

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

ListElem msg (Field'ordinal msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field'ordinal msg) :: *

Methods

length :: List msg (Field'ordinal msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Field'ordinal msg) -> m (Field'ordinal msg)

ListElem msg (Field'group'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field'group'group' msg) :: *

Methods

length :: List msg (Field'group'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Field'group'group' msg) -> m (Field'group'group' msg)

ListElem msg (Field'slot'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field'slot'group' msg) :: *

Methods

length :: List msg (Field'slot'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Field'slot'group' msg) -> m (Field'slot'group' msg)

ListElem msg (Field' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field' msg) :: *

Methods

length :: List msg (Field' msg) -> Int

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

ListElem msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest'RequestedFile'Import msg) :: *

Methods

length :: List msg (CodeGeneratorRequest'RequestedFile'Import msg) -> Int

index :: ReadCtx m msg => Int -> List msg (CodeGeneratorRequest'RequestedFile'Import msg) -> m (CodeGeneratorRequest'RequestedFile'Import msg)

ListElem msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest'RequestedFile msg) :: *

Methods

length :: List msg (CodeGeneratorRequest'RequestedFile msg) -> Int

index :: ReadCtx m msg => Int -> List msg (CodeGeneratorRequest'RequestedFile msg) -> m (CodeGeneratorRequest'RequestedFile msg)

ListElem msg (Brand'Scope' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Brand'Scope' msg) :: *

Methods

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

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

ListElem msg (Brand'Scope msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Brand'Scope msg) :: *

Methods

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

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

ListElem msg (Brand'Binding msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Brand'Binding msg) :: *

Methods

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

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

ListElem msg (Value msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Value msg) :: *

Methods

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

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

ListElem msg (Type'anyPointer'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer'group' msg) -> m (Type'anyPointer'group' msg)

ListElem msg (Type'interface'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'interface'group' msg) :: *

Methods

length :: List msg (Type'interface'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'interface'group' msg) -> m (Type'interface'group' msg)

ListElem msg (Type'struct'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'struct'group' msg) :: *

Methods

length :: List msg (Type'struct'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'struct'group' msg) -> m (Type'struct'group' msg)

ListElem msg (Type'enum'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'enum'group' msg) :: *

Methods

length :: List msg (Type'enum'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'enum'group' msg) -> m (Type'enum'group' msg)

ListElem msg (Type'list'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'list'group' msg) :: *

Methods

length :: List msg (Type'list'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'list'group' msg) -> m (Type'list'group' msg)

ListElem msg (Type msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type msg) :: *

Methods

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

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

ListElem msg (Superclass msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Superclass msg) :: *

Methods

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

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

ListElem msg (Node msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node msg) :: *

Methods

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

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

ListElem msg (Method msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Method msg) :: *

Methods

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

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

ListElem msg (Field msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field msg) :: *

Methods

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

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

ListElem msg (Enumerant msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Enumerant msg) :: *

Methods

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

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

ListElem msg (CodeGeneratorRequest msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest msg) :: *

Methods

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

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

ListElem msg (CapnpVersion msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (CapnpVersion msg) :: *

Methods

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

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

ListElem msg (Brand msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Brand msg) :: *

Methods

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

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

ListElem msg (Annotation msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Annotation msg) :: *

Methods

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

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

ListElem msg (VatId msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (VatId msg) :: *

Methods

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

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

ListElem msg (ProvisionId msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (ProvisionId msg) :: *

Methods

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

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

ListElem msg (JoinResult msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (JoinResult msg) :: *

Methods

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

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

ListElem msg (JoinKeyPart msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (JoinKeyPart msg) :: *

Methods

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

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

ListElem msg (Return' msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Return' msg) :: *

Methods

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

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

ListElem msg (Resolve' msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Resolve' msg) :: *

Methods

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

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

ListElem msg (PromisedAnswer'Op msg)

Defined in Capnp.Capnp.Rpc

Associated Types

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

Methods

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

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

ListElem msg (Disembargo'context msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Disembargo'context msg) :: *

Methods

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

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

ListElem msg (Call'sendResultsTo msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Call'sendResultsTo msg) :: *

Methods

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

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

ListElem msg (ThirdPartyCapDescriptor msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (ThirdPartyCapDescriptor msg) :: *

Methods

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

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

ListElem msg (Return msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Return msg) :: *

Methods

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

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

ListElem msg (Resolve msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Resolve msg) :: *

Methods

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

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

ListElem msg (Release msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Release msg) :: *

Methods

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

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

ListElem msg (Provide msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Provide msg) :: *

Methods

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

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

ListElem msg (PromisedAnswer msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (PromisedAnswer msg) :: *

Methods

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

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

ListElem msg (Payload msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Payload msg) :: *

Methods

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

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

ListElem msg (MessageTarget msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (MessageTarget msg) :: *

Methods

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

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

ListElem msg (Message msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Message msg) :: *

Methods

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

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

ListElem msg (Join msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Join msg) :: *

Methods

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

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

ListElem msg (Finish msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Finish msg) :: *

Methods

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

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

ListElem msg (Exception msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Exception msg) :: *

Methods

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

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

ListElem msg (Disembargo msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Disembargo msg) :: *

Methods

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

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

ListElem msg (CapDescriptor msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (CapDescriptor msg) :: *

Methods

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

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

ListElem msg (Call msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Call msg) :: *

Methods

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

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

ListElem msg (Bootstrap msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Bootstrap msg) :: *

Methods

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

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

ListElem msg (Accept msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Accept msg) :: *

Methods

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

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

ListElem msg (Persistent'SaveResults msg)

Defined in Capnp.Capnp.Persistent

Associated Types

data List msg (Persistent'SaveResults msg) :: *

Methods

length :: List msg (Persistent'SaveResults msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Persistent'SaveResults msg) -> m (Persistent'SaveResults msg)

ListElem msg (Persistent'SaveParams msg)

Defined in Capnp.Capnp.Persistent

Associated Types

data List msg (Persistent'SaveParams msg) :: *

Methods

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

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

ListElem msg (JsonValue'Field msg)

Defined in Capnp.Capnp.Json

Associated Types

data List msg (JsonValue'Field msg) :: *

Methods

length :: List msg (JsonValue'Field msg) -> Int

index :: ReadCtx m msg => Int -> List msg (JsonValue'Field msg) -> m (JsonValue'Field msg)

ListElem msg (JsonValue'Call msg)

Defined in Capnp.Capnp.Json

Associated Types

data List msg (JsonValue'Call msg) :: *

Methods

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

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

ListElem msg (JsonValue msg)

Defined in Capnp.Capnp.Json

Associated Types

data List msg (JsonValue msg) :: *

Methods

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

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

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

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

Minimal complete definition

setIndex, newList

Methods

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

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

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

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

Instances

MutListElem s Bool

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Double

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Float

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word64

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word32

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word16

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word8

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int64

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int32

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int16

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int8

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s ElementSize

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s Side

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s Exception'Type

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Type'anyPointer'unconstrained (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'anyPointer'implicitMethodParameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'implicitMethodParameter'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'implicitMethodParameter'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'implicitMethodParameter'group' (MutMsg s)))

MutListElem s (Type'anyPointer'parameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'parameter'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'parameter'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'parameter'group' (MutMsg s)))

MutListElem s (Type'anyPointer'unconstrained'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'unconstrained'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'unconstrained'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'unconstrained'group' (MutMsg s)))

MutListElem s (Type'anyPointer (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'Parameter (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'NestedNode (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'annotation'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Int -> List (MutMsg s) (Node'annotation'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node'annotation'group' (MutMsg s)))

MutListElem s (Node'const'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'const'group' (MutMsg s) -> Int -> List (MutMsg s) (Node'const'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node'const'group' (MutMsg s)))

MutListElem s (Node'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'interface'group' (MutMsg s) -> Int -> List (MutMsg s) (Node'interface'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node'interface'group' (MutMsg s)))

MutListElem s (Node'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'enum'group' (MutMsg s) -> Int -> List (MutMsg s) (Node'enum'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node'enum'group' (MutMsg s)))

MutListElem s (Node'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'struct'group' (MutMsg s) -> Int -> List (MutMsg s) (Node'struct'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node'struct'group' (MutMsg s)))

MutListElem s (Node' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field'ordinal (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Field'ordinal (MutMsg s) -> Int -> List (MutMsg s) (Field'ordinal (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Field'ordinal (MutMsg s)))

MutListElem s (Field'group'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Field'group'group' (MutMsg s) -> Int -> List (MutMsg s) (Field'group'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Field'group'group' (MutMsg s)))

MutListElem s (Field'slot'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Field'slot'group' (MutMsg s) -> Int -> List (MutMsg s) (Field'slot'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Field'slot'group' (MutMsg s)))

MutListElem s (Field' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (CodeGeneratorRequest'RequestedFile'Import (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => CodeGeneratorRequest'RequestedFile'Import (MutMsg s) -> Int -> List (MutMsg s) (CodeGeneratorRequest'RequestedFile'Import (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (CodeGeneratorRequest'RequestedFile'Import (MutMsg s)))

MutListElem s (CodeGeneratorRequest'RequestedFile (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => CodeGeneratorRequest'RequestedFile (MutMsg s) -> Int -> List (MutMsg s) (CodeGeneratorRequest'RequestedFile (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (CodeGeneratorRequest'RequestedFile (MutMsg s)))

MutListElem s (Brand'Scope' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Brand'Scope (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Brand'Binding (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Value (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'anyPointer'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'list'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Superclass (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Method (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Enumerant (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (CodeGeneratorRequest (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (CapnpVersion (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Brand (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Annotation (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (VatId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (ProvisionId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (JoinResult (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (JoinKeyPart (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (Return' (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Resolve' (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer'Op (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Disembargo'context (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Call'sendResultsTo (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (ThirdPartyCapDescriptor (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Return (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Resolve (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Release (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Provide (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Payload (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (MessageTarget (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Message (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Join (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Finish (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Exception (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Disembargo (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (CapDescriptor (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Call (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Bootstrap (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Accept (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Persistent'SaveResults (MutMsg s))

Defined in Capnp.Capnp.Persistent

Methods

setIndex :: RWCtx m s => Persistent'SaveResults (MutMsg s) -> Int -> List (MutMsg s) (Persistent'SaveResults (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Persistent'SaveResults (MutMsg s)))

MutListElem s (Persistent'SaveParams (MutMsg s))

Defined in Capnp.Capnp.Persistent

Methods

setIndex :: RWCtx m s => Persistent'SaveParams (MutMsg s) -> Int -> List (MutMsg s) (Persistent'SaveParams (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Persistent'SaveParams (MutMsg s)))

MutListElem s (JsonValue'Field (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

setIndex :: RWCtx m s => JsonValue'Field (MutMsg s) -> Int -> List (MutMsg s) (JsonValue'Field (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (JsonValue'Field (MutMsg s)))

MutListElem s (JsonValue'Call (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

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

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

MutListElem s (JsonValue (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

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

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

getData :: ReadCtx m msg => ListOf msg Word8 -> m (Data msg)

Interpret a list of Word8 as a capnproto Data value.

getText :: ReadCtx m msg => ListOf msg Word8 -> m (Text msg)

Interpret a list of Word8 as a capnproto Text value.

This vaildates that the list is NUL-terminated, but not that it is valid UTF-8. If it is not NUL-terminaed, a SchemaViolationError is thrown.

newData :: WriteCtx m s => MutMsg s -> Int -> m (Data (MutMsg s))

newData msg len allocates a new data blob of length len bytes inside the message.

newText :: WriteCtx m s => MutMsg s -> Int -> m (Text (MutMsg s))

newText msg len Allocates a new Text inside the message. The value has space for len *bytes* (not characters).

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

Convert a Data to a ByteString.

textBuffer :: ReadCtx m msg => Text msg -> m (ListOf msg Word8)

Return the underlying buffer containing the text. This does not include the null terminator.

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

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