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 Capnp.Untyped. Whereas ListOf only deals with low-level encodings of lists, this module's List type can represent typed lists.

Documentation

data Text mut

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 ('Mut s))

Defined in Capnp.Basics

Methods

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

FromPtr mut (Text mut)

Defined in Capnp.Basics

Methods

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

MutListElem s (Text ('Mut s))

Defined in Capnp.Basics

Methods

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

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

ListElem mut (Text mut)

Defined in Capnp.Basics

Associated Types

data List mut (Text mut)

Methods

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

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

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

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

Thaw (Text 'Const)

Defined in Capnp.Basics

Associated Types

type Mutable s (Text 'Const)

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => Text 'Const -> m (Mutable s (Text 'Const))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Text 'Const) -> m (Text 'Const)

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => Text 'Const -> m (Mutable s (Text 'Const))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Text 'Const) -> m (Text 'Const)

type Mutable s (Text 'Const)

Defined in Capnp.Basics

type Mutable s (Text 'Const) = Text ('Mut s)

newtype List mut (Text mut)

Defined in Capnp.Basics

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

newtype Data mut

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 mut Word8)

Instances

ToPtr s (Data ('Mut s))

Defined in Capnp.Basics

Methods

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

FromPtr mut (Data mut)

Defined in Capnp.Basics

Methods

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

MutListElem s (Data ('Mut s))

Defined in Capnp.Basics

Methods

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

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

ListElem mut (Data mut)

Defined in Capnp.Basics

Associated Types

data List mut (Data mut)

Methods

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

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

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

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

Thaw (Data 'Const)

Defined in Capnp.Basics

Associated Types

type Mutable s (Data 'Const)

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => Data 'Const -> m (Mutable s (Data 'Const))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Data 'Const) -> m (Data 'Const)

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => Data 'Const -> m (Mutable s (Data 'Const))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Data 'Const) -> m (Data 'Const)

