capnp-0.12.0.0: Cap'n Proto for Haskell
Safe HaskellNone
LanguageHaskell2010

Capnp

Description

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

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

Synopsis

Working with capnproto lists

class ListElem mut e where Source #

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

Associated Types

data List mut e Source #

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

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

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

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

length :: List mut e -> Int Source #

Get the length of a list.

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

index i list gets the ith element of a list.

Instances

Instances details
ListElem msg Bool Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Bool Source #

Methods

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

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

length :: List msg Bool -> Int Source #

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

ListElem msg Double Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Double Source #

Methods

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

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

length :: List msg Double -> Int Source #

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

ListElem msg Float Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Float Source #

Methods

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

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

length :: List msg Float -> Int Source #

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

ListElem msg Word64 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Word64 Source #

Methods

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

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

length :: List msg Word64 -> Int Source #

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

ListElem msg Word32 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Word32 Source #

Methods

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

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

length :: List msg Word32 -> Int Source #

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

ListElem msg Word16 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Word16 Source #

Methods

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

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

length :: List msg Word16 -> Int Source #

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

ListElem msg Word8 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Word8 Source #

Methods

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

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

length :: List msg Word8 -> Int Source #

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

ListElem msg Int64 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Int64 Source #

Methods

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

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

length :: List msg Int64 -> Int Source #

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

ListElem msg Int32 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Int32 Source #

Methods

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

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

length :: List msg Int32 -> Int Source #

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

ListElem msg Int16 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Int16 Source #

Methods

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

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

length :: List msg Int16 -> Int Source #

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

ListElem msg Int8 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

data List msg Int8 Source #

Methods

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

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

length :: List msg Int8 -> Int Source #

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

ListElem mut ElementSize Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut ElementSize Source #

Methods

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

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

length :: List mut ElementSize -> Int Source #

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

ListElem mut Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut Side Source #

Methods

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

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

length :: List mut Side -> Int Source #

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

ListElem mut Exception'Type Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut Exception'Type Source #

ListElem mut (Text mut) Source # 
Instance details

Defined in Capnp.Basics

Associated Types

data List mut (Text mut) Source #

Methods

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

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

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

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

ListElem mut (Data mut) Source # 
Instance details

Defined in Capnp.Basics

Associated Types

data List mut (Data mut) Source #

Methods

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

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

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

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

