Capnp

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

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

Working with capnproto lists

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

Working with capnproto Text and Data values.

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

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

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

Convert a Data to a ByteString.

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

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

Working with messages

data Message (mut :: Mutability)

A Cap'n Proto message, parametrized over its mutability.

Instances

Eq (Message mut)

Defined in Capnp.Message

Methods

(==) :: Message mut -> Message mut -> Bool

(/=) :: Message mut -> Message mut -> Bool

Thaw (Message 'Const)

Defined in Capnp.Message

Associated Types

type Mutable s (Message 'Const)

Methods

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

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

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

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

type Mutable s (Message 'Const)

Defined in Capnp.Message

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

data Segment (mut :: Mutability)

A segment in a Cap'n Proto message.

Instances

Eq (Segment mut)

Defined in Capnp.Message

Methods

(==) :: Segment mut -> Segment mut -> Bool

(/=) :: Segment mut -> Segment mut -> Bool

Thaw (Segment 'Const)

Defined in Capnp.Message

Associated Types

type Mutable s (Segment 'Const)

Methods

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

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

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

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

type Mutable s (Segment 'Const)

Defined in Capnp.Message

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

data Mutability

Mutability is used as a type parameter (with the DataKinds extension) to indicate the mutability of some values in this library; Const denotes an immutable value, while Mut s denotes a value that can be mutated in the scope of the state token s.

Constructors

Const

Mut Type

class Monad m => MonadReadMessage mut m where

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

Methods

numSegs :: Message mut -> m Int

numSegs gets the number of segments in a message.

numWords :: Segment mut -> m WordCount

numWords gets the number of words in a segment.

numCaps :: Message mut -> m Int

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

internalGetSeg :: Message mut -> Int -> m (Segment mut)

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

internalGetCap :: Message mut -> Int -> m Client

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

slice :: WordCount -> WordCount -> Segment mut -> m (Segment mut)

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

read :: Segment mut -> WordCount -> m Word64

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

Instances

Monad m => MonadReadMessage 'Const m

Defined in Capnp.Message

Methods

numSegs :: Message 'Const -> m Int

numWords :: Segment 'Const -> m WordCount

numCaps :: Message 'Const -> m Int

internalGetSeg :: Message 'Const -> Int -> m (Segment 'Const)

internalGetCap :: Message 'Const -> Int -> m Client

slice :: WordCount -> WordCount -> Segment 'Const -> m (Segment 'Const)

read :: Segment 'Const -> WordCount -> m Word64

(PrimMonad m, s ~ PrimState m) => MonadReadMessage ('Mut s) m

Defined in Capnp.Message

Methods

numSegs :: Message ('Mut s) -> m Int

numWords :: Segment ('Mut s) -> m WordCount

numCaps :: Message ('Mut s) -> m Int

internalGetSeg :: Message ('Mut s) -> Int -> m (Segment ('Mut s))

internalGetCap :: Message ('Mut s) -> Int -> m Client

slice :: WordCount -> WordCount -> Segment ('Mut s) -> m (Segment ('Mut s))

read :: Segment ('Mut s) -> WordCount -> m Word64

newMessage :: WriteCtx m s => Maybe WordCount -> m (Message ('Mut s))

newMessage sizeHint allocates a new empty message, with a single segment having capacity sizeHint. If sizeHint is Nothing, defaults to a sensible value.

fromByteString :: ByteString -> Segment 'Const

Convert a ByteString to a segment. O(1)

toByteString :: Segment 'Const -> ByteString

Convert a segment to a byte string. O(1)

Canonicalizing messages

canonicalize :: (RWCtx m s, MonadReadMessage mutIn m) => Struct mutIn -> m (Message ('Mut s), Segment ('Mut s))

Return a canonicalized message with a copy of the given struct as its root. returns a (message, segment) pair, where the segment is the first and only segment of the returned message.

In addition to the usual reasons for failure when reading a message (traversal limit, malformed messages), this can fail if the message does not fit in a single segment, as the canonical form requires single-segment messages.

Manipulating the root object of a message

getRoot :: (FromStruct mut a, ReadCtx m mut) => Message mut -> m a

getRoot returns the root object of a message.

newRoot :: (ToStruct ('Mut s) a, Allocate s a, WriteCtx m s) => Message ('Mut s) -> m a

newRoot allocates and returns a new value inside the message, setting it as the root object of the message.

setRoot :: (ToStruct ('Mut s) a, WriteCtx m s) => a -> m ()

setRoot sets its argument to be the root object in its message.

Marshalling data into and out of messages

class Decerialize a where

Types which may be extracted from a message.

typically, instances of Decerialize will be the algebraic data types defined in generated code for the high-level API.

Associated Types

type Cerial (mut :: Mutability) a

A variation on a which is encoded in the message.

For the case of instances in generated high-level API code, this will be the low-level API analouge of the type.

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const a -> m a

Extract the value from the message.

Instances

Decerialize Bool

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Bool

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Bool -> m Bool

Decerialize Double

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Double

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Double -> m Double

Decerialize Float

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Float

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Float -> m Float

Decerialize Int8

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Int8

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Int8 -> m Int8

Decerialize Int16

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Int16

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Int16 -> m Int16

Decerialize Int32

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Int32

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Int32 -> m Int32

Decerialize Int64

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Int64

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Int64 -> m Int64

Decerialize Word8

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Word8

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Word8 -> m Word8

Decerialize Word16

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Word16

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Word16 -> m Word16

Decerialize Word32

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Word32

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Word32 -> m Word32

Decerialize Word64

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Word64

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Word64 -> m Word64

Decerialize List

Defined in Capnp.Untyped.Pure

Associated Types

type Cerial mut List

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const List -> m List

Decerialize Struct

Defined in Capnp.Untyped.Pure

Associated Types

type Cerial mut Struct

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Struct -> m Struct

Decerialize Text

Defined in Capnp.Basics.Pure

Associated Types

type Cerial mut Text

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Text -> m Text

Decerialize Data

Defined in Capnp.Basics.Pure

Associated Types

type Cerial mut Data

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Data -> m Data

Decerialize StreamResult

Defined in Capnp.Gen.Capnp.Stream.Pure

Associated Types

type Cerial mut StreamResult

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const StreamResult -> m StreamResult

Decerialize ElementSize

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut ElementSize

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const ElementSize -> m ElementSize

Decerialize CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut CodeGeneratorRequest'RequestedFile'Import

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const CodeGeneratorRequest'RequestedFile'Import -> m CodeGeneratorRequest'RequestedFile'Import

Decerialize CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut CodeGeneratorRequest'RequestedFile

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const CodeGeneratorRequest'RequestedFile -> m CodeGeneratorRequest'RequestedFile

Decerialize CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut CodeGeneratorRequest

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const CodeGeneratorRequest -> m CodeGeneratorRequest

Decerialize CapnpVersion

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut CapnpVersion

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const CapnpVersion -> m CapnpVersion

Decerialize Annotation

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Annotation

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Annotation -> m Annotation

Decerialize Value

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Value

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Value -> m Value

Decerialize Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Brand'Binding

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Brand'Binding -> m Brand'Binding

Decerialize Brand'Scope'

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Brand'Scope'

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Brand'Scope' -> m Brand'Scope'

Decerialize Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Brand'Scope

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Brand'Scope -> m Brand'Scope

Decerialize Brand

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Brand

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Brand -> m Brand

Decerialize Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'anyPointer'implicitMethodParameter

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Type'anyPointer'implicitMethodParameter -> m Type'anyPointer'implicitMethodParameter

Decerialize Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'anyPointer'parameter

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Type'anyPointer'parameter -> m Type'anyPointer'parameter

Decerialize Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'anyPointer'unconstrained

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Type'anyPointer'unconstrained -> m Type'anyPointer'unconstrained

Decerialize Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'anyPointer

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Type'anyPointer -> m Type'anyPointer

Decerialize Type'interface

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'interface

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Type'interface -> m Type'interface

Decerialize Type'struct

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'struct

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Type'struct -> m Type'struct

Decerialize Type'enum

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'enum

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Type'enum -> m Type'enum

Decerialize Type'list

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'list

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Type'list -> m Type'list

Decerialize Type

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Type -> m Type

Decerialize Method

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Method

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Method -> m Method

Decerialize Superclass

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Superclass

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Superclass -> m Superclass

Decerialize Enumerant

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Enumerant

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Enumerant -> m Enumerant

Decerialize Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Field'ordinal

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Field'ordinal -> m Field'ordinal

Decerialize Field'group

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Field'group

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Field'group -> m Field'group

Decerialize Field'slot

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Field'slot

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Field'slot -> m Field'slot

Decerialize Field'

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Field'

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Field' -> m Field'

Decerialize Field

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Field

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Field -> m Field

Decerialize Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'SourceInfo'Member

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Node'SourceInfo'Member -> m Node'SourceInfo'Member

Decerialize Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'SourceInfo

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Node'SourceInfo -> m Node'SourceInfo

Decerialize Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'NestedNode

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Node'NestedNode -> m Node'NestedNode

Decerialize Node'Parameter

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'Parameter

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Node'Parameter -> m Node'Parameter

Decerialize Node'annotation

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'annotation

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Node'annotation -> m Node'annotation

Decerialize Node'const

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'const

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Node'const -> m Node'const

Decerialize Node'interface

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'interface

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Node'interface -> m Node'interface

Decerialize Node'enum

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'enum

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Node'enum -> m Node'enum

Decerialize Node'struct

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'struct

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Node'struct -> m Node'struct

Decerialize Node'

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Node' -> m Node'

Decerialize Node

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Node -> m Node

Decerialize Side

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut Side

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Side -> m Side

Decerialize JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut JoinResult

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const JoinResult -> m JoinResult

Decerialize JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut JoinKeyPart

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const JoinKeyPart -> m JoinKeyPart

Decerialize ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut ThirdPartyCapId

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const ThirdPartyCapId -> m ThirdPartyCapId

Decerialize RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut RecipientId

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const RecipientId -> m RecipientId

Decerialize ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut ProvisionId

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const ProvisionId -> m ProvisionId

Decerialize VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut VatId

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const VatId -> m VatId

Decerialize Exception'Type

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Exception'Type

Methods

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

Decerialize Exception

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Exception

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Exception -> m Exception

Decerialize ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut ThirdPartyCapDescriptor

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const ThirdPartyCapDescriptor -> m ThirdPartyCapDescriptor

Decerialize PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut PromisedAnswer'Op

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const PromisedAnswer'Op -> m PromisedAnswer'Op

Decerialize PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut PromisedAnswer

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const PromisedAnswer -> m PromisedAnswer

Decerialize CapDescriptor'

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut CapDescriptor'

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const CapDescriptor' -> m CapDescriptor'

Decerialize CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut CapDescriptor

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const CapDescriptor -> m CapDescriptor

Decerialize Payload

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Payload

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Payload -> m Payload

Decerialize MessageTarget

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut MessageTarget

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const MessageTarget -> m MessageTarget

Decerialize Join

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Join

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Join -> m Join

Decerialize Accept

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Accept

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Accept -> m Accept

Decerialize Provide

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Provide

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Provide -> m Provide

Decerialize Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Disembargo'context

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Disembargo'context -> m Disembargo'context

Decerialize Disembargo

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Disembargo

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Disembargo -> m Disembargo

Decerialize Release

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Release

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Release -> m Release

Decerialize Resolve'

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Resolve'

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Resolve' -> m Resolve'

Decerialize Resolve

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Resolve

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Resolve -> m Resolve

Decerialize Finish

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Finish

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Finish -> m Finish

Decerialize Return'

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Return'

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Return' -> m Return'

Decerialize Return

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Return

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Return -> m Return

Decerialize Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Call'sendResultsTo

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Call'sendResultsTo -> m Call'sendResultsTo

Decerialize Call

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Call

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Call -> m Call

Decerialize Bootstrap

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Bootstrap

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Bootstrap -> m Bootstrap

Decerialize Message

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Message

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Message -> m Message

Decerialize DiscriminatorOptions

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

Associated Types

type Cerial mut DiscriminatorOptions

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const DiscriminatorOptions -> m DiscriminatorOptions

Decerialize FlattenOptions

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

Associated Types

type Cerial mut FlattenOptions

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const FlattenOptions -> m FlattenOptions

Decerialize Value'Call

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

Associated Types

type Cerial mut Value'Call

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Value'Call -> m Value'Call

Decerialize Value'Field

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

Associated Types

type Cerial mut Value'Field

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Value'Field -> m Value'Field

Decerialize Value

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

Associated Types

type Cerial mut Value

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Value -> m Value

Decerialize (Maybe Ptr)

Defined in Capnp.Untyped.Pure

Associated Types

type Cerial mut (Maybe Ptr)

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const (Maybe Ptr) -> m (Maybe Ptr)

(ListElem 'Const (Cerial 'Const a), Decerialize a) => Decerialize (Vector a)

Defined in Capnp.Classes

Associated Types

type Cerial mut (Vector a)

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const (Vector a) -> m (Vector a)

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner)) => Decerialize (Persistent'SaveResults sturdyRef owner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

type Cerial mut (Persistent'SaveResults sturdyRef owner)

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const (Persistent'SaveResults sturdyRef owner) -> m (Persistent'SaveResults sturdyRef owner)

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner)) => Decerialize (Persistent'SaveParams sturdyRef owner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

type Cerial mut (Persistent'SaveParams sturdyRef owner)

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const (Persistent'SaveParams sturdyRef owner) -> m (Persistent'SaveParams sturdyRef owner)

Decerialize (Persistent sturdyRef owner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

type Cerial mut (Persistent sturdyRef owner)

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const (Persistent sturdyRef owner) -> m (Persistent sturdyRef owner)

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner)) => Decerialize (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

type Cerial mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) -> m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner)) => Decerialize (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

type Cerial mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) -> m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)

Decerialize (RealmGateway internalRef externalRef internalOwner externalOwner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

type Cerial mut (RealmGateway internalRef externalRef internalOwner externalOwner)

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const (RealmGateway internalRef externalRef internalOwner externalOwner) -> m (RealmGateway internalRef externalRef internalOwner externalOwner)

class Decerialize a => Cerialize s a where

Types which may be inserted into a message.

Minimal complete definition

Nothing

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> a -> m (Cerial ('Mut s) a)

Cerialize a value into the supplied message, returning the result.

default cerialize :: (RWCtx m s, Marshal s a, Allocate s (Cerial ('Mut s) a)) => Message ('Mut s) -> a -> m (Cerial ('Mut s) a)

Instances

Cerialize s Bool

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Bool -> m (Cerial ('Mut s) Bool)

Cerialize s Double

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Double -> m (Cerial ('Mut s) Double)

Cerialize s Float

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Float -> m (Cerial ('Mut s) Float)

Cerialize s Word64

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Word64 -> m (Cerial ('Mut s) Word64)

Cerialize s Word32

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Word32 -> m (Cerial ('Mut s) Word32)

Cerialize s Word16

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Word16 -> m (Cerial ('Mut s) Word16)

Cerialize s Word8

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Word8 -> m (Cerial ('Mut s) Word8)

Cerialize s Int64

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Int64 -> m (Cerial ('Mut s) Int64)

Cerialize s Int32

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Int32 -> m (Cerial ('Mut s) Int32)

Cerialize s Int16

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Int16 -> m (Cerial ('Mut s) Int16)

Cerialize s Int8

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Int8 -> m (Cerial ('Mut s) Int8)

Cerialize s List

Defined in Capnp.Untyped.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> List -> m (Cerial ('Mut s) List)

Cerialize s Struct

Defined in Capnp.Untyped.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Struct -> m (Cerial ('Mut s) Struct)

Cerialize s Text

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Text -> m (Cerial ('Mut s) Text)

Cerialize s Data

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Data -> m (Cerial ('Mut s) Data)

Cerialize s StreamResult

Defined in Capnp.Gen.Capnp.Stream.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> StreamResult -> m (Cerial ('Mut s) StreamResult)

Cerialize s ElementSize

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> ElementSize -> m (Cerial ('Mut s) ElementSize)

Cerialize s CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> CodeGeneratorRequest'RequestedFile'Import -> m (Cerial ('Mut s) CodeGeneratorRequest'RequestedFile'Import)

Cerialize s CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> CodeGeneratorRequest'RequestedFile -> m (Cerial ('Mut s) CodeGeneratorRequest'RequestedFile)

Cerialize s CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> CodeGeneratorRequest -> m (Cerial ('Mut s) CodeGeneratorRequest)

Cerialize s CapnpVersion

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> CapnpVersion -> m (Cerial ('Mut s) CapnpVersion)

Cerialize s Annotation

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Annotation -> m (Cerial ('Mut s) Annotation)

Cerialize s Value

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Value -> m (Cerial ('Mut s) Value)

Cerialize s Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Brand'Binding -> m (Cerial ('Mut s) Brand'Binding)

Cerialize s Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Brand'Scope -> m (Cerial ('Mut s) Brand'Scope)

Cerialize s Brand

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Brand -> m (Cerial ('Mut s) Brand)

Cerialize s Type

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Type -> m (Cerial ('Mut s) Type)

Cerialize s Method

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Method -> m (Cerial ('Mut s) Method)

Cerialize s Superclass

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Superclass -> m (Cerial ('Mut s) Superclass)

Cerialize s Enumerant

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Enumerant -> m (Cerial ('Mut s) Enumerant)

Cerialize s Field

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Field -> m (Cerial ('Mut s) Field)

Cerialize s Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Node'SourceInfo'Member -> m (Cerial ('Mut s) Node'SourceInfo'Member)

Cerialize s Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Node'SourceInfo -> m (Cerial ('Mut s) Node'SourceInfo)

Cerialize s Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Node'NestedNode -> m (Cerial ('Mut s) Node'NestedNode)

Cerialize s Node'Parameter

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Node'Parameter -> m (Cerial ('Mut s) Node'Parameter)

Cerialize s Node

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Node -> m (Cerial ('Mut s) Node)

Cerialize s Side

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Side -> m (Cerial ('Mut s) Side)

Cerialize s JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> JoinResult -> m (Cerial ('Mut s) JoinResult)

Cerialize s JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> JoinKeyPart -> m (Cerial ('Mut s) JoinKeyPart)

Cerialize s ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> ThirdPartyCapId -> m (Cerial ('Mut s) ThirdPartyCapId)

Cerialize s RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> RecipientId -> m (Cerial ('Mut s) RecipientId)

Cerialize s ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> ProvisionId -> m (Cerial ('Mut s) ProvisionId)

Cerialize s VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> VatId -> m (Cerial ('Mut s) VatId)

Cerialize s Exception'Type

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Exception

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Exception -> m (Cerial ('Mut s) Exception)

Cerialize s ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> ThirdPartyCapDescriptor -> m (Cerial ('Mut s) ThirdPartyCapDescriptor)

Cerialize s PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> PromisedAnswer'Op -> m (Cerial ('Mut s) PromisedAnswer'Op)

Cerialize s PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> PromisedAnswer -> m (Cerial ('Mut s) PromisedAnswer)

Cerialize s CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> CapDescriptor -> m (Cerial ('Mut s) CapDescriptor)

Cerialize s Payload

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Payload -> m (Cerial ('Mut s) Payload)

Cerialize s MessageTarget

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> MessageTarget -> m (Cerial ('Mut s) MessageTarget)

Cerialize s Join

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Join -> m (Cerial ('Mut s) Join)

Cerialize s Accept

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Accept -> m (Cerial ('Mut s) Accept)

Cerialize s Provide

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Provide -> m (Cerial ('Mut s) Provide)

Cerialize s Disembargo

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Disembargo -> m (Cerial ('Mut s) Disembargo)

Cerialize s Release

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Release -> m (Cerial ('Mut s) Release)

Cerialize s Resolve

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Resolve -> m (Cerial ('Mut s) Resolve)

Cerialize s Finish

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Finish -> m (Cerial ('Mut s) Finish)

Cerialize s Return

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Return -> m (Cerial ('Mut s) Return)

Cerialize s Call

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Call -> m (Cerial ('Mut s) Call)

Cerialize s Bootstrap

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Bootstrap -> m (Cerial ('Mut s) Bootstrap)

Cerialize s Message

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message0 ('Mut s) -> Message -> m (Cerial ('Mut s) Message)

Cerialize s DiscriminatorOptions

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> DiscriminatorOptions -> m (Cerial ('Mut s) DiscriminatorOptions)

Cerialize s FlattenOptions

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> FlattenOptions -> m (Cerial ('Mut s) FlattenOptions)

Cerialize s Value'Call

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Value'Call -> m (Cerial ('Mut s) Value'Call)

Cerialize s Value'Field

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Value'Field -> m (Cerial ('Mut s) Value'Field)

Cerialize s Value

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Value -> m (Cerial ('Mut s) Value)

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Bool))))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Bool))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Bool)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Bool)))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Bool)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Bool))))))

Cerialize s (Vector (Vector (Vector (Vector Bool))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Bool))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Bool)))))

Cerialize s (Vector (Vector (Vector Bool)))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Bool)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Bool))))

Cerialize s (Vector (Vector Bool))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Bool) -> m (Cerial ('Mut s) (Vector (Vector Bool)))

Cerialize s (Vector Bool)

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Bool -> m (Cerial ('Mut s) (Vector Bool))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Double))))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Double))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Double)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Double)))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Double)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Double))))))

Cerialize s (Vector (Vector (Vector (Vector Double))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Double))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Double)))))

Cerialize s (Vector (Vector (Vector Double)))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Double)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Double))))

Cerialize s (Vector (Vector Double))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Double) -> m (Cerial ('Mut s) (Vector (Vector Double)))

Cerialize s (Vector Double)

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Double -> m (Cerial ('Mut s) (Vector Double))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Float))))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Float))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Float)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Float)))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Float)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Float))))))

Cerialize s (Vector (Vector (Vector (Vector Float))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Float))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Float)))))

Cerialize s (Vector (Vector (Vector Float)))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Float)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Float))))

Cerialize s (Vector (Vector Float))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Float) -> m (Cerial ('Mut s) (Vector (Vector Float)))

Cerialize s (Vector Float)

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Float -> m (Cerial ('Mut s) (Vector Float))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Word64))))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Word64))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Word64)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Word64)))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Word64)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Word64))))))

Cerialize s (Vector (Vector (Vector (Vector Word64))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Word64))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Word64)))))

Cerialize s (Vector (Vector (Vector Word64)))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Word64)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Word64))))

Cerialize s (Vector (Vector Word64))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Word64) -> m (Cerial ('Mut s) (Vector (Vector Word64)))

Cerialize s (Vector Word64)

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Word64 -> m (Cerial ('Mut s) (Vector Word64))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Word32))))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Word32))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Word32)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Word32)))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Word32)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Word32))))))

Cerialize s (Vector (Vector (Vector (Vector Word32))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Word32))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Word32)))))

Cerialize s (Vector (Vector (Vector Word32)))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Word32)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Word32))))

Cerialize s (Vector (Vector Word32))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Word32) -> m (Cerial ('Mut s) (Vector (Vector Word32)))

Cerialize s (Vector Word32)

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Word32 -> m (Cerial ('Mut s) (Vector Word32))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Word16))))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Word16))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Word16)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Word16)))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Word16)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Word16))))))

Cerialize s (Vector (Vector (Vector (Vector Word16))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Word16))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Word16)))))

Cerialize s (Vector (Vector (Vector Word16)))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Word16)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Word16))))

Cerialize s (Vector (Vector Word16))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Word16) -> m (Cerial ('Mut s) (Vector (Vector Word16)))

Cerialize s (Vector Word16)

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Word16 -> m (Cerial ('Mut s) (Vector Word16))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Word8))))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Word8))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Word8)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Word8)))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Word8)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Word8))))))

Cerialize s (Vector (Vector (Vector (Vector Word8))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Word8))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Word8)))))

Cerialize s (Vector (Vector (Vector Word8)))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Word8)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Word8))))

Cerialize s (Vector (Vector Word8))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Word8) -> m (Cerial ('Mut s) (Vector (Vector Word8)))

Cerialize s (Vector Word8)

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Word8 -> m (Cerial ('Mut s) (Vector Word8))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Int64))))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Int64))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Int64)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Int64)))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Int64)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Int64))))))

Cerialize s (Vector (Vector (Vector (Vector Int64))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Int64))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Int64)))))

Cerialize s (Vector (Vector (Vector Int64)))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Int64)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Int64))))

Cerialize s (Vector (Vector Int64))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Int64) -> m (Cerial ('Mut s) (Vector (Vector Int64)))

Cerialize s (Vector Int64)

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Int64 -> m (Cerial ('Mut s) (Vector Int64))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Int32))))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Int32))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Int32)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Int32)))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Int32)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Int32))))))

Cerialize s (Vector (Vector (Vector (Vector Int32))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Int32))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Int32)))))

Cerialize s (Vector (Vector (Vector Int32)))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Int32)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Int32))))

Cerialize s (Vector (Vector Int32))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Int32) -> m (Cerial ('Mut s) (Vector (Vector Int32)))

Cerialize s (Vector Int32)

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Int32 -> m (Cerial ('Mut s) (Vector Int32))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Int16))))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Int16))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Int16)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Int16)))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Int16)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Int16))))))

Cerialize s (Vector (Vector (Vector (Vector Int16))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Int16))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Int16)))))

Cerialize s (Vector (Vector (Vector Int16)))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Int16)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Int16))))

Cerialize s (Vector (Vector Int16))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Int16) -> m (Cerial ('Mut s) (Vector (Vector Int16)))

Cerialize s (Vector Int16)

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Int16 -> m (Cerial ('Mut s) (Vector Int16))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Int8))))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Int8))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Int8)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Int8)))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Int8)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Int8))))))

Cerialize s (Vector (Vector (Vector (Vector Int8))))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Int8))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Int8)))))

Cerialize s (Vector (Vector (Vector Int8)))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Int8)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Int8))))

Cerialize s (Vector (Vector Int8))

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Int8) -> m (Cerial ('Mut s) (Vector (Vector Int8)))

Cerialize s (Vector Int8)

Defined in Internal.Gen.Instances

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Int8 -> m (Cerial ('Mut s) (Vector Int8))

Cerialize s (Maybe Ptr)

Defined in Capnp.Untyped.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))

Cerialize s (Vector (Vector (Vector (Vector (Vector Data)))))

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Data)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Data))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Text)))))

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Text)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Text))))))

Cerialize s (Vector (Vector (Vector (Vector Data))))

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Data))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Data)))))

