Data.Capnp

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

Working with capnproto lists

class ListElem msg e where

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

Minimal complete definition

length, index

Associated Types

data List msg e

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

Methods

length :: List msg e -> Int

Get the length of a list.

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

index i list gets the ith element of a list.

Instances

ListElem msg Bool

Defined in Internal.Gen.Instances

Associated Types

data List msg Bool :: *

Methods

length :: List msg Bool -> Int

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

ListElem msg Double

Defined in Internal.Gen.Instances

Associated Types

data List msg Double :: *

Methods

length :: List msg Double -> Int

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

ListElem msg Float

Defined in Internal.Gen.Instances

Associated Types

data List msg Float :: *

Methods

length :: List msg Float -> Int

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

ListElem msg Word64

Defined in Internal.Gen.Instances

Associated Types

data List msg Word64 :: *

Methods

length :: List msg Word64 -> Int

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

ListElem msg Word32

Defined in Internal.Gen.Instances

Associated Types

data List msg Word32 :: *

Methods

length :: List msg Word32 -> Int

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

ListElem msg Word16

Defined in Internal.Gen.Instances

Associated Types

data List msg Word16 :: *

Methods

length :: List msg Word16 -> Int

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

ListElem msg Word8

Defined in Internal.Gen.Instances

Associated Types

data List msg Word8 :: *

Methods

length :: List msg Word8 -> Int

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

ListElem msg Int64

Defined in Internal.Gen.Instances

Associated Types

data List msg Int64 :: *

Methods

length :: List msg Int64 -> Int

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

ListElem msg Int32

Defined in Internal.Gen.Instances

Associated Types

data List msg Int32 :: *

Methods

length :: List msg Int32 -> Int

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

ListElem msg Int16

Defined in Internal.Gen.Instances

Associated Types

data List msg Int16 :: *

Methods

length :: List msg Int16 -> Int

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

ListElem msg Int8

Defined in Internal.Gen.Instances

Associated Types

data List msg Int8 :: *

Methods

length :: List msg Int8 -> Int

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

ListElem msg ElementSize

Defined in Capnp.Capnp.Schema

Associated Types

data List msg ElementSize :: *

Methods

length :: List msg ElementSize -> Int

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

ListElem msg Side

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg Side :: *

Methods

length :: List msg Side -> Int

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

ListElem msg Exception'Type

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg Exception'Type :: *

Methods

length :: List msg Exception'Type -> Int

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

