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

Capnp.Untyped

Description

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 the mutability of the message it contains (see Capnp.Message).

Synopsis

Documentation

data Ptr mut Source #

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 mut) 
PtrList (List mut) 
PtrStruct (Struct mut) 

Instances

Instances details
TraverseMsg Ptr Source # 
Instance details

Defined in Capnp.Untyped

Methods

tMsg :: forall m (mutA :: Mutability) (mutB :: Mutability). TraverseMsgCtx m mutA mutB => (Message mutA -> m (Message mutB)) -> Ptr mutA -> m (Ptr mutB) Source #

ToPtr s (Maybe (Ptr ('Mut s))) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (Maybe (Ptr mut)) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf ('Mut s) (Maybe (Ptr ('Mut s)))) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (ListOf mut (Maybe (Ptr mut))) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

Thaw (Ptr 'Const) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (Ptr 'Const) Source #

Methods

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

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

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

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

HasMessage (Ptr mut) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

message :: Ptr mut -> Message mut Source #

Thaw (ListOf 'Const (Maybe (Ptr 'Const))) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf 'Const (Maybe (Ptr 'Const))) Source #

MessageDefault (ListOf mut (Maybe (Ptr mut))) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut (Maybe (Ptr mut))) Source #

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

Defined in Capnp.Untyped

type Mutable s (Ptr 'Const) = Ptr ('Mut s)
type Mutable s (ListOf 'Const (Maybe (Ptr 'Const))) Source # 
Instance details

Defined in Capnp.Untyped

type Mutable s (ListOf 'Const (Maybe (Ptr 'Const))) = ListOf ('Mut s) (Maybe (Ptr ('Mut s)))
type ReprFor (Ptr mut) Source # 
Instance details

Defined in Capnp.Repr

type ReprFor (Ptr mut) = 'Ptr ('Nothing :: Maybe PtrRepr)

data List mut Source #

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

Constructors

List0 (ListOf mut ()) 
List1 (ListOf mut Bool) 
List8 (ListOf mut Word8) 
List16 (ListOf mut Word16) 
List32 (ListOf mut Word32) 
List64 (ListOf mut Word64) 
ListPtr (ListOf mut (Maybe (Ptr mut))) 
ListStruct (ListOf mut (Struct mut)) 

Instances

Instances details
TraverseMsg List Source # 
Instance details

Defined in Capnp.Untyped

Methods

tMsg :: forall m (mutA :: Mutability) (mutB :: Mutability). TraverseMsgCtx m mutA mutB => (Message mutA -> m (Message mutB)) -> List mutA -> m (List mutB) Source #

Thaw (List 'Const) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (List 'Const) Source #

Methods

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

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

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

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

HasMessage (List mut) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

message :: List mut -> Message mut Source #

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

Defined in Capnp.Untyped

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

Defined in Capnp.Repr

type ReprFor (List mut) = 'Ptr ('Just ('List ('Nothing :: Maybe ListRepr)))

data Struct mut Source #

A struct value in a message.

Instances

Instances details
TraverseMsg Struct Source # 
Instance details

Defined in Capnp.Untyped

Methods

tMsg :: forall m (mutA :: Mutability) (mutB :: Mutability). TraverseMsgCtx m mutA mutB => (Message mutA -> m (Message mutB)) -> Struct mutA -> m (Struct mutB) Source #

ToStruct mut (Struct mut) Source # 
Instance details

Defined in Capnp.Classes

Methods

toStruct :: Struct mut -> Struct mut Source #

FromStruct mut (Struct mut) Source # 
Instance details

Defined in Capnp.Classes

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Struct mut) Source #

ToPtr s (Struct ('Mut s)) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (Struct mut) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf ('Mut s) (Struct ('Mut s))) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (ListOf mut (Struct mut)) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

Thaw (Struct 'Const) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (Struct 'Const) Source #

MessageDefault (Struct mut) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Struct mut) Source #

HasMessage (Struct mut) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

message :: Struct mut -> Message mut Source #

Thaw (ListOf 'Const (Struct 'Const)) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf 'Const (Struct 'Const)) Source #

MessageDefault (ListOf mut (Struct mut)) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut (Struct mut)) Source #

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

Defined in Capnp.Untyped

type Mutable s (Struct 'Const) = Struct ('Mut s)
type Mutable s (ListOf 'Const (Struct 'Const)) Source # 
Instance details

