Capnp.Untyped

The types and functions in this module know about things like structs and lists, but are not schema aware.

Each of the data types exported by this module is parametrized over a Message type (see Capnp.Message), used as the underlying storage.

Documentation

data Ptr msg

A an absolute pointer to a value (of arbitrary type) in a message. Note that there is no variant for far pointers, which don't make sense with absolute addressing.

Constructors

PtrCap (Cap msg)

PtrList (List msg)

PtrStruct (Struct msg)

Instances

TraverseMsg Ptr

Defined in Capnp.Untyped

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Ptr msgA -> m (Ptr msgB)

ToPtr s (Maybe (Ptr (MutMsg s)))

Defined in Capnp.Classes

Methods

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

FromPtr msg (Maybe (Ptr msg))

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf (MutMsg s) (Maybe (Ptr (MutMsg s))))

Defined in Capnp.Classes

Methods

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

FromPtr msg (ListOf msg (Maybe (Ptr msg)))

Defined in Capnp.Classes

Methods

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

Thaw msg => Thaw (Ptr msg)

Defined in Capnp.Untyped

Associated Types

type Mutable s (Ptr msg) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => Ptr msg -> m (Mutable s (Ptr msg))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Ptr msg) -> m (Ptr msg)

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => Ptr msg -> m (Mutable s (Ptr msg))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Ptr msg) -> m (Ptr msg)

HasMessage (Ptr msg)

Defined in Capnp.Untyped

Associated Types

type InMessage (Ptr msg) :: Type

Methods

message :: Ptr msg -> InMessage (Ptr msg)

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

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf msg (Maybe (Ptr msg))) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg (Maybe (Ptr msg)) -> m (Mutable s (ListOf msg (Maybe (Ptr msg))))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg (Maybe (Ptr msg))) -> m (ListOf msg (Maybe (Ptr msg)))

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg (Maybe (Ptr msg)) -> m (Mutable s (ListOf msg (Maybe (Ptr msg))))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg (Maybe (Ptr msg))) -> m (ListOf msg (Maybe (Ptr msg)))

MessageDefault (ListOf msg (Maybe (Ptr msg)))

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg (Maybe (Ptr msg))) -> ListOf msg (Maybe (Ptr msg))

type Mutable s (Ptr msg)

Defined in Capnp.Untyped

type Mutable s (Ptr msg) = Ptr (Mutable s msg)

type Mutable s (ListOf msg (Maybe (Ptr msg)))

Defined in Capnp.Untyped

type Mutable s (ListOf msg (Maybe (Ptr msg))) = ListOf (Mutable s msg) (Maybe (Ptr (Mutable s msg)))

type InMessage (Ptr msg)

Defined in Capnp.Untyped

type InMessage (Ptr msg) = msg

data List msg

A list of values (of arbitrary type) in a message.

Constructors

List0 (ListOf msg ())

List1 (ListOf msg Bool)

List8 (ListOf msg Word8)

List16 (ListOf msg Word16)

List32 (ListOf msg Word32)

List64 (ListOf msg Word64)

ListPtr (ListOf msg (Maybe (Ptr msg)))

ListStruct (ListOf msg (Struct msg))

Instances

TraverseMsg List

Defined in Capnp.Untyped

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> List msgA -> m (List msgB)

Thaw msg => Thaw (List msg)

Defined in Capnp.Untyped

Associated Types

type Mutable s (List msg) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => List msg -> m (Mutable s (List msg))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (List msg) -> m (List msg)

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => List msg -> m (Mutable s (List msg))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (List msg) -> m (List msg)

HasMessage (List msg)

Defined in Capnp.Untyped

Associated Types

type InMessage (List msg) :: Type

Methods

message :: List msg -> InMessage (List msg)

type Mutable s (List msg)

Defined in Capnp.Untyped

type Mutable s (List msg) = List (Mutable s msg)

type InMessage (List msg)

Defined in Capnp.Untyped

type InMessage (List msg) = msg

data Struct msg

A struct value in a message.

Instances

TraverseMsg Struct

Defined in Capnp.Untyped

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Struct msgA -> m (Struct msgB)

ToStruct msg (Struct msg)

Defined in Capnp.Classes

Methods

toStruct :: Struct msg -> Struct msg

FromStruct msg (Struct msg)

Defined in Capnp.Classes

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Struct msg)

ToPtr s (Struct (MutMsg s))

Defined in Capnp.Classes

Methods

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

FromPtr msg (Struct msg)

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf (MutMsg s) (Struct (MutMsg s)))

Defined in Capnp.Classes

Methods

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

FromPtr msg (ListOf msg (Struct msg))

Defined in Capnp.Classes

Methods

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

Thaw msg => Thaw (Struct msg)

Defined in Capnp.Untyped

Associated Types

type Mutable s (Struct msg) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => Struct msg -> m (Mutable s (Struct msg))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Struct msg) -> m (Struct msg)

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => Struct msg -> m (Mutable s (Struct msg))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Struct msg) -> m (Struct msg)

MessageDefault (Struct msg)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (Struct msg) -> Struct msg

HasMessage (Struct msg)

Defined in Capnp.Untyped

Associated Types

type InMessage (Struct msg) :: Type

Methods

message :: Struct msg -> InMessage (Struct msg)

Thaw msg => Thaw (ListOf msg (Struct msg))

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf msg (Struct msg)) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg (Struct msg) -> m (Mutable s (ListOf msg (Struct msg)))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg (Struct msg)) -> m (ListOf msg (Struct msg))

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg (Struct msg) -> m (Mutable s (ListOf msg (Struct msg)))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg (Struct msg)) -> m (ListOf msg (Struct msg))