Cerialize s (Vector (Vector (Vector (Vector Text))))

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Text))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Text)))))

Cerialize s (Vector (Vector (Vector Data)))

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Data)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Data))))

Cerialize s (Vector (Vector (Vector Text)))

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Text)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Text))))

Cerialize s (Vector (Vector Data))

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Data) -> m (Cerial ('Mut s) (Vector (Vector Data)))

Cerialize s (Vector (Vector Text))

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Text) -> m (Cerial ('Mut s) (Vector (Vector Text)))

Cerialize s (Vector Data)

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Data -> m (Cerial ('Mut s) (Vector Data))

Cerialize s (Vector Text)

Defined in Capnp.Basics.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Text -> m (Cerial ('Mut s) (Vector Text))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector StreamResult)))))))

Defined in Capnp.Gen.Capnp.Stream.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector StreamResult)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector StreamResult))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector StreamResult))))))

Defined in Capnp.Gen.Capnp.Stream.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector StreamResult))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector StreamResult)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector StreamResult)))))

Defined in Capnp.Gen.Capnp.Stream.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector StreamResult)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector StreamResult))))))

Cerialize s (Vector (Vector (Vector (Vector StreamResult))))

Defined in Capnp.Gen.Capnp.Stream.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector StreamResult))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector StreamResult)))))