Defined in Capnp.Untyped

type Mutable s (ListOf 'Const (Struct 'Const)) = ListOf ('Mut s) (Struct ('Mut s))
type ReprFor (Struct mut) Source # 
Instance details

Defined in Capnp.Repr

type ReprFor (Struct mut) = 'Ptr ('Just 'Struct)

data ListOf mut a Source #

A list of values of type a in a message.

Instances

Instances details
ToPtr s (ListOf ('Mut s) (Maybe (Ptr ('Mut s)))) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf ('Mut s) (Struct ('Mut s))) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf ('Mut s) Bool) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf ('Mut s) Word64) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf ('Mut s) Word32) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf ('Mut s) Word16) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf ('Mut s) Word8) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

ToPtr s (ListOf ('Mut s) ()) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (ListOf mut (Maybe (Ptr mut))) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (ListOf mut (Struct mut)) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (ListOf mut Bool) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (ListOf mut Word64) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (ListOf mut Word32) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (ListOf mut Word16) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (ListOf mut Word8) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (ListOf mut ()) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

Thaw (ListOf 'Const Bool) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf 'Const Bool) Source #

Thaw (ListOf 'Const (Maybe (Ptr 'Const))) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf 'Const (Maybe (Ptr 'Const))) Source #

Thaw (ListOf 'Const Word8) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf 'Const Word8) Source #

Thaw (ListOf 'Const Word16) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf 'Const Word16) Source #

Thaw (ListOf 'Const Word32) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf 'Const Word32) Source #

Thaw (ListOf 'Const Word64) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf 'Const Word64) Source #

Thaw (ListOf 'Const ()) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf 'Const ()) Source #

Methods

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

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

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

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

Thaw (ListOf 'Const (Struct 'Const)) Source # 
Instance details

Defined in Capnp.Untyped

Associated Types

type Mutable s (ListOf 'Const (Struct 'Const)) Source #

MessageDefault (ListOf mut (Maybe (Ptr mut))) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut (Maybe (Ptr mut))) Source #

MessageDefault (ListOf mut Word64) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut Word64) Source #

MessageDefault (ListOf mut Word32) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut Word32) Source #

MessageDefault (ListOf mut Word16) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut Word16) Source #

MessageDefault (ListOf mut Word8) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut Word8) Source #

MessageDefault (ListOf mut Bool) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut Bool) Source #

MessageDefault (ListOf mut (Struct mut)) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut (Struct mut)) Source #

MessageDefault (ListOf mut ()) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut ()) Source #

HasMessage (ListOf mut a) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

message :: ListOf mut a -> Message mut Source #

type Mutable s (ListOf 'Const (Maybe (Ptr 'Const))) Source # 
Instance details

Defined in Capnp.Untyped

type Mutable s (ListOf 'Const (Maybe (Ptr 'Const))) = ListOf ('Mut s) (Maybe (Ptr ('Mut s)))
type Mutable s (ListOf 'Const (Struct 'Const)) Source # 
Instance details

Defined in Capnp.Untyped