ListElem mut (StreamResult mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream

Associated Types

data List mut (StreamResult mut) Source #

Methods

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

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

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

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

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

Defined in Capnp.Gen.Capnp.Schema

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

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (CodeGeneratorRequest'RequestedFile mut) Source #

ListElem mut (CodeGeneratorRequest mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (CodeGeneratorRequest mut) Source #

Methods

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

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

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

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

ListElem mut (CapnpVersion mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (CapnpVersion mut) Source #

Methods

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

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

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

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

ListElem mut (Annotation mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Annotation mut) Source #

Methods

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

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

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

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

ListElem mut (Value mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Value mut) Source #

Methods

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

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

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

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

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

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Brand'Binding mut) Source #

Methods

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

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

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

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

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

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Brand'Scope mut) Source #

Methods

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

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

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

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

ListElem mut (Brand mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Brand mut) Source #

Methods

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

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

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

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

ListElem mut (Type mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Type mut) Source #

Methods

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

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

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

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

ListElem mut (Method mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Method mut) Source #

Methods

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

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

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

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

ListElem mut (Superclass mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Superclass mut) Source #

Methods

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

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

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

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

ListElem mut (Enumerant mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Enumerant mut) Source #

Methods

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

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

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

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

ListElem mut (Field mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Field mut) Source #

Methods

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

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

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

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

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

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'SourceInfo'Member mut) Source #

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

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'SourceInfo mut) Source #

Methods

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

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

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

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

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

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'NestedNode mut) Source #

Methods

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

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

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

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

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

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'Parameter mut) Source #

Methods

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

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

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

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

ListElem mut (Node mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node mut) Source #

Methods

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

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

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

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

ListElem mut (JoinResult mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (JoinResult mut) Source #

Methods

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

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

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

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

ListElem mut (JoinKeyPart mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (JoinKeyPart mut) Source #

Methods

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

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

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

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

ListElem mut (ThirdPartyCapId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (ThirdPartyCapId mut) Source #

Methods

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

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

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

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

ListElem mut (RecipientId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (RecipientId mut) Source #

Methods

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

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

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

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

ListElem mut (ProvisionId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (ProvisionId mut) Source #

Methods

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

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

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

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

ListElem mut (VatId mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

data List mut (VatId mut) Source #

Methods

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

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

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

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

ListElem mut (Exception mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Exception mut) Source #

Methods

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

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

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

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

ListElem mut (ThirdPartyCapDescriptor mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (ThirdPartyCapDescriptor mut) Source #

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

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (PromisedAnswer'Op mut) Source #

Methods

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

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

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

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

ListElem mut (PromisedAnswer mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (PromisedAnswer mut) Source #

Methods

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

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

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

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

ListElem mut (CapDescriptor mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (CapDescriptor mut) Source #

Methods

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

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

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

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

ListElem mut (Payload mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Payload mut) Source #

Methods

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

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

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

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

ListElem mut (MessageTarget mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (MessageTarget mut) Source #

Methods

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

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

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

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

ListElem mut (Join mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Join mut) Source #

Methods

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

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

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

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

ListElem mut (Accept mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Accept mut) Source #

Methods

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

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

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

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

ListElem mut (Provide mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Provide mut) Source #

Methods

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

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

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

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

ListElem mut (Disembargo mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Disembargo mut) Source #

Methods

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

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

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

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

ListElem mut (Release mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Release mut) Source #

Methods

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

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

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

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

ListElem mut (Resolve mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Resolve mut) Source #

Methods

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

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

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

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

ListElem mut (Finish mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Finish mut) Source #

Methods

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

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

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

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

ListElem mut (Return mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Return mut) Source #

Methods

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

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

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

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

ListElem mut (Call mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Call mut) Source #

Methods

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

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

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

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

ListElem mut (Bootstrap mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Bootstrap mut) Source #

Methods

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

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

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

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

ListElem mut (Message mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data List mut (Message mut) Source #

Methods

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

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

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

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

ListElem mut (DiscriminatorOptions mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (DiscriminatorOptions mut) Source #

Methods

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

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

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

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

ListElem mut (FlattenOptions mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (FlattenOptions mut) Source #

Methods

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

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

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

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

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

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (Value'Call mut) Source #

Methods

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

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

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

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

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

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (Value'Field mut) Source #

Methods

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

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

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

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

ListElem mut (Value mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (Value mut) Source #

Methods

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

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

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

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

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

Defined in Capnp.Classes

Associated Types

data List mut (List mut e) Source #

Methods

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

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

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

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

ListElem mut (Persistent'SaveResults sturdyRef owner mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

data List mut (Persistent'SaveResults sturdyRef owner mut) Source #

Methods

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

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

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

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

ListElem mut (Persistent'SaveParams sturdyRef owner mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

data List mut (Persistent'SaveParams sturdyRef owner mut) Source #

Methods

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

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

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

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

ListElem mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

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

Methods

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

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

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

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

ListElem mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

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

Methods

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

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

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

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

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

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

Methods

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

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

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

Instances

Instances details
MutListElem s Bool Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Double Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Float Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word64 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word32 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word16 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word8 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int64 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int32 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int16 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int8 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s ElementSize Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s Exception'Type Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Text ('Mut s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

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

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

MutListElem s (Data ('Mut s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

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

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

MutListElem s (StreamResult ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema

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

Defined in Capnp.Gen.Capnp.Schema

MutListElem s (CodeGeneratorRequest ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (CapnpVersion ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Annotation ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Value ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Brand ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Type ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Method ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Superclass ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Enumerant ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Field ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

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

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 () Source #

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

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

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (Node ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

MutListElem s (JoinResult ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (JoinKeyPart ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (ThirdPartyCapId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (RecipientId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (ProvisionId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (VatId ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (Exception ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (ThirdPartyCapDescriptor ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (CapDescriptor ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Payload ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (MessageTarget ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Join ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Accept ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Provide ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Disembargo ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Release ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Resolve ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Finish ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Return ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Call ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Bootstrap ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (Message ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

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

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

MutListElem s (DiscriminatorOptions ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

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

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

MutListElem s (FlattenOptions ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

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

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

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

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 () Source #

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

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

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 () Source #

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

MutListElem s (Value ('Mut s)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

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

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

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

Defined in Capnp.Classes

Methods

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

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

MutListElem s (Persistent'SaveResults sturdyRef owner ('Mut s)) Source # 
Instance details

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 () Source #

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

MutListElem s (Persistent'SaveParams sturdyRef owner ('Mut s)) Source # 
Instance details

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 () Source #

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

MutListElem s (RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s)) Source # 
Instance details

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 () Source #

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

MutListElem s (RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s)) Source # 
Instance details

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 () Source #

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

Working with capnproto Text and Data values.

data Data mut Source #

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

Instances

Instances details
ToPtr s (Data ('Mut s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

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

FromPtr mut (Data mut) Source # 
Instance details

Defined in Capnp.Basics

Methods

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

MutListElem s (Data ('Mut s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

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

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

ListElem mut (Data mut) Source # 
Instance details

Defined in Capnp.Basics

Associated Types

data List mut (Data mut) Source #

Methods

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

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

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

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

Thaw (Data 'Const) Source # 
Instance details

Defined in Capnp.Basics

Associated Types

type Mutable s (Data 'Const) Source #

Methods

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

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

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

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

type Mutable s (Data 'Const) Source # 
Instance details

Defined in Capnp.Basics

type Mutable s (Data 'Const) = Data ('Mut s)
newtype List mut (Data mut) Source # 
Instance details

Defined in Capnp.Basics

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

data Text mut Source #

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

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

Instances

Instances details
ToPtr s (Text ('Mut s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

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

FromPtr mut (Text mut) Source # 
Instance details

Defined in Capnp.Basics

Methods

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

MutListElem s (Text ('Mut s)) Source # 
Instance details

Defined in Capnp.Basics

Methods

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

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

ListElem mut (Text mut) Source # 
Instance details

Defined in Capnp.Basics

Associated Types

data List mut (Text mut) Source #

Methods

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

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

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

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

Thaw (Text 'Const) Source # 
Instance details

Defined in Capnp.Basics

Associated Types

type Mutable s (Text 'Const) Source #

Methods

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

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

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

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

type Mutable s (Text 'Const) Source # 
Instance details

Defined in Capnp.Basics

type Mutable s (Text 'Const) = Text ('Mut s)
newtype List mut (Text mut) Source # 
Instance details

Defined in Capnp.Basics

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

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

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

Working with messages

data Message (mut :: Mutability) Source #

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

Instances

Instances details
Eq (Message mut) Source # 
Instance details

Defined in Capnp.Message

Methods

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

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

Thaw (Message 'Const) Source # 
Instance details

Defined in Capnp.Message

Associated Types

type Mutable s (Message 'Const) Source #

type Mutable s (Message 'Const) Source # 
Instance details

Defined in Capnp.Message

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

data Segment (mut :: Mutability) Source #

A segment in a Cap'n Proto message.

Instances

Instances details
Eq (Segment mut) Source # 
Instance details

Defined in Capnp.Message

Methods

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

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

Thaw (Segment 'Const) Source # 
Instance details

Defined in Capnp.Message

Associated Types

type Mutable s (Segment 'Const) Source #

type Mutable s (Segment 'Const) Source # 
Instance details

Defined in Capnp.Message

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

data Mutability Source #

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

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

numSegs gets the number of segments in a message.

numWords :: Segment mut -> m WordCount Source #

numWords gets the number of words in a segment.

numCaps :: Message mut -> m Int Source #

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

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

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

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

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

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

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

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

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

Instances

Instances details
Monad m => MonadReadMessage 'Const m Source # 
Instance details

Defined in Capnp.Message

(PrimMonad m, s ~ PrimState m) => MonadReadMessage ('Mut s) m Source # 
Instance details

Defined in Capnp.Message

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

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

fromByteString :: ByteString -> Segment 'Const Source #

Convert a ByteString to a segment. O(1)

toByteString :: Segment 'Const -> ByteString Source #

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

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

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

Manipulating the root object of a message

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

getRoot returns the root object of a message.

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

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

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

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

Marshalling data into and out of messages

class Decerialize a where Source #

Types which may be extracted from a message.

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

Associated Types

type Cerial (mut :: Mutability) a Source #

A variation on a which is encoded in the message.

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

Methods

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

Extract the value from the message.

Instances

Instances details
Decerialize Bool Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Bool Source #

Decerialize Double Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Double Source #

Decerialize Float Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Float Source #

Decerialize Int8 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Int8 Source #

Decerialize Int16 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Int16 Source #

Decerialize Int32 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Int32 Source #

Decerialize Int64 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Int64 Source #

Decerialize Word8 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Word8 Source #

Decerialize Word16 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Word16 Source #

Decerialize Word32 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Word32 Source #

Decerialize Word64 Source # 
Instance details

Defined in Internal.Gen.Instances

Associated Types

type Cerial mut Word64 Source #

Decerialize List Source # 
Instance details

Defined in Capnp.Untyped.Pure

Associated Types

type Cerial mut List Source #

Decerialize Struct Source # 
Instance details

Defined in Capnp.Untyped.Pure

Associated Types

type Cerial mut Struct Source #

Decerialize Text Source # 
Instance details

Defined in Capnp.Basics.Pure

Associated Types

type Cerial mut Text Source #

Decerialize Data Source # 
Instance details

Defined in Capnp.Basics.Pure

Associated Types

type Cerial mut Data Source #

Decerialize StreamResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream.Pure

Associated Types

type Cerial mut StreamResult Source #

Decerialize ElementSize Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut ElementSize Source #

Decerialize CodeGeneratorRequest'RequestedFile'Import Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Decerialize CodeGeneratorRequest'RequestedFile Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Decerialize CodeGeneratorRequest Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut CodeGeneratorRequest Source #

Decerialize CapnpVersion Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut CapnpVersion Source #

Decerialize Annotation Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Annotation Source #

Decerialize Value Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Value Source #

Decerialize Brand'Binding Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Brand'Binding Source #

Decerialize Brand'Scope' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Brand'Scope' Source #

Decerialize Brand'Scope Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Brand'Scope Source #

Decerialize Brand Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Brand Source #

Decerialize Type'anyPointer'implicitMethodParameter Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Decerialize Type'anyPointer'parameter Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'anyPointer'parameter Source #

Decerialize Type'anyPointer'unconstrained Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'anyPointer'unconstrained Source #

Decerialize Type'anyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'anyPointer Source #

Decerialize Type'interface Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'interface Source #

Decerialize Type'struct Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'struct Source #

Decerialize Type'enum Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'enum Source #

Decerialize Type'list Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type'list Source #

Decerialize Type Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Type Source #

Decerialize Method Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Method Source #

Decerialize Superclass Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Superclass Source #

Decerialize Enumerant Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Enumerant Source #

Decerialize Field'ordinal Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Field'ordinal Source #

Decerialize Field'group Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Field'group Source #

Decerialize Field'slot Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Field'slot Source #

Decerialize Field' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Field' Source #

Decerialize Field Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Field Source #

Decerialize Node'SourceInfo'Member Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'SourceInfo'Member Source #

Decerialize Node'SourceInfo Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'SourceInfo Source #

Decerialize Node'NestedNode Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'NestedNode Source #

Decerialize Node'Parameter Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'Parameter Source #

Decerialize Node'annotation Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'annotation Source #

Decerialize Node'const Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'const Source #

Decerialize Node'interface Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'interface Source #

Decerialize Node'enum Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'enum Source #

Decerialize Node'struct Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node'struct Source #

Decerialize Node' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node' Source #

Decerialize Node Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut Node Source #

Decerialize Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut Side Source #

Decerialize JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut JoinResult Source #

Decerialize JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut JoinKeyPart Source #

Decerialize ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut ThirdPartyCapId Source #

Decerialize RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut RecipientId Source #

Decerialize ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut ProvisionId Source #

Decerialize VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Associated Types

type Cerial mut VatId Source #

Decerialize Exception'Type Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Exception'Type Source #

Decerialize Exception Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Exception Source #

Decerialize ThirdPartyCapDescriptor Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut ThirdPartyCapDescriptor Source #

Decerialize PromisedAnswer'Op Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut PromisedAnswer'Op Source #

Decerialize PromisedAnswer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut PromisedAnswer Source #

Decerialize CapDescriptor' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut CapDescriptor' Source #

Decerialize CapDescriptor Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut CapDescriptor Source #

Decerialize Payload Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Payload Source #

Decerialize MessageTarget Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut MessageTarget Source #

Decerialize Join Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Join Source #

Decerialize Accept Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Accept Source #

Decerialize Provide Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Provide Source #

Decerialize Disembargo'context Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Disembargo'context Source #

Decerialize Disembargo Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Disembargo Source #

Decerialize Release Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Release Source #

Decerialize Resolve' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Resolve' Source #

Decerialize Resolve Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Resolve Source #

Decerialize Finish Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Finish Source #

Decerialize Return' Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Return' Source #

Decerialize Return Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Return Source #

Decerialize Call'sendResultsTo Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Call'sendResultsTo Source #

Decerialize Call Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Call Source #

Decerialize Bootstrap Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Bootstrap Source #

Decerialize Message Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Associated Types

type Cerial mut Message Source #

Decerialize DiscriminatorOptions Source # 
Instance details

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

Associated Types

type Cerial mut DiscriminatorOptions Source #

Decerialize FlattenOptions Source # 
Instance details

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

Associated Types

type Cerial mut FlattenOptions Source #

Decerialize Value'Call Source # 
Instance details

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

Associated Types

type Cerial mut Value'Call Source #

Decerialize Value'Field Source # 
Instance details

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

Associated Types

type Cerial mut Value'Field Source #

Decerialize Value Source # 
Instance details

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

Associated Types

type Cerial mut Value Source #

Decerialize (Maybe Ptr) Source # 
Instance details

Defined in Capnp.Untyped.Pure

Associated Types

type Cerial mut (Maybe Ptr) Source #

(ListElem 'Const (Cerial 'Const a), Decerialize a) => Decerialize (Vector a) Source # 
Instance details

Defined in Capnp.Classes

Associated Types

type Cerial mut (Vector a) Source #

Methods

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

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner)) => Decerialize (Persistent'SaveResults sturdyRef owner) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

type Cerial mut (Persistent'SaveResults sturdyRef owner) Source #

Methods

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

(Decerialize sturdyRef, FromPtr 'Const (Cerial 'Const sturdyRef), Decerialize owner, FromPtr 'Const (Cerial 'Const owner)) => Decerialize (Persistent'SaveParams sturdyRef owner) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

type Cerial mut (Persistent'SaveParams sturdyRef owner) Source #

Methods

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

Decerialize (Persistent sturdyRef owner) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

type Cerial mut (Persistent sturdyRef owner) Source #

Methods

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

(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) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

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

Methods

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

(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) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

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

Methods

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

Decerialize (RealmGateway internalRef externalRef internalOwner externalOwner) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Persistent.Pure

Associated Types

type Cerial mut (RealmGateway internalRef externalRef internalOwner externalOwner) Source #

Methods

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

class Decerialize a => Cerialize s a where Source #

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

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

Instances

Instances details
Cerialize s Bool Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s Double Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s Float Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s Word64 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s Word32 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s Word16 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s Word8 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s Int64 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s Int32 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s Int16 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s Int8 Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s List Source # 
Instance details

Defined in Capnp.Untyped.Pure

Methods

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

Cerialize s Struct Source # 
Instance details

Defined in Capnp.Untyped.Pure

Methods

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

Cerialize s Text Source # 
Instance details

Defined in Capnp.Basics.Pure

Methods

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

Cerialize s Data Source # 
Instance details

Defined in Capnp.Basics.Pure

Methods

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

Cerialize s StreamResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream.Pure

Methods

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

Cerialize s ElementSize Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s CodeGeneratorRequest'RequestedFile'Import Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s CodeGeneratorRequest'RequestedFile Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s CodeGeneratorRequest Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s CapnpVersion Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Annotation Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Value Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Brand'Binding Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Brand'Scope Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Brand Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Type Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Method Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Superclass Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Enumerant Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Field Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Node'SourceInfo'Member Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s Node'SourceInfo Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s Node'NestedNode Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s Node'Parameter Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Node Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s Exception'Type Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Exception Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s ThirdPartyCapDescriptor Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s PromisedAnswer'Op Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s PromisedAnswer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s CapDescriptor Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Payload Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s MessageTarget Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Join Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Accept Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Provide Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Disembargo Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Release Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Resolve Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Finish Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Return Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Call Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Bootstrap Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s Message Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s DiscriminatorOptions Source # 
Instance details

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

Cerialize s FlattenOptions Source # 
Instance details

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

Methods

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

Cerialize s Value'Call Source # 
Instance details

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

Methods

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

Cerialize s Value'Field Source # 
Instance details

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

Methods

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

Cerialize s Value Source # 
Instance details

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

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Bool)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Bool))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Bool)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Bool))) Source # 
Instance details

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

Cerialize s (Vector (Vector Bool)) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector Bool) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Double)))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector (Vector Double))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector Double)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Double))) Source # 
Instance details

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

Cerialize s (Vector (Vector Double)) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector Double) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Float)))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector (Vector Float))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Float)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Float))) Source # 
Instance details

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

Cerialize s (Vector (Vector Float)) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector Float) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Word64)))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector (Vector Word64))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector Word64)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Word64))) Source # 
Instance details

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

Cerialize s (Vector (Vector Word64)) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector Word64) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Word32)))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector (Vector Word32))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector Word32)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Word32))) Source # 
Instance details

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

Cerialize s (Vector (Vector Word32)) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector Word32) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Word16)))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector (Vector Word16))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector Word16)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Word16))) Source # 
Instance details

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

Cerialize s (Vector (Vector Word16)) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector Word16) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Word8)))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector (Vector Word8))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Word8)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Word8))) Source # 
Instance details

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