MessageDefault (ListOf msg (Struct msg))

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg (Struct msg)) -> ListOf msg (Struct msg)

type Mutable s (Struct msg)

Defined in Capnp.Untyped

type Mutable s (Struct msg) = Struct (Mutable s msg)

type Mutable s (ListOf msg (Struct msg))

Defined in Capnp.Untyped

type Mutable s (ListOf msg (Struct msg)) = ListOf (Mutable s msg) (Struct (Mutable s msg))

type InMessage (Struct msg)

Defined in Capnp.Untyped

type InMessage (Struct msg) = msg

data ListOf msg a

A list of values of type a in a message.

Instances

ToPtr s (ListOf (MutMsg s) (Maybe (Ptr (MutMsg s))))

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf (MutMsg s) (Struct (MutMsg s)))

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf (MutMsg s) Bool)

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf (MutMsg s) Word64)

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf (MutMsg s) Word32)

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf (MutMsg s) Word16)

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf (MutMsg s) Word8)

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf (MutMsg s) ())

Defined in Capnp.Classes

Methods

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

FromPtr msg (ListOf msg (Maybe (Ptr msg)))

Defined in Capnp.Classes

Methods

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

FromPtr msg (ListOf msg (Struct msg))

Defined in Capnp.Classes

Methods

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

FromPtr msg (ListOf msg Bool)

Defined in Capnp.Classes

Methods

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

FromPtr msg (ListOf msg Word64)

Defined in Capnp.Classes

Methods

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

FromPtr msg (ListOf msg Word32)

Defined in Capnp.Classes

Methods

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

FromPtr msg (ListOf msg Word16)

Defined in Capnp.Classes

Methods

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

FromPtr msg (ListOf msg Word8)

Defined in Capnp.Classes

Methods

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

FromPtr msg (ListOf msg ())

Defined in Capnp.Classes

Methods

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

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

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf msg (Maybe (Ptr msg))) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg (Maybe (Ptr msg)) -> m (Mutable s (ListOf msg (Maybe (Ptr msg))))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg (Maybe (Ptr msg))) -> m (ListOf msg (Maybe (Ptr msg)))

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg (Maybe (Ptr msg)) -> m (Mutable s (ListOf msg (Maybe (Ptr msg))))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg (Maybe (Ptr msg))) -> m (ListOf msg (Maybe (Ptr msg)))

Thaw msg => Thaw (ListOf msg (Struct msg))

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf msg (Struct msg)) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg (Struct msg) -> m (Mutable s (ListOf msg (Struct msg)))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg (Struct msg)) -> m (ListOf msg (Struct msg))

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg (Struct msg) -> m (Mutable s (ListOf msg (Struct msg)))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg (Struct msg)) -> m (ListOf msg (Struct msg))

Thaw msg => Thaw (ListOf msg Word64)

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf msg Word64) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg Word64 -> m (Mutable s (ListOf msg Word64))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg Word64) -> m (ListOf msg Word64)

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg Word64 -> m (Mutable s (ListOf msg Word64))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg Word64) -> m (ListOf msg Word64)

Thaw msg => Thaw (ListOf msg Word32)

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf msg Word32) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg Word32 -> m (Mutable s (ListOf msg Word32))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg Word32) -> m (ListOf msg Word32)

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg Word32 -> m (Mutable s (ListOf msg Word32))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg Word32) -> m (ListOf msg Word32)

Thaw msg => Thaw (ListOf msg Word16)

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf msg Word16) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg Word16 -> m (Mutable s (ListOf msg Word16))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg Word16) -> m (ListOf msg Word16)

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg Word16 -> m (Mutable s (ListOf msg Word16))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg Word16) -> m (ListOf msg Word16)

Thaw msg => Thaw (ListOf msg Word8)

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf msg Word8) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg Word8 -> m (Mutable s (ListOf msg Word8))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg Word8) -> m (ListOf msg Word8)

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg Word8 -> m (Mutable s (ListOf msg Word8))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg Word8) -> m (ListOf msg Word8)

Thaw msg => Thaw (ListOf msg Bool)

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf msg Bool) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg Bool -> m (Mutable s (ListOf msg Bool))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg Bool) -> m (ListOf msg Bool)

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg Bool -> m (Mutable s (ListOf msg Bool))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg Bool) -> m (ListOf msg Bool)

Thaw msg => Thaw (ListOf msg ())

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf msg ()) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg () -> m (Mutable s (ListOf msg ()))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg ()) -> m (ListOf msg ())

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => ListOf msg () -> m (Mutable s (ListOf msg ()))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (ListOf msg ()) -> m (ListOf msg ())

MessageDefault (ListOf msg (Maybe (Ptr msg)))

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg (Maybe (Ptr msg))) -> ListOf msg (Maybe (Ptr msg))

MessageDefault (ListOf msg Word64)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg Word64) -> ListOf msg Word64

MessageDefault (ListOf msg Word32)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg Word32) -> ListOf msg Word32

MessageDefault (ListOf msg Word16)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg Word16) -> ListOf msg Word16

MessageDefault (ListOf msg Word8)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg Word8) -> ListOf msg Word8

MessageDefault (ListOf msg Bool)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg Bool) -> ListOf msg Bool

MessageDefault (ListOf msg (Struct msg))

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg (Struct msg)) -> ListOf msg (Struct msg)

MessageDefault (ListOf msg ())

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg ()) -> ListOf msg ()

HasMessage (ListOf msg a)

Defined in Capnp.Untyped

Associated Types

type InMessage (ListOf msg a) :: Type

Methods

message :: ListOf msg a -> InMessage (ListOf msg a)

type Mutable s (ListOf msg (Maybe (Ptr msg)))

Defined in Capnp.Untyped