Cerialize s (Vector (Vector (Vector StreamResult)))

Defined in Capnp.Gen.Capnp.Stream.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector StreamResult)) -> m (Cerial ('Mut s) (Vector (Vector (Vector StreamResult))))

Cerialize s (Vector (Vector StreamResult))

Defined in Capnp.Gen.Capnp.Stream.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector StreamResult) -> m (Cerial ('Mut s) (Vector (Vector StreamResult)))

Cerialize s (Vector StreamResult)

Defined in Capnp.Gen.Capnp.Stream.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector StreamResult -> m (Cerial ('Mut s) (Vector StreamResult))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ElementSize))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector ElementSize))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector ElementSize)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector ElementSize)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector ElementSize)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector ElementSize))))))

Cerialize s (Vector (Vector (Vector (Vector ElementSize))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector ElementSize))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector ElementSize)))))

Cerialize s (Vector (Vector (Vector ElementSize)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector ElementSize)) -> m (Cerial ('Mut s) (Vector (Vector (Vector ElementSize))))

Cerialize s (Vector (Vector ElementSize))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector ElementSize) -> m (Cerial ('Mut s) (Vector (Vector ElementSize)))

Cerialize s (Vector ElementSize)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector ElementSize -> m (Cerial ('Mut s) (Vector ElementSize))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))))

Cerialize s (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))))

Cerialize s (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)) -> m (Cerial ('Mut s) (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))

Cerialize s (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector CodeGeneratorRequest'RequestedFile'Import) -> m (Cerial ('Mut s) (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))

Cerialize s (Vector CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector CodeGeneratorRequest'RequestedFile'Import -> m (Cerial ('Mut s) (Vector CodeGeneratorRequest'RequestedFile'Import))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))))

Cerialize s (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))))

Cerialize s (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)) -> m (Cerial ('Mut s) (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))

Cerialize s (Vector (Vector CodeGeneratorRequest'RequestedFile))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector CodeGeneratorRequest'RequestedFile) -> m (Cerial ('Mut s) (Vector (Vector CodeGeneratorRequest'RequestedFile)))

Cerialize s (Vector CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector CodeGeneratorRequest'RequestedFile -> m (Cerial ('Mut s) (Vector CodeGeneratorRequest'RequestedFile))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest))))))

Cerialize s (Vector (Vector (Vector (Vector CodeGeneratorRequest))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector CodeGeneratorRequest))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector CodeGeneratorRequest)))))

Cerialize s (Vector (Vector (Vector CodeGeneratorRequest)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector CodeGeneratorRequest)) -> m (Cerial ('Mut s) (Vector (Vector (Vector CodeGeneratorRequest))))

Cerialize s (Vector (Vector CodeGeneratorRequest))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector CodeGeneratorRequest) -> m (Cerial ('Mut s) (Vector (Vector CodeGeneratorRequest)))

Cerialize s (Vector CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector CodeGeneratorRequest -> m (Cerial ('Mut s) (Vector CodeGeneratorRequest))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector CapnpVersion)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector CapnpVersion)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector CapnpVersion))))))

Cerialize s (Vector (Vector (Vector (Vector CapnpVersion))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector CapnpVersion))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector CapnpVersion)))))

Cerialize s (Vector (Vector (Vector CapnpVersion)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector CapnpVersion)) -> m (Cerial ('Mut s) (Vector (Vector (Vector CapnpVersion))))

Cerialize s (Vector (Vector CapnpVersion))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector CapnpVersion) -> m (Cerial ('Mut s) (Vector (Vector CapnpVersion)))

Cerialize s (Vector CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector CapnpVersion -> m (Cerial ('Mut s) (Vector CapnpVersion))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Annotation)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Annotation)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Annotation))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Annotation))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Annotation))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Annotation)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Annotation)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Annotation)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Annotation))))))

Cerialize s (Vector (Vector (Vector (Vector Annotation))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Annotation))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Annotation)))))

Cerialize s (Vector (Vector (Vector Annotation)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Annotation)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Annotation))))

Cerialize s (Vector (Vector Annotation))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Annotation) -> m (Cerial ('Mut s) (Vector (Vector Annotation)))

Cerialize s (Vector Annotation)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Annotation -> m (Cerial ('Mut s) (Vector Annotation))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Value)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Value))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Value))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Value)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Value)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Value)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Value))))))

Cerialize s (Vector (Vector (Vector (Vector Value))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Value))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Value)))))