Cerialize s (Vector (Vector Word8)) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector Word8) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Int64)))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector (Vector Int64))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Int64)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Int64))) Source # 
Instance details

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

Cerialize s (Vector (Vector Int64)) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector Int64) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Int32)))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector (Vector Int32))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Int32)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Int32))) Source # 
Instance details

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

Cerialize s (Vector (Vector Int32)) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector Int32) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Int16)))))) Source # 
Instance details

Defined in Internal.Gen.Instances

Cerialize s (Vector (Vector (Vector (Vector (Vector Int16))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Int16)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Int16))) Source # 
Instance details

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

Cerialize s (Vector (Vector Int16)) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector Int16) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Int8)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Int8))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Int8)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Int8))) Source # 
Instance details

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

Cerialize s (Vector (Vector Int8)) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Vector Int8) Source # 
Instance details

Defined in Internal.Gen.Instances

Methods

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

Cerialize s (Maybe Ptr) Source # 
Instance details

Defined in Capnp.Untyped.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Data))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Text))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Data)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Text)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Data))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Text))) Source # 
Instance details

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

Cerialize s (Vector (Vector Data)) Source # 
Instance details

Defined in Capnp.Basics.Pure

Methods

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

Cerialize s (Vector (Vector Text)) Source # 
Instance details