ListElem msg (Type'anyPointer'unconstrained msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'unconstrained msg) :: *

Methods

length :: List msg (Type'anyPointer'unconstrained msg) -> Int

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

ListElem msg (Type'anyPointer'implicitMethodParameter'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'implicitMethodParameter'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'implicitMethodParameter'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer'implicitMethodParameter'group' msg) -> m (Type'anyPointer'implicitMethodParameter'group' msg)

ListElem msg (Type'anyPointer'parameter'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'parameter'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'parameter'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer'parameter'group' msg) -> m (Type'anyPointer'parameter'group' msg)

ListElem msg (Type'anyPointer'unconstrained'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'unconstrained'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'unconstrained'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer'unconstrained'group' msg) -> m (Type'anyPointer'unconstrained'group' msg)

ListElem msg (Type'anyPointer msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer msg) :: *

Methods

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

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

ListElem msg (Node'Parameter msg)

Defined in Capnp.Capnp.Schema

Associated Types

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

Methods

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

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

ListElem msg (Node'NestedNode msg)

Defined in Capnp.Capnp.Schema

Associated Types

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

Methods

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

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

ListElem msg (Node'annotation'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'annotation'group' msg) :: *

Methods

length :: List msg (Node'annotation'group' msg) -> Int

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

ListElem msg (Node'const'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'const'group' msg) :: *

Methods

length :: List msg (Node'const'group' msg) -> Int

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

ListElem msg (Node'interface'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'interface'group' msg) :: *

Methods

length :: List msg (Node'interface'group' msg) -> Int

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

ListElem msg (Node'enum'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'enum'group' msg) :: *

Methods

length :: List msg (Node'enum'group' msg) -> Int

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

ListElem msg (Node'struct'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'struct'group' msg) :: *

Methods

length :: List msg (Node'struct'group' msg) -> Int

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

ListElem msg (Node' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node' msg) :: *

Methods

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

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

ListElem msg (Field'ordinal msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field'ordinal msg) :: *

Methods

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

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

ListElem msg (Field'group'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field'group'group' msg) :: *

Methods

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

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

ListElem msg (Field'slot'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field'slot'group' msg) :: *

Methods

length :: List msg (Field'slot'group' msg) -> Int

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

ListElem msg (Field' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field' msg) :: *

Methods

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

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

ListElem msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Capnp.Schema

Associated Types

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

Methods

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

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

ListElem msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Capnp.Schema

Associated Types

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

Methods

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

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

ListElem msg (Brand'Scope' msg)

Defined in Capnp.Capnp.Schema

Associated Types

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

Methods

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

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

ListElem msg (Brand'Scope msg)

Defined in Capnp.Capnp.Schema

Associated Types

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

Methods

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

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

ListElem msg (Brand'Binding msg)

Defined in Capnp.Capnp.Schema

Associated Types

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

Methods

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

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

ListElem msg (Value msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Value msg) :: *

Methods

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

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

ListElem msg (Type'anyPointer'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'group' msg) -> Int

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

ListElem msg (Type'interface'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'interface'group' msg) :: *

Methods

length :: List msg (Type'interface'group' msg) -> Int

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

ListElem msg (Type'struct'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'struct'group' msg) :: *

Methods

length :: List msg (Type'struct'group' msg) -> Int

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

ListElem msg (Type'enum'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'enum'group' msg) :: *

Methods

length :: List msg (Type'enum'group' msg) -> Int

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

ListElem msg (Type'list'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'list'group' msg) :: *

Methods

length :: List msg (Type'list'group' msg) -> Int

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

ListElem msg (Type msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type msg) :: *

Methods

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

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

ListElem msg (Superclass msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Superclass msg) :: *

Methods

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

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

ListElem msg (Node msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node msg) :: *

Methods

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

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

ListElem msg (Method msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Method msg) :: *

Methods

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

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

ListElem msg (Field msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field msg) :: *

Methods

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

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

ListElem msg (Enumerant msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Enumerant msg) :: *

Methods

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

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

ListElem msg (CodeGeneratorRequest msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest msg) :: *

Methods

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

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

ListElem msg (CapnpVersion msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (CapnpVersion msg) :: *

Methods

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

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

ListElem msg (Brand msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Brand msg) :: *

Methods

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

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

ListElem msg (Annotation msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Annotation msg) :: *

Methods

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

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

ListElem msg (VatId msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (VatId msg) :: *

Methods

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

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

ListElem msg (ProvisionId msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (ProvisionId msg) :: *

Methods

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

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

ListElem msg (JoinResult msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (JoinResult msg) :: *

Methods

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

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

ListElem msg (JoinKeyPart msg)

Defined in Capnp.Capnp.RpcTwoparty

Associated Types

data List msg (JoinKeyPart msg) :: *

Methods

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

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

ListElem msg (Return' msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Return' msg) :: *

Methods

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

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

ListElem msg (Resolve' msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Resolve' msg) :: *

Methods

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

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

ListElem msg (PromisedAnswer'Op msg)

Defined in Capnp.Capnp.Rpc

Associated Types

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

Methods

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

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

ListElem msg (Disembargo'context msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Disembargo'context msg) :: *

Methods

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

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

ListElem msg (Call'sendResultsTo msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Call'sendResultsTo msg) :: *

Methods

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

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

ListElem msg (ThirdPartyCapDescriptor msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (ThirdPartyCapDescriptor msg) :: *

Methods

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

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

ListElem msg (Return msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Return msg) :: *

Methods

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

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

ListElem msg (Resolve msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Resolve msg) :: *

Methods

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

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

ListElem msg (Release msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Release msg) :: *

Methods

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

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

ListElem msg (Provide msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Provide msg) :: *

Methods

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

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

ListElem msg (PromisedAnswer msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (PromisedAnswer msg) :: *

Methods

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

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

ListElem msg (Payload msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Payload msg) :: *

Methods

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

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

ListElem msg (MessageTarget msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (MessageTarget msg) :: *

Methods

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

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

ListElem msg (Message msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Message msg) :: *

Methods

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

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

ListElem msg (Join msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Join msg) :: *

Methods

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

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

ListElem msg (Finish msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Finish msg) :: *

Methods

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

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

ListElem msg (Exception msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Exception msg) :: *

Methods

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

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

ListElem msg (Disembargo msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Disembargo msg) :: *

Methods

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

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

ListElem msg (CapDescriptor msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (CapDescriptor msg) :: *

Methods

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

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

ListElem msg (Call msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Call msg) :: *

Methods

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

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

ListElem msg (Bootstrap msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Bootstrap msg) :: *

Methods

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

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

ListElem msg (Accept msg)

Defined in Capnp.Capnp.Rpc

Associated Types

data List msg (Accept msg) :: *

Methods

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

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

ListElem msg (Persistent'SaveResults msg)

Defined in Capnp.Capnp.Persistent

Associated Types

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

Methods

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

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

ListElem msg (Persistent'SaveParams msg)

Defined in Capnp.Capnp.Persistent

Associated Types

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

Methods

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

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

ListElem msg (JsonValue'Field msg)

Defined in Capnp.Capnp.Json

Associated Types

data List msg (JsonValue'Field msg) :: *

Methods

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

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

ListElem msg (JsonValue'Call msg)

Defined in Capnp.Capnp.Json

Associated Types

data List msg (JsonValue'Call msg) :: *

Methods

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

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

ListElem msg (JsonValue msg)

Defined in Capnp.Capnp.Json

Associated Types

data List msg (JsonValue msg) :: *

Methods

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

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

class ListElem (MutMsg s) e => MutListElem s e where

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

Minimal complete definition

setIndex, newList

Methods

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

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

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

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

Instances

MutListElem s Bool

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Double

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Float

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word64

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word32

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word16

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Word8

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int64

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int32

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int16

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s Int8

Defined in Internal.Gen.Instances

Methods

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

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

MutListElem s ElementSize

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s Side

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s Exception'Type

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Type'anyPointer'unconstrained (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'anyPointer'implicitMethodParameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'implicitMethodParameter'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'implicitMethodParameter'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'implicitMethodParameter'group' (MutMsg s)))

MutListElem s (Type'anyPointer'parameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'parameter'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'parameter'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'parameter'group' (MutMsg s)))

MutListElem s (Type'anyPointer'unconstrained'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'unconstrained'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'unconstrained'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'unconstrained'group' (MutMsg s)))

MutListElem s (Type'anyPointer (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'Parameter (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'NestedNode (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'annotation'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'const'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field'ordinal (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field'group'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field'slot'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

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

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (CodeGeneratorRequest'RequestedFile (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Brand'Scope' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Brand'Scope (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Brand'Binding (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Value (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'anyPointer'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'list'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Superclass (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Method (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Enumerant (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (CodeGeneratorRequest (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (CapnpVersion (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Brand (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Annotation (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (VatId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (ProvisionId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (JoinResult (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (JoinKeyPart (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (Return' (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Resolve' (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer'Op (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Disembargo'context (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Call'sendResultsTo (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (ThirdPartyCapDescriptor (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Return (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Resolve (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Release (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Provide (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Payload (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (MessageTarget (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Message (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Join (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Finish (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Exception (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Disembargo (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (CapDescriptor (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Call (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Bootstrap (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Accept (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Persistent'SaveResults (MutMsg s))

Defined in Capnp.Capnp.Persistent

Methods

setIndex :: RWCtx m s => Persistent'SaveResults (MutMsg s) -> Int -> List (MutMsg s) (Persistent'SaveResults (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Persistent'SaveResults (MutMsg s)))

MutListElem s (Persistent'SaveParams (MutMsg s))

Defined in Capnp.Capnp.Persistent

Methods

setIndex :: RWCtx m s => Persistent'SaveParams (MutMsg s) -> Int -> List (MutMsg s) (Persistent'SaveParams (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Persistent'SaveParams (MutMsg s)))

MutListElem s (JsonValue'Field (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

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

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

MutListElem s (JsonValue'Call (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

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

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

MutListElem s (JsonValue (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

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

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

Working with capnproto Text and Data values.

data Data msg

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

Instances

IsPtr msg (Data msg)

Defined in Data.Capnp.Basics

Methods

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

toPtr :: Data msg -> Maybe (Ptr msg)

dataBytes :: ReadCtx m msg => Data msg -> m ByteString

Convert a Data to a ByteString.

data Text msg

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

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

Instances

IsPtr msg (Text msg)

Defined in Data.Capnp.Basics

Methods

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

toPtr :: Text msg -> Maybe (Ptr msg)

textBytes :: ReadCtx m msg => Text msg -> m ByteString

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

Working with messages

data ConstMsg

A read-only capnproto message.

ConstMsg is an instance of the generic Message type class. its implementations of toByteString and fromByteString are O(1); the underlying bytes are not copied.

Instances

MonadThrow m => Message m ConstMsg

Defined in Data.Capnp.Message

Associated Types

data Segment ConstMsg :: *

Methods

numSegs :: ConstMsg -> m Int

internalGetSeg :: ConstMsg -> Int -> m (Segment ConstMsg)

numWords :: Segment ConstMsg -> m Int

slice :: Int -> Int -> Segment ConstMsg -> m (Segment ConstMsg)

read :: Segment ConstMsg -> Int -> m Word64

fromByteString :: ByteString -> m (Segment ConstMsg)

toByteString :: Segment ConstMsg -> m ByteString

FromStruct ConstMsg Type'anyPointer'unconstrained

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Type'anyPointer'unconstrained

FromStruct ConstMsg Type'anyPointer

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Type'anyPointer

FromStruct ConstMsg Node'Parameter

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Node'Parameter

FromStruct ConstMsg Node'NestedNode

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Node'NestedNode

FromStruct ConstMsg Node'

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Node'

FromStruct ConstMsg Field'ordinal

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Field'ordinal

FromStruct ConstMsg Field'

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Field'

FromStruct ConstMsg CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m CodeGeneratorRequest'RequestedFile'Import

FromStruct ConstMsg CodeGeneratorRequest'RequestedFile

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m CodeGeneratorRequest'RequestedFile

FromStruct ConstMsg Brand'Scope'

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Brand'Scope'

FromStruct ConstMsg Brand'Scope

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Brand'Scope

FromStruct ConstMsg Brand'Binding

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Brand'Binding

FromStruct ConstMsg Value

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Value

FromStruct ConstMsg Type

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Type

FromStruct ConstMsg Superclass

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Superclass

FromStruct ConstMsg Node

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Node

FromStruct ConstMsg Method

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Method

FromStruct ConstMsg Field

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Field

FromStruct ConstMsg Enumerant

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Enumerant

FromStruct ConstMsg CodeGeneratorRequest

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m CodeGeneratorRequest

FromStruct ConstMsg CapnpVersion

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m CapnpVersion

FromStruct ConstMsg Brand

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Brand

FromStruct ConstMsg Annotation

Defined in Capnp.Capnp.Schema.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Annotation

FromStruct ConstMsg VatId

Defined in Capnp.Capnp.RpcTwoparty.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m VatId

FromStruct ConstMsg ProvisionId

Defined in Capnp.Capnp.RpcTwoparty.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m ProvisionId

FromStruct ConstMsg JoinResult

Defined in Capnp.Capnp.RpcTwoparty.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m JoinResult

FromStruct ConstMsg JoinKeyPart

Defined in Capnp.Capnp.RpcTwoparty.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m JoinKeyPart

FromStruct ConstMsg Return'

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Return'

FromStruct ConstMsg Resolve'

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Resolve'

FromStruct ConstMsg PromisedAnswer'Op

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m PromisedAnswer'Op

FromStruct ConstMsg Disembargo'context

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Disembargo'context

FromStruct ConstMsg Call'sendResultsTo

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Call'sendResultsTo

FromStruct ConstMsg ThirdPartyCapDescriptor

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m ThirdPartyCapDescriptor

FromStruct ConstMsg Return

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Return

FromStruct ConstMsg Resolve

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Resolve

FromStruct ConstMsg Release

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Release

FromStruct ConstMsg Provide

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Provide

FromStruct ConstMsg PromisedAnswer

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m PromisedAnswer

FromStruct ConstMsg Payload

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Payload

FromStruct ConstMsg MessageTarget

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m MessageTarget

FromStruct ConstMsg Message

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Message

FromStruct ConstMsg Join

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Join

FromStruct ConstMsg Finish

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Finish

FromStruct ConstMsg Exception

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Exception

FromStruct ConstMsg Disembargo

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Disembargo

FromStruct ConstMsg CapDescriptor

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m CapDescriptor

FromStruct ConstMsg Call

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Call

FromStruct ConstMsg Bootstrap

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Bootstrap

FromStruct ConstMsg Accept

Defined in Capnp.Capnp.Rpc.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Accept

FromStruct ConstMsg Persistent'SaveResults

Defined in Capnp.Capnp.Persistent.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Persistent'SaveResults

FromStruct ConstMsg Persistent'SaveParams

Defined in Capnp.Capnp.Persistent.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m Persistent'SaveParams

FromStruct ConstMsg JsonValue'Field

Defined in Capnp.Capnp.Json.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m JsonValue'Field

FromStruct ConstMsg JsonValue'Call

Defined in Capnp.Capnp.Json.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m JsonValue'Call

FromStruct ConstMsg JsonValue

Defined in Capnp.Capnp.Json.Pure

Methods

fromStruct :: ReadCtx m ConstMsg => Struct ConstMsg -> m JsonValue

data Segment ConstMsg

Defined in Data.Capnp.Message

data Segment ConstMsg = ConstSegment {

• constSegToVec :: Vector Word64

}

class Monad m => Message m msg where

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

Minimal complete definition

numSegs, internalGetSeg, numWords, slice, read, fromByteString, toByteString

Associated Types

data Segment msg

The type of segments in the message.

Methods

numSegs :: msg -> m Int

numSegs gets the number of segments in a message.

internalGetSeg :: msg -> Int -> m (Segment msg)

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

numWords :: Segment msg -> m Int

Get the length of the segment, in units of 64-bit words.

slice :: Int -> Int -> Segment msg -> m (Segment msg)

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

read :: Segment msg -> Int -> m Word64

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

fromByteString :: ByteString -> m (Segment msg)

Convert a ByteString to a segment.

toByteString :: Segment msg -> m ByteString

Convert a segment to a byte string.

Instances

MonadThrow m => Message m ConstMsg

Defined in Data.Capnp.Message

Associated Types

data Segment ConstMsg :: *

Methods

numSegs :: ConstMsg -> m Int

internalGetSeg :: ConstMsg -> Int -> m (Segment ConstMsg)

numWords :: Segment ConstMsg -> m Int

slice :: Int -> Int -> Segment ConstMsg -> m (Segment ConstMsg)

read :: Segment ConstMsg -> Int -> m Word64

fromByteString :: ByteString -> m (Segment ConstMsg)

toByteString :: Segment ConstMsg -> m ByteString

WriteCtx m s => Message m (MutMsg s)

Defined in Data.Capnp.Message

Associated Types

data Segment (MutMsg s) :: *

Methods

numSegs :: MutMsg s -> m Int

internalGetSeg :: MutMsg s -> Int -> m (Segment (MutMsg s))

numWords :: Segment (MutMsg s) -> m Int

slice :: Int -> Int -> Segment (MutMsg s) -> m (Segment (MutMsg s))

read :: Segment (MutMsg s) -> Int -> m Word64

fromByteString :: ByteString -> m (Segment (MutMsg s))

toByteString :: Segment (MutMsg s) -> m ByteString

class Mutable a where

The Mutable type class relates mutable and immutable versions of a type. The instance is defined on the mutable variant; Frozen a is the immutable version of a mutable type a.

Minimal complete definition

thaw, freeze

Associated Types

type Scope a

The state token for a mutable value.

type Frozen a

The immutable version of a.

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope a) => Frozen a -> m a

Convert an immutable value to a mutable one.

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope a) => a -> m (Frozen a)

Convert a mutable value to an immutable one.

Instances

Mutable (MutMsg s)

Defined in Data.Capnp.Message

Associated Types

type Scope (MutMsg s) :: *

type Frozen (MutMsg s) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (MutMsg s)) => Frozen (MutMsg s) -> m (MutMsg s)

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (MutMsg s)) => MutMsg s -> m (Frozen (MutMsg s))

Mutable (Segment (MutMsg s))

Defined in Data.Capnp.Message

Associated Types

type Scope (Segment (MutMsg s)) :: *

type Frozen (Segment (MutMsg s)) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (Segment (MutMsg s))) => Frozen (Segment (MutMsg s)) -> m (Segment (MutMsg s))

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (Segment (MutMsg s))) => Segment (MutMsg s) -> m (Frozen (Segment (MutMsg s)))

Mutable msg => Mutable (Struct msg)

Defined in Data.Capnp.Untyped

Associated Types

type Scope (Struct msg) :: *

type Frozen (Struct msg) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (Struct msg)) => Frozen (Struct msg) -> m (Struct msg)

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (Struct msg)) => Struct msg -> m (Frozen (Struct msg))

Mutable msg => Mutable (List msg)

Defined in Data.Capnp.Untyped

Associated Types

type Scope (List msg) :: *

type Frozen (List msg) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (List msg)) => Frozen (List msg) -> m (List msg)

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (List msg)) => List msg -> m (Frozen (List msg))

Mutable msg => Mutable (Ptr msg)

Defined in Data.Capnp.Untyped

Associated Types

type Scope (Ptr msg) :: *

type Frozen (Ptr msg) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (Ptr msg)) => Frozen (Ptr msg) -> m (Ptr msg)

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (Ptr msg)) => Ptr msg -> m (Frozen (Ptr msg))

Mutable msg => Mutable (ListOf msg (Maybe (Ptr msg)))

Defined in Data.Capnp.Untyped

Associated Types

type Scope (ListOf msg (Maybe (Ptr msg))) :: *

type Frozen (ListOf msg (Maybe (Ptr msg))) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg (Maybe (Ptr msg)))) => Frozen (ListOf msg (Maybe (Ptr msg))) -> m (ListOf msg (Maybe (Ptr msg)))

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg (Maybe (Ptr msg)))) => ListOf msg (Maybe (Ptr msg)) -> m (Frozen (ListOf msg (Maybe (Ptr msg))))

Mutable msg => Mutable (ListOf msg (Struct msg))

Defined in Data.Capnp.Untyped

Associated Types

type Scope (ListOf msg (Struct msg)) :: *

type Frozen (ListOf msg (Struct msg)) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg (Struct msg))) => Frozen (ListOf msg (Struct msg)) -> m (ListOf msg (Struct msg))

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg (Struct msg))) => ListOf msg (Struct msg) -> m (Frozen (ListOf msg (Struct msg)))

Mutable msg => Mutable (ListOf msg Word64)

Defined in Data.Capnp.Untyped

Associated Types

type Scope (ListOf msg Word64) :: *

type Frozen (ListOf msg Word64) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg Word64)) => Frozen (ListOf msg Word64) -> m (ListOf msg Word64)

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg Word64)) => ListOf msg Word64 -> m (Frozen (ListOf msg Word64))

Mutable msg => Mutable (ListOf msg Word32)

Defined in Data.Capnp.Untyped

Associated Types

type Scope (ListOf msg Word32) :: *

type Frozen (ListOf msg Word32) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg Word32)) => Frozen (ListOf msg Word32) -> m (ListOf msg Word32)

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg Word32)) => ListOf msg Word32 -> m (Frozen (ListOf msg Word32))

Mutable msg => Mutable (ListOf msg Word16)

Defined in Data.Capnp.Untyped

Associated Types

type Scope (ListOf msg Word16) :: *

type Frozen (ListOf msg Word16) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg Word16)) => Frozen (ListOf msg Word16) -> m (ListOf msg Word16)

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg Word16)) => ListOf msg Word16 -> m (Frozen (ListOf msg Word16))

Mutable msg => Mutable (ListOf msg Word8)

Defined in Data.Capnp.Untyped

Associated Types

type Scope (ListOf msg Word8) :: *

type Frozen (ListOf msg Word8) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg Word8)) => Frozen (ListOf msg Word8) -> m (ListOf msg Word8)

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg Word8)) => ListOf msg Word8 -> m (Frozen (ListOf msg Word8))

Mutable msg => Mutable (ListOf msg Bool)

Defined in Data.Capnp.Untyped

Associated Types

type Scope (ListOf msg Bool) :: *

type Frozen (ListOf msg Bool) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg Bool)) => Frozen (ListOf msg Bool) -> m (ListOf msg Bool)

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg Bool)) => ListOf msg Bool -> m (Frozen (ListOf msg Bool))

Mutable msg => Mutable (ListOf msg ())

Defined in Data.Capnp.Untyped

Associated Types

type Scope (ListOf msg ()) :: *

type Frozen (ListOf msg ()) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg ())) => Frozen (ListOf msg ()) -> m (ListOf msg ())

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (ListOf msg ())) => ListOf msg () -> m (Frozen (ListOf msg ()))

data MutMsg s

A MutMsg is a mutable capnproto message. The type parameter s is the state token for the instance of PrimMonad in which the message may be modified.

Due to mutabilty, the implementations of toByteString and fromByteString must make full copies, and so are O(n) in the length of the segment.

Instances

WriteCtx m s => Message m (MutMsg s)

Defined in Data.Capnp.Message

Associated Types

data Segment (MutMsg s) :: *

Methods

numSegs :: MutMsg s -> m Int

internalGetSeg :: MutMsg s -> Int -> m (Segment (MutMsg s))

numWords :: Segment (MutMsg s) -> m Int

slice :: Int -> Int -> Segment (MutMsg s) -> m (Segment (MutMsg s))

read :: Segment (MutMsg s) -> Int -> m Word64

fromByteString :: ByteString -> m (Segment (MutMsg s))

toByteString :: Segment (MutMsg s) -> m ByteString

Allocate s (Type'anyPointer'unconstrained (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'anyPointer'unconstrained (MutMsg s))

Allocate s (Type'anyPointer'implicitMethodParameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'anyPointer'implicitMethodParameter'group' (MutMsg s))

Allocate s (Type'anyPointer'parameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'anyPointer'parameter'group' (MutMsg s))

Allocate s (Type'anyPointer'unconstrained'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'anyPointer'unconstrained'group' (MutMsg s))

Allocate s (Type'anyPointer (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'anyPointer (MutMsg s))

Allocate s (Node'Parameter (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node'Parameter (MutMsg s))

Allocate s (Node'NestedNode (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node'NestedNode (MutMsg s))

Allocate s (Node'annotation'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node'annotation'group' (MutMsg s))

Allocate s (Node'const'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node'const'group' (MutMsg s))

Allocate s (Node'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node'interface'group' (MutMsg s))

Allocate s (Node'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node'enum'group' (MutMsg s))

Allocate s (Node'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node'struct'group' (MutMsg s))

Allocate s (Node' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node' (MutMsg s))

Allocate s (Field'ordinal (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Field'ordinal (MutMsg s))

Allocate s (Field'group'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Field'group'group' (MutMsg s))

Allocate s (Field'slot'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Field'slot'group' (MutMsg s))

Allocate s (Field' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Field' (MutMsg s))

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

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (CodeGeneratorRequest'RequestedFile'Import (MutMsg s))

Allocate s (CodeGeneratorRequest'RequestedFile (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (CodeGeneratorRequest'RequestedFile (MutMsg s))

Allocate s (Brand'Scope' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Brand'Scope' (MutMsg s))

Allocate s (Brand'Scope (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Brand'Scope (MutMsg s))

Allocate s (Brand'Binding (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Brand'Binding (MutMsg s))

Allocate s (Value (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Value (MutMsg s))

Allocate s (Type'anyPointer'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'anyPointer'group' (MutMsg s))

Allocate s (Type'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'interface'group' (MutMsg s))

Allocate s (Type'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'struct'group' (MutMsg s))

Allocate s (Type'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'enum'group' (MutMsg s))

Allocate s (Type'list'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'list'group' (MutMsg s))

Allocate s (Type (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type (MutMsg s))

Allocate s (Superclass (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Superclass (MutMsg s))

Allocate s (Node (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node (MutMsg s))

Allocate s (Method (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Method (MutMsg s))

Allocate s (Field (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Field (MutMsg s))

Allocate s (Enumerant (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Enumerant (MutMsg s))

Allocate s (CodeGeneratorRequest (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (CodeGeneratorRequest (MutMsg s))

Allocate s (CapnpVersion (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (CapnpVersion (MutMsg s))

Allocate s (Brand (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Brand (MutMsg s))

Allocate s (Annotation (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Annotation (MutMsg s))

Allocate s (VatId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => MutMsg s -> m (VatId (MutMsg s))

Allocate s (ProvisionId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => MutMsg s -> m (ProvisionId (MutMsg s))

Allocate s (JoinResult (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => MutMsg s -> m (JoinResult (MutMsg s))

Allocate s (JoinKeyPart (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

new :: WriteCtx m s => MutMsg s -> m (JoinKeyPart (MutMsg s))

Allocate s (Return' (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Return' (MutMsg s))

Allocate s (Resolve' (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Resolve' (MutMsg s))

Allocate s (PromisedAnswer'Op (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (PromisedAnswer'Op (MutMsg s))

Allocate s (Disembargo'context (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Disembargo'context (MutMsg s))

Allocate s (Call'sendResultsTo (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Call'sendResultsTo (MutMsg s))

Allocate s (ThirdPartyCapDescriptor (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (ThirdPartyCapDescriptor (MutMsg s))

Allocate s (Return (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Return (MutMsg s))

Allocate s (Resolve (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Resolve (MutMsg s))

Allocate s (Release (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Release (MutMsg s))

Allocate s (Provide (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Provide (MutMsg s))

Allocate s (PromisedAnswer (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (PromisedAnswer (MutMsg s))

Allocate s (Payload (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Payload (MutMsg s))

Allocate s (MessageTarget (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (MessageTarget (MutMsg s))

Allocate s (Message (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Message (MutMsg s))

Allocate s (Join (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Join (MutMsg s))

Allocate s (Finish (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Finish (MutMsg s))

Allocate s (Exception (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Exception (MutMsg s))

Allocate s (Disembargo (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Disembargo (MutMsg s))

Allocate s (CapDescriptor (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (CapDescriptor (MutMsg s))

Allocate s (Call (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Call (MutMsg s))

Allocate s (Bootstrap (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Bootstrap (MutMsg s))

Allocate s (Accept (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

new :: WriteCtx m s => MutMsg s -> m (Accept (MutMsg s))

Allocate s (Persistent'SaveResults (MutMsg s))

Defined in Capnp.Capnp.Persistent

Methods

new :: WriteCtx m s => MutMsg s -> m (Persistent'SaveResults (MutMsg s))

Allocate s (Persistent'SaveParams (MutMsg s))

Defined in Capnp.Capnp.Persistent

Methods

new :: WriteCtx m s => MutMsg s -> m (Persistent'SaveParams (MutMsg s))

Allocate s (JsonValue'Field (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

new :: WriteCtx m s => MutMsg s -> m (JsonValue'Field (MutMsg s))

Allocate s (JsonValue'Call (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

new :: WriteCtx m s => MutMsg s -> m (JsonValue'Call (MutMsg s))

Allocate s (JsonValue (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

new :: WriteCtx m s => MutMsg s -> m (JsonValue (MutMsg s))

MutListElem s (Type'anyPointer'unconstrained (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'anyPointer'implicitMethodParameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'implicitMethodParameter'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'implicitMethodParameter'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'implicitMethodParameter'group' (MutMsg s)))

MutListElem s (Type'anyPointer'parameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'parameter'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'parameter'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'parameter'group' (MutMsg s)))

MutListElem s (Type'anyPointer'unconstrained'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'unconstrained'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'unconstrained'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'unconstrained'group' (MutMsg s)))

MutListElem s (Type'anyPointer (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'Parameter (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'NestedNode (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'annotation'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'const'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field'ordinal (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field'group'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field'slot'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

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

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (CodeGeneratorRequest'RequestedFile (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Brand'Scope' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Brand'Scope (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Brand'Binding (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Value (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'anyPointer'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type'list'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Type (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Superclass (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Node (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Method (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Field (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Enumerant (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (CodeGeneratorRequest (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (CapnpVersion (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Brand (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (Annotation (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

MutListElem s (VatId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (ProvisionId (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (JoinResult (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (JoinKeyPart (MutMsg s))

Defined in Capnp.Capnp.RpcTwoparty

Methods

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

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

MutListElem s (Return' (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Resolve' (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer'Op (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Disembargo'context (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Call'sendResultsTo (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (ThirdPartyCapDescriptor (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Return (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Resolve (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Release (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Provide (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (PromisedAnswer (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Payload (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (MessageTarget (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Message (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Join (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Finish (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Exception (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Disembargo (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (CapDescriptor (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Call (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Bootstrap (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Accept (MutMsg s))

Defined in Capnp.Capnp.Rpc

Methods

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

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

MutListElem s (Persistent'SaveResults (MutMsg s))

Defined in Capnp.Capnp.Persistent

Methods

setIndex :: RWCtx m s => Persistent'SaveResults (MutMsg s) -> Int -> List (MutMsg s) (Persistent'SaveResults (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Persistent'SaveResults (MutMsg s)))

MutListElem s (Persistent'SaveParams (MutMsg s))

Defined in Capnp.Capnp.Persistent

Methods

setIndex :: RWCtx m s => Persistent'SaveParams (MutMsg s) -> Int -> List (MutMsg s) (Persistent'SaveParams (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Persistent'SaveParams (MutMsg s)))

MutListElem s (JsonValue'Field (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

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

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

MutListElem s (JsonValue'Call (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

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

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

MutListElem s (JsonValue (MutMsg s))

Defined in Capnp.Capnp.Json

Methods

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

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

Mutable (MutMsg s)

Defined in Data.Capnp.Message

Associated Types

type Scope (MutMsg s) :: *

type Frozen (MutMsg s) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (MutMsg s)) => Frozen (MutMsg s) -> m (MutMsg s)

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (MutMsg s)) => MutMsg s -> m (Frozen (MutMsg s))

Mutable (Segment (MutMsg s))

Defined in Data.Capnp.Message

Associated Types

type Scope (Segment (MutMsg s)) :: *

type Frozen (Segment (MutMsg s)) :: *

Methods

thaw :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (Segment (MutMsg s))) => Frozen (Segment (MutMsg s)) -> m (Segment (MutMsg s))

freeze :: (MonadThrow m, PrimMonad m, PrimState m ~ Scope (Segment (MutMsg s))) => Segment (MutMsg s) -> m (Frozen (Segment (MutMsg s)))

type Scope (MutMsg s)

Defined in Data.Capnp.Message

type Scope (MutMsg s) = s

type Scope (Segment (MutMsg s))

Defined in Data.Capnp.Message

type Scope (Segment (MutMsg s)) = s

type Frozen (MutMsg s)

Defined in Data.Capnp.Message

type Frozen (MutMsg s) = ConstMsg

type Frozen (Segment (MutMsg s))

Defined in Data.Capnp.Message

type Frozen (Segment (MutMsg s)) = Segment ConstMsg

data Segment (MutMsg s)

Defined in Data.Capnp.Message

data Segment (MutMsg s) = MutSegment {

• mutSegVec :: !(MVector s Word64)
• mutSegLen :: !Int

}

newMessage :: WriteCtx m s => m (MutMsg s)

Allocate a new empty message.

decodeMessage :: MonadThrow m => ByteString -> m ConstMsg

Alias for decode

encodeMessage :: MonadThrow m => ConstMsg -> m Builder

Alias for encode

Reading and writing messages

hPutMsg :: Handle -> ConstMsg -> IO ()

hPutMsg handle msg writes msg to handle.

putMsg :: ConstMsg -> IO ()

Equivalent to hPutMsg stdout

hGetMsg :: Handle -> Int -> IO ConstMsg

hGetMsg handle limit reads a message from handle that is at most limit 64-bit words in length.

getMsg :: Int -> IO ConstMsg

Equivalent to hGetMsg stdin

Manipulating the root object of a message

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

getRoot returns the root object of a message.

newRoot :: (ToStruct (MutMsg s) a, Allocate s a, WriteCtx m s) => MutMsg s -> m a

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

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

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

Reading values

hGetValue :: FromStruct ConstMsg a => Handle -> Int -> IO a

hGetValue limit handle reads a message from handle, returning its root object. limit is used as both a cap on the size of a message which may be read and, for types in the high-level API, the traversal limit when decoding the message.

getValue :: FromStruct ConstMsg a => Int -> IO a

getValue is equivalent to hGetValue stdin.

Type aliases for common contexts

type WriteCtx m s = (PrimMonad m, s ~ PrimState m, MonadThrow m)

WriteCtx is the context needed for most write operations.

type ReadCtx m msg = (Message m msg, MonadThrow m, MonadLimit m)

Type (constraint) synonym for the constraints needed for most read operations.

type RWCtx m s = (ReadCtx m (MutMsg s), WriteCtx m s)

Synonym for ReadCtx + WriteCtx

Managing resource limits

module Data.Capnp.TraversalLimit