Cerialize s (Vector (Vector (Vector Value)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Value)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Value))))

Cerialize s (Vector (Vector Value))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Value) -> m (Cerial ('Mut s) (Vector (Vector Value)))

Cerialize s (Vector Value)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Value -> m (Cerial ('Mut s) (Vector Value))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Brand'Binding)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Brand'Binding)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Brand'Binding))))))

Cerialize s (Vector (Vector (Vector (Vector Brand'Binding))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Brand'Binding))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Brand'Binding)))))

Cerialize s (Vector (Vector (Vector Brand'Binding)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Brand'Binding)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Brand'Binding))))

Cerialize s (Vector (Vector Brand'Binding))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Brand'Binding) -> m (Cerial ('Mut s) (Vector (Vector Brand'Binding)))

Cerialize s (Vector Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Brand'Binding -> m (Cerial ('Mut s) (Vector Brand'Binding))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Brand'Scope)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Brand'Scope)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Brand'Scope))))))

Cerialize s (Vector (Vector (Vector (Vector Brand'Scope))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Brand'Scope))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Brand'Scope)))))

Cerialize s (Vector (Vector (Vector Brand'Scope)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Brand'Scope)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Brand'Scope))))

Cerialize s (Vector (Vector Brand'Scope))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Brand'Scope) -> m (Cerial ('Mut s) (Vector (Vector Brand'Scope)))

Cerialize s (Vector Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Brand'Scope -> m (Cerial ('Mut s) (Vector Brand'Scope))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Brand))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Brand))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Brand)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Brand)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Brand)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Brand))))))

Cerialize s (Vector (Vector (Vector (Vector Brand))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Brand))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Brand)))))