type Mutable s (ListOf msg (Maybe (Ptr msg))) = ListOf (Mutable s msg) (Maybe (Ptr (Mutable s msg)))

type Mutable s (ListOf msg (Struct msg))

Defined in Capnp.Untyped

type Mutable s (ListOf msg (Struct msg)) = ListOf (Mutable s msg) (Struct (Mutable s msg))

type Mutable s (ListOf msg Word64)

Defined in Capnp.Untyped

type Mutable s (ListOf msg Word64) = ListOf (Mutable s msg) Word64

type Mutable s (ListOf msg Word32)

Defined in Capnp.Untyped

type Mutable s (ListOf msg Word32) = ListOf (Mutable s msg) Word32

type Mutable s (ListOf msg Word16)

Defined in Capnp.Untyped

type Mutable s (ListOf msg Word16) = ListOf (Mutable s msg) Word16

type Mutable s (ListOf msg Word8)

Defined in Capnp.Untyped

type Mutable s (ListOf msg Word8) = ListOf (Mutable s msg) Word8

type Mutable s (ListOf msg Bool)

Defined in Capnp.Untyped

type Mutable s (ListOf msg Bool) = ListOf (Mutable s msg) Bool

type Mutable s (ListOf msg ())

Defined in Capnp.Untyped

type Mutable s (ListOf msg ()) = ListOf (Mutable s msg) ()

type InMessage (ListOf msg a)

Defined in Capnp.Untyped

type InMessage (ListOf msg a) = msg

data Cap msg

A Capability in a message.

Instances

TraverseMsg Cap

Defined in Capnp.Untyped

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Cap msgA -> m (Cap msgB)

ToPtr s (Maybe (Cap (MutMsg s)))

Defined in Capnp.Classes

Methods

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

FromPtr msg (Maybe (Cap msg))

Defined in Capnp.Classes

Methods

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

HasMessage (Cap msg)

Defined in Capnp.Untyped

Associated Types

type InMessage (Cap msg) :: Type

Methods

message :: Cap msg -> InMessage (Cap msg)

type InMessage (Cap msg)

Defined in Capnp.Untyped

type InMessage (Cap msg) = msg

structByteCount :: Struct msg -> ByteCount

Get the size (in bytes) of a struct's data section.

structWordCount :: Struct msg -> WordCount

Get the size (in words) of a struct's data section.

structPtrCount :: Struct msg -> Word16

Get the size of a struct's pointer section.

structListByteCount :: ListOf msg (Struct msg) -> ByteCount

Get the size (in words) of the data sections in a struct list.

structListWordCount :: ListOf msg (Struct msg) -> WordCount

Get the size (in words) of the data sections in a struct list.

structListPtrCount :: ListOf msg (Struct msg) -> Word16

Get the size of the pointer sections in a struct list.

getData :: ReadCtx m msg => Int -> Struct msg -> m Word64

getData i struct gets the ith word from the struct's data section, returning 0 if it is absent.

getPtr :: ReadCtx m msg => Int -> Struct msg -> m (Maybe (Ptr msg))

getPtr i struct gets the ith word from the struct's pointer section, returning Nothing if it is absent.

setData :: (ReadCtx m (MutMsg s), WriteCtx m s) => Word64 -> Int -> Struct (MutMsg s) -> m ()

setData value i struct sets the ith word in the struct's data section to value.

setPtr :: (ReadCtx m (MutMsg s), WriteCtx m s) => Maybe (Ptr (MutMsg s)) -> Int -> Struct (MutMsg s) -> m ()

setData value i struct sets the ith pointer in the struct's pointer section to value.

copyStruct :: RWCtx m s => Struct (MutMsg s) -> Struct (MutMsg s) -> m ()

copyStruct dest src copies the source struct to the destination struct.

getClient :: ReadCtx m msg => Cap msg -> m Client

get :: ReadCtx m msg => msg -> WordAddr -> m (Maybe (Ptr msg))

get msg addr returns the Ptr stored at addr in msg. Deducts 1 from the quota for each word read (which may be multiple in the case of far pointers).

index :: ReadCtx m msg => Int -> ListOf msg a -> m a

index i list returns the ith element in list. Deducts 1 from the quota

length :: ListOf msg a -> Int

Returns the length of a list

setIndex :: RWCtx m s => a -> Int -> ListOf (MutMsg s) a -> m ()

'setIndex value i list Set the ith element of list to value.

take :: MonadThrow m => Int -> ListOf msg a -> m (ListOf msg a)

Return a prefix of the list, of the given length.

rootPtr :: ReadCtx m msg => msg -> m (Struct msg)

Returns the root pointer of a message.

setRoot :: WriteCtx m s => Struct (MutMsg s) -> m ()

Make the given struct the root object of its message.

rawBytes :: ReadCtx m msg => ListOf msg Word8 -> m ByteString

rawBytes returns the raw bytes corresponding to the list.

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

class HasMessage a where

Types a whose storage is owned by a message..

Associated Types

type InMessage a

The type of the messages containing as.

Methods

message :: a -> InMessage a

Get the message in which the a is stored.

Instances

HasMessage (Struct msg)

Defined in Capnp.Untyped

Associated Types

type InMessage (Struct msg) :: Type

Methods

message :: Struct msg -> InMessage (Struct msg)

HasMessage (Cap msg)

Defined in Capnp.Untyped

Associated Types

type InMessage (Cap msg) :: Type

Methods

message :: Cap msg -> InMessage (Cap msg)

HasMessage (List msg)

Defined in Capnp.Untyped

Associated Types

type InMessage (List msg) :: Type

Methods

message :: List msg -> InMessage (List msg)

HasMessage (Ptr msg)

Defined in Capnp.Untyped

Associated Types

type InMessage (Ptr msg) :: Type