Defined in Capnp.Basics.Pure

Methods

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

Cerialize s (Vector Data) Source # 
Instance details

Defined in Capnp.Basics.Pure

Methods

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

Cerialize s (Vector Text) Source # 
Instance details

Defined in Capnp.Basics.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector StreamResult))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector StreamResult)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector StreamResult))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream.Pure

Cerialize s (Vector (Vector (Vector (Vector StreamResult)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream.Pure

Cerialize s (Vector (Vector (Vector StreamResult))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream.Pure

Cerialize s (Vector (Vector StreamResult)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream.Pure

Cerialize s (Vector StreamResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ElementSize)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector ElementSize))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector ElementSize)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector ElementSize))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector ElementSize)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector ElementSize) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector CodeGeneratorRequest'RequestedFile'Import) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector CodeGeneratorRequest'RequestedFile)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector CodeGeneratorRequest'RequestedFile) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector CodeGeneratorRequest)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector CodeGeneratorRequest))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector CodeGeneratorRequest)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector CodeGeneratorRequest) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector CapnpVersion))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector CapnpVersion)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector CapnpVersion))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector CapnpVersion)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector CapnpVersion) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Annotation))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Annotation)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Annotation))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector Annotation)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector Annotation))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector Annotation)) Source # 
Instance details

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