Cerialize s (Vector (Vector (Vector Brand)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Brand)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Brand))))

Cerialize s (Vector (Vector Brand))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Brand) -> m (Cerial ('Mut s) (Vector (Vector Brand)))

Cerialize s (Vector Brand)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Brand -> m (Cerial ('Mut s) (Vector Brand))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Type)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Type)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Type))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Type))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Type))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Type)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Type)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Type)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Type))))))

Cerialize s (Vector (Vector (Vector (Vector Type))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Type))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Type)))))

Cerialize s (Vector (Vector (Vector Type)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Type)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Type))))

Cerialize s (Vector (Vector Type))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Type) -> m (Cerial ('Mut s) (Vector (Vector Type)))

Cerialize s (Vector Type)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Type -> m (Cerial ('Mut s) (Vector Type))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Method)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Method)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Method))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Method))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Method))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Method)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Method)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Method)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Method))))))

Cerialize s (Vector (Vector (Vector (Vector Method))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Method))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Method)))))

Cerialize s (Vector (Vector (Vector Method)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Method)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Method))))

Cerialize s (Vector (Vector Method))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Method) -> m (Cerial ('Mut s) (Vector (Vector Method)))

Cerialize s (Vector Method)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Method -> m (Cerial ('Mut s) (Vector Method))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Superclass)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Superclass)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Superclass))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Superclass))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Superclass))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Superclass)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Superclass)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Superclass)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Superclass))))))

Cerialize s (Vector (Vector (Vector (Vector Superclass))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Superclass))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Superclass)))))

Cerialize s (Vector (Vector (Vector Superclass)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Superclass)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Superclass))))

Cerialize s (Vector (Vector Superclass))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Superclass) -> m (Cerial ('Mut s) (Vector (Vector Superclass)))

Cerialize s (Vector Superclass)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Superclass -> m (Cerial ('Mut s) (Vector Superclass))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Enumerant)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Enumerant)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Enumerant))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Enumerant))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Enumerant))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Enumerant)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Enumerant)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Enumerant)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Enumerant))))))

Cerialize s (Vector (Vector (Vector (Vector Enumerant))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Enumerant))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Enumerant)))))

Cerialize s (Vector (Vector (Vector Enumerant)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Enumerant)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Enumerant))))

Cerialize s (Vector (Vector Enumerant))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Enumerant) -> m (Cerial ('Mut s) (Vector (Vector Enumerant)))

Cerialize s (Vector Enumerant)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Enumerant -> m (Cerial ('Mut s) (Vector Enumerant))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Field)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Field)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Field))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Field))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Field))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Field)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Field)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Field)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Field))))))

Cerialize s (Vector (Vector (Vector (Vector Field))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Field))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Field)))))

Cerialize s (Vector (Vector (Vector Field)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Field)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Field))))

Cerialize s (Vector (Vector Field))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Field) -> m (Cerial ('Mut s) (Vector (Vector Field)))

Cerialize s (Vector Field)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Field -> m (Cerial ('Mut s) (Vector Field))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member))))))

Cerialize s (Vector (Vector (Vector (Vector Node'SourceInfo'Member))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Node'SourceInfo'Member))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))))

Cerialize s (Vector (Vector (Vector Node'SourceInfo'Member)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Node'SourceInfo'Member)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Node'SourceInfo'Member))))

Cerialize s (Vector (Vector Node'SourceInfo'Member))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Node'SourceInfo'Member) -> m (Cerial ('Mut s) (Vector (Vector Node'SourceInfo'Member)))

Cerialize s (Vector Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Node'SourceInfo'Member -> m (Cerial ('Mut s) (Vector Node'SourceInfo'Member))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Node'SourceInfo)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Node'SourceInfo)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Node'SourceInfo))))))

Cerialize s (Vector (Vector (Vector (Vector Node'SourceInfo))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Node'SourceInfo))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Node'SourceInfo)))))

Cerialize s (Vector (Vector (Vector Node'SourceInfo)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Node'SourceInfo)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Node'SourceInfo))))

Cerialize s (Vector (Vector Node'SourceInfo))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Node'SourceInfo) -> m (Cerial ('Mut s) (Vector (Vector Node'SourceInfo)))

Cerialize s (Vector Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Node'SourceInfo -> m (Cerial ('Mut s) (Vector Node'SourceInfo))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Node'NestedNode)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Node'NestedNode)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Node'NestedNode))))))

Cerialize s (Vector (Vector (Vector (Vector Node'NestedNode))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Node'NestedNode))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Node'NestedNode)))))

Cerialize s (Vector (Vector (Vector Node'NestedNode)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Node'NestedNode)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Node'NestedNode))))

Cerialize s (Vector (Vector Node'NestedNode))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Node'NestedNode) -> m (Cerial ('Mut s) (Vector (Vector Node'NestedNode)))

Cerialize s (Vector Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Node'NestedNode -> m (Cerial ('Mut s) (Vector Node'NestedNode))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Node'Parameter)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Node'Parameter)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Node'Parameter))))))

Cerialize s (Vector (Vector (Vector (Vector Node'Parameter))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Node'Parameter))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Node'Parameter)))))

Cerialize s (Vector (Vector (Vector Node'Parameter)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Node'Parameter)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Node'Parameter))))

Cerialize s (Vector (Vector Node'Parameter))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Node'Parameter) -> m (Cerial ('Mut s) (Vector (Vector Node'Parameter)))

Cerialize s (Vector Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Node'Parameter -> m (Cerial ('Mut s) (Vector Node'Parameter))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node)))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Node)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Node))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Node)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Node)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Node)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Node))))))

Cerialize s (Vector (Vector (Vector (Vector Node))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Node))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Node)))))

Cerialize s (Vector (Vector (Vector Node)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Node)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Node))))

Cerialize s (Vector (Vector Node))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Node) -> m (Cerial ('Mut s) (Vector (Vector Node)))

Cerialize s (Vector Node)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Node -> m (Cerial ('Mut s) (Vector Node))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Side))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Side))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Side)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Side)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Side)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Side))))))

Cerialize s (Vector (Vector (Vector (Vector Side))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Side))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Side)))))