type Mutable s (Data 'Const)

Defined in Capnp.Basics

type Mutable s (Data 'Const) = Data ('Mut s)

newtype List mut (Data mut)

Defined in Capnp.Basics

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

class ListElem mut e where

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

Associated Types

data List mut e

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

Methods

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

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 mut e -> List mut

length :: List mut e -> Int

Get the length of a list.

index :: ReadCtx m mut => Int -> List mut 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

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

toUntypedList :: List msg Bool -> List msg

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

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

toUntypedList :: List msg Double -> List msg

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

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

toUntypedList :: List msg Float -> List msg

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

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

toUntypedList :: List msg Word64 -> List msg

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

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

toUntypedList :: List msg Word32 -> List msg

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

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

toUntypedList :: List msg Word16 -> List msg

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

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

toUntypedList :: List msg Word8 -> List msg

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

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

toUntypedList :: List msg Int64 -> List msg

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

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

toUntypedList :: List msg Int32 -> List msg

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

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

toUntypedList :: List msg Int16 -> List msg

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

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

toUntypedList :: List msg Int8 -> List msg

length :: List msg Int8 -> Int

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

ListElem mut ElementSize

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut ElementSize

Methods

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

toUntypedList :: List mut ElementSize -> List mut

length :: List mut ElementSize -> Int

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

ListElem mut Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut Side

Methods

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

toUntypedList :: List mut Side -> List mut

length :: List mut Side -> Int

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

ListElem mut Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut Exception'Type

Methods

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

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

length :: List mut Exception'Type -> Int

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

ListElem mut (Text mut)

Defined in Capnp.Basics

Associated Types

data List mut (Text mut)

Methods

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

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

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

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

ListElem mut (Data mut)

Defined in Capnp.Basics

Associated Types

data List mut (Data mut)

Methods

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

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

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

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

ListElem mut (StreamResult mut)

Defined in Capnp.Gen.Capnp.Stream

Associated Types

data List mut (StreamResult mut)

Methods

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

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

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

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

ListElem mut (CodeGeneratorRequest'RequestedFile'Import mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (CodeGeneratorRequest'RequestedFile'Import mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (CodeGeneratorRequest'RequestedFile'Import mut))

toUntypedList :: List mut (CodeGeneratorRequest'RequestedFile'Import mut) -> List mut

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

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

ListElem mut (CodeGeneratorRequest'RequestedFile mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (CodeGeneratorRequest'RequestedFile mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (CodeGeneratorRequest'RequestedFile mut))

toUntypedList :: List mut (CodeGeneratorRequest'RequestedFile mut) -> List mut

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

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

ListElem mut (CodeGeneratorRequest mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (CodeGeneratorRequest mut)

Methods

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

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

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

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

ListElem mut (CapnpVersion mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (CapnpVersion mut)

Methods

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

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

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

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

ListElem mut (Annotation mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Annotation mut)

Methods

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

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

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

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

ListElem mut (Value mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Value mut)

Methods

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

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

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

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

ListElem mut (Brand'Binding mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Brand'Binding mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Brand'Binding mut))

toUntypedList :: List mut (Brand'Binding mut) -> List mut

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

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

ListElem mut (Brand'Scope mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Brand'Scope mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Brand'Scope mut))

toUntypedList :: List mut (Brand'Scope mut) -> List mut

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

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

ListElem mut (Brand mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Brand mut)

Methods

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

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

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

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

ListElem mut (Type mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Type mut)

Methods

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

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

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

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

ListElem mut (Method mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Method mut)

Methods

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

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

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

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

ListElem mut (Superclass mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Superclass mut)

Methods

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

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

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

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

ListElem mut (Enumerant mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Enumerant mut)

Methods

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

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

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

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

ListElem mut (Field mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Field mut)

Methods

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

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

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

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

ListElem mut (Node'SourceInfo'Member mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'SourceInfo'Member mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Node'SourceInfo'Member mut))

toUntypedList :: List mut (Node'SourceInfo'Member mut) -> List mut

length :: List mut (Node'SourceInfo'Member mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Node'SourceInfo'Member mut) -> m (Node'SourceInfo'Member mut)

ListElem mut (Node'SourceInfo mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'SourceInfo mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Node'SourceInfo mut))

toUntypedList :: List mut (Node'SourceInfo mut) -> List mut

length :: List mut (Node'SourceInfo mut) -> Int

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

ListElem mut (Node'NestedNode mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'NestedNode mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Node'NestedNode mut))

toUntypedList :: List mut (Node'NestedNode mut) -> List mut

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

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

ListElem mut (Node'Parameter mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'Parameter mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Node'Parameter mut))

toUntypedList :: List mut (Node'Parameter mut) -> List mut

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

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

ListElem mut (Node mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node mut)

Methods

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

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

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

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

ListElem mut (JoinResult mut)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (JoinResult mut)

Methods

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

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

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

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

ListElem mut (JoinKeyPart mut)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (JoinKeyPart mut)

Methods

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

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

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

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

ListElem mut (ThirdPartyCapId mut)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (ThirdPartyCapId mut)

Methods

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

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

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

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

ListElem mut (RecipientId mut)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (RecipientId mut)

Methods

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

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

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

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

ListElem mut (ProvisionId mut)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (ProvisionId mut)

Methods

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

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

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

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

ListElem mut (VatId mut)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (VatId mut)

Methods

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

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

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

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

ListElem mut (Exception mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Exception mut)

Methods

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

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

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

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

ListElem mut (ThirdPartyCapDescriptor mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (ThirdPartyCapDescriptor mut)

Methods

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

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

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

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

ListElem mut (PromisedAnswer'Op mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (PromisedAnswer'Op mut)

Methods

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

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

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

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

ListElem mut (PromisedAnswer mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (PromisedAnswer mut)

Methods

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

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

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

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

ListElem mut (CapDescriptor mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (CapDescriptor mut)

Methods

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

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

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

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

ListElem mut (Payload mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Payload mut)

Methods

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

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

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

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

ListElem mut (MessageTarget mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (MessageTarget mut)

Methods

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

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

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

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

ListElem mut (Join mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Join mut)

Methods

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

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

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

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

ListElem mut (Accept mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Accept mut)

Methods

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

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

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

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

ListElem mut (Provide mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Provide mut)

Methods

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

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

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

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

ListElem mut (Disembargo mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Disembargo mut)

Methods

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

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

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

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

ListElem mut (Release mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Release mut)

Methods

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

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

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

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

ListElem mut (Resolve mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Resolve mut)

Methods

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

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

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

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

ListElem mut (Finish mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Finish mut)

Methods

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

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

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

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

ListElem mut (Return mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Return mut)

Methods

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

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

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

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

ListElem mut (Call mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Call mut)

Methods

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

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

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

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

ListElem mut (Bootstrap mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Bootstrap mut)

Methods

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

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

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

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

ListElem mut (Message mut)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Message mut)

Methods

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

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

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

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

ListElem mut (DiscriminatorOptions mut)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (DiscriminatorOptions mut)

Methods

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

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

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

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

ListElem mut (FlattenOptions mut)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (FlattenOptions mut)

Methods

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

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

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

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

ListElem mut (Value'Call mut)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (Value'Call mut)

Methods

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

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

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

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

ListElem mut (Value'Field mut)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (Value'Field mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Value'Field mut))

toUntypedList :: List mut (Value'Field mut) -> List mut

length :: List mut (Value'Field mut) -> Int

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

ListElem mut (Value mut)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (Value mut)

Methods

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

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

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

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

ListElem mut e => ListElem mut (List mut e)

Defined in Capnp.Classes

Associated Types

data List mut (List mut e)

Methods

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

toUntypedList :: List mut (List mut e) -> List0 mut

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

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

ListElem mut (Persistent'SaveResults sturdyRef owner mut)

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

data List mut (Persistent'SaveResults sturdyRef owner mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Persistent'SaveResults sturdyRef owner mut))

toUntypedList :: List mut (Persistent'SaveResults sturdyRef owner mut) -> List mut

length :: List mut (Persistent'SaveResults sturdyRef owner mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Persistent'SaveResults sturdyRef owner mut) -> m (Persistent'SaveResults sturdyRef owner mut)

ListElem mut (Persistent'SaveParams sturdyRef owner mut)

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

data List mut (Persistent'SaveParams sturdyRef owner mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Persistent'SaveParams sturdyRef owner mut))

toUntypedList :: List mut (Persistent'SaveParams sturdyRef owner mut) -> List mut

length :: List mut (Persistent'SaveParams sturdyRef owner mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Persistent'SaveParams sturdyRef owner mut) -> m (Persistent'SaveParams sturdyRef owner mut)

ListElem mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut)

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

data List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut))

toUntypedList :: List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) -> List mut

length :: List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) -> Int

index :: ReadCtx m mut => Int -> List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) -> m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut)

ListElem mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut)

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

data List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut))

toUntypedList :: List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) -> List mut

length :: List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) -> Int

index :: ReadCtx m mut => Int -> List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) -> m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut)

class ListElem ('Mut s) e => MutListElem s e where

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

Methods

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

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

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut 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 ('Mut s) Bool -> m ()

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

MutListElem s Double

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Float

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word64

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word32

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word16

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word8

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int64

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int32

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int16

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int8

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Text ('Mut s))

Defined in Capnp.Basics

Methods

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

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

MutListElem s (Data ('Mut s))

Defined in Capnp.Basics

Methods

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

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

MutListElem s (StreamResult ('Mut s))

Defined in Capnp.Gen.Capnp.Stream

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (CodeGeneratorRequest'RequestedFile ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (CodeGeneratorRequest ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (CapnpVersion ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Annotation ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Value ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Brand'Binding ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Brand'Scope ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Brand ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Type ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Method ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Superclass ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Enumerant ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Field ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Node'SourceInfo'Member ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'SourceInfo'Member ('Mut s) -> Int -> List ('Mut s) (Node'SourceInfo'Member ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Node'SourceInfo'Member ('Mut s)))

MutListElem s (Node'SourceInfo ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Node'NestedNode ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Node'Parameter ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Node ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (JoinResult ('Mut s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (JoinKeyPart ('Mut s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (ThirdPartyCapId ('Mut s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (RecipientId ('Mut s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (ProvisionId ('Mut s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (VatId ('Mut s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (Exception ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (ThirdPartyCapDescriptor ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (CapDescriptor ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Payload ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (MessageTarget ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Join ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Accept ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Provide ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Disembargo ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Release ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Resolve ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Finish ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Return ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Call ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Bootstrap ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Message ('Mut s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (DiscriminatorOptions ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

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

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

MutListElem s (FlattenOptions ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

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

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

MutListElem s (Value'Call ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

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

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

MutListElem s (Value'Field ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

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

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

MutListElem s (Value ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

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

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

MutListElem s e => MutListElem s (List ('Mut s) e)

Defined in Capnp.Classes

Methods

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

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

MutListElem s (Persistent'SaveResults sturdyRef owner ('Mut s))

Defined in Capnp.Gen.Capnp.Persistent

Methods

setIndex :: RWCtx m s => Persistent'SaveResults sturdyRef owner ('Mut s) -> Int -> List ('Mut s) (Persistent'SaveResults sturdyRef owner ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Persistent'SaveResults sturdyRef owner ('Mut s)))

MutListElem s (Persistent'SaveParams sturdyRef owner ('Mut s))

Defined in Capnp.Gen.Capnp.Persistent

Methods

setIndex :: RWCtx m s => Persistent'SaveParams sturdyRef owner ('Mut s) -> Int -> List ('Mut s) (Persistent'SaveParams sturdyRef owner ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Persistent'SaveParams sturdyRef owner ('Mut s)))

MutListElem s (RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s))

Defined in Capnp.Gen.Capnp.Persistent

Methods

setIndex :: RWCtx m s => RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s) -> Int -> List ('Mut s) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s)))

MutListElem s (RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s))

Defined in Capnp.Gen.Capnp.Persistent

Methods

setIndex :: RWCtx m s => RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s) -> Int -> List ('Mut s) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s)))

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

Interpret a list of Word8 as a capnproto Data value.

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

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 => Message ('Mut s) -> Int -> m (Data ('Mut s))

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

newText :: WriteCtx m s => Message ('Mut s) -> Int -> m (Text ('Mut s))

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

dataBytes :: ReadCtx m 'Const => Data 'Const -> m ByteString

Convert a Data to a ByteString.

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

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

textBytes :: ReadCtx m 'Const => Text 'Const -> m ByteString

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