Methods

message :: Ptr msg -> InMessage (Ptr msg)

HasMessage (StreamResult msg)

Defined in Capnp.Gen.Capnp.Stream

Associated Types

type InMessage (StreamResult msg) :: Type

Methods

message :: StreamResult msg -> InMessage (StreamResult msg)

HasMessage (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (CodeGeneratorRequest'RequestedFile'Import msg) :: Type

Methods

message :: CodeGeneratorRequest'RequestedFile'Import msg -> InMessage (CodeGeneratorRequest'RequestedFile'Import msg)

HasMessage (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (CodeGeneratorRequest'RequestedFile msg) :: Type

Methods

message :: CodeGeneratorRequest'RequestedFile msg -> InMessage (CodeGeneratorRequest'RequestedFile msg)

HasMessage (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (CodeGeneratorRequest msg) :: Type

Methods

message :: CodeGeneratorRequest msg -> InMessage (CodeGeneratorRequest msg)

HasMessage (CapnpVersion msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (CapnpVersion msg) :: Type

Methods

message :: CapnpVersion msg -> InMessage (CapnpVersion msg)

HasMessage (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Annotation msg) :: Type

Methods

message :: Annotation msg -> InMessage (Annotation msg)

HasMessage (Value msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Value msg) :: Type

Methods

message :: Value msg -> InMessage (Value msg)

HasMessage (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Brand'Binding msg) :: Type

Methods

message :: Brand'Binding msg -> InMessage (Brand'Binding msg)

HasMessage (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Brand'Scope msg) :: Type

Methods

message :: Brand'Scope msg -> InMessage (Brand'Scope msg)

HasMessage (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Brand msg) :: Type

Methods

message :: Brand msg -> InMessage (Brand msg)

HasMessage (Type'anyPointer'implicitMethodParameter msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer'implicitMethodParameter msg) :: Type

Methods

message :: Type'anyPointer'implicitMethodParameter msg -> InMessage (Type'anyPointer'implicitMethodParameter msg)

HasMessage (Type'anyPointer'parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer'parameter msg) :: Type

Methods

message :: Type'anyPointer'parameter msg -> InMessage (Type'anyPointer'parameter msg)

HasMessage (Type'anyPointer'unconstrained msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer'unconstrained msg) :: Type

Methods

message :: Type'anyPointer'unconstrained msg -> InMessage (Type'anyPointer'unconstrained msg)

HasMessage (Type'anyPointer msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer msg) :: Type

Methods

message :: Type'anyPointer msg -> InMessage (Type'anyPointer msg)

HasMessage (Type'interface msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'interface msg) :: Type

Methods

message :: Type'interface msg -> InMessage (Type'interface msg)

HasMessage (Type'struct msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'struct msg) :: Type

Methods

message :: Type'struct msg -> InMessage (Type'struct msg)

HasMessage (Type'enum msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'enum msg) :: Type

Methods

message :: Type'enum msg -> InMessage (Type'enum msg)

HasMessage (Type'list msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'list msg) :: Type

Methods

message :: Type'list msg -> InMessage (Type'list msg)

HasMessage (Type msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type msg) :: Type

Methods

message :: Type msg -> InMessage (Type msg)

HasMessage (Method msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Method msg) :: Type

Methods

message :: Method msg -> InMessage (Method msg)

HasMessage (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Superclass msg) :: Type

Methods

message :: Superclass msg -> InMessage (Superclass msg)

HasMessage (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Enumerant msg) :: Type

Methods

message :: Enumerant msg -> InMessage (Enumerant msg)

HasMessage (Field'ordinal msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Field'ordinal msg) :: Type

Methods

message :: Field'ordinal msg -> InMessage (Field'ordinal msg)

HasMessage (Field'group msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Field'group msg) :: Type

Methods

message :: Field'group msg -> InMessage (Field'group msg)

HasMessage (Field'slot msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Field'slot msg) :: Type

Methods

message :: Field'slot msg -> InMessage (Field'slot msg)

HasMessage (Field msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Field msg) :: Type

Methods

message :: Field msg -> InMessage (Field msg)

HasMessage (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'SourceInfo'Member msg) :: Type

Methods

message :: Node'SourceInfo'Member msg -> InMessage (Node'SourceInfo'Member msg)

HasMessage (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'SourceInfo msg) :: Type

Methods

message :: Node'SourceInfo msg -> InMessage (Node'SourceInfo msg)

HasMessage (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'NestedNode msg) :: Type

Methods

message :: Node'NestedNode msg -> InMessage (Node'NestedNode msg)

HasMessage (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'Parameter msg) :: Type

Methods

message :: Node'Parameter msg -> InMessage (Node'Parameter msg)

HasMessage (Node'annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'annotation msg) :: Type

Methods

message :: Node'annotation msg -> InMessage (Node'annotation msg)

HasMessage (Node'const msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'const msg) :: Type

Methods

message :: Node'const msg -> InMessage (Node'const msg)

HasMessage (Node'interface msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'interface msg) :: Type

Methods

message :: Node'interface msg -> InMessage (Node'interface msg)

HasMessage (Node'enum msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'enum msg) :: Type

Methods

message :: Node'enum msg -> InMessage (Node'enum msg)

HasMessage (Node'struct msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'struct msg) :: Type

Methods

message :: Node'struct msg -> InMessage (Node'struct msg)

HasMessage (Node msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node msg) :: Type

Methods

message :: Node msg -> InMessage (Node msg)