Cerialize s (Vector (Vector (Vector Side)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Side)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Side))))

Cerialize s (Vector (Vector Side))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Side) -> m (Cerial ('Mut s) (Vector (Vector Side)))

Cerialize s (Vector Side)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Side -> m (Cerial ('Mut s) (Vector Side))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector JoinResult)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector JoinResult)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector JoinResult))))))

Cerialize s (Vector (Vector (Vector (Vector JoinResult))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector JoinResult))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector JoinResult)))))

Cerialize s (Vector (Vector (Vector JoinResult)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector JoinResult)) -> m (Cerial ('Mut s) (Vector (Vector (Vector JoinResult))))

Cerialize s (Vector (Vector JoinResult))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector JoinResult) -> m (Cerial ('Mut s) (Vector (Vector JoinResult)))

Cerialize s (Vector JoinResult)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector JoinResult -> m (Cerial ('Mut s) (Vector JoinResult))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector JoinKeyPart)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))

Cerialize s (Vector (Vector (Vector (Vector JoinKeyPart))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector JoinKeyPart))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector JoinKeyPart)))))

Cerialize s (Vector (Vector (Vector JoinKeyPart)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector JoinKeyPart)) -> m (Cerial ('Mut s) (Vector (Vector (Vector JoinKeyPart))))

Cerialize s (Vector (Vector JoinKeyPart))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector JoinKeyPart) -> m (Cerial ('Mut s) (Vector (Vector JoinKeyPart)))

Cerialize s (Vector JoinKeyPart)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector JoinKeyPart -> m (Cerial ('Mut s) (Vector JoinKeyPart))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))

Cerialize s (Vector (Vector (Vector (Vector ThirdPartyCapId))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector ThirdPartyCapId))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector ThirdPartyCapId)))))

Cerialize s (Vector (Vector (Vector ThirdPartyCapId)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector ThirdPartyCapId)) -> m (Cerial ('Mut s) (Vector (Vector (Vector ThirdPartyCapId))))

Cerialize s (Vector (Vector ThirdPartyCapId))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector ThirdPartyCapId) -> m (Cerial ('Mut s) (Vector (Vector ThirdPartyCapId)))

Cerialize s (Vector ThirdPartyCapId)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector ThirdPartyCapId -> m (Cerial ('Mut s) (Vector ThirdPartyCapId))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector RecipientId)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector RecipientId)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector RecipientId))))))

Cerialize s (Vector (Vector (Vector (Vector RecipientId))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector RecipientId))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector RecipientId)))))

Cerialize s (Vector (Vector (Vector RecipientId)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector RecipientId)) -> m (Cerial ('Mut s) (Vector (Vector (Vector RecipientId))))

Cerialize s (Vector (Vector RecipientId))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector RecipientId) -> m (Cerial ('Mut s) (Vector (Vector RecipientId)))

Cerialize s (Vector RecipientId)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector RecipientId -> m (Cerial ('Mut s) (Vector RecipientId))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector ProvisionId)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector ProvisionId)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector ProvisionId))))))

Cerialize s (Vector (Vector (Vector (Vector ProvisionId))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector ProvisionId))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector ProvisionId)))))

Cerialize s (Vector (Vector (Vector ProvisionId)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector ProvisionId)) -> m (Cerial ('Mut s) (Vector (Vector (Vector ProvisionId))))

Cerialize s (Vector (Vector ProvisionId))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector ProvisionId) -> m (Cerial ('Mut s) (Vector (Vector ProvisionId)))

Cerialize s (Vector ProvisionId)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector ProvisionId -> m (Cerial ('Mut s) (Vector ProvisionId))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector VatId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector VatId)))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector VatId)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector VatId))))))

Cerialize s (Vector (Vector (Vector (Vector VatId))))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector VatId))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector VatId)))))

Cerialize s (Vector (Vector (Vector VatId)))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector VatId)) -> m (Cerial ('Mut s) (Vector (Vector (Vector VatId))))

Cerialize s (Vector (Vector VatId))

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector VatId) -> m (Cerial ('Mut s) (Vector (Vector VatId)))

Cerialize s (Vector VatId)

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector VatId -> m (Cerial ('Mut s) (Vector VatId))

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

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

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

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

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

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

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

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector Exception'Type))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector Exception'Type)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Exception)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Exception)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Exception))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Exception)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Exception)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Exception)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Exception))))))

Cerialize s (Vector (Vector (Vector (Vector Exception))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Exception))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Exception)))))

Cerialize s (Vector (Vector (Vector Exception)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Exception)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Exception))))

Cerialize s (Vector (Vector Exception))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Exception) -> m (Cerial ('Mut s) (Vector (Vector Exception)))

Cerialize s (Vector Exception)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Exception -> m (Cerial ('Mut s) (Vector Exception))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))

Cerialize s (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))

Cerialize s (Vector (Vector (Vector ThirdPartyCapDescriptor)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector ThirdPartyCapDescriptor)) -> m (Cerial ('Mut s) (Vector (Vector (Vector ThirdPartyCapDescriptor))))

Cerialize s (Vector (Vector ThirdPartyCapDescriptor))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector ThirdPartyCapDescriptor) -> m (Cerial ('Mut s) (Vector (Vector ThirdPartyCapDescriptor)))

Cerialize s (Vector ThirdPartyCapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector ThirdPartyCapDescriptor -> m (Cerial ('Mut s) (Vector ThirdPartyCapDescriptor))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))

Cerialize s (Vector (Vector (Vector (Vector PromisedAnswer'Op))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector PromisedAnswer'Op))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))

Cerialize s (Vector (Vector (Vector PromisedAnswer'Op)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector PromisedAnswer'Op)) -> m (Cerial ('Mut s) (Vector (Vector (Vector PromisedAnswer'Op))))

Cerialize s (Vector (Vector PromisedAnswer'Op))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector PromisedAnswer'Op) -> m (Cerial ('Mut s) (Vector (Vector PromisedAnswer'Op)))

Cerialize s (Vector PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector PromisedAnswer'Op -> m (Cerial ('Mut s) (Vector PromisedAnswer'Op))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector PromisedAnswer)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))

Cerialize s (Vector (Vector (Vector (Vector PromisedAnswer))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector PromisedAnswer))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector PromisedAnswer)))))

Cerialize s (Vector (Vector (Vector PromisedAnswer)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector PromisedAnswer)) -> m (Cerial ('Mut s) (Vector (Vector (Vector PromisedAnswer))))

Cerialize s (Vector (Vector PromisedAnswer))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector PromisedAnswer) -> m (Cerial ('Mut s) (Vector (Vector PromisedAnswer)))

Cerialize s (Vector PromisedAnswer)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector PromisedAnswer -> m (Cerial ('Mut s) (Vector PromisedAnswer))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector CapDescriptor)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))

Cerialize s (Vector (Vector (Vector (Vector CapDescriptor))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector CapDescriptor))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector CapDescriptor)))))

Cerialize s (Vector (Vector (Vector CapDescriptor)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector CapDescriptor)) -> m (Cerial ('Mut s) (Vector (Vector (Vector CapDescriptor))))

Cerialize s (Vector (Vector CapDescriptor))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector CapDescriptor) -> m (Cerial ('Mut s) (Vector (Vector CapDescriptor)))

Cerialize s (Vector CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector CapDescriptor -> m (Cerial ('Mut s) (Vector CapDescriptor))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Payload)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Payload)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Payload))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Payload)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Payload)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Payload)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Payload))))))

Cerialize s (Vector (Vector (Vector (Vector Payload))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Payload))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Payload)))))

Cerialize s (Vector (Vector (Vector Payload)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Payload)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Payload))))

Cerialize s (Vector (Vector Payload))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Payload) -> m (Cerial ('Mut s) (Vector (Vector Payload)))

Cerialize s (Vector Payload)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Payload -> m (Cerial ('Mut s) (Vector Payload))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector MessageTarget))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector MessageTarget)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector MessageTarget)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector MessageTarget))))))

Cerialize s (Vector (Vector (Vector (Vector MessageTarget))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector MessageTarget))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector MessageTarget)))))