Cerialize s (Vector Annotation) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Value)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Value))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Value)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Value))) Source # 
Instance details

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

Cerialize s (Vector (Vector Value)) Source # 
Instance details

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

Cerialize s (Vector Value) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Brand'Binding))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector Brand'Binding)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector Brand'Binding))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector Brand'Binding)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector Brand'Binding) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Brand'Scope))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector Brand'Scope)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector Brand'Scope))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector Brand'Scope)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector Brand'Scope) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Brand)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Brand))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Brand)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Brand))) Source # 
Instance details

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

Cerialize s (Vector (Vector Brand)) Source # 
Instance details

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

Cerialize s (Vector Brand) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Type))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Type)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Type))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Type)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Type))) Source # 
Instance details

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

Cerialize s (Vector (Vector Type)) Source # 
Instance details

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

Cerialize s (Vector Type) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Method))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Method)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Method))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector Method)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Method))) Source # 
Instance details

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

Cerialize s (Vector (Vector Method)) Source # 
Instance details

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

Cerialize s (Vector Method) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Superclass))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Superclass)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Superclass))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector Superclass)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector Superclass))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector Superclass)) Source # 
Instance details

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

Cerialize s (Vector Superclass) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Enumerant))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Enumerant)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Enumerant))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector Enumerant)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector Enumerant))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector Enumerant)) Source # 
Instance details

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