HasMessage (JoinResult msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (JoinResult msg) :: Type

Methods

message :: JoinResult msg -> InMessage (JoinResult msg)

HasMessage (JoinKeyPart msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (JoinKeyPart msg) :: Type

Methods

message :: JoinKeyPart msg -> InMessage (JoinKeyPart msg)

HasMessage (ThirdPartyCapId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (ThirdPartyCapId msg) :: Type

Methods

message :: ThirdPartyCapId msg -> InMessage (ThirdPartyCapId msg)

HasMessage (RecipientId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (RecipientId msg) :: Type

Methods

message :: RecipientId msg -> InMessage (RecipientId msg)

HasMessage (ProvisionId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (ProvisionId msg) :: Type

Methods

message :: ProvisionId msg -> InMessage (ProvisionId msg)

HasMessage (VatId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type InMessage (VatId msg) :: Type

Methods

message :: VatId msg -> InMessage (VatId msg)

HasMessage (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Exception msg) :: Type

Methods

message :: Exception msg -> InMessage (Exception msg)

HasMessage (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (ThirdPartyCapDescriptor msg) :: Type

Methods

message :: ThirdPartyCapDescriptor msg -> InMessage (ThirdPartyCapDescriptor msg)

HasMessage (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (PromisedAnswer'Op msg) :: Type

Methods

message :: PromisedAnswer'Op msg -> InMessage (PromisedAnswer'Op msg)

HasMessage (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (PromisedAnswer msg) :: Type

Methods

message :: PromisedAnswer msg -> InMessage (PromisedAnswer msg)

HasMessage (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (CapDescriptor msg) :: Type

Methods

message :: CapDescriptor msg -> InMessage (CapDescriptor msg)

HasMessage (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Payload msg) :: Type

Methods

message :: Payload msg -> InMessage (Payload msg)

HasMessage (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (MessageTarget msg) :: Type

Methods

message :: MessageTarget msg -> InMessage (MessageTarget msg)

HasMessage (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Join msg) :: Type

Methods

message :: Join msg -> InMessage (Join msg)

HasMessage (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Accept msg) :: Type

Methods

message :: Accept msg -> InMessage (Accept msg)

HasMessage (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Provide msg) :: Type

Methods

message :: Provide msg -> InMessage (Provide msg)

HasMessage (Disembargo'context msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Disembargo'context msg) :: Type

Methods

message :: Disembargo'context msg -> InMessage (Disembargo'context msg)

HasMessage (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Disembargo msg) :: Type

Methods

message :: Disembargo msg -> InMessage (Disembargo msg)

HasMessage (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Release msg) :: Type

Methods

message :: Release msg -> InMessage (Release msg)

HasMessage (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Resolve msg) :: Type

Methods

message :: Resolve msg -> InMessage (Resolve msg)

HasMessage (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Finish msg) :: Type

Methods

message :: Finish msg -> InMessage (Finish msg)

HasMessage (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Return msg) :: Type

Methods

message :: Return msg -> InMessage (Return msg)

HasMessage (Call'sendResultsTo msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Call'sendResultsTo msg) :: Type

Methods

message :: Call'sendResultsTo msg -> InMessage (Call'sendResultsTo msg)

HasMessage (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Call msg) :: Type

Methods

message :: Call msg -> InMessage (Call msg)

HasMessage (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Bootstrap msg) :: Type

Methods

message :: Bootstrap msg -> InMessage (Bootstrap msg)

HasMessage (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type InMessage (Message msg) :: Type

Methods

message :: Message msg -> InMessage (Message msg)

HasMessage (RealmGateway'export'params msg)

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

type InMessage (RealmGateway'export'params msg) :: Type

Methods

message :: RealmGateway'export'params msg -> InMessage (RealmGateway'export'params msg)

HasMessage (RealmGateway'import'params msg)

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

type InMessage (RealmGateway'import'params msg) :: Type

Methods

message :: RealmGateway'import'params msg -> InMessage (RealmGateway'import'params msg)

HasMessage (Persistent'SaveResults msg)

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

type InMessage (Persistent'SaveResults msg) :: Type

Methods

message :: Persistent'SaveResults msg -> InMessage (Persistent'SaveResults msg)

HasMessage (Persistent'SaveParams msg)

Defined in Capnp.Gen.Capnp.Persistent

Associated Types

type InMessage (Persistent'SaveParams msg) :: Type

Methods

message :: Persistent'SaveParams msg -> InMessage (Persistent'SaveParams msg)

HasMessage (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

type InMessage (DiscriminatorOptions msg) :: Type

Methods

message :: DiscriminatorOptions msg -> InMessage (DiscriminatorOptions msg)

HasMessage (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

type InMessage (FlattenOptions msg) :: Type

Methods

message :: FlattenOptions msg -> InMessage (FlattenOptions msg)

HasMessage (Value'Call msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

type InMessage (Value'Call msg) :: Type

Methods

message :: Value'Call msg -> InMessage (Value'Call msg)

HasMessage (Value'Field msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

type InMessage (Value'Field msg) :: Type

Methods

message :: Value'Field msg -> InMessage (Value'Field msg)

HasMessage (Value msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

type InMessage (Value msg) :: Type

Methods

message :: Value msg -> InMessage (Value msg)

HasMessage (ListOf msg a)

Defined in Capnp.Untyped

Associated Types

type InMessage (ListOf msg a) :: Type

Methods

message :: ListOf msg a -> InMessage (ListOf msg a)

class HasMessage a => MessageDefault a where

Types which have a "default" value, but require a message to construct it.

The default is usually conceptually zero-size. This is mostly useful for generated code, so that it can use standard decoding techniques on default values.

Methods

messageDefault :: InMessage a -> a

Instances

MessageDefault (Struct msg)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (Struct msg) -> Struct msg

MessageDefault (StreamResult msg)

Defined in Capnp.Gen.Capnp.Stream

Methods

messageDefault :: InMessage (StreamResult msg) -> StreamResult msg

MessageDefault (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (CodeGeneratorRequest'RequestedFile'Import msg) -> CodeGeneratorRequest'RequestedFile'Import msg

MessageDefault (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (CodeGeneratorRequest'RequestedFile msg) -> CodeGeneratorRequest'RequestedFile msg

MessageDefault (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (CodeGeneratorRequest msg) -> CodeGeneratorRequest msg

MessageDefault (CapnpVersion msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (CapnpVersion msg) -> CapnpVersion msg

MessageDefault (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Annotation msg) -> Annotation msg

MessageDefault (Value msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Value msg) -> Value msg

MessageDefault (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Brand'Binding msg) -> Brand'Binding msg

MessageDefault (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Brand'Scope msg) -> Brand'Scope msg

MessageDefault (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Brand msg) -> Brand msg

MessageDefault (Type'anyPointer'implicitMethodParameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'anyPointer'implicitMethodParameter msg) -> Type'anyPointer'implicitMethodParameter msg

MessageDefault (Type'anyPointer'parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'anyPointer'parameter msg) -> Type'anyPointer'parameter msg

MessageDefault (Type'anyPointer'unconstrained msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'anyPointer'unconstrained msg) -> Type'anyPointer'unconstrained msg

MessageDefault (Type'anyPointer msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'anyPointer msg) -> Type'anyPointer msg

MessageDefault (Type'interface msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'interface msg) -> Type'interface msg

MessageDefault (Type'struct msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'struct msg) -> Type'struct msg

MessageDefault (Type'enum msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'enum msg) -> Type'enum msg

MessageDefault (Type'list msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'list msg) -> Type'list msg

MessageDefault (Type msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type msg) -> Type msg

MessageDefault (Method msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Method msg) -> Method msg

MessageDefault (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Superclass msg) -> Superclass msg

MessageDefault (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Enumerant msg) -> Enumerant msg

MessageDefault (Field'ordinal msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Field'ordinal msg) -> Field'ordinal msg

MessageDefault (Field'group msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Field'group msg) -> Field'group msg

MessageDefault (Field'slot msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Field'slot msg) -> Field'slot msg

MessageDefault (Field msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Field msg) -> Field msg

MessageDefault (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'SourceInfo'Member msg) -> Node'SourceInfo'Member msg

MessageDefault (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'SourceInfo msg) -> Node'SourceInfo msg

MessageDefault (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'NestedNode msg) -> Node'NestedNode msg

MessageDefault (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'Parameter msg) -> Node'Parameter msg

MessageDefault (Node'annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'annotation msg) -> Node'annotation msg

MessageDefault (Node'const msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'const msg) -> Node'const msg

MessageDefault (Node'interface msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'interface msg) -> Node'interface msg

MessageDefault (Node'enum msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'enum msg) -> Node'enum msg

MessageDefault (Node'struct msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'struct msg) -> Node'struct msg

MessageDefault (Node msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node msg) -> Node msg

MessageDefault (JoinResult msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: InMessage (JoinResult msg) -> JoinResult msg

MessageDefault (JoinKeyPart msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: InMessage (JoinKeyPart msg) -> JoinKeyPart msg

MessageDefault (ThirdPartyCapId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: InMessage (ThirdPartyCapId msg) -> ThirdPartyCapId msg

MessageDefault (RecipientId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: InMessage (RecipientId msg) -> RecipientId msg

MessageDefault (ProvisionId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: InMessage (ProvisionId msg) -> ProvisionId msg

MessageDefault (VatId msg)

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: InMessage (VatId msg) -> VatId msg

MessageDefault (Exception msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Exception msg) -> Exception msg

MessageDefault (ThirdPartyCapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (ThirdPartyCapDescriptor msg) -> ThirdPartyCapDescriptor msg

MessageDefault (PromisedAnswer'Op msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (PromisedAnswer'Op msg) -> PromisedAnswer'Op msg

MessageDefault (PromisedAnswer msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (PromisedAnswer msg) -> PromisedAnswer msg

MessageDefault (CapDescriptor msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (CapDescriptor msg) -> CapDescriptor msg

MessageDefault (Payload msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Payload msg) -> Payload msg

MessageDefault (MessageTarget msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (MessageTarget msg) -> MessageTarget msg

MessageDefault (Join msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Join msg) -> Join msg

MessageDefault (Accept msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Accept msg) -> Accept msg

MessageDefault (Provide msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Provide msg) -> Provide msg

MessageDefault (Disembargo'context msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Disembargo'context msg) -> Disembargo'context msg

MessageDefault (Disembargo msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Disembargo msg) -> Disembargo msg

MessageDefault (Release msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Release msg) -> Release msg

MessageDefault (Resolve msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Resolve msg) -> Resolve msg

MessageDefault (Finish msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Finish msg) -> Finish msg

MessageDefault (Return msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Return msg) -> Return msg

MessageDefault (Call'sendResultsTo msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Call'sendResultsTo msg) -> Call'sendResultsTo msg

MessageDefault (Call msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Call msg) -> Call msg

MessageDefault (Bootstrap msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Bootstrap msg) -> Bootstrap msg

MessageDefault (Message msg)

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: InMessage (Message msg) -> Message msg

MessageDefault (RealmGateway'export'params msg)

Defined in Capnp.Gen.Capnp.Persistent

Methods

messageDefault :: InMessage (RealmGateway'export'params msg) -> RealmGateway'export'params msg

MessageDefault (RealmGateway'import'params msg)

Defined in Capnp.Gen.Capnp.Persistent

Methods

messageDefault :: InMessage (RealmGateway'import'params msg) -> RealmGateway'import'params msg

MessageDefault (Persistent'SaveResults msg)

Defined in Capnp.Gen.Capnp.Persistent

Methods

messageDefault :: InMessage (Persistent'SaveResults msg) -> Persistent'SaveResults msg

MessageDefault (Persistent'SaveParams msg)

Defined in Capnp.Gen.Capnp.Persistent

Methods

messageDefault :: InMessage (Persistent'SaveParams msg) -> Persistent'SaveParams msg

MessageDefault (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: InMessage (DiscriminatorOptions msg) -> DiscriminatorOptions msg

MessageDefault (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: InMessage (FlattenOptions msg) -> FlattenOptions msg

MessageDefault (Value'Call msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: InMessage (Value'Call msg) -> Value'Call msg

MessageDefault (Value'Field msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: InMessage (Value'Field msg) -> Value'Field msg

MessageDefault (Value msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: InMessage (Value msg) -> Value msg

MessageDefault (ListOf msg (Maybe (Ptr msg)))

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg (Maybe (Ptr msg))) -> ListOf msg (Maybe (Ptr msg))

MessageDefault (ListOf msg Word64)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg Word64) -> ListOf msg Word64

MessageDefault (ListOf msg Word32)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg Word32) -> ListOf msg Word32

MessageDefault (ListOf msg Word16)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg Word16) -> ListOf msg Word16

MessageDefault (ListOf msg Word8)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg Word8) -> ListOf msg Word8

MessageDefault (ListOf msg Bool)

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg Bool) -> ListOf msg Bool

MessageDefault (ListOf msg (Struct msg))

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg (Struct msg)) -> ListOf msg (Struct msg)

MessageDefault (ListOf msg ())

Defined in Capnp.Untyped

Methods

messageDefault :: InMessage (ListOf msg ()) -> ListOf msg ()

allocStruct :: WriteCtx m s => MutMsg s -> Word16 -> Word16 -> m (Struct (MutMsg s))

Allocate a struct in the message.

allocCompositeList

Arguments

:: WriteCtx m s

=> MutMsg s

The message to allocate in.

-> Word16

The size of the data section

-> Word16

The size of the pointer section

-> Int

The length of the list in elements.

-> m (ListOf (MutMsg s) (Struct (MutMsg s)))

Allocate a composite list.

allocList0 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) ())

Allocate a list of capnproto Void values.

allocList1 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) Bool)

Allocate a list of booleans

allocList8 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) Word8)

Allocate a list of 8-bit values.

allocList16 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) Word16)

Allocate a list of 16-bit values.

allocList32 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) Word32)

Allocate a list of 32-bit values.

allocList64 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) Word64)

Allocate a list of 64-bit words.

allocListPtr :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) (Maybe (Ptr (MutMsg s))))

Allocate a list of pointers.

appendCap :: WriteCtx m s => MutMsg s -> Client -> m (Cap (MutMsg s))

class TraverseMsg f where

TraverseMsg is basically Traversable from the prelude, but the intent is that rather than conceptually being a "container", the instance is a value backed by a message, and the point of the type class is to be able to apply transformations to the underlying message.

We don't just use Traversable for this because while algebraically it makes sense, it would be very unintuitive to e.g. have the Traversable instance for List not traverse over the *elements* of the list.

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> f msgA -> m (f msgB)

Instances

TraverseMsg Struct

Defined in Capnp.Untyped

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Struct msgA -> m (Struct msgB)

TraverseMsg Cap

Defined in Capnp.Untyped

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Cap msgA -> m (Cap msgB)

TraverseMsg List

Defined in Capnp.Untyped

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> List msgA -> m (List msgB)

TraverseMsg Ptr

Defined in Capnp.Untyped

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Ptr msgA -> m (Ptr msgB)

TraverseMsg StreamResult

Defined in Capnp.Gen.Capnp.Stream

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> StreamResult msgA -> m (StreamResult msgB)

TraverseMsg CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> CodeGeneratorRequest'RequestedFile'Import msgA -> m (CodeGeneratorRequest'RequestedFile'Import msgB)

TraverseMsg CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> CodeGeneratorRequest'RequestedFile msgA -> m (CodeGeneratorRequest'RequestedFile msgB)

TraverseMsg CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> CodeGeneratorRequest msgA -> m (CodeGeneratorRequest msgB)

TraverseMsg CapnpVersion

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> CapnpVersion msgA -> m (CapnpVersion msgB)

TraverseMsg Annotation

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Annotation msgA -> m (Annotation msgB)

TraverseMsg Value

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Value msgA -> m (Value msgB)

TraverseMsg Brand'Binding

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Brand'Binding msgA -> m (Brand'Binding msgB)

TraverseMsg Brand'Scope

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Brand'Scope msgA -> m (Brand'Scope msgB)

TraverseMsg Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Brand msgA -> m (Brand msgB)

TraverseMsg Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Type'anyPointer'implicitMethodParameter msgA -> m (Type'anyPointer'implicitMethodParameter msgB)

TraverseMsg Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Type'anyPointer'parameter msgA -> m (Type'anyPointer'parameter msgB)

TraverseMsg Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Type'anyPointer'unconstrained msgA -> m (Type'anyPointer'unconstrained msgB)

TraverseMsg Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Type'anyPointer msgA -> m (Type'anyPointer msgB)

TraverseMsg Type'interface

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Type'interface msgA -> m (Type'interface msgB)

TraverseMsg Type'struct

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Type'struct msgA -> m (Type'struct msgB)

TraverseMsg Type'enum

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Type'enum msgA -> m (Type'enum msgB)

TraverseMsg Type'list

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Type'list msgA -> m (Type'list msgB)

TraverseMsg Type

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Type msgA -> m (Type msgB)

TraverseMsg Method

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Method msgA -> m (Method msgB)

TraverseMsg Superclass

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Superclass msgA -> m (Superclass msgB)

TraverseMsg Enumerant

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Enumerant msgA -> m (Enumerant msgB)

TraverseMsg Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Field'ordinal msgA -> m (Field'ordinal msgB)

TraverseMsg Field'group

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Field'group msgA -> m (Field'group msgB)

TraverseMsg Field'slot

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Field'slot msgA -> m (Field'slot msgB)

TraverseMsg Field

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Field msgA -> m (Field msgB)

TraverseMsg Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Node'SourceInfo'Member msgA -> m (Node'SourceInfo'Member msgB)

TraverseMsg Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Node'SourceInfo msgA -> m (Node'SourceInfo msgB)

TraverseMsg Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Node'NestedNode msgA -> m (Node'NestedNode msgB)

TraverseMsg Node'Parameter

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Node'Parameter msgA -> m (Node'Parameter msgB)

TraverseMsg Node'annotation

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Node'annotation msgA -> m (Node'annotation msgB)

TraverseMsg Node'const

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Node'const msgA -> m (Node'const msgB)

TraverseMsg Node'interface

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Node'interface msgA -> m (Node'interface msgB)

TraverseMsg Node'enum

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Node'enum msgA -> m (Node'enum msgB)

TraverseMsg Node'struct

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Node'struct msgA -> m (Node'struct msgB)

TraverseMsg Node

Defined in Capnp.Gen.Capnp.Schema

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Node msgA -> m (Node msgB)

TraverseMsg JoinResult

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> JoinResult msgA -> m (JoinResult msgB)

TraverseMsg JoinKeyPart

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> JoinKeyPart msgA -> m (JoinKeyPart msgB)

TraverseMsg ThirdPartyCapId

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> ThirdPartyCapId msgA -> m (ThirdPartyCapId msgB)

TraverseMsg RecipientId

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> RecipientId msgA -> m (RecipientId msgB)

TraverseMsg ProvisionId

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> ProvisionId msgA -> m (ProvisionId msgB)

TraverseMsg VatId

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> VatId msgA -> m (VatId msgB)

TraverseMsg Exception

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Exception msgA -> m (Exception msgB)

TraverseMsg ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> ThirdPartyCapDescriptor msgA -> m (ThirdPartyCapDescriptor msgB)

TraverseMsg PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> PromisedAnswer'Op msgA -> m (PromisedAnswer'Op msgB)

TraverseMsg PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> PromisedAnswer msgA -> m (PromisedAnswer msgB)

TraverseMsg CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> CapDescriptor msgA -> m (CapDescriptor msgB)

TraverseMsg Payload

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Payload msgA -> m (Payload msgB)

TraverseMsg MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> MessageTarget msgA -> m (MessageTarget msgB)

TraverseMsg Join

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Join msgA -> m (Join msgB)

TraverseMsg Accept

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Accept msgA -> m (Accept msgB)

TraverseMsg Provide

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Provide msgA -> m (Provide msgB)

TraverseMsg Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Disembargo'context msgA -> m (Disembargo'context msgB)

TraverseMsg Disembargo

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Disembargo msgA -> m (Disembargo msgB)

TraverseMsg Release

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Release msgA -> m (Release msgB)

TraverseMsg Resolve

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Resolve msgA -> m (Resolve msgB)

TraverseMsg Finish

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Finish msgA -> m (Finish msgB)

TraverseMsg Return

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Return msgA -> m (Return msgB)

TraverseMsg Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Call'sendResultsTo msgA -> m (Call'sendResultsTo msgB)