Cerialize s (Vector (Vector (Vector MessageTarget)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector MessageTarget)) -> m (Cerial ('Mut s) (Vector (Vector (Vector MessageTarget))))

Cerialize s (Vector (Vector MessageTarget))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector MessageTarget) -> m (Cerial ('Mut s) (Vector (Vector MessageTarget)))

Cerialize s (Vector MessageTarget)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector MessageTarget -> m (Cerial ('Mut s) (Vector MessageTarget))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Join)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Join)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Join))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Join))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Join))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Join)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Join)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Join)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Join))))))

Cerialize s (Vector (Vector (Vector (Vector Join))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Join))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Join)))))

Cerialize s (Vector (Vector (Vector Join)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Join)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Join))))

Cerialize s (Vector (Vector Join))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Join) -> m (Cerial ('Mut s) (Vector (Vector Join)))

Cerialize s (Vector Join)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Join -> m (Cerial ('Mut s) (Vector Join))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Accept)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Accept)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Accept))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Accept)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Accept)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Accept)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Accept))))))

Cerialize s (Vector (Vector (Vector (Vector Accept))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Accept))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Accept)))))

Cerialize s (Vector (Vector (Vector Accept)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Accept)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Accept))))

Cerialize s (Vector (Vector Accept))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Accept) -> m (Cerial ('Mut s) (Vector (Vector Accept)))

Cerialize s (Vector Accept)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Accept -> m (Cerial ('Mut s) (Vector Accept))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Provide)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Provide)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Provide))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Provide)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Provide)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Provide)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Provide))))))

Cerialize s (Vector (Vector (Vector (Vector Provide))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Provide))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Provide)))))

Cerialize s (Vector (Vector (Vector Provide)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Provide)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Provide))))

Cerialize s (Vector (Vector Provide))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Provide) -> m (Cerial ('Mut s) (Vector (Vector Provide)))

Cerialize s (Vector Provide)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Provide -> m (Cerial ('Mut s) (Vector Provide))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Disembargo)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Disembargo)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Disembargo))))))

Cerialize s (Vector (Vector (Vector (Vector Disembargo))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Disembargo))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Disembargo)))))

Cerialize s (Vector (Vector (Vector Disembargo)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Disembargo)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Disembargo))))

Cerialize s (Vector (Vector Disembargo))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Disembargo) -> m (Cerial ('Mut s) (Vector (Vector Disembargo)))

Cerialize s (Vector Disembargo)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Disembargo -> m (Cerial ('Mut s) (Vector Disembargo))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Release)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Release)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Release))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Release))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Release))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Release)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Release)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Release)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Release))))))

Cerialize s (Vector (Vector (Vector (Vector Release))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Release))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Release)))))

Cerialize s (Vector (Vector (Vector Release)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Release)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Release))))

Cerialize s (Vector (Vector Release))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Release) -> m (Cerial ('Mut s) (Vector (Vector Release)))

Cerialize s (Vector Release)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Release -> m (Cerial ('Mut s) (Vector Release))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Resolve))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Resolve)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Resolve)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Resolve))))))

Cerialize s (Vector (Vector (Vector (Vector Resolve))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Resolve))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Resolve)))))

Cerialize s (Vector (Vector (Vector Resolve)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Resolve)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Resolve))))

Cerialize s (Vector (Vector Resolve))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Resolve) -> m (Cerial ('Mut s) (Vector (Vector Resolve)))

Cerialize s (Vector Resolve)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Resolve -> m (Cerial ('Mut s) (Vector Resolve))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Finish)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Finish)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Finish))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Finish)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Finish)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Finish)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Finish))))))

Cerialize s (Vector (Vector (Vector (Vector Finish))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Finish))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Finish)))))

Cerialize s (Vector (Vector (Vector Finish)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Finish)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Finish))))

Cerialize s (Vector (Vector Finish))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Finish) -> m (Cerial ('Mut s) (Vector (Vector Finish)))

Cerialize s (Vector Finish)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Finish -> m (Cerial ('Mut s) (Vector Finish))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Return)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Return)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Return))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Return))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Return))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Return)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Return)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Return)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Return))))))

Cerialize s (Vector (Vector (Vector (Vector Return))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Return))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Return)))))

Cerialize s (Vector (Vector (Vector Return)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Return)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Return))))

Cerialize s (Vector (Vector Return))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Return) -> m (Cerial ('Mut s) (Vector (Vector Return)))

Cerialize s (Vector Return)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Return -> m (Cerial ('Mut s) (Vector Return))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Call)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Call)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Call))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Call))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Call))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Call)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Call)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Call)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Call))))))

Cerialize s (Vector (Vector (Vector (Vector Call))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Call))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Call)))))

Cerialize s (Vector (Vector (Vector Call)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Call)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Call))))

Cerialize s (Vector (Vector Call))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Call) -> m (Cerial ('Mut s) (Vector (Vector Call)))

Cerialize s (Vector Call)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Call -> m (Cerial ('Mut s) (Vector Call))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Bootstrap)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Bootstrap)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Bootstrap))))))

Cerialize s (Vector (Vector (Vector (Vector Bootstrap))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Bootstrap))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Bootstrap)))))

Cerialize s (Vector (Vector (Vector Bootstrap)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Bootstrap)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Bootstrap))))

Cerialize s (Vector (Vector Bootstrap))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Bootstrap) -> m (Cerial ('Mut s) (Vector (Vector Bootstrap)))

Cerialize s (Vector Bootstrap)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Bootstrap -> m (Cerial ('Mut s) (Vector Bootstrap))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Message)))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message0 ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Message)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Message))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Message))))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message0 ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Message))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Message)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Message)))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message0 ('Mut s) -> Vector (Vector (Vector (Vector (Vector Message)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Message))))))

Cerialize s (Vector (Vector (Vector (Vector Message))))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message0 ('Mut s) -> Vector (Vector (Vector (Vector Message))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Message)))))

Cerialize s (Vector (Vector (Vector Message)))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message0 ('Mut s) -> Vector (Vector (Vector Message)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Message))))

Cerialize s (Vector (Vector Message))

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message0 ('Mut s) -> Vector (Vector Message) -> m (Cerial ('Mut s) (Vector (Vector Message)))

Cerialize s (Vector Message)

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

cerialize :: RWCtx m s => Message0 ('Mut s) -> Vector Message -> m (Cerial ('Mut s) (Vector Message))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))))

Cerialize s (Vector (Vector (Vector (Vector DiscriminatorOptions))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector DiscriminatorOptions))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector DiscriminatorOptions)))))

Cerialize s (Vector (Vector (Vector DiscriminatorOptions)))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector DiscriminatorOptions)) -> m (Cerial ('Mut s) (Vector (Vector (Vector DiscriminatorOptions))))

Cerialize s (Vector (Vector DiscriminatorOptions))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector DiscriminatorOptions) -> m (Cerial ('Mut s) (Vector (Vector DiscriminatorOptions)))

Cerialize s (Vector DiscriminatorOptions)

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector DiscriminatorOptions -> m (Cerial ('Mut s) (Vector DiscriminatorOptions))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector FlattenOptions)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))

Cerialize s (Vector (Vector (Vector (Vector FlattenOptions))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector FlattenOptions))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector FlattenOptions)))))

Cerialize s (Vector (Vector (Vector FlattenOptions)))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector FlattenOptions)) -> m (Cerial ('Mut s) (Vector (Vector (Vector FlattenOptions))))

Cerialize s (Vector (Vector FlattenOptions))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector FlattenOptions) -> m (Cerial ('Mut s) (Vector (Vector FlattenOptions)))

Cerialize s (Vector FlattenOptions)

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector FlattenOptions -> m (Cerial ('Mut s) (Vector FlattenOptions))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value'Call)))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Value'Call)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value'Call))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Value'Call))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Value'Call))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Value'Call)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Value'Call)))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Value'Call)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Value'Call))))))