type Mutable s (ListOf 'Const (Struct 'Const)) = ListOf ('Mut s) (Struct ('Mut s))
type Mutable s (ListOf 'Const Word64) Source # 
Instance details

Defined in Capnp.Untyped

type Mutable s (ListOf 'Const Word32) Source # 
Instance details

Defined in Capnp.Untyped

type Mutable s (ListOf 'Const Word16) Source # 
Instance details

Defined in Capnp.Untyped

type Mutable s (ListOf 'Const Word8) Source # 
Instance details

Defined in Capnp.Untyped

type Mutable s (ListOf 'Const Bool) Source # 
Instance details

Defined in Capnp.Untyped

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

Defined in Capnp.Untyped

type Mutable s (ListOf 'Const ()) = ListOf ('Mut s) ()
type ReprFor (ListOf mut a) Source # 
Instance details

Defined in Capnp.Repr

type ReprFor (ListOf mut a) = ReprFor (List a)

data Cap mut Source #

A Capability in a message.

Instances

Instances details
TraverseMsg Cap Source # 
Instance details

Defined in Capnp.Untyped

Methods

tMsg :: forall m (mutA :: Mutability) (mutB :: Mutability). TraverseMsgCtx m mutA mutB => (Message mutA -> m (Message mutB)) -> Cap mutA -> m (Cap mutB) Source #

ToPtr s (Maybe (Cap ('Mut s))) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

FromPtr mut (Maybe (Cap mut)) Source # 
Instance details

Defined in Capnp.Classes

Methods

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

HasMessage (Cap mut) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

message :: Cap mut -> Message mut Source #

type ReprFor (Cap mut) Source # 
Instance details

Defined in Capnp.Repr

type ReprFor (Cap mut) = 'Ptr ('Just 'Cap)

structByteCount :: Struct msg -> ByteCount Source #

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

structWordCount :: Struct msg -> WordCount Source #

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

structPtrCount :: Struct msg -> Word16 Source #

Get the size of a struct's pointer section.

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

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

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

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

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

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

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

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

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

setData :: (ReadCtx m ('Mut s), WriteCtx m s) => Word64 -> Int -> Struct ('Mut s) -> m () Source #

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

setPtr :: (ReadCtx m ('Mut s), WriteCtx m s) => Maybe (Ptr ('Mut s)) -> Int -> Struct ('Mut s) -> m () Source #

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

copyStruct :: RWCtx m s => Struct ('Mut s) -> Struct ('Mut s) -> m () Source #

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

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

Make a copy of the value at the pointer, in the target message.

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

Make a copy of the list, in the target message.

copyCap :: RWCtx m s => Message ('Mut s) -> Cap ('Mut s) -> m (Cap ('Mut s)) Source #

Make a copy of a capability inside the target message.

copyListOf :: RWCtx m s => ListOf ('Mut s) a -> ListOf ('Mut s) a -> m () Source #

Make a copy of the list, in the target message.

getClient :: ReadCtx m mut => Cap mut -> m Client Source #

Extract a client (indepedent of the messsage) from the capability.

get :: ReadCtx m mut => WordPtr mut -> m (Maybe (Ptr mut)) Source #

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

index :: ReadCtx m mut => Int -> ListOf mut a -> m a Source #

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

length :: ListOf msg a -> Int Source #

Returns the length of a list

setIndex :: RWCtx m s => a -> Int -> ListOf ('Mut s) a -> m () Source #

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

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

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

rootPtr :: ReadCtx m mut => Message mut -> m (Struct mut) Source #

Returns the root pointer of a message.

setRoot :: WriteCtx m s => Struct ('Mut s) -> m () Source #

Make the given struct the root object of its message.

rawBytes :: ReadCtx m 'Const => ListOf 'Const Word8 -> m ByteString Source #

rawBytes returns the raw bytes corresponding to the list.

type ReadCtx m mut = (MonadReadMessage mut m, MonadThrow m, MonadLimit m) Source #

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

type RWCtx m s = (ReadCtx m ('Mut s), WriteCtx m s) Source #

Synonym for ReadCtx + WriteCtx

class HasMessage a mut | a -> mut where Source #

Types a whose storage is owned by a message..

Methods

message :: a -> Message mut Source #

Get the message in which the a is stored.

Instances

Instances details
HasMessage (WordPtr mut) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

message :: WordPtr mut -> Message mut Source #

HasMessage (Struct mut) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

message :: Struct mut -> Message mut Source #

HasMessage (Cap mut) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

message :: Cap mut -> Message mut Source #

HasMessage (List mut) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

message :: List mut -> Message mut Source #

HasMessage (Ptr mut) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

message :: Ptr mut -> Message mut Source #

HasMessage (StreamResult mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream

Methods

message :: StreamResult mut -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Schema

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

Defined in Capnp.Gen.Capnp.Schema

HasMessage (CodeGeneratorRequest mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

HasMessage (CapnpVersion mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: CapnpVersion mut -> Message mut Source #

HasMessage (Annotation mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Annotation mut -> Message mut Source #

HasMessage (Value mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Value mut -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Brand'Binding mut -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Brand'Scope mut -> Message mut Source #

HasMessage (Brand mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Brand mut -> Message mut Source #

HasMessage (Type'anyPointer'implicitMethodParameter mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

HasMessage (Type'anyPointer'parameter mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

HasMessage (Type'anyPointer'unconstrained mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

HasMessage (Type'anyPointer mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'anyPointer mut -> Message mut Source #

HasMessage (Type'interface mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'interface mut -> Message mut Source #

HasMessage (Type'struct mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'struct mut -> Message mut Source #

HasMessage (Type'enum mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'enum mut -> Message mut Source #

HasMessage (Type'list mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'list mut -> Message mut Source #

HasMessage (Type mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type mut -> Message mut Source #

HasMessage (Method mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Method mut -> Message mut Source #

HasMessage (Superclass mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Superclass mut -> Message mut Source #

HasMessage (Enumerant mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Enumerant mut -> Message mut Source #

HasMessage (Field'ordinal mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Field'ordinal mut -> Message mut Source #

HasMessage (Field'group mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Field'group mut -> Message mut Source #

HasMessage (Field'slot mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Field'slot mut -> Message mut Source #

HasMessage (Field mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Field mut -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Schema

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

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'SourceInfo mut -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'NestedNode mut -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'Parameter mut -> Message mut Source #

HasMessage (Node'annotation mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'annotation mut -> Message mut Source #

HasMessage (Node'const mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'const mut -> Message mut Source #

HasMessage (Node'interface mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'interface mut -> Message mut Source #

HasMessage (Node'enum mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'enum mut -> Message mut Source #

HasMessage (Node'struct mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'struct mut -> Message mut Source #

HasMessage (Node mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node mut -> Message mut Source #

HasMessage (JoinResult mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: JoinResult mut -> Message mut Source #

HasMessage (JoinKeyPart mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: JoinKeyPart mut -> Message mut Source #

HasMessage (ThirdPartyCapId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: ThirdPartyCapId mut -> Message mut Source #

HasMessage (RecipientId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: RecipientId mut -> Message mut Source #

HasMessage (ProvisionId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: ProvisionId mut -> Message mut Source #

HasMessage (VatId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

message :: VatId mut -> Message mut Source #

HasMessage (Exception mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Exception mut -> Message mut Source #

HasMessage (ThirdPartyCapDescriptor mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

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

Defined in Capnp.Gen.Capnp.Rpc

HasMessage (PromisedAnswer mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: PromisedAnswer mut -> Message mut Source #

HasMessage (CapDescriptor mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: CapDescriptor mut -> Message mut Source #

HasMessage (Payload mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Payload mut -> Message mut Source #

HasMessage (MessageTarget mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: MessageTarget mut -> Message mut Source #

HasMessage (Join mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Join mut -> Message mut Source #

HasMessage (Accept mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Accept mut -> Message mut Source #

HasMessage (Provide mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Provide mut -> Message mut Source #

HasMessage (Disembargo'context mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

HasMessage (Disembargo mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Disembargo mut -> Message mut Source #

HasMessage (Release mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Release mut -> Message mut Source #

HasMessage (Resolve mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Resolve mut -> Message mut Source #

HasMessage (Finish mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Finish mut -> Message mut Source #

HasMessage (Return mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Return mut -> Message mut Source #

HasMessage (Call'sendResultsTo mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

HasMessage (Call mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Call mut -> Message mut Source #

HasMessage (Bootstrap mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Bootstrap mut -> Message mut Source #

HasMessage (Message mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

message :: Message mut -> Message0 mut Source #

HasMessage (DiscriminatorOptions mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

HasMessage (FlattenOptions mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

message :: FlattenOptions mut -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

message :: Value'Call mut -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

message :: Value'Field mut -> Message mut Source #

HasMessage (Value mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

message :: Value mut -> Message mut Source #

HasMessage (ListOf mut a) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

message :: ListOf mut a -> Message mut Source #

HasMessage (Untyped mut (ReprFor a)) mut => HasMessage (Raw mut a) mut Source # 
Instance details

Defined in Capnp.Repr

Methods

message :: Raw mut a -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Persistent

Methods

message :: Persistent'SaveResults sturdyRef owner mut -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Persistent

Methods

message :: Persistent'SaveParams sturdyRef owner mut -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Persistent

Methods

message :: RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut -> Message mut Source #

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

Defined in Capnp.Gen.Capnp.Persistent

Methods

message :: RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut -> Message mut Source #

class HasMessage a mut => MessageDefault a mut where Source #

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 :: ReadCtx m mut => Message mut -> m a Source #

Instances

Instances details
MessageDefault (Struct mut) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Struct mut) Source #

MessageDefault (StreamResult mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Stream

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (StreamResult mut) Source #

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

Defined in Capnp.Gen.Capnp.Schema

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

Defined in Capnp.Gen.Capnp.Schema

MessageDefault (CodeGeneratorRequest mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (CodeGeneratorRequest mut) Source #

MessageDefault (CapnpVersion mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (CapnpVersion mut) Source #

MessageDefault (Annotation mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Annotation mut) Source #

MessageDefault (Value mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Value mut) Source #

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

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Brand'Binding mut) Source #

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

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Brand'Scope mut) Source #

MessageDefault (Brand mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Brand mut) Source #

MessageDefault (Type'anyPointer'implicitMethodParameter mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

MessageDefault (Type'anyPointer'parameter mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

MessageDefault (Type'anyPointer'unconstrained mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

MessageDefault (Type'anyPointer mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'anyPointer mut) Source #

MessageDefault (Type'interface mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'interface mut) Source #

MessageDefault (Type'struct mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'struct mut) Source #

MessageDefault (Type'enum mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'enum mut) Source #

MessageDefault (Type'list mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'list mut) Source #

MessageDefault (Type mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type mut) Source #

MessageDefault (Method mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Method mut) Source #

MessageDefault (Superclass mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Superclass mut) Source #

MessageDefault (Enumerant mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Enumerant mut) Source #

MessageDefault (Field'ordinal mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Field'ordinal mut) Source #

MessageDefault (Field'group mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Field'group mut) Source #

MessageDefault (Field'slot mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Field'slot mut) Source #

MessageDefault (Field mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Field mut) Source #

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

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'SourceInfo'Member mut) Source #

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

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'SourceInfo mut) Source #

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

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'NestedNode mut) Source #

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

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'Parameter mut) Source #

MessageDefault (Node'annotation mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'annotation mut) Source #

MessageDefault (Node'const mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'const mut) Source #

MessageDefault (Node'interface mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'interface mut) Source #

MessageDefault (Node'enum mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'enum mut) Source #

MessageDefault (Node'struct mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'struct mut) Source #

MessageDefault (Node mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node mut) Source #

MessageDefault (JoinResult mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (JoinResult mut) Source #

MessageDefault (JoinKeyPart mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (JoinKeyPart mut) Source #

MessageDefault (ThirdPartyCapId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ThirdPartyCapId mut) Source #

MessageDefault (RecipientId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (RecipientId mut) Source #

MessageDefault (ProvisionId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ProvisionId mut) Source #

MessageDefault (VatId mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (VatId mut) Source #

MessageDefault (Exception mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Exception mut) Source #

MessageDefault (ThirdPartyCapDescriptor mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ThirdPartyCapDescriptor mut) Source #

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

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (PromisedAnswer'Op mut) Source #

MessageDefault (PromisedAnswer mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (PromisedAnswer mut) Source #

MessageDefault (CapDescriptor mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (CapDescriptor mut) Source #

MessageDefault (Payload mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Payload mut) Source #

MessageDefault (MessageTarget mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (MessageTarget mut) Source #

MessageDefault (Join mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Join mut) Source #

MessageDefault (Accept mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Accept mut) Source #

MessageDefault (Provide mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Provide mut) Source #

MessageDefault (Disembargo'context mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Disembargo'context mut) Source #

MessageDefault (Disembargo mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Disembargo mut) Source #

MessageDefault (Release mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Release mut) Source #

MessageDefault (Resolve mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Resolve mut) Source #

MessageDefault (Finish mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Finish mut) Source #

MessageDefault (Return mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Return mut) Source #

MessageDefault (Call'sendResultsTo mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Call'sendResultsTo mut) Source #

MessageDefault (Call mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Call mut) Source #

MessageDefault (Bootstrap mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Bootstrap mut) Source #

MessageDefault (Message mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc

Methods

messageDefault :: ReadCtx m mut => Message0 mut -> m (Message mut) Source #

MessageDefault (DiscriminatorOptions mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (DiscriminatorOptions mut) Source #

MessageDefault (FlattenOptions mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (FlattenOptions mut) Source #

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

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Value'Call mut) Source #

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

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Value'Field mut) Source #

MessageDefault (Value mut) mut Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Value mut) Source #

MessageDefault (ListOf mut (Maybe (Ptr mut))) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut (Maybe (Ptr mut))) Source #

MessageDefault (ListOf mut Word64) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut Word64) Source #

MessageDefault (ListOf mut Word32) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut Word32) Source #

MessageDefault (ListOf mut Word16) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut Word16) Source #

MessageDefault (ListOf mut Word8) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut Word8) Source #

MessageDefault (ListOf mut Bool) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut Bool) Source #

MessageDefault (ListOf mut (Struct mut)) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut (Struct mut)) Source #

MessageDefault (ListOf mut ()) mut Source # 
Instance details

Defined in Capnp.Untyped

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (ListOf mut ()) Source #

MessageDefault (Untyped mut (ReprFor a)) mut => MessageDefault (Raw mut a) mut Source # 
Instance details

Defined in Capnp.Repr

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Raw mut a) Source #

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

Defined in Capnp.Gen.Capnp.Persistent

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Persistent'SaveResults sturdyRef owner mut) Source #

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

Defined in Capnp.Gen.Capnp.Persistent

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Persistent'SaveParams sturdyRef owner mut) Source #

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

Defined in Capnp.Gen.Capnp.Persistent

Methods

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

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

Defined in Capnp.Gen.Capnp.Persistent

Methods

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

allocStruct :: WriteCtx m s => Message ('Mut s) -> Word16 -> Word16 -> m (Struct ('Mut s)) Source #

Allocate a struct in the message.

allocCompositeList Source #

Arguments

:: WriteCtx m s 
=> Message ('Mut 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 ('Mut s) (Struct ('Mut s))) 

Allocate a composite list.

allocList0 :: WriteCtx m s => Message ('Mut s) -> Int -> m (ListOf ('Mut s) ()) Source #

Allocate a list of capnproto Void values.

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

Allocate a list of booleans

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

Allocate a list of 8-bit values.

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

Allocate a list of 16-bit values.

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

Allocate a list of 32-bit values.

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

Allocate a list of 64-bit words.

allocListPtr :: WriteCtx m s => Message ('Mut s) -> Int -> m (ListOf ('Mut s) (Maybe (Ptr ('Mut s)))) Source #

Allocate a list of pointers.

appendCap :: WriteCtx m s => Message ('Mut s) -> Client -> m (Cap ('Mut s)) Source #

class TraverseMsg f where Source #

N.B. this should mostly be considered an implementation detail, but it is exposed because it is used by generated code.

TraverseMsg is similar to 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 for two reasons:

  1. 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.
  2. For the instance for WordPtr, we actually need a stronger constraint than Applicative in order for the implementation to type check. A previous version of the library *did* have tMsg :: Applicative m => ..., but performance considerations eventually forced us to open up the hood a bit.

Methods

tMsg :: TraverseMsgCtx m mutA mutB => (Message mutA -> m (Message mutB)) -> f mutA -> m (f mutB) Source #

Instances

Instances details
TraverseMsg WordPtr Source # 
Instance details

Defined in Capnp.Untyped

Methods

tMsg :: forall m (mutA :: Mutability) (mutB :: Mutability). TraverseMsgCtx m mutA mutB => (Message mutA -> m (Message mutB)) -> WordPtr mutA -> m (WordPtr mutB) Source #

TraverseMsg Struct Source # 
Instance details

Defined in Capnp.Untyped

Methods

tMsg :: forall m (mutA :: Mutability) (mutB :: Mutability). TraverseMsgCtx m mutA mutB => (Message mutA -> m (Message mutB)) -> Struct mutA -> m (Struct mutB) Source #

TraverseMsg Cap Source # 
Instance details

Defined in Capnp.Untyped

Methods

tMsg :: forall m (mutA :: Mutability) (mutB :: Mutability). TraverseMsgCtx m mutA mutB => (Message mutA -> m (Message mutB)) -> Cap mutA -> m (Cap mutB) Source #

TraverseMsg List Source # 
Instance details

Defined in Capnp.Untyped

Methods

tMsg :: forall m (mutA :: Mutability) (mutB :: Mutability). TraverseMsgCtx m mutA mutB => (Message mutA -> m (Message mutB)) -> List mutA -> m (List mutB) Source #

TraverseMsg Ptr Source # 
Instance details

Defined in Capnp.Untyped

Methods

tMsg :: forall m (mutA :: Mutability) (mutB :: Mutability). TraverseMsgCtx m mutA mutB => (Message mutA -> m (Message mutB)) -> Ptr mutA -> m (Ptr mutB) Source #

Orphan instances

Thaw a => Thaw (Maybe a) Source # 
Instance details

Associated Types

type Mutable s (Maybe a) Source #

Methods

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

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

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

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