Safe Haskell	None
Language	Haskell2010

Capnp

Contents

Working with capnproto lists
Working with capnproto Text and Data values.
Working with messages
Canonicalizing messages
Manipulating the root object of a message
Marshalling data into and out of messages
IO
Type aliases for common contexts
Converting between messages, Cap'N Proto values, and raw bytes
Managing resource limits
Freezing and thawing values
Building messages in pure code
Re-exported from Data.Default, for convienence.

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

class ListElem mut e where
- data List mut e
- listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut e)
- toUntypedList :: List mut e -> List mut
- length :: List mut e -> Int
- index :: ReadCtx m mut => Int -> List mut e -> m e
class ListElem ('Mut s) e => MutListElem s e where
- setIndex :: RWCtx m s => e -> Int -> List ('Mut s) e -> m ()
- newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) e)
data Data mut
dataBytes :: ReadCtx m 'Const => Data 'Const -> m ByteString
data Text mut
textBytes :: ReadCtx m 'Const => Text 'Const -> m ByteString
data Message (mut :: Mutability)
data Segment (mut :: Mutability)
data Mutability
- = Const
- | Mut Type
class Monad m => MonadReadMessage mut m where
- numSegs :: Message mut -> m Int
- numWords :: Segment mut -> m WordCount
- numCaps :: Message mut -> m Int
- internalGetSeg :: Message mut -> Int -> m (Segment mut)
- internalGetCap :: Message mut -> Int -> m Client
- slice :: WordCount -> WordCount -> Segment mut -> m (Segment mut)
- read :: Segment mut -> WordCount -> m Word64
newMessage :: WriteCtx m s => Maybe WordCount -> m (Message ('Mut s))
fromByteString :: ByteString -> Segment 'Const
toByteString :: Segment 'Const -> ByteString
canonicalize :: (RWCtx m s, MonadReadMessage mutIn m) => Struct mutIn -> m (Message ('Mut s), Segment ('Mut s))
getRoot :: (FromStruct mut a, ReadCtx m mut) => Message mut -> m a
newRoot :: (ToStruct ('Mut s) a, Allocate s a, WriteCtx m s) => Message ('Mut s) -> m a
setRoot :: (ToStruct ('Mut s) a, WriteCtx m s) => a -> m ()
class Decerialize a where
- type Cerial (mut :: Mutability) a
- decerialize :: ReadCtx m 'Const => Cerial 'Const a -> m a
class Decerialize a => Cerialize s a where
- cerialize :: RWCtx m s => Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
module Capnp.IO
type WriteCtx m s = (PrimMonad m, s ~ PrimState m, MonadThrow m)
type ReadCtx m mut = (MonadReadMessage mut m, MonadThrow m, MonadLimit m)
type RWCtx m s = (ReadCtx m ('Mut s), WriteCtx m s)
type ReadParam a = (Decerialize a, FromPtr 'Const (Cerial 'Const a))
type WriteParam s a = (Cerialize s a, ToPtr s (Cerial ('Mut s) a), FromPtr ('Mut s) (Cerial ('Mut s) a))
module Capnp.Convert
module Capnp.TraversalLimit
module Data.Mutable
data PureBuilder s a
createPure :: (MonadThrow m, Thaw a) => WordCount -> (forall s. PureBuilder s (Mutable s a)) -> m a
def :: Default a => a

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 # Methods listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut Exception'Type) Source # toUntypedList :: List mut Exception'Type -> List mut Source # length :: List mut Exception'Type -> Int Source # index :: ReadCtx m mut => Int -> List mut Exception'Type -> m 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 Associated Types data List mut (CodeGeneratorRequest'RequestedFile'Import mut) Source # Methods listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (CodeGeneratorRequest'RequestedFile'Import mut)) Source # toUntypedList :: List mut (CodeGeneratorRequest'RequestedFile'Import mut) -> List mut Source # length :: List mut (CodeGeneratorRequest'RequestedFile'Import mut) -> Int Source # index :: ReadCtx m mut => Int -> List mut (CodeGeneratorRequest'RequestedFile'Import mut) -> m (CodeGeneratorRequest'RequestedFile'Import mut) Source #
ListElem mut (CodeGeneratorRequest'RequestedFile mut) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types data List mut (CodeGeneratorRequest'RequestedFile mut) Source # Methods listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (CodeGeneratorRequest'RequestedFile mut)) Source # toUntypedList :: List mut (CodeGeneratorRequest'RequestedFile mut) -> List mut Source # length :: List mut (CodeGeneratorRequest'RequestedFile mut) -> Int Source # index :: ReadCtx m mut => Int -> List mut (CodeGeneratorRequest'RequestedFile mut) -> m (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 # Methods listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Node'SourceInfo'Member mut)) Source # toUntypedList :: List mut (Node'SourceInfo'Member mut) -> List mut Source # length :: List mut (Node'SourceInfo'Member mut) -> Int Source # index :: ReadCtx m mut => Int -> List mut (Node'SourceInfo'Member mut) -> m (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 # Methods listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (ThirdPartyCapDescriptor mut)) Source # toUntypedList :: List mut (ThirdPartyCapDescriptor mut) -> List mut Source # length :: List mut (ThirdPartyCapDescriptor mut) -> Int Source # index :: ReadCtx m mut => Int -> List mut (ThirdPartyCapDescriptor mut) -> m (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 Methods setIndex :: RWCtx m s => CodeGeneratorRequest'RequestedFile'Import ('Mut s) -> Int -> List ('Mut s) (CodeGeneratorRequest'RequestedFile'Import ('Mut s)) -> m () Source # newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (CodeGeneratorRequest'RequestedFile'Import ('Mut s))) Source #
MutListElem s (CodeGeneratorRequest'RequestedFile ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods setIndex :: RWCtx m s => CodeGeneratorRequest'RequestedFile ('Mut s) -> Int -> List ('Mut s) (CodeGeneratorRequest'RequestedFile ('Mut s)) -> m () Source # newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (CodeGeneratorRequest'RequestedFile ('Mut s))) Source #
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)))

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

Convert a Data to a ByteString.

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 # Methods thaw :: (PrimMonad m, PrimState m ~ s) => Message 'Const -> m (Mutable s (Message 'Const)) Source # freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Message 'Const) -> m (Message 'Const) Source # unsafeThaw :: (PrimMonad m, PrimState m ~ s) => Message 'Const -> m (Mutable s (Message 'Const)) Source # unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Message 'Const) -> m (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 # Methods thaw :: (PrimMonad m, PrimState m ~ s) => Segment 'Const -> m (Mutable s (Segment 'Const)) Source # freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Segment 'Const) -> m (Segment 'Const) Source # unsafeThaw :: (PrimMonad m, PrimState m ~ s) => Segment 'Const -> m (Mutable s (Segment 'Const)) Source # unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Segment 'Const) -> m (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 Methods numSegs :: Message 'Const -> m Int Source # numWords :: Segment 'Const -> m WordCount Source # numCaps :: Message 'Const -> m Int Source # internalGetSeg :: Message 'Const -> Int -> m (Segment 'Const) Source # internalGetCap :: Message 'Const -> Int -> m Client Source # slice :: WordCount -> WordCount -> Segment 'Const -> m (Segment 'Const) Source # read :: Segment 'Const -> WordCount -> m Word64 Source #
(PrimMonad m, s ~ PrimState m) => MonadReadMessage ('Mut s) m Source #
Instance details Defined in Capnp.Message Methods numSegs :: Message ('Mut s) -> m Int Source # numWords :: Segment ('Mut s) -> m WordCount Source # numCaps :: Message ('Mut s) -> m Int Source # internalGetSeg :: Message ('Mut s) -> Int -> m (Segment ('Mut s)) Source # internalGetCap :: Message ('Mut s) -> Int -> m Client Source # slice :: WordCount -> WordCount -> Segment ('Mut s) -> m (Segment ('Mut s)) Source # read :: Segment ('Mut s) -> WordCount -> m Word64 Source #

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 # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Bool -> m Bool Source #
Decerialize Double Source #
Instance details Defined in Internal.Gen.Instances Associated Types type Cerial mut Double Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Double -> m Double Source #
Decerialize Float Source #
Instance details Defined in Internal.Gen.Instances Associated Types type Cerial mut Float Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Float -> m Float Source #
Decerialize Int8 Source #
Instance details Defined in Internal.Gen.Instances Associated Types type Cerial mut Int8 Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Int8 -> m Int8 Source #
Decerialize Int16 Source #
Instance details Defined in Internal.Gen.Instances Associated Types type Cerial mut Int16 Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Int16 -> m Int16 Source #
Decerialize Int32 Source #
Instance details Defined in Internal.Gen.Instances Associated Types type Cerial mut Int32 Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Int32 -> m Int32 Source #
Decerialize Int64 Source #
Instance details Defined in Internal.Gen.Instances Associated Types type Cerial mut Int64 Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Int64 -> m Int64 Source #
Decerialize Word8 Source #
Instance details Defined in Internal.Gen.Instances Associated Types type Cerial mut Word8 Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Word8 -> m Word8 Source #
Decerialize Word16 Source #
Instance details Defined in Internal.Gen.Instances Associated Types type Cerial mut Word16 Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Word16 -> m Word16 Source #
Decerialize Word32 Source #
Instance details Defined in Internal.Gen.Instances Associated Types type Cerial mut Word32 Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Word32 -> m Word32 Source #
Decerialize Word64 Source #
Instance details Defined in Internal.Gen.Instances Associated Types type Cerial mut Word64 Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Word64 -> m Word64 Source #
Decerialize List Source #
Instance details Defined in Capnp.Untyped.Pure Associated Types type Cerial mut List Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const List -> m List Source #
Decerialize Struct Source #
Instance details Defined in Capnp.Untyped.Pure Associated Types type Cerial mut Struct Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Struct -> m Struct Source #
Decerialize Text Source #
Instance details Defined in Capnp.Basics.Pure Associated Types type Cerial mut Text Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Text -> m Text Source #
Decerialize Data Source #
Instance details Defined in Capnp.Basics.Pure Associated Types type Cerial mut Data Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Data -> m Data Source #
Decerialize StreamResult Source #
Instance details Defined in Capnp.Gen.Capnp.Stream.Pure Associated Types type Cerial mut StreamResult Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const StreamResult -> m StreamResult Source #
Decerialize ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut ElementSize Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const ElementSize -> m ElementSize Source #
Decerialize CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut CodeGeneratorRequest'RequestedFile'Import Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const CodeGeneratorRequest'RequestedFile'Import -> m CodeGeneratorRequest'RequestedFile'Import Source #
Decerialize CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut CodeGeneratorRequest'RequestedFile Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const CodeGeneratorRequest'RequestedFile -> m CodeGeneratorRequest'RequestedFile Source #
Decerialize CodeGeneratorRequest Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut CodeGeneratorRequest Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const CodeGeneratorRequest -> m CodeGeneratorRequest Source #
Decerialize CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut CapnpVersion Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const CapnpVersion -> m CapnpVersion Source #
Decerialize Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Annotation Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Annotation -> m Annotation Source #
Decerialize Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Value Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Value -> m Value Source #
Decerialize Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Brand'Binding Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Brand'Binding -> m Brand'Binding Source #
Decerialize Brand'Scope' Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Brand'Scope' Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Brand'Scope' -> m Brand'Scope' Source #
Decerialize Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Brand'Scope Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Brand'Scope -> m Brand'Scope Source #
Decerialize Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Brand Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Brand -> m Brand Source #
Decerialize Type'anyPointer'implicitMethodParameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Type'anyPointer'implicitMethodParameter Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Type'anyPointer'implicitMethodParameter -> m Type'anyPointer'implicitMethodParameter Source #
Decerialize Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Type'anyPointer'parameter Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Type'anyPointer'parameter -> m 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 # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Type'anyPointer'unconstrained -> m 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 # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Type'anyPointer -> m Type'anyPointer Source #
Decerialize Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Type'interface Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Type'interface -> m Type'interface Source #
Decerialize Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Type'struct Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Type'struct -> m Type'struct Source #
Decerialize Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Type'enum Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Type'enum -> m Type'enum Source #
Decerialize Type'list Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Type'list Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Type'list -> m Type'list Source #
Decerialize Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Type Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Type -> m Type Source #
Decerialize Method Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Method Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Method -> m Method Source #
Decerialize Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Superclass Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Superclass -> m Superclass Source #
Decerialize Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Enumerant Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Enumerant -> m Enumerant Source #
Decerialize Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Field'ordinal Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Field'ordinal -> m Field'ordinal Source #
Decerialize Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Field'group Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Field'group -> m Field'group Source #
Decerialize Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Field'slot Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Field'slot -> m Field'slot Source #
Decerialize Field' Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Field' Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Field' -> m Field' Source #
Decerialize Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Field Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Field -> m 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 # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Node'SourceInfo'Member -> m 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 # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Node'SourceInfo -> m Node'SourceInfo Source #
Decerialize Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Node'NestedNode Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Node'NestedNode -> m Node'NestedNode Source #
Decerialize Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Node'Parameter Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Node'Parameter -> m Node'Parameter Source #
Decerialize Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Node'annotation Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Node'annotation -> m Node'annotation Source #
Decerialize Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Node'const Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Node'const -> m Node'const Source #
Decerialize Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Node'interface Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Node'interface -> m Node'interface Source #
Decerialize Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Node'enum Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Node'enum -> m Node'enum Source #
Decerialize Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Node'struct Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Node'struct -> m Node'struct Source #
Decerialize Node' Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Node' Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Node' -> m Node' Source #
Decerialize Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Associated Types type Cerial mut Node Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Node -> m Node Source #
Decerialize Side Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Associated Types type Cerial mut Side Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Side -> m Side Source #
Decerialize JoinResult Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Associated Types type Cerial mut JoinResult Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const JoinResult -> m JoinResult Source #
Decerialize JoinKeyPart Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Associated Types type Cerial mut JoinKeyPart Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const JoinKeyPart -> m JoinKeyPart Source #
Decerialize ThirdPartyCapId Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Associated Types type Cerial mut ThirdPartyCapId Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const ThirdPartyCapId -> m ThirdPartyCapId Source #
Decerialize RecipientId Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Associated Types type Cerial mut RecipientId Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const RecipientId -> m RecipientId Source #
Decerialize ProvisionId Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Associated Types type Cerial mut ProvisionId Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const ProvisionId -> m ProvisionId Source #
Decerialize VatId Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Associated Types type Cerial mut VatId Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const VatId -> m VatId Source #
Decerialize Exception'Type Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Exception'Type Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Exception'Type -> m Exception'Type Source #
Decerialize Exception Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Exception Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Exception -> m Exception Source #
Decerialize ThirdPartyCapDescriptor Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut ThirdPartyCapDescriptor Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const ThirdPartyCapDescriptor -> m ThirdPartyCapDescriptor Source #
Decerialize PromisedAnswer'Op Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut PromisedAnswer'Op Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const PromisedAnswer'Op -> m PromisedAnswer'Op Source #
Decerialize PromisedAnswer Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut PromisedAnswer Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const PromisedAnswer -> m PromisedAnswer Source #
Decerialize CapDescriptor' Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut CapDescriptor' Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const CapDescriptor' -> m CapDescriptor' Source #
Decerialize CapDescriptor Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut CapDescriptor Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const CapDescriptor -> m CapDescriptor Source #
Decerialize Payload Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Payload Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Payload -> m Payload Source #
Decerialize MessageTarget Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut MessageTarget Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const MessageTarget -> m MessageTarget Source #
Decerialize Join Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Join Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Join -> m Join Source #
Decerialize Accept Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Accept Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Accept -> m Accept Source #
Decerialize Provide Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Provide Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Provide -> m Provide Source #
Decerialize Disembargo'context Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Disembargo'context Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Disembargo'context -> m Disembargo'context Source #
Decerialize Disembargo Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Disembargo Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Disembargo -> m Disembargo Source #
Decerialize Release Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Release Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Release -> m Release Source #
Decerialize Resolve' Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Resolve' Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Resolve' -> m Resolve' Source #
Decerialize Resolve Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Resolve Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Resolve -> m Resolve Source #
Decerialize Finish Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Finish Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Finish -> m Finish Source #
Decerialize Return' Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Return' Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Return' -> m Return' Source #
Decerialize Return Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Return Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Return -> m Return Source #
Decerialize Call'sendResultsTo Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Call'sendResultsTo Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Call'sendResultsTo -> m Call'sendResultsTo Source #
Decerialize Call Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Call Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Call -> m Call Source #
Decerialize Bootstrap Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Bootstrap Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Bootstrap -> m Bootstrap Source #
Decerialize Message Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Associated Types type Cerial mut Message Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Message -> m Message Source #
Decerialize DiscriminatorOptions Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Associated Types type Cerial mut DiscriminatorOptions Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const DiscriminatorOptions -> m DiscriminatorOptions Source #
Decerialize FlattenOptions Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Associated Types type Cerial mut FlattenOptions Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const FlattenOptions -> m FlattenOptions Source #
Decerialize Value'Call Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Associated Types type Cerial mut Value'Call Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Value'Call -> m 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 # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Value'Field -> m Value'Field Source #
Decerialize Value Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Associated Types type Cerial mut Value Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const Value -> m Value Source #
Decerialize (Maybe Ptr) Source #
Instance details Defined in Capnp.Untyped.Pure Associated Types type Cerial mut (Maybe Ptr) Source # Methods decerialize :: ReadCtx m 'Const => Cerial 'Const (Maybe Ptr) -> m (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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> CodeGeneratorRequest'RequestedFile'Import -> m (Cerial ('Mut s) CodeGeneratorRequest'RequestedFile'Import) Source #
Cerialize s CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> CodeGeneratorRequest'RequestedFile -> m (Cerial ('Mut s) CodeGeneratorRequest'RequestedFile) Source #
Cerialize s CodeGeneratorRequest Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> CodeGeneratorRequest -> m (Cerial ('Mut s) CodeGeneratorRequest) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Node'SourceInfo'Member -> m (Cerial ('Mut s) Node'SourceInfo'Member) Source #
Cerialize s Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Node'SourceInfo -> m (Cerial ('Mut s) Node'SourceInfo) Source #
Cerialize s Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Node'NestedNode -> m (Cerial ('Mut s) Node'NestedNode) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> ThirdPartyCapId -> m (Cerial ('Mut s) ThirdPartyCapId) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> ThirdPartyCapDescriptor -> m (Cerial ('Mut s) ThirdPartyCapDescriptor) Source #
Cerialize s PromisedAnswer'Op Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> PromisedAnswer'Op -> m (Cerial ('Mut s) PromisedAnswer'Op) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> DiscriminatorOptions -> m (Cerial ('Mut s) DiscriminatorOptions) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Double))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Double))))))) Source #
Cerialize s (Vector (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 (Vector Double)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Double)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Float))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Float))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Word64))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Word64))))))) Source #
Cerialize s (Vector (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 (Vector Word64)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Word64)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Word32))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Word32))))))) Source #
Cerialize s (Vector (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 (Vector Word32)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Word32)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Word16))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Word16))))))) Source #
Cerialize s (Vector (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 (Vector Word16)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Word16)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Word8))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Word8))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Int64))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Int64))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Int32))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Int32))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Int16))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Int16))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector StreamResult)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector StreamResult)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector StreamResult)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Stream.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector StreamResult))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector StreamResult))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector StreamResult))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Stream.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector StreamResult)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector StreamResult)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector StreamResult)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Stream.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector StreamResult))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector StreamResult))))) Source #
Cerialize s (Vector (Vector (Vector StreamResult))) Source #
Instance details Defined in Capnp.Gen.Capnp.Stream.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector StreamResult)) -> m (Cerial ('Mut s) (Vector (Vector (Vector StreamResult)))) Source #
Cerialize s (Vector (Vector StreamResult)) Source #
Instance details Defined in Capnp.Gen.Capnp.Stream.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector StreamResult) -> m (Cerial ('Mut s) (Vector (Vector StreamResult))) Source #
Cerialize s (Vector StreamResult) Source #
Instance details Defined in Capnp.Gen.Capnp.Stream.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector StreamResult -> m (Cerial ('Mut s) (Vector StreamResult)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ElementSize)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector ElementSize))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector ElementSize))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector ElementSize))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector ElementSize)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector ElementSize)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector ElementSize)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector ElementSize))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector ElementSize))))) Source #
Cerialize s (Vector (Vector (Vector ElementSize))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector ElementSize)) -> m (Cerial ('Mut s) (Vector (Vector (Vector ElementSize)))) Source #
Cerialize s (Vector (Vector ElementSize)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector ElementSize) -> m (Cerial ('Mut s) (Vector (Vector ElementSize))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))))) Source #
Cerialize s (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)) -> m (Cerial ('Mut s) (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)))) Source #
Cerialize s (Vector (Vector CodeGeneratorRequest'RequestedFile'Import)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector CodeGeneratorRequest'RequestedFile'Import) -> m (Cerial ('Mut s) (Vector (Vector CodeGeneratorRequest'RequestedFile'Import))) Source #
Cerialize s (Vector CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector CodeGeneratorRequest'RequestedFile'Import -> m (Cerial ('Mut s) (Vector CodeGeneratorRequest'RequestedFile'Import)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))))) Source #
Cerialize s (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)) -> m (Cerial ('Mut s) (Vector (Vector (Vector CodeGeneratorRequest'RequestedFile)))) Source #
Cerialize s (Vector (Vector CodeGeneratorRequest'RequestedFile)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector CodeGeneratorRequest'RequestedFile) -> m (Cerial ('Mut s) (Vector (Vector CodeGeneratorRequest'RequestedFile))) Source #
Cerialize s (Vector CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector CodeGeneratorRequest'RequestedFile -> m (Cerial ('Mut s) (Vector CodeGeneratorRequest'RequestedFile)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector CodeGeneratorRequest)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector CodeGeneratorRequest)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector CodeGeneratorRequest))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector CodeGeneratorRequest))))) Source #
Cerialize s (Vector (Vector (Vector CodeGeneratorRequest))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector CodeGeneratorRequest)) -> m (Cerial ('Mut s) (Vector (Vector (Vector CodeGeneratorRequest)))) Source #
Cerialize s (Vector (Vector CodeGeneratorRequest)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector CodeGeneratorRequest) -> m (Cerial ('Mut s) (Vector (Vector CodeGeneratorRequest))) Source #
Cerialize s (Vector CodeGeneratorRequest) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector CodeGeneratorRequest -> m (Cerial ('Mut s) (Vector CodeGeneratorRequest)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector CapnpVersion))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector CapnpVersion))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector CapnpVersion)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector CapnpVersion)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector CapnpVersion)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector CapnpVersion))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector CapnpVersion))))) Source #
Cerialize s (Vector (Vector (Vector CapnpVersion))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector CapnpVersion)) -> m (Cerial ('Mut s) (Vector (Vector (Vector CapnpVersion)))) Source #
Cerialize s (Vector (Vector CapnpVersion)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector CapnpVersion) -> m (Cerial ('Mut s) (Vector (Vector CapnpVersion))) Source #
Cerialize s (Vector CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector CapnpVersion -> m (Cerial ('Mut s) (Vector CapnpVersion)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Annotation))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Annotation)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Annotation)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Annotation)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Annotation))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Annotation))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Annotation))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Annotation)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Annotation)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Annotation)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Annotation))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Annotation))))) Source #
Cerialize s (Vector (Vector (Vector Annotation))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Annotation)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Annotation)))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Value)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value)))))))) Source #
Cerialize s (Vector (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 (Vector Value))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Value))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Brand'Binding))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Brand'Binding))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Brand'Binding)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Brand'Binding)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Brand'Binding)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Brand'Binding))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Brand'Binding))))) Source #
Cerialize s (Vector (Vector (Vector Brand'Binding))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Brand'Binding)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Brand'Binding)))) Source #
Cerialize s (Vector (Vector Brand'Binding)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Brand'Binding) -> m (Cerial ('Mut s) (Vector (Vector Brand'Binding))) Source #
Cerialize s (Vector Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector Brand'Binding -> m (Cerial ('Mut s) (Vector Brand'Binding)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Brand'Scope))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Brand'Scope))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Brand'Scope)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Brand'Scope)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Brand'Scope)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Brand'Scope))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Brand'Scope))))) Source #
Cerialize s (Vector (Vector (Vector Brand'Scope))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Brand'Scope)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Brand'Scope)))) Source #
Cerialize s (Vector (Vector Brand'Scope)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Brand'Scope) -> m (Cerial ('Mut s) (Vector (Vector Brand'Scope))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Brand)))))))) Source #
Cerialize s (Vector (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 (Vector Brand))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Brand))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Type)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Type)))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Method)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Method)))))))) Source #
Cerialize s (Vector (Vector (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 (Vector (Vector Method))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Method))))))) Source #
Cerialize s (Vector (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 (Vector Method)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Method)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Superclass)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Superclass)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Superclass)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Superclass))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Superclass))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Superclass))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Superclass)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Superclass)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Superclass)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Superclass))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Superclass))))) Source #
Cerialize s (Vector (Vector (Vector Superclass))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Superclass)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Superclass)))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Enumerant)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Enumerant)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Enumerant)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Enumerant))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Enumerant))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Enumerant))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Enumerant)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Enumerant)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Enumerant)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Enumerant))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Enumerant))))) Source #
Cerialize s (Vector (Vector (Vector Enumerant))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Enumerant)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Enumerant)))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Field)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Field)))))))) Source #
Cerialize s (Vector (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 (Vector Field))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Field))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))))) 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'SourceInfo'Member))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Node'SourceInfo'Member)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Node'SourceInfo'Member))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Node'SourceInfo'Member))))) Source #
Cerialize s (Vector (Vector (Vector Node'SourceInfo'Member))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Node'SourceInfo'Member)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Node'SourceInfo'Member)))) Source #
Cerialize s (Vector (Vector Node'SourceInfo'Member)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Node'SourceInfo'Member) -> m (Cerial ('Mut s) (Vector (Vector Node'SourceInfo'Member))) Source #
Cerialize s (Vector Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector Node'SourceInfo'Member -> m (Cerial ('Mut s) (Vector Node'SourceInfo'Member)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo)))))) 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'SourceInfo))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Node'SourceInfo))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Node'SourceInfo))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Node'SourceInfo)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Node'SourceInfo)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Node'SourceInfo)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Node'SourceInfo))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Node'SourceInfo))))) Source #
Cerialize s (Vector (Vector (Vector Node'SourceInfo))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Node'SourceInfo)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Node'SourceInfo)))) Source #
Cerialize s (Vector (Vector Node'SourceInfo)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Node'SourceInfo) -> m (Cerial ('Mut s) (Vector (Vector Node'SourceInfo))) Source #
Cerialize s (Vector Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector Node'SourceInfo -> m (Cerial ('Mut s) (Vector Node'SourceInfo)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode)))))) 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'NestedNode))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Node'NestedNode))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Node'NestedNode))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Node'NestedNode)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Node'NestedNode)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Node'NestedNode)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Node'NestedNode))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Node'NestedNode))))) Source #
Cerialize s (Vector (Vector (Vector Node'NestedNode))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Node'NestedNode)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Node'NestedNode)))) Source #
Cerialize s (Vector (Vector Node'NestedNode)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Node'NestedNode) -> m (Cerial ('Mut s) (Vector (Vector Node'NestedNode))) Source #
Cerialize s (Vector Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector Node'NestedNode -> m (Cerial ('Mut s) (Vector Node'NestedNode)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter)))))) 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'Parameter))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Node'Parameter))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Node'Parameter))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Node'Parameter)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Node'Parameter)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Node'Parameter)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Node'Parameter))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Node'Parameter))))) Source #
Cerialize s (Vector (Vector (Vector Node'Parameter))) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Node'Parameter)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Node'Parameter)))) Source #
Cerialize s (Vector (Vector Node'Parameter)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Node'Parameter) -> m (Cerial ('Mut s) (Vector (Vector Node'Parameter))) Source #
Cerialize s (Vector Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector Node'Parameter -> m (Cerial ('Mut s) (Vector Node'Parameter)) Source #
Cerialize s (Vector (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 (Vector Node)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Node)))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector JoinResult))))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector JoinResult)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector JoinResult)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector JoinResult)))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector JoinResult))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector JoinResult))))) Source #
Cerialize s (Vector (Vector (Vector JoinResult))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector JoinResult)) -> m (Cerial ('Mut s) (Vector (Vector (Vector JoinResult)))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector JoinKeyPart)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector JoinKeyPart)))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector JoinKeyPart))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector JoinKeyPart))))) Source #
Cerialize s (Vector (Vector (Vector JoinKeyPart))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector JoinKeyPart)) -> m (Cerial ('Mut s) (Vector (Vector (Vector JoinKeyPart)))) Source #
Cerialize s (Vector (Vector JoinKeyPart)) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector JoinKeyPart) -> m (Cerial ('Mut s) (Vector (Vector JoinKeyPart))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector ThirdPartyCapId)))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector ThirdPartyCapId))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector ThirdPartyCapId))))) Source #
Cerialize s (Vector (Vector (Vector ThirdPartyCapId))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector ThirdPartyCapId)) -> m (Cerial ('Mut s) (Vector (Vector (Vector ThirdPartyCapId)))) Source #
Cerialize s (Vector (Vector ThirdPartyCapId)) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector ThirdPartyCapId) -> m (Cerial ('Mut s) (Vector (Vector ThirdPartyCapId))) Source #
Cerialize s (Vector ThirdPartyCapId) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector ThirdPartyCapId -> m (Cerial ('Mut s) (Vector ThirdPartyCapId)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector RecipientId))))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector RecipientId)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector RecipientId)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector RecipientId)))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector RecipientId))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector RecipientId))))) Source #
Cerialize s (Vector (Vector (Vector RecipientId))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector RecipientId)) -> m (Cerial ('Mut s) (Vector (Vector (Vector RecipientId)))) Source #
Cerialize s (Vector (Vector RecipientId)) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector RecipientId) -> m (Cerial ('Mut s) (Vector (Vector RecipientId))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector ProvisionId))))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector ProvisionId)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector ProvisionId)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector ProvisionId)))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector ProvisionId))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector ProvisionId))))) Source #
Cerialize s (Vector (Vector (Vector ProvisionId))) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector ProvisionId)) -> m (Cerial ('Mut s) (Vector (Vector (Vector ProvisionId)))) Source #
Cerialize s (Vector (Vector ProvisionId)) Source #
Instance details Defined in Capnp.Gen.Capnp.RpcTwoparty.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector ProvisionId) -> m (Cerial ('Mut s) (Vector (Vector ProvisionId))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))))) Source #
Cerialize s (Vector (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 (Vector VatId))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Exception'Type))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Exception'Type))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Exception'Type))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Exception'Type)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Exception'Type)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Exception'Type)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Exception'Type))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Exception'Type))))) Source #
Cerialize s (Vector (Vector (Vector Exception'Type))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Exception'Type)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Exception'Type)))) Source #
Cerialize s (Vector (Vector Exception'Type)) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Exception'Type) -> m (Cerial ('Mut s) (Vector (Vector Exception'Type))) Source #
Cerialize s (Vector Exception'Type) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector Exception'Type -> m (Cerial ('Mut s) (Vector Exception'Type)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Exception)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Exception)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Exception)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Exception))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Exception))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Exception)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Exception)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Exception)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Exception))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Exception))))) Source #
Cerialize s (Vector (Vector (Vector Exception))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Exception)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Exception)))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))) Source #
Cerialize s (Vector (Vector (Vector ThirdPartyCapDescriptor))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector ThirdPartyCapDescriptor)) -> m (Cerial ('Mut s) (Vector (Vector (Vector ThirdPartyCapDescriptor)))) Source #
Cerialize s (Vector (Vector ThirdPartyCapDescriptor)) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector ThirdPartyCapDescriptor) -> m (Cerial ('Mut s) (Vector (Vector ThirdPartyCapDescriptor))) Source #
Cerialize s (Vector ThirdPartyCapDescriptor) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector ThirdPartyCapDescriptor -> m (Cerial ('Mut s) (Vector ThirdPartyCapDescriptor)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector PromisedAnswer'Op)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector PromisedAnswer'Op))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector PromisedAnswer'Op))))) Source #
Cerialize s (Vector (Vector (Vector PromisedAnswer'Op))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector PromisedAnswer'Op)) -> m (Cerial ('Mut s) (Vector (Vector (Vector PromisedAnswer'Op)))) Source #
Cerialize s (Vector (Vector PromisedAnswer'Op)) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector PromisedAnswer'Op) -> m (Cerial ('Mut s) (Vector (Vector PromisedAnswer'Op))) Source #
Cerialize s (Vector PromisedAnswer'Op) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector PromisedAnswer'Op -> m (Cerial ('Mut s) (Vector PromisedAnswer'Op)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector PromisedAnswer)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector PromisedAnswer)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector PromisedAnswer))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector PromisedAnswer))))) Source #
Cerialize s (Vector (Vector (Vector PromisedAnswer))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector PromisedAnswer)) -> m (Cerial ('Mut s) (Vector (Vector (Vector PromisedAnswer)))) Source #
Cerialize s (Vector (Vector PromisedAnswer)) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector PromisedAnswer) -> m (Cerial ('Mut s) (Vector (Vector PromisedAnswer))) Source #
Cerialize s (Vector PromisedAnswer) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector PromisedAnswer -> m (Cerial ('Mut s) (Vector PromisedAnswer)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector CapDescriptor))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector CapDescriptor)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector CapDescriptor)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector CapDescriptor))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector CapDescriptor))))) Source #
Cerialize s (Vector (Vector (Vector CapDescriptor))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector CapDescriptor)) -> m (Cerial ('Mut s) (Vector (Vector (Vector CapDescriptor)))) Source #
Cerialize s (Vector (Vector CapDescriptor)) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector CapDescriptor) -> m (Cerial ('Mut s) (Vector (Vector CapDescriptor))) Source #
Cerialize s (Vector CapDescriptor) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector CapDescriptor -> m (Cerial ('Mut s) (Vector CapDescriptor)) Source #
Cerialize s (Vector (Vector (Vector (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 (Vector (Vector (Vector Payload)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Payload)))))))) Source #
Cerialize s (Vector (Vector (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 (Vector (Vector Payload))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))) Source #
Cerialize s (Vector (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 (Vector Payload)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Payload)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector MessageTarget))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector MessageTarget))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector MessageTarget)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector MessageTarget)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector MessageTarget)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector MessageTarget))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector MessageTarget))))) Source #
Cerialize s (Vector (Vector (Vector MessageTarget))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector MessageTarget)) -> m (Cerial ('Mut s) (Vector (Vector (Vector MessageTarget)))) Source #
Cerialize s (Vector (Vector MessageTarget)) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector MessageTarget) -> m (Cerial ('Mut s) (Vector (Vector MessageTarget))) Source #
Cerialize s (Vector MessageTarget) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector MessageTarget -> m (Cerial ('Mut s) (Vector MessageTarget)) Source #
Cerialize s (Vector (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 (Vector Join)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Join)))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Accept)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Accept)))))))) Source #
Cerialize s (Vector (Vector (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 (Vector (Vector Accept))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))) Source #
Cerialize s (Vector (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 (Vector Accept)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Accept)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Provide)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Provide)))))))) Source #
Cerialize s (Vector (Vector (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 (Vector (Vector Provide))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))) Source #
Cerialize s (Vector (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 (Vector Provide)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Provide)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Disembargo))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Disembargo)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Disembargo)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Disembargo)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Disembargo))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Disembargo))))) Source #
Cerialize s (Vector (Vector (Vector Disembargo))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Disembargo)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Disembargo)))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Release)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Release)))))))) Source #
Cerialize s (Vector (Vector (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 (Vector (Vector Release))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Release))))))) Source #
Cerialize s (Vector (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 (Vector Release)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Release)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))))) Source #
Cerialize s (Vector (Vector (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 (Vector (Vector Resolve))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))) Source #
Cerialize s (Vector (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 (Vector Resolve)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Resolve)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Finish)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Finish)))))))) Source #
Cerialize s (Vector (Vector (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 (Vector (Vector Finish))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))) Source #
Cerialize s (Vector (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 (Vector Finish)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Finish)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Return)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Return)))))))) Source #
Cerialize s (Vector (Vector (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 (Vector (Vector Return))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Return))))))) Source #
Cerialize s (Vector (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 (Vector Return)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Return)))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Call)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Call)))))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Bootstrap))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Bootstrap)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Bootstrap)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Bootstrap)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Bootstrap))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Bootstrap))))) Source #
Cerialize s (Vector (Vector (Vector Bootstrap))) Source #
Instance details Defined in Capnp.Gen.Capnp.Rpc.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Bootstrap)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Bootstrap)))) Source #
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 Methods cerialize :: RWCtx m s => Message0 ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Message)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Message)))))))) Source #
Cerialize s (Vector (Vector (Vector (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 (Vector (Vector (Vector Message))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Message))))))) Source #
Cerialize s (Vector (Vector (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 (Vector (Vector Message)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Message)))))) Source #
Cerialize s (Vector (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 (Vector Message))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Message))))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector DiscriminatorOptions)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector DiscriminatorOptions))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector DiscriminatorOptions))))) Source #
Cerialize s (Vector (Vector (Vector DiscriminatorOptions))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector DiscriminatorOptions)) -> m (Cerial ('Mut s) (Vector (Vector (Vector DiscriminatorOptions)))) Source #
Cerialize s (Vector (Vector DiscriminatorOptions)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector DiscriminatorOptions) -> m (Cerial ('Mut s) (Vector (Vector DiscriminatorOptions))) Source #
Cerialize s (Vector DiscriminatorOptions) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector DiscriminatorOptions -> m (Cerial ('Mut s) (Vector DiscriminatorOptions)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector FlattenOptions))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector FlattenOptions)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector FlattenOptions)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector FlattenOptions))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector FlattenOptions))))) Source #
Cerialize s (Vector (Vector (Vector FlattenOptions))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector FlattenOptions)) -> m (Cerial ('Mut s) (Vector (Vector (Vector FlattenOptions)))) Source #
Cerialize s (Vector (Vector FlattenOptions)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector FlattenOptions) -> m (Cerial ('Mut s) (Vector (Vector FlattenOptions))) Source #
Cerialize s (Vector FlattenOptions) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector FlattenOptions -> m (Cerial ('Mut s) (Vector FlattenOptions)) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (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 (Vector (Vector (Vector (Vector (Vector Value'Call)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value'Call)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (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 (Vector (Vector (Vector (Vector Value'Call))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Value'Call))))))) Source #
Cerialize s (Vector (Vector (Vector (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 (Vector (Vector (Vector Value'Call)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Value'Call)))))) Source #
Cerialize s (Vector (Vector (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 (Vector (Vector Value'Call))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Value'Call))))) Source #
Cerialize s (Vector (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 (Vector Value'Call)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Value'Call)))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Value'Field)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value'Field)))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector Value'Field)))))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector Value'Field))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Value'Field))))))) Source #
Cerialize s (Vector (Vector (Vector (Vector (Vector Value'Field))))) 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'Field)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Value'Field)))))) Source #
Cerialize s (Vector (Vector (Vector (Vector Value'Field)))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Value'Field))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Value'Field))))) Source #
Cerialize s (Vector (Vector (Vector Value'Field))) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Value'Field)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Value'Field)))) Source #
Cerialize s (Vector (Vector Value'Field)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json.Pure Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Value'Field) -> m (Cerial ('Mut s) (Vector (Vector Value'Field))) Source #
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 Methods cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector Value)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector Value)))))))) Source #
Cerialize s (Vector (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 (Vector Value))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector Value))))))) Source #
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

module Capnp.Convert

Managing resource limits

module Capnp.TraversalLimit

Freezing and thawing values

module Data.Mutable

Building messages in pure code

data PureBuilder s a 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 Methods invoice :: WordCount -> PureBuilder s () Source #
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.