Cerialize s (Vector (Vector (Vector (Vector Value'Call))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Value'Call))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Value'Call)))))

Cerialize s (Vector (Vector (Vector Value'Call)))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Value'Call)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Value'Call))))

Cerialize s (Vector (Vector Value'Call))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Value'Call) -> m (Cerial ('Mut s) (Vector (Vector Value'Call)))

Cerialize s (Vector Value'Call)

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Value'Call -> m (Cerial ('Mut s) (Vector Value'Call))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value'Field)))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Value'Field)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value'Field))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Value'Field))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Value'Field))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Value'Field)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Value'Field)))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Value'Field)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Value'Field))))))

Cerialize s (Vector (Vector (Vector (Vector Value'Field))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Value'Field))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Value'Field)))))

Cerialize s (Vector (Vector (Vector Value'Field)))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Value'Field)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Value'Field))))

Cerialize s (Vector (Vector Value'Field))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Value'Field) -> m (Cerial ('Mut s) (Vector (Vector Value'Field)))

Cerialize s (Vector Value'Field)

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Value'Field -> m (Cerial ('Mut s) (Vector Value'Field))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value)))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Value)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value))))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Value))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Value))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Value)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector Value)))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Value)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Value))))))

Cerialize s (Vector (Vector (Vector (Vector Value))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Value))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Value)))))

Cerialize s (Vector (Vector (Vector Value)))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Value)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Value))))

Cerialize s (Vector (Vector Value))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Value) -> m (Cerial ('Mut s) (Vector (Vector Value)))

Cerialize s (Vector Value)

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Value -> m (Cerial ('Mut s) (Vector Value))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) -> m (Cerial ('Mut s) (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) -> m (Cerial ('Mut s) (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) -> m (Cerial ('Mut s) (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) -> m (Cerial ('Mut s) (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Persistent'SaveResults sturdyRef owner)))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Persistent'SaveResults sturdyRef owner)) -> m (Cerial ('Mut s) (Vector (Vector (Persistent'SaveResults sturdyRef owner))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Persistent'SaveResults sturdyRef owner))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Persistent'SaveResults sturdyRef owner) -> m (Cerial ('Mut s) (Vector (Persistent'SaveResults sturdyRef owner)))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Vector (Persistent'SaveParams sturdyRef owner)))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Persistent'SaveParams sturdyRef owner)) -> m (Cerial ('Mut s) (Vector (Vector (Persistent'SaveParams sturdyRef owner))))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Vector (Persistent'SaveParams sturdyRef owner))

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Persistent'SaveParams sturdyRef owner) -> m (Cerial ('Mut s) (Vector (Persistent'SaveParams sturdyRef owner)))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Persistent'SaveResults sturdyRef owner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Persistent'SaveResults sturdyRef owner -> m (Cerial ('Mut s) (Persistent'SaveResults sturdyRef owner))

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner), Cerialize s sturdyRef, ToPtr s (Cerial ('Mut s) sturdyRef), Cerialize s owner, ToPtr s (Cerial ('Mut s) owner)) => Cerialize s (Persistent'SaveParams sturdyRef owner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Persistent'SaveParams sturdyRef owner -> m (Cerial ('Mut s) (Persistent'SaveParams sturdyRef owner))

Cerialize s (Persistent sturdyRef owner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Persistent sturdyRef owner -> m (Cerial ('Mut s) (Persistent sturdyRef owner))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> m (Cerial ('Mut s) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))

(Decerialize internalRef, FromPtr 'Const (Cerial 'Const internalRef), Decerialize externalRef, FromPtr 'Const (Cerial 'Const externalRef), Decerialize internalOwner, FromPtr 'Const (Cerial 'Const internalOwner), Decerialize externalOwner, FromPtr 'Const (Cerial 'Const externalOwner), Cerialize s internalRef, ToPtr s (Cerial ('Mut s) internalRef), Cerialize s externalRef, ToPtr s (Cerial ('Mut s) externalRef), Cerialize s internalOwner, ToPtr s (Cerial ('Mut s) internalOwner), Cerialize s externalOwner, ToPtr s (Cerial ('Mut s) externalOwner)) => Cerialize s (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> m (Cerial ('Mut s) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))

Cerialize s (RealmGateway internalRef externalRef internalOwner externalOwner)

Defined in Capnp.Gen.Capnp.Persistent.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> RealmGateway internalRef externalRef internalOwner externalOwner -> m (Cerial ('Mut s) (RealmGateway internalRef externalRef internalOwner externalOwner))

IO

module Capnp.IO

Type aliases for common contexts

type WriteCtx m s = (PrimMonad m, s ~ PrimState m, MonadThrow m)

WriteCtx is the context needed for most write operations.

type ReadCtx m mut = (MonadReadMessage mut m, MonadThrow m, MonadLimit m)

Type (constraint) synonym for the constraints needed for most read operations.

type RWCtx m s = (ReadCtx m ('Mut s), WriteCtx m s)

Synonym for ReadCtx + WriteCtx

type ReadParam a = (Decerialize a, FromPtr 'Const (Cerial 'Const a))

Type alias for the constraints needed for a to be used as a capnp type parameter for pure modules, when reading.

type WriteParam s a = (Cerialize s a, ToPtr s (Cerial ('Mut s) a), FromPtr ('Mut s) (Cerial ('Mut s) a))

Type alias for the constraints needed for a to be used as a capnp type parameter for pure modules, when writing with state token s.

Converting between messages, Cap'N Proto values, and raw bytes

module Capnp.Convert

Managing resource limits

module Capnp.TraversalLimit

Freezing and thawing values

module Data.Mutable

Building messages in pure code

data PureBuilder s a

PureBuilder is a monad transformer stack with the instnaces needed manipulate mutable messages. PureBuilder s a is morally equivalent to LimitT (CatchT (ST s)) a

Instances

Monad (PureBuilder s)

Defined in Internal.BuildPure

Methods

(>>=) :: PureBuilder s a -> (a -> PureBuilder s b) -> PureBuilder s b

(>>) :: PureBuilder s a -> PureBuilder s b -> PureBuilder s b

return :: a -> PureBuilder s a

Functor (PureBuilder s)

Defined in Internal.BuildPure

Methods

fmap :: (a -> b) -> PureBuilder s a -> PureBuilder s b

(<$) :: a -> PureBuilder s b -> PureBuilder s a

Applicative (PureBuilder s)

Defined in Internal.BuildPure

Methods

pure :: a -> PureBuilder s a

(<*>) :: PureBuilder s (a -> b) -> PureBuilder s a -> PureBuilder s b

liftA2 :: (a -> b -> c) -> PureBuilder s a -> PureBuilder s b -> PureBuilder s c

(*>) :: PureBuilder s a -> PureBuilder s b -> PureBuilder s b

(<*) :: PureBuilder s a -> PureBuilder s b -> PureBuilder s a

MonadThrow (PureBuilder s)

Defined in Internal.BuildPure

Methods

throwM :: Exception e => e -> PureBuilder s a

PrimMonad (PureBuilder s)

Defined in Internal.BuildPure

Associated Types

type PrimState (PureBuilder s)

Methods

primitive :: (State# (PrimState (PureBuilder s)) -> (# State# (PrimState (PureBuilder s)), a #)) -> PureBuilder s a

MonadLimit (PureBuilder s)

Defined in Internal.BuildPure

Methods

invoice :: WordCount -> PureBuilder s ()

type PrimState (PureBuilder s)

Defined in Internal.BuildPure

type PrimState (PureBuilder s) = s

createPure :: (MonadThrow m, Thaw a) => WordCount -> (forall s. PureBuilder s (Mutable s a)) -> m a

createPure limit m creates a capnproto value in pure code according to m, then freezes it without copying. If m calls throwM then createPure rethrows the exception in the specified monad.

Re-exported from Data.Default, for convienence.

def :: Default a => a

The default value for this type.