TraverseMsg Call

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Call msgA -> m (Call msgB)

TraverseMsg Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Bootstrap msgA -> m (Bootstrap msgB)

TraverseMsg Message

Defined in Capnp.Gen.Capnp.Rpc

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Message msgA -> m (Message msgB)

TraverseMsg RealmGateway'export'params

Defined in Capnp.Gen.Capnp.Persistent

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> RealmGateway'export'params msgA -> m (RealmGateway'export'params msgB)

TraverseMsg RealmGateway'import'params

Defined in Capnp.Gen.Capnp.Persistent

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> RealmGateway'import'params msgA -> m (RealmGateway'import'params msgB)

TraverseMsg Persistent'SaveResults

Defined in Capnp.Gen.Capnp.Persistent

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Persistent'SaveResults msgA -> m (Persistent'SaveResults msgB)

TraverseMsg Persistent'SaveParams

Defined in Capnp.Gen.Capnp.Persistent

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Persistent'SaveParams msgA -> m (Persistent'SaveParams msgB)

TraverseMsg DiscriminatorOptions

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> DiscriminatorOptions msgA -> m (DiscriminatorOptions msgB)

TraverseMsg FlattenOptions

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> FlattenOptions msgA -> m (FlattenOptions msgB)

TraverseMsg Value'Call

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Value'Call msgA -> m (Value'Call msgB)

TraverseMsg Value'Field

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Value'Field msgA -> m (Value'Field msgB)

TraverseMsg Value

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Value msgA -> m (Value msgB)

Orphan instances

Thaw a => Thaw (Maybe a)

Associated Types

type Mutable s (Maybe a) :: Type

Methods

thaw :: (PrimMonad m, PrimState m ~ s) => Maybe a -> m (Mutable s (Maybe a))

freeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Maybe a) -> m (Maybe a)

unsafeThaw :: (PrimMonad m, PrimState m ~ s) => Maybe a -> m (Mutable s (Maybe a))

unsafeFreeze :: (PrimMonad m, PrimState m ~ s) => Mutable s (Maybe a) -> m (Maybe a)