Cerialize s (Vector Enumerant) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Field))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Field)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Field))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Field)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Field))) Source # 
Instance details

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

Cerialize s (Vector (Vector Field)) Source # 
Instance details

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

Cerialize s (Vector Field) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector Node'SourceInfo'Member))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector Node'SourceInfo'Member)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector Node'SourceInfo'Member) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Node'SourceInfo))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector Node'SourceInfo)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector Node'SourceInfo))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector Node'SourceInfo)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector Node'SourceInfo) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Node'NestedNode))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector Node'NestedNode)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector Node'NestedNode))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector Node'NestedNode)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector Node'NestedNode) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Node'Parameter))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector Node'Parameter)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector Node'Parameter))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector Node'Parameter)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector Node'Parameter) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Node))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Node)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Node))) Source # 
Instance details

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

Cerialize s (Vector (Vector Node)) Source # 
Instance details

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

Cerialize s (Vector Node) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Side)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Side))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Side)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Side))) Source # 
Instance details

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

Cerialize s (Vector (Vector Side)) Source # 
Instance details

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

Cerialize s (Vector Side) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector JoinResult))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector JoinResult)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector JoinResult))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector JoinResult)) Source # 
Instance details

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

Cerialize s (Vector JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector JoinKeyPart)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector JoinKeyPart))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector JoinKeyPart)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector ThirdPartyCapId)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector ThirdPartyCapId))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector ThirdPartyCapId)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector RecipientId))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector RecipientId)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector RecipientId))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector RecipientId)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector ProvisionId))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector ProvisionId)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector ProvisionId))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector ProvisionId)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector VatId))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector VatId)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector VatId))) Source # 
Instance details

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

