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

ToPtr s (Text (MutMsg s))

Defined in Capnp.Basics

Methods

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

FromPtr msg (Text msg)

Defined in Capnp.Basics

Methods

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

MutListElem s (Text (MutMsg s))

Defined in Capnp.Basics

Methods

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

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

ListElem msg (Text msg)

Defined in Capnp.Basics

Associated Types

data List msg (Text msg) :: Type

Methods

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

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

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

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

newtype List msg (Text msg)

Defined in Capnp.Basics

newtype List msg (Text msg) = TextList (ListOf 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

ToPtr s (Data (MutMsg s))

Defined in Capnp.Basics

Methods

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

FromPtr msg (Data msg)

Defined in Capnp.Basics

Methods

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

MutListElem s (Data (MutMsg s))

Defined in Capnp.Basics

Methods

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

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

ListElem msg (Data msg)

Defined in Capnp.Basics

Associated Types

data List msg (Data msg) :: Type

Methods

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

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

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

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

newtype List msg (Data msg)

Defined in Capnp.Basics

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

class ListElem msg e where

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

Associated Types

data List msg e

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

Methods

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

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

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

toUntypedList :: List msg e -> List msg

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 :: Type

Methods

listFromPtr :: ReadCtx m msg => 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 :: Type

Methods

listFromPtr :: ReadCtx m msg => 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 :: Type

Methods

listFromPtr :: ReadCtx m msg => 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 :: Type

Methods

listFromPtr :: ReadCtx m msg => 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 :: Type

Methods

listFromPtr :: ReadCtx m msg => 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 :: Type

Methods

listFromPtr :: ReadCtx m msg => 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 :: Type

Methods

listFromPtr :: ReadCtx m msg => 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 :: Type

Methods

listFromPtr :: ReadCtx m msg => 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 :: Type

Methods

listFromPtr :: ReadCtx m msg => 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 :: Type

Methods

listFromPtr :: ReadCtx m msg => 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 :: Type

Methods

listFromPtr :: ReadCtx m msg => 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 msg ElementSize

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg ElementSize :: Type

Methods

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

toUntypedList :: List msg ElementSize -> List msg

length :: List msg ElementSize -> Int

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

ListElem msg Side

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg Side :: Type

Methods

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

toUntypedList :: List msg Side -> List msg

length :: List msg Side -> Int

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

ListElem msg Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg Exception'Type :: Type

Methods

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

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

length :: List msg Exception'Type -> Int

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

ListElem msg (Text msg)

Defined in Capnp.Basics

Associated Types

data List msg (Text msg) :: Type

Methods

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

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

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

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

ListElem msg (Data msg)

Defined in Capnp.Basics

Associated Types

data List msg (Data msg) :: Type

Methods

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

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

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

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

ListElem msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

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

Methods

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

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

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.Gen.Capnp.Schema

Associated Types

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

Methods

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

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

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

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

ListElem msg (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest msg) :: Type

Methods

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

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

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.Gen.Capnp.Schema

Associated Types

data List msg (CapnpVersion msg) :: Type

Methods

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

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

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

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

ListElem msg (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Annotation msg) :: Type

Methods

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

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

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

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

ListElem msg (Value msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Value msg) :: Type

Methods

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

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

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

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

ListElem msg (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

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

Methods

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

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

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

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

ListElem msg (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

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

Methods

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

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

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

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

ListElem msg (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Brand msg) :: Type

Methods

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

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

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

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

ListElem msg (Type msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Type msg) :: Type

Methods

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

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

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

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

ListElem msg (Method msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Method msg) :: Type

Methods

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

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

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

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

ListElem msg (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Superclass msg) :: Type

Methods

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

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

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

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

ListElem msg (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Enumerant msg) :: Type

Methods

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

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

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

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

ListElem msg (Field msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Field msg) :: Type

Methods

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

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

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

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

ListElem msg (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

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

Methods

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

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

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

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

ListElem msg (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

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

Methods

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

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

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

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

ListElem msg (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

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

Methods

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

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

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

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

ListElem msg (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

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

Methods

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

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

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

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

ListElem msg (Node msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Node msg) :: Type

Methods

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

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

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

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

ListElem msg (JoinResult msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (JoinResult msg) :: Type

Methods

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

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

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.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (JoinKeyPart msg) :: Type

Methods

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

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

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

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

ListElem msg (ThirdPartyCapId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (ThirdPartyCapId msg) :: Type

Methods

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

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

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

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

ListElem msg (RecipientId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (RecipientId msg) :: Type

Methods

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

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

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

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

ListElem msg (ProvisionId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (ProvisionId msg) :: Type

Methods

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

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

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

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

ListElem msg (VatId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List msg (VatId msg) :: Type

Methods

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

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

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

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

ListElem msg (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Exception msg) :: Type

Methods

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

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

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

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

ListElem msg (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (ThirdPartyCapDescriptor msg) :: Type

Methods

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

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

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

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

ListElem msg (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

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

Methods

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

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

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

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

ListElem msg (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (PromisedAnswer msg) :: Type

Methods

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

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

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

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

ListElem msg (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (CapDescriptor msg) :: Type

Methods

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

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

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

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

ListElem msg (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Payload msg) :: Type

Methods

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

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

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

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

ListElem msg (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (MessageTarget msg) :: Type

Methods

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

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

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

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

ListElem msg (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Join msg) :: Type

Methods

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

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

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

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

ListElem msg (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Accept msg) :: Type

Methods

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

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

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

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

ListElem msg (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Provide msg) :: Type

Methods

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

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

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

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

ListElem msg (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Disembargo msg) :: Type

Methods

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

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

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

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

ListElem msg (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Release msg) :: Type

Methods

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

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

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

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

ListElem msg (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Resolve msg) :: Type

Methods

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

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

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

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

ListElem msg (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Finish msg) :: Type

Methods

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

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

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

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

ListElem msg (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Return msg) :: Type

Methods

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

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

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

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

ListElem msg (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Call msg) :: Type

Methods

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

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

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

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

ListElem msg (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Bootstrap msg) :: Type

Methods

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

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

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

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

ListElem msg (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List msg (Message msg) :: Type

Methods

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

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

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

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

ListElem msg (RealmGateway'export'params msg)

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

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

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (RealmGateway'export'params msg))

toUntypedList :: List msg (RealmGateway'export'params msg) -> List msg

length :: List msg (RealmGateway'export'params msg) -> Int

index :: ReadCtx m msg => Int -> List msg (RealmGateway'export'params msg) -> m (RealmGateway'export'params msg)

ListElem msg (RealmGateway'import'params msg)

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

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

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (RealmGateway'import'params msg))

toUntypedList :: List msg (RealmGateway'import'params msg) -> List msg

length :: List msg (RealmGateway'import'params msg) -> Int

index :: ReadCtx m msg => Int -> List msg (RealmGateway'import'params msg) -> m (RealmGateway'import'params msg)

ListElem msg (Persistent'SaveResults msg)

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

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

Methods

listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Persistent'SaveResults msg))

toUntypedList :: List msg (Persistent'SaveResults msg) -> List msg

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.Gen.Capnp.Persistent

Associated Types

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

Methods

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

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

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

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

ListElem msg (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

data List msg (DiscriminatorOptions msg) :: Type

Methods

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

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

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

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

ListElem msg (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

data List msg (FlattenOptions msg) :: Type

Methods

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

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

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

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

ListElem msg (Value'Call msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

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

Methods

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

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

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

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

ListElem msg (Value'Field msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

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

Methods

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

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

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

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

ListElem msg (Value msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

data List msg (Value msg) :: Type

Methods

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

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

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

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

ListElem msg e => ListElem msg (List msg e)

Defined in Capnp.Classes

Associated Types

data List msg (List msg e) :: Type

Methods

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

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

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

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

class ListElem (MutMsg 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 (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.Gen.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.Gen.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.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Text (MutMsg s))

Defined in Capnp.Basics

Methods

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

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

MutListElem s (Data (MutMsg s))

Defined in Capnp.Basics

Methods

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

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

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

Defined in Capnp.Gen.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.Gen.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 (CodeGeneratorRequest (MutMsg s))

Defined in Capnp.Gen.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.Gen.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 (Annotation (MutMsg s))

Defined in Capnp.Gen.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 (Value (MutMsg s))

Defined in Capnp.Gen.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 (Brand'Binding (MutMsg s))

Defined in Capnp.Gen.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 (Brand'Scope (MutMsg s))

Defined in Capnp.Gen.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 (MutMsg s))

Defined in Capnp.Gen.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 (Type (MutMsg s))

Defined in Capnp.Gen.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 (Method (MutMsg s))

Defined in Capnp.Gen.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 (Superclass (MutMsg s))

Defined in Capnp.Gen.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 (Enumerant (MutMsg s))

Defined in Capnp.Gen.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 (Field (MutMsg s))

Defined in Capnp.Gen.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 (Node'SourceInfo'Member (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Node'SourceInfo (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Node'NestedNode (MutMsg s))

Defined in Capnp.Gen.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'Parameter (MutMsg s))

Defined in Capnp.Gen.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 (MutMsg s))

Defined in Capnp.Gen.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 (JoinResult (MutMsg s))

Defined in Capnp.Gen.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.Gen.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 (ThirdPartyCapId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (RecipientId (MutMsg s))

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (ProvisionId (MutMsg s))

Defined in Capnp.Gen.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 (VatId (MutMsg s))

Defined in Capnp.Gen.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 (Exception (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (ThirdPartyCapDescriptor (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer'Op (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (CapDescriptor (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Payload (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (MessageTarget (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Join (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Accept (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Provide (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Disembargo (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Release (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Resolve (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Finish (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Return (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Call (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Bootstrap (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Message (MutMsg s))

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (RealmGateway'export'params (MutMsg s))

Defined in Capnp.Gen.Capnp.Persistent

Methods

setIndex :: RWCtx m s => RealmGateway'export'params (MutMsg s) -> Int -> List (MutMsg s) (RealmGateway'export'params (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (RealmGateway'export'params (MutMsg s)))

MutListElem s (RealmGateway'import'params (MutMsg s))

Defined in Capnp.Gen.Capnp.Persistent

Methods

setIndex :: RWCtx m s => RealmGateway'import'params (MutMsg s) -> Int -> List (MutMsg s) (RealmGateway'import'params (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (RealmGateway'import'params (MutMsg s)))

MutListElem s (Persistent'SaveResults (MutMsg s))

Defined in Capnp.Gen.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.Gen.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 (DiscriminatorOptions (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

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

MutListElem s (FlattenOptions (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

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

MutListElem s (Value'Call (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

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

MutListElem s (Value'Field (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

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

MutListElem s (Value (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

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 e => MutListElem s (List (MutMsg s) e)

Defined in Capnp.Classes

Methods

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

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

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