Cerialize s (Vector (Vector VatId)) Source # 
Instance details

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

Cerialize s (Vector VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Exception'Type)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Exception'Type))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Exception'Type)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector Exception'Type))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector Exception'Type)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector Exception'Type) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Exception)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Exception))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Exception)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector Exception))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector Exception)) Source # 
Instance details

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

Cerialize s (Vector Exception) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector ThirdPartyCapDescriptor))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector ThirdPartyCapDescriptor)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector ThirdPartyCapDescriptor) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector PromisedAnswer'Op)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector PromisedAnswer'Op))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector PromisedAnswer'Op)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector PromisedAnswer'Op) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector PromisedAnswer)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector PromisedAnswer))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector PromisedAnswer)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector PromisedAnswer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector CapDescriptor))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector CapDescriptor)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector CapDescriptor))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector CapDescriptor)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector CapDescriptor) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Payload)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Payload))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Payload)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Payload))) Source # 
Instance details

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

Cerialize s (Vector (Vector Payload)) Source # 
Instance details

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

Cerialize s (Vector Payload) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector MessageTarget))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector MessageTarget)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector MessageTarget))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector MessageTarget)) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector MessageTarget) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Join))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Join)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Join))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Join)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Join))) Source # 
Instance details

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

Cerialize s (Vector (Vector Join)) Source # 
Instance details

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

Cerialize s (Vector Join) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Accept)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Accept))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Accept)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Accept))) Source # 
Instance details

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

Cerialize s (Vector (Vector Accept)) Source # 
Instance details

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

Cerialize s (Vector Accept) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Provide)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Provide))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Provide)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Provide))) Source # 
Instance details

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

Cerialize s (Vector (Vector Provide)) Source # 
Instance details

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

Cerialize s (Vector Provide) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Disembargo))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Disembargo)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector Disembargo))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector Disembargo)) Source # 
Instance details

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

Cerialize s (Vector Disembargo) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Release))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Release)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Release))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Release)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Release))) Source # 
Instance details

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

Cerialize s (Vector (Vector Release)) Source # 
Instance details

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

Cerialize s (Vector Release) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Resolve))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Resolve)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Resolve))) Source # 
Instance details

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

Cerialize s (Vector (Vector Resolve)) Source # 
Instance details

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

Cerialize s (Vector Resolve) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Finish)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Finish))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Finish)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Finish))) Source # 
Instance details

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

Cerialize s (Vector (Vector Finish)) Source # 
Instance details

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

Cerialize s (Vector Finish) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Return))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Return)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Return))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Return)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Return))) Source # 
Instance details

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

Cerialize s (Vector (Vector Return)) Source # 
Instance details

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

Cerialize s (Vector Return) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Call))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Call)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Call))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Call)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Call))) Source # 
Instance details

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

Cerialize s (Vector (Vector Call)) Source # 
Instance details

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

Cerialize s (Vector Call) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Bootstrap))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Bootstrap)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector Bootstrap))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector Bootstrap)) Source # 
Instance details

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

Cerialize s (Vector Bootstrap) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Message))))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Message)))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector (Vector Message))))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector (Vector Message)))) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Cerialize s (Vector (Vector (Vector Message))) Source # 
Instance details

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

Cerialize s (Vector (Vector Message)) Source # 
Instance details

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

Cerialize s (Vector Message) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.Pure

Methods

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector DiscriminatorOptions)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector DiscriminatorOptions))) Source # 
Instance details

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

Cerialize s (Vector (Vector DiscriminatorOptions)) Source # 
Instance details

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

Cerialize s (Vector DiscriminatorOptions) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector FlattenOptions))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector FlattenOptions)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector FlattenOptions))) Source # 
Instance details

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

Cerialize s (Vector (Vector FlattenOptions)) Source # 
Instance details

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

Cerialize s (Vector FlattenOptions) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value'Call))))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Value'Call)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Value'Call))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Value'Call)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Value'Call))) Source # 
Instance details

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

Cerialize s (Vector (Vector Value'Call)) Source # 
Instance details

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

Cerialize s (Vector Value'Call) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value'Field))))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Value'Field)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Value'Field))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Value'Field)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Value'Field))) Source # 
Instance details

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

Cerialize s (Vector (Vector Value'Field)) Source # 
Instance details

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

Cerialize s (Vector Value'Field) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value))))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Value)))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector (Vector Value))))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector (Vector Value)))) Source # 
Instance details

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

Cerialize s (Vector (Vector (Vector Value))) Source # 
Instance details

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

Cerialize s (Vector (Vector Value)) Source # 
Instance details

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

Cerialize s (Vector Value) Source # 
Instance details

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

Methods

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

(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)))))))) Source # 
Instance details

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

(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))))))) Source # 
Instance details

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

(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)))))) Source # 
Instance details

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

(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))))) Source # 
Instance details

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

(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)))) Source # 
Instance details

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

(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))) Source # 
Instance details

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

(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)) Source # 
Instance details

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

(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)))))))) Source # 
Instance details

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

(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))))))) Source # 
Instance details

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

(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)))))) Source # 
Instance details

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

(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))))) Source # 
Instance details

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

(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)))) Source # 
Instance details

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

(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))) Source # 
Instance details

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

(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)) Source # 
Instance details

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

(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)))))))) Source # 
Instance details

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

(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))))))) Source # 
Instance details

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

(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)))))) Source # 
Instance details

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

(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))))) Source # 
Instance details

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

(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)))) Source # 
Instance details

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

(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))) Source # 
Instance details

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

(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)) Source # 
Instance details

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

(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)))))))) Source # 
Instance details

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

(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))))))) Source # 
Instance details

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

(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)))))) Source # 
Instance details

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

(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))))) Source # 
Instance details

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

(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)))) Source # 
Instance details

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

(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))) Source # 
Instance details

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

(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)) Source # 
Instance details

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

(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) Source # 
Instance details

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

(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) Source # 
Instance details

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

Cerialize s (Persistent sturdyRef owner) Source # 
Instance details

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

(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) Source # 
Instance details

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

(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) Source # 
Instance details

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

Cerialize s (RealmGateway internalRef externalRef internalOwner externalOwner) Source # 
Instance details

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

IO

module Capnp.IO

Type aliases for common contexts

type WriteCtx m s = (PrimMonad m, s ~ PrimState m, MonadThrow m) Source #

WriteCtx is the context needed for most write operations.

type ReadCtx m mut = (MonadReadMessage mut m, MonadThrow m, MonadLimit m) Source #

Type (constraint) synonym for the constraints needed for most read operations.

type RWCtx m s = (ReadCtx m ('Mut s), WriteCtx m s) Source #

Synonym for ReadCtx + WriteCtx

type ReadParam a = (Decerialize a, FromPtr 'Const (Cerial 'Const a)) Source #

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

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

Managing resource limits

Freezing and thawing values

Building messages in pure code

data PureBuilder s a Source #

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

Instances details
Monad (PureBuilder s) Source # 
Instance details

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) Source # 
Instance details

Defined in Internal.BuildPure

Methods

fmap :: (a -> b) -> PureBuilder s a -> PureBuilder s b #

(<$) :: a -> PureBuilder s b -> PureBuilder s a #

Applicative (PureBuilder s) Source # 
Instance details

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) Source # 
Instance details

Defined in Internal.BuildPure

Methods

throwM :: Exception e => e -> PureBuilder s a #

PrimMonad (PureBuilder s) Source # 
Instance details

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) Source # 
Instance details

Defined in Internal.BuildPure

type PrimState (PureBuilder s) Source # 
Instance details

Defined in Internal.BuildPure

type PrimState (PureBuilder s) = s

createPure :: (MonadThrow m, Thaw a) => WordCount -> (forall s. PureBuilder s (Mutable s a)) -> m a Source #

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.