-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Cap'n Proto for Haskell -- -- A native Haskell implementation of the Cap'N Proto cerialization -- format. -- -- This library is currently serialization-only. RPC support is planned -- but not yet implemented. It works, but bear in mind that the API is -- considered unstable, and is likely to change to accomodate RPC, -- facilitate improved performance, etc. -- -- The Data.Capnp.Tutorial module is the best place to start -- reading; the reference documentation can seem bewildering without that -- context. @package capnp @version 0.2.0.0 -- | The Capnp module hierarchy contains code generated by the -- schema compiler. See Data.Capnp.Tutorial for a description of -- what code is generated for each schema, as well as a general -- introduction to the library. module Capnp -- | In addition to modules with human readable names, the schema compiler -- also generates modules of the form Capnp.ById.X<schema -- id>. These are used internally by generated code, so that -- generated modules with dependencies on other schema don't have to know -- what the human-readable names of those schema are -- they import by -- id. -- -- Each module in this heirarchy just re-exports everthing from the -- module with a human-readable name. -- -- This hierarchy is an implementation detail that most users don't need -- to know about. module Capnp.ById -- | The modules under Capnp are generated code for the schema files -- that ship with the Cap'N Proto reference implementation. module Capnp.Capnp -- | This module provides misc. utilities for bitwhacking that are useful -- in dealing with low-level details of the Cap'N Proto wire format. -- -- This is mostly an implementation detail; users are unlikely to need to -- use this module directly. module Data.Capnp.Bits -- | Wrapper type for a quantity of bits. This along with ByteCount -- and WordCount are helpful for avoiding mixing up units newtype BitCount BitCount :: Int -> BitCount -- | A quantity of bytes newtype ByteCount ByteCount :: Int -> ByteCount -- | A quantity of 64-bit words newtype WordCount WordCount :: Int -> WordCount -- | 1 bit datatype, in the tradition of Word8, Word16 et al. newtype Word1 Word1 :: Bool -> Word1 [word1ToBool] :: Word1 -> Bool -- | Convert bits to bytes. Rounds up. bitsToBytesCeil :: BitCount -> ByteCount -- | Convert bytes to words. Rounds up. bytesToWordsCeil :: ByteCount -> WordCount -- | Convert bytes to words. Rounds down. bytesToWordsFloor :: ByteCount -> WordCount -- | Convert words to bytes. wordsToBytes :: WordCount -> ByteCount -- | lo and hi extract the low and high 32 bits of a 64-bit word, -- respectively. lo :: Word64 -> Word32 -- | lo and hi extract the low and high 32 bits of a 64-bit word, -- respectively. hi :: Word64 -> Word32 -- | iN (where N is 32, 30, or 29) extracts the high N bits of its -- argument, and treats them as a signed 32-bit integer. i32 :: Word32 -> Int32 -- | iN (where N is 32, 30, or 29) extracts the high N bits of its -- argument, and treats them as a signed 32-bit integer. i30 :: Word32 -> Int32 -- | iN (where N is 32, 30, or 29) extracts the high N bits of its -- argument, and treats them as a signed 32-bit integer. i29 :: Word32 -> Int32 -- | fromLo and fromHi convert a 32-bit word to the low or high portion of -- a 64-bit word. In general, fromHi (hi w) .|. fromLo (lo w) == -- w. fromLo :: Word32 -> Word64 -- | fromLo and fromHi convert a 32-bit word to the low or high portion of -- a 64-bit word. In general, fromHi (hi w) .|. fromLo (lo w) == -- w. fromHi :: Word32 -> Word64 -- | fromIN (where N is 32, 30, or 29) treats its argument as the high N -- bits of a 32-bit word, returning the word. If w < 2 ** N -- then fromIN (iN w) == w. fromI32 :: Int32 -> Word32 -- | fromIN (where N is 32, 30, or 29) treats its argument as the high N -- bits of a 32-bit word, returning the word. If w < 2 ** N -- then fromIN (iN w) == w. fromI30 :: Int32 -> Word32 -- | fromIN (where N is 32, 30, or 29) treats its argument as the high N -- bits of a 32-bit word, returning the word. If w < 2 ** N -- then fromIN (iN w) == w. fromI29 :: Int32 -> Word32 -- | bitRange word lo hi is the unsigned integer represented by -- the bits of word in the range [lo, hi) bitRange :: (Integral a => Word64 -> Int -> Int -> a) -- | replaceBits new orig shift replaces the bits [shift, shift+N) -- in orig with the N bit integer new. replaceBits :: (Bounded a, Integral a) => a -> Word64 -> Int -> Word64 instance Data.Bits.Bits Data.Capnp.Bits.Word1 instance GHC.Enum.Bounded Data.Capnp.Bits.Word1 instance GHC.Enum.Enum Data.Capnp.Bits.Word1 instance GHC.Classes.Eq Data.Capnp.Bits.Word1 instance GHC.Classes.Ord Data.Capnp.Bits.Word1 instance GHC.Show.Show Data.Capnp.Bits.WordCount instance GHC.Enum.Enum Data.Capnp.Bits.WordCount instance GHC.Classes.Eq Data.Capnp.Bits.WordCount instance GHC.Classes.Ord Data.Capnp.Bits.WordCount instance Data.Bits.Bits Data.Capnp.Bits.WordCount instance GHC.Real.Integral Data.Capnp.Bits.WordCount instance GHC.Real.Real Data.Capnp.Bits.WordCount instance GHC.Num.Num Data.Capnp.Bits.WordCount instance GHC.Show.Show Data.Capnp.Bits.ByteCount instance GHC.Enum.Enum Data.Capnp.Bits.ByteCount instance GHC.Classes.Eq Data.Capnp.Bits.ByteCount instance GHC.Classes.Ord Data.Capnp.Bits.ByteCount instance Data.Bits.Bits Data.Capnp.Bits.ByteCount instance GHC.Real.Integral Data.Capnp.Bits.ByteCount instance GHC.Real.Real Data.Capnp.Bits.ByteCount instance GHC.Num.Num Data.Capnp.Bits.ByteCount instance GHC.Show.Show Data.Capnp.Bits.BitCount instance GHC.Enum.Enum Data.Capnp.Bits.BitCount instance GHC.Classes.Eq Data.Capnp.Bits.BitCount instance GHC.Classes.Ord Data.Capnp.Bits.BitCount instance Data.Bits.Bits Data.Capnp.Bits.BitCount instance GHC.Real.Integral Data.Capnp.Bits.BitCount instance GHC.Real.Real Data.Capnp.Bits.BitCount instance GHC.Num.Num Data.Capnp.Bits.BitCount instance GHC.Num.Num Data.Capnp.Bits.Word1 instance GHC.Real.Real Data.Capnp.Bits.Word1 instance GHC.Real.Integral Data.Capnp.Bits.Word1 instance GHC.Show.Show Data.Capnp.Bits.Word1 module Data.Capnp.Errors -- | An error that may occur when processing a capnproto message. data Error -- | A BoundsError indicates an attempt to access an illegal index -- index within a sequence of length maxIndex. BoundsError :: !Int -> !Int -> Error [index] :: Error -> !Int [maxIndex] :: Error -> !Int -- | A RecursionLimitError indicates that the recursion depth limit -- was exceeded. RecursionLimitError :: Error -- | A TraversalLimitError indicates that the traversal limit was -- exceeded. TraversalLimitError :: Error -- | An InvalidDataError indicates that a part of a message being -- parsed was malformed. The argument to the data constructor is a -- human-readable error message. InvalidDataError :: String -> Error -- | A SizeError indicates that an operation would have resulted in -- a message that violated the library's limit on either segment size or -- number of segments. SizeError :: Error -- | A SchemaViolationError indicates that part of the message does -- not match the schema. The argument to the data construtor is a -- human-readable error message. SchemaViolationError :: String -> Error -- | An InvalidUtf8Error indicates that a text value in the message -- was invalid utf8. -- -- Note well: Most parts of the library don't actually check for valid -- utf8 -- don't assume the check is made unless an interface says it is. InvalidUtf8Error :: UnicodeException -> Error instance GHC.Classes.Eq Data.Capnp.Errors.Error instance GHC.Show.Show Data.Capnp.Errors.Error instance GHC.Exception.Exception Data.Capnp.Errors.Error -- | This module provides support for parsing and serializing capnproto -- pointers. This is a low-level module; most users will not need to call -- it directly. module Data.Capnp.Pointer -- | A Ptr represents the information in a capnproto pointer. data Ptr -- | StructPtr off dataSz ptrSz is a pointer to a struct at -- offset off in words from the end of the pointer, with a data -- section of size dataSz words, and a pointer section of size -- ptrSz words. -- -- Note that the value StructPtr 0 0 0 is illegal, since -- its encoding is reserved for the "null" pointer. StructPtr :: !Int32 -> !Word16 -> !Word16 -> Ptr -- | ListPtr off eltSpec is a pointer to a list starting at -- offset off in words from the end of the pointer. -- eltSpec encodes the C and D fields in the encoding spec; see -- EltSpec for details ListPtr :: !Int32 -> !EltSpec -> Ptr -- | FarPtr twoWords off segment is a far pointer, whose -- landing pad is: -- -- FarPtr :: !Bool -> !Word32 -> !Word32 -> Ptr -- | CapPtr id is a pointer to the capability with the id -- id. CapPtr :: !Word32 -> Ptr -- | The element size field in a list pointer. data ElementSize Sz0 :: ElementSize Sz1 :: ElementSize Sz8 :: ElementSize Sz16 :: ElementSize Sz32 :: ElementSize Sz64 :: ElementSize SzPtr :: ElementSize -- | A combination of the C and D fields in a list pointer, i.e. the -- element size, and either the number of elements in the list, or the -- total number of words in the list (if size is composite). data EltSpec -- | EltNormal size len is a normal (non-composite) element -- type (C /= 7). size is the size of the elements, and -- len is the number of elements in the list. EltNormal :: !ElementSize -> !Word32 -> EltSpec -- | EltComposite len is a composite element (C == 7). -- len is the length of the list in words. EltComposite :: !Int32 -> EltSpec -- | parsePtr word parses word as a capnproto pointer. A -- null pointer is parsed as Nothing. parsePtr :: Word64 -> Maybe Ptr -- | serializePtr ptr serializes the pointer as a -- Word64, translating Nothing to a null pointer. serializePtr :: Maybe Ptr -> Word64 -- | parseEltSpec word reads the EltSpec from -- word, which must be the encoding of a list pointer (this is -- not verified). parseEltSpec :: Word64 -> EltSpec -- | serializeEltSpec eltSpec serializes eltSpec -- as a Word64. all bits which are not determined by the -- EltSpec are zero. serializeEltSpec :: EltSpec -> Word64 instance GHC.Classes.Eq Data.Capnp.Pointer.Ptr instance GHC.Show.Show Data.Capnp.Pointer.Ptr instance GHC.Classes.Eq Data.Capnp.Pointer.EltSpec instance GHC.Show.Show Data.Capnp.Pointer.EltSpec instance GHC.Enum.Enum Data.Capnp.Pointer.ElementSize instance GHC.Classes.Eq Data.Capnp.Pointer.ElementSize instance GHC.Show.Show Data.Capnp.Pointer.ElementSize -- | This module provides facilities for manipulating raw addresses within -- Cap'N Proto messages. -- -- This is a low level module that very few users will need to use -- directly. module Data.Capnp.Address -- | The address of a word within a message data WordAddr WordAt :: !Int -> !WordCount -> WordAddr -- | Segment number [segIndex] :: WordAddr -> !Int -- | offset in words from the start of the segment. [wordIndex] :: WordAddr -> !WordCount -- | The "address" of a capability newtype CapAddr Cap :: Word32 -> CapAddr -- | An address, i.e. a location that a pointer may point at. data Addr -- | The address of some data in the message. WordAddr :: !WordAddr -> Addr -- | The "address" of a capability. CapAddr :: !CapAddr -> Addr -- | An error returned by computeOffset; this describes the reason -- why a value cannot be directly addressed from a given location. data OffsetError -- | The pointer and the value are in different segments. DifferentSegments :: OffsetError -- | The pointer is in the correct segment, but too far away to encode the -- offset. (more than 30 bits would be required). This can only happen -- with segments that are > 8 GiB, which this library refuses to -- either decode or generate, so this should not come up in practice. OutOfRange :: OffsetError -- | computeOffset ptrAddr valueAddr computes the offset -- that should be stored in a struct or list pointer located at -- ptrAddr, in order to point at a value located at -- valueAddr. If the value cannot be directly addressed by a -- pointer at ptrAddr, then this returns Left, with the -- OffsetError describing the problem. computeOffset :: WordAddr -> WordAddr -> Either OffsetError WordCount -- | pointerFrom ptrAddr targetAddr ptr updates -- ptr, such that it is correct to target a value located at -- targetAddr given that the pointer itself is located at -- ptrAddr. Returns Left if this is not possible. -- -- It is illegal to call this on a capability pointer. -- -- For far pointers, targetAddr is taken to be the address of -- the landing pad, rather than the final value. pointerFrom :: WordAddr -> WordAddr -> Ptr -> Either OffsetError Ptr -- | resolvePtr from ptr resolves the pointer ptr -- to an address relative to from. Note that inter-segment -- pointers (FarPtr) resolve to the address of the landing pad, -- *not* the the final address of the object pointed to, as the latter -- would reqiure access to the message. resolvePtr :: WordAddr -> Ptr -> Addr instance GHC.Classes.Eq Data.Capnp.Address.Addr instance GHC.Show.Show Data.Capnp.Address.Addr instance GHC.Classes.Eq Data.Capnp.Address.CapAddr instance GHC.Show.Show Data.Capnp.Address.CapAddr instance GHC.Classes.Eq Data.Capnp.Address.WordAddr instance GHC.Show.Show Data.Capnp.Address.WordAddr -- | This module is used to mitigate several pitfalls with the capnproto -- format, which could potentially lead to denial of service -- vulnerabilities. -- -- In particular, while they are illegal according to the spec, it is -- possible to encode objects which have many pointers pointing the same -- place, or even cycles. A naive traversal therefore could involve quite -- a lot of computation for a message that is very small on the wire. -- -- Accordingly, most implementations of the format keep track of how many -- bytes of a message have been accessed, and start signaling errors -- after a certain value (the "traversal limit") has been reached. The -- Haskell implementation is no exception; this module implements that -- logic. We provide a monad transformer and mtl-style type class to -- track the limit; reading from the message happens inside of this -- monad. module Data.Capnp.TraversalLimit -- | mtl-style type class to track the traversal limit. This is used by -- other parts of the library which actually do the reading. class Monad m => MonadLimit m -- | invoice n deducts n from the traversal limit, -- signaling an error if the limit is exhausted. invoice :: MonadLimit m => Int -> m () -- | Monad transformer implementing MonadLimit. The underlying monad -- must implement MonadThrow. invoice calls -- throwM TraversalLimitError when the limit is -- exhausted. data LimitT m a -- | Run a LimitT, returning the value from the computation and the -- remaining traversal limit. runLimitT :: MonadThrow m => Int -> LimitT m a -> m (a, Int) -- | Run a LimitT, returning the value from the computation. evalLimitT :: MonadThrow m => Int -> LimitT m a -> m a -- | Run a LimitT, returning the remaining traversal limit. execLimitT :: MonadThrow m => Int -> LimitT m a -> m Int -- | A sensible default traversal limit. Currently 64 MiB. defaultLimit :: Int instance GHC.Base.Monad m => GHC.Base.Monad (Data.Capnp.TraversalLimit.LimitT m) instance GHC.Base.Monad m => GHC.Base.Applicative (Data.Capnp.TraversalLimit.LimitT m) instance GHC.Base.Functor m => GHC.Base.Functor (Data.Capnp.TraversalLimit.LimitT m) instance Control.Monad.Catch.MonadThrow m => Control.Monad.Catch.MonadThrow (Data.Capnp.TraversalLimit.LimitT m) instance Control.Monad.Catch.MonadThrow m => Data.Capnp.TraversalLimit.MonadLimit (Data.Capnp.TraversalLimit.LimitT m) instance Control.Monad.Trans.Class.MonadTrans Data.Capnp.TraversalLimit.LimitT instance Control.Monad.State.Class.MonadState s m => Control.Monad.State.Class.MonadState s (Data.Capnp.TraversalLimit.LimitT m) instance (Control.Monad.Primitive.PrimMonad m, s ~ Control.Monad.Primitive.PrimState m) => Control.Monad.Primitive.PrimMonad (Data.Capnp.TraversalLimit.LimitT m) instance Data.Capnp.TraversalLimit.MonadLimit m => Data.Capnp.TraversalLimit.MonadLimit (Control.Monad.Trans.State.Strict.StateT s m) instance Data.Capnp.TraversalLimit.MonadLimit m => Data.Capnp.TraversalLimit.MonadLimit (Control.Monad.Trans.State.Lazy.StateT s m) instance (GHC.Base.Monoid w, Data.Capnp.TraversalLimit.MonadLimit m) => Data.Capnp.TraversalLimit.MonadLimit (Control.Monad.Trans.Writer.Lazy.WriterT w m) instance Data.Capnp.TraversalLimit.MonadLimit m => Data.Capnp.TraversalLimit.MonadLimit (Control.Monad.Trans.Reader.ReaderT r m) instance (GHC.Base.Monoid w, Data.Capnp.TraversalLimit.MonadLimit m) => Data.Capnp.TraversalLimit.MonadLimit (Control.Monad.Trans.RWS.Lazy.RWST r w s m) -- | There is a common pattern in Haskell libraries that work with mutable -- data: -- -- -- -- This module abstracts out the above pattern into a generic type family -- Thaw, and provides some of the common higher-level tools built -- on top of these primitives. -- -- Note that there's nothing terribly Cap'N Proto specific about this -- module; we may even factor it out into a separate package at some -- point. module Data.Mutable -- | The Thaw type class relates mutable and immutable versions of a -- type. The instance is defined on the immutable variant; -- Mutable s a is the mutable version of an immutable -- type a, bound to the state token s. class Thaw a where { type family Mutable s a; } -- | Convert an immutable value to a mutable one. thaw :: (Thaw a, PrimMonad m, PrimState m ~ s) => a -> m (Mutable s a) -- | Convert a mutable value to an immutable one. freeze :: (Thaw a, PrimMonad m, PrimState m ~ s) => Mutable s a -> m a -- | Like thaw, except that the caller is responsible for ensuring -- that the original value is not subsequently used; doing so may violate -- referential transparency. -- -- The default implementation of this is just the same as thaw, -- but typically an instance will override this with a trivial (unsafe) -- cast, hence the obligation described above. unsafeThaw :: (Thaw a, PrimMonad m, PrimState m ~ s) => a -> m (Mutable s a) -- | Unsafe version of freeze analagous to unsafeThaw. The -- caller must ensure that the original value is not used after this -- call. unsafeFreeze :: (Thaw a, PrimMonad m, PrimState m ~ s) => Mutable s a -> m a -- | Create and freeze a mutable value, safely, without doing a full copy. -- internally, create calls unsafeFreeze, but it cannot be -- directly used to violate referential transparency, as the value is not -- available to the caller after freezing. create :: Thaw a => (forall s. ST s (Mutable s a)) -> a -- | Like create, but the result is wrapped in an instance of -- Traversable. createT :: (Traversable f, Thaw a) => (forall s. ST s (f (Mutable s a))) -> f a -- | This module provides support for working directly with Cap'N Proto -- messages. module Data.Capnp.Message -- | hPutMsg handle msg writes msg to -- handle. If there is an exception, it will be an -- IOError raised by the underlying IO libraries. hPutMsg :: Handle -> ConstMsg -> IO () -- | hGetMsg handle limit reads a message from -- handle that is at most limit 64-bit words in length. hGetMsg :: Handle -> Int -> IO ConstMsg -- | Equivalent to hPutMsg stdout putMsg :: ConstMsg -> IO () -- | Equivalent to hGetMsg stdin getMsg :: Int -> IO ConstMsg -- | The maximum size of a segment supported by this libarary, in words. maxSegmentSize :: Int -- | The maximum number of segments allowed in a message by this library. maxSegments :: Int -- | encode encodes a message as a bytestring builder. encode :: MonadThrow m => ConstMsg -> m Builder -- | decode decodes a message from a bytestring. -- -- The segments will not be copied; the resulting message will be a view -- into the original bytestring. Runs in O(number of segments in the -- message). decode :: MonadThrow m => ByteString -> m ConstMsg -- | A Message is a (possibly read-only) capnproto message. It is -- parameterized over a monad in which operations are performed. class Monad m => Message m msg where { data family Segment msg; } -- | numSegs gets the number of segments in a message. numSegs :: Message m msg => msg -> m Int -- | internalGetSeg message index gets the segment at index -- index in message. Most callers should use the -- getSegment wrapper, instead of calling this directly. internalGetSeg :: Message m msg => msg -> Int -> m (Segment msg) -- | Get the length of the segment, in units of 64-bit words. numWords :: Message m msg => Segment msg -> m Int -- | slice start length segment extracts a sub-section of -- the segment, starting at index start, of length -- length. slice :: Message m msg => Int -> Int -> Segment msg -> m (Segment msg) -- | read segment index reads a 64-bit word from the -- segement at the given index. Consider using getWord on the -- message, instead of calling this directly. read :: Message m msg => Segment msg -> Int -> m Word64 -- | Convert a ByteString to a segment. fromByteString :: Message m msg => ByteString -> m (Segment msg) -- | Convert a segment to a byte string. toByteString :: Message m msg => Segment msg -> m ByteString -- | empty is an empty message, i.e. a minimal message with a null -- pointer as its root object. empty :: ConstMsg -- | A read-only capnproto message. -- -- ConstMsg is an instance of the generic Message type -- class. its implementations of toByteString and -- fromByteString are O(1); the underlying bytes are not copied. data ConstMsg -- | getSegment message index fetches the given segment in -- the message. It throws a BoundsError if the address is out of -- bounds. getSegment :: (MonadThrow m, Message m msg) => msg -> Int -> m (Segment msg) -- | getWord msg addr returns the word at addr -- within msg. It throws a BoundsError if the address -- is out of bounds. getWord :: (MonadThrow m, Message m msg) => msg -> WordAddr -> m Word64 -- | A MutMsg is a mutable capnproto message. The type parameter -- s is the state token for the instance of PrimMonad in -- which the message may be modified. -- -- Due to mutabilty, the implementations of toByteString and -- fromByteString must make full copies, and so are O(n) in the -- length of the segment. data MutMsg s -- | Allocate a new empty message. newMessage :: WriteCtx m s => m (MutMsg s) -- | alloc size allocates size words within a -- message. it returns the starting address of the allocated memory. alloc :: WriteCtx m s => MutMsg s -> WordCount -> m WordAddr -- | Like alloc, but the second argument allows the caller to -- specify the index of the segment in which to allocate the data. allocInSeg :: WriteCtx m s => MutMsg s -> Int -> WordCount -> m WordAddr -- | newSegment msg sizeHint allocates a new, initially -- empty segment in msg with a capacity of sizeHint. It -- returns the a pair of the segment number and the segment itself. -- Amortized O(1). newSegment :: WriteCtx m s => MutMsg s -> Int -> m (Int, Segment (MutMsg s)) -- | setWord message address value sets the word at -- address in the message to value. If the address is -- not valid in the message, a BoundsError will be thrown. setWord :: (WriteCtx m s, MonadThrow m) => MutMsg s -> WordAddr -> Word64 -> m () -- | setSegment message index segment sets the segment at -- the given index in the message. It throws a BoundsError if -- the address is out of bounds. setSegment :: (WriteCtx m s, MonadThrow m) => MutMsg s -> Int -> Segment (MutMsg s) -> m () -- | WriteCtx is the context needed for most write operations. type WriteCtx m s = (PrimMonad m, s ~ PrimState m, MonadThrow m) instance (Control.Monad.Primitive.PrimMonad m, s ~ Control.Monad.Primitive.PrimState m) => Data.Capnp.Message.Message m (Data.Capnp.Message.MutMsg s) instance Data.Mutable.Thaw (Data.Capnp.Message.Segment Data.Capnp.Message.ConstMsg) instance Data.Mutable.Thaw Data.Capnp.Message.ConstMsg instance GHC.Base.Monad m => Data.Capnp.Message.Message m Data.Capnp.Message.ConstMsg -- | 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 Data.Capnp.Message), used as the underlying -- storage. module Data.Capnp.Untyped -- | 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. data Ptr msg PtrCap :: msg -> !Word32 -> Ptr msg PtrList :: (List msg) -> Ptr msg PtrStruct :: (Struct msg) -> Ptr msg -- | A list of values (of arbitrary type) in a message. data List msg List0 :: (ListOf msg ()) -> List msg List1 :: (ListOf msg Bool) -> List msg List8 :: (ListOf msg Word8) -> List msg List16 :: (ListOf msg Word16) -> List msg List32 :: (ListOf msg Word32) -> List msg List64 :: (ListOf msg Word64) -> List msg ListPtr :: (ListOf msg (Maybe (Ptr msg))) -> List msg ListStruct :: (ListOf msg (Struct msg)) -> List msg -- | A struct value in a message. data Struct msg -- | A list of values of type a in a message. data ListOf msg a -- | The data section of a struct, as a list of Word64 dataSection :: Struct msg -> ListOf msg Word64 -- | The pointer section of a struct, as a list of Ptr ptrSection :: Struct msg -> ListOf msg (Maybe (Ptr msg)) -- | getData i struct gets the ith word from the -- struct's data section, returning 0 if it is absent. getData :: ReadCtx m msg => Int -> Struct msg -> m Word64 -- | getPtr i struct gets the ith word from the -- struct's pointer section, returning Nothing if it is absent. getPtr :: ReadCtx m msg => Int -> Struct msg -> m (Maybe (Ptr msg)) -- | setData value i struct sets the ith word in -- the struct's data section to value. setData :: (ReadCtx m (MutMsg s), WriteCtx m s) => Word64 -> Int -> Struct (MutMsg s) -> m () -- | setData value i struct sets the ith pointer -- in the struct's pointer section to value. setPtr :: (ReadCtx m (MutMsg s), WriteCtx m s) => Maybe (Ptr (MutMsg s)) -> Int -> Struct (MutMsg s) -> m () -- | copyStruct dest src copies the source struct to the -- destination struct. copyStruct :: (ReadCtx m (MutMsg s), WriteCtx m s) => Struct (MutMsg s) -> Struct (MutMsg s) -> m () -- | 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). get :: ReadCtx m msg => msg -> WordAddr -> m (Maybe (Ptr msg)) -- | index i list returns the ith element in list. -- Deducts 1 from the quota index :: ReadCtx m msg => Int -> ListOf msg a -> m a -- | Returns the length of a list length :: ListOf msg a -> Int -- | 'setIndex value i list Set the ith element of -- list to value. setIndex :: (ReadCtx m (MutMsg s), WriteCtx m s) => a -> Int -> ListOf (MutMsg s) a -> m () -- | Return a prefix of the list, of the given length. take :: MonadThrow m => Int -> ListOf msg a -> m (ListOf msg a) -- | Returns the root pointer of a message. rootPtr :: ReadCtx m msg => msg -> m (Struct msg) -- | Make the given struct the root object of its message. setRoot :: WriteCtx m s => Struct (MutMsg s) -> m () -- | rawBytes returns the raw bytes corresponding to the list. rawBytes :: ReadCtx m msg => ListOf msg Word8 -> m ByteString -- | Type (constraint) synonym for the constraints needed for most read -- operations. type ReadCtx m msg = (Message m msg, MonadThrow m, MonadLimit m) -- | Synonym for ReadCtx + WriteCtx type RWCtx m s = (ReadCtx m (MutMsg s), WriteCtx m s) -- | Types a whose storage is owned by a message with blob type -- b. class HasMessage a msg -- | Get the message in which the a is stored. message :: HasMessage a msg => a -> msg -- | 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. class HasMessage a msg => MessageDefault a msg messageDefault :: MessageDefault a msg => msg -> a -- | Allocate a struct in the message. allocStruct :: WriteCtx m s => MutMsg s -> Word16 -> Word16 -> m (Struct (MutMsg s)) -- | Allocate a composite list. allocCompositeList :: WriteCtx m s => MutMsg s -> Word16 -> Word16 -> Int -> m (ListOf (MutMsg s) (Struct (MutMsg s))) -- | Allocate a list of capnproto Void values. allocList0 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) ()) -- | Allocate a list of booleans allocList1 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) Bool) -- | Allocate a list of 8-bit values. allocList8 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) Word8) -- | Allocate a list of 16-bit values. allocList16 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) Word16) -- | Allocate a list of 32-bit values. allocList32 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) Word32) -- | Allocate a list of 64-bit words. allocList64 :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) Word64) -- | Allocate a list of pointers. allocListPtr :: WriteCtx m s => MutMsg s -> Int -> m (ListOf (MutMsg s) (Maybe (Ptr (MutMsg s)))) instance Data.Capnp.Untyped.MessageDefault (Data.Capnp.Untyped.Struct msg) msg instance Data.Capnp.Untyped.MessageDefault (Data.Capnp.Untyped.ListOf msg ()) msg instance Data.Capnp.Untyped.MessageDefault (Data.Capnp.Untyped.ListOf msg (Data.Capnp.Untyped.Struct msg)) msg instance Data.Capnp.Untyped.MessageDefault (Data.Capnp.Untyped.ListOf msg GHC.Types.Bool) msg instance Data.Capnp.Untyped.MessageDefault (Data.Capnp.Untyped.ListOf msg GHC.Word.Word8) msg instance Data.Capnp.Untyped.MessageDefault (Data.Capnp.Untyped.ListOf msg GHC.Word.Word16) msg instance Data.Capnp.Untyped.MessageDefault (Data.Capnp.Untyped.ListOf msg GHC.Word.Word32) msg instance Data.Capnp.Untyped.MessageDefault (Data.Capnp.Untyped.ListOf msg GHC.Word.Word64) msg instance Data.Capnp.Untyped.MessageDefault (Data.Capnp.Untyped.ListOf msg (GHC.Base.Maybe (Data.Capnp.Untyped.Ptr msg))) msg instance Data.Capnp.Untyped.MessageDefault (Data.Capnp.Untyped.NormalList msg) msg instance Data.Capnp.Untyped.HasMessage (Data.Capnp.Untyped.Ptr msg) msg instance Data.Capnp.Untyped.HasMessage (Data.Capnp.Untyped.Struct msg) msg instance Data.Capnp.Untyped.HasMessage (Data.Capnp.Untyped.List msg) msg instance Data.Capnp.Untyped.HasMessage (Data.Capnp.Untyped.ListOf msg a) msg instance Data.Capnp.Untyped.HasMessage (Data.Capnp.Untyped.NormalList msg) msg instance Data.Capnp.Untyped.TraverseMsg Data.Capnp.Untyped.List instance Data.Capnp.Untyped.TraverseMsg Data.Capnp.Untyped.FlipListP instance Data.Capnp.Untyped.TraverseMsg Data.Capnp.Untyped.FlipListS instance Data.Capnp.Untyped.TraverseMsg (Data.Capnp.Untyped.FlipList ()) instance Data.Capnp.Untyped.TraverseMsg (Data.Capnp.Untyped.FlipList GHC.Types.Bool) instance Data.Capnp.Untyped.TraverseMsg (Data.Capnp.Untyped.FlipList GHC.Word.Word8) instance Data.Capnp.Untyped.TraverseMsg (Data.Capnp.Untyped.FlipList GHC.Word.Word16) instance Data.Capnp.Untyped.TraverseMsg (Data.Capnp.Untyped.FlipList GHC.Word.Word32) instance Data.Capnp.Untyped.TraverseMsg (Data.Capnp.Untyped.FlipList GHC.Word.Word64) instance Data.Capnp.Untyped.TraverseMsg Data.Capnp.Untyped.Ptr instance Data.Capnp.Untyped.TraverseMsg Data.Capnp.Untyped.Struct instance Data.Capnp.Untyped.TraverseMsg Data.Capnp.Untyped.NormalList instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.Ptr msg) instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.List msg) instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.NormalList msg) instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.Struct msg) instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.ListOf msg ()) instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.ListOf msg GHC.Types.Bool) instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.ListOf msg GHC.Word.Word8) instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.ListOf msg GHC.Word.Word16) instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.ListOf msg GHC.Word.Word32) instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.ListOf msg GHC.Word.Word64) instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.ListOf msg (Data.Capnp.Untyped.Struct msg)) instance Data.Mutable.Thaw msg => Data.Mutable.Thaw (Data.Capnp.Untyped.ListOf msg (GHC.Base.Maybe (Data.Capnp.Untyped.Ptr msg))) -- | This module defines several type classes concerning encoding and -- decoding values in the capnproto wire format (as well as instances for -- some basic types). -- -- Note that much of this is unlikely to be used directly by developers. -- Typically these are either used internally by generated code, or -- transitively via higher level functions in the API. It is recommended -- to look elsewhere in the library for what you need, and refer to this -- module only when trying to understand what the class constraints on a -- function mean. module Data.Capnp.Classes -- | Types that can be converted to and from a 64-bit word. -- -- Anything that goes in the data section of a struct will have an -- instance of this. class IsWord a -- | Convert from a 64-bit words Truncates the word if the type has less -- than 64 bits. fromWord :: IsWord a => Word64 -> a -- | Convert to a 64-bit word. toWord :: IsWord a => a -> Word64 -- | Types which may be stored as an element of a capnproto list. class ListElem msg e where { data family List msg e; } -- | Get the length of a list. length :: ListElem msg e => List msg e -> Int -- | index i list gets the ith element of a list. index :: (ListElem msg e, ReadCtx m msg) => Int -> List msg e -> m e -- | Types which may be stored as an element of a *mutable* capnproto list. class (ListElem (MutMsg s) e) => MutListElem s e -- | setIndex value i list sets the ith index in -- list to @value setIndex :: (MutListElem s e, RWCtx m s) => e -> Int -> List (MutMsg s) e -> m () -- | newList msg size allocates and returns a new list of -- length size inside msg. newList :: (MutListElem s e, WriteCtx m s) => MutMsg s -> Int -> m (List (MutMsg s) e) -- | Types that can be converted to and from an untyped pointer. -- -- Note that this should not involve a marshalling step, and that -- decoding does not have to succeed, if the pointer is the wrong type. -- -- TODO: split this into FromPtr and ToPtr, for symmetry with FromStruct -- and ToStruct? class IsPtr msg a -- | Convert an untyped pointer to an a. fromPtr :: (IsPtr msg a, ReadCtx m msg) => msg -> Maybe (Ptr msg) -> m a -- | Convert an a to an untyped pointer. toPtr :: IsPtr msg a => a -> Maybe (Ptr msg) -- | Types that can be extracted from a struct. class FromStruct msg a -- | Extract a value from a struct. fromStruct :: (FromStruct msg a, ReadCtx m msg) => Struct msg -> m a -- | Types that can be converted to a struct. class ToStruct msg a -- | Convert a value to a struct. toStruct :: ToStruct msg a => a -> Struct msg -- | Types which may be stored in a capnproto message, and have a fixed -- size. -- -- This applies to typed structs, but not e.g. lists, because the length -- must be known to allocate a list. class Allocate s e new :: (Allocate s e, WriteCtx m s) => MutMsg s -> m e -- | Types which may be marshaled into a pre-allocated object in a message. class Decerialize a => Marshal a -- | Marshal a value into the pre-allocated object inside the message. -- -- Note that caller must arrange for the object to be of the correct -- size. This is is not necessarily guaranteed; for example, list types -- must coordinate the length of the list. marshalInto :: (Marshal a, RWCtx m s) => Cerial (MutMsg s) a -> a -> m () -- | Types which may be inserted into a message. class Decerialize a => Cerialize s a -- | Cerialize a value into the supplied message, returning the result. cerialize :: (Cerialize s a, RWCtx m s) => MutMsg s -> a -> m (Cerial (MutMsg s) a) -- | Cerialize a value into the supplied message, returning the result. cerialize :: (Cerialize s a, RWCtx m s, Marshal a, Allocate s (Cerial (MutMsg s) a)) => MutMsg s -> a -> m (Cerial (MutMsg s) a) -- | Types which may be extracted from a message. -- -- typically, instances of Decerialize will be the algebraic data -- types defined in generated code for the high-level API. class Decerialize a where { type family Cerial msg a; } -- | Extract the value from the message. decerialize :: (Decerialize a, ReadCtx m ConstMsg) => Cerial ConstMsg a -> m a instance Data.Capnp.Classes.ToStruct msg (Data.Capnp.Untyped.Struct msg) instance Data.Capnp.Classes.FromStruct msg (Data.Capnp.Untyped.Struct msg) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Untyped.Struct msg) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Untyped.ListOf msg ()) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Untyped.ListOf msg GHC.Word.Word8) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Untyped.ListOf msg GHC.Word.Word16) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Untyped.ListOf msg GHC.Word.Word32) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Untyped.ListOf msg GHC.Word.Word64) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Untyped.ListOf msg GHC.Types.Bool) instance Data.Capnp.Classes.IsPtr msg (GHC.Base.Maybe (Data.Capnp.Untyped.Ptr msg)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Untyped.ListOf msg (Data.Capnp.Untyped.Struct msg)) instance Data.Capnp.Classes.IsWord GHC.Types.Bool instance Data.Capnp.Classes.IsWord Data.Capnp.Bits.Word1 instance Data.Capnp.Classes.IsWord GHC.Int.Int8 instance Data.Capnp.Classes.IsWord GHC.Int.Int16 instance Data.Capnp.Classes.IsWord GHC.Int.Int32 instance Data.Capnp.Classes.IsWord GHC.Int.Int64 instance Data.Capnp.Classes.IsWord GHC.Word.Word8 instance Data.Capnp.Classes.IsWord GHC.Word.Word16 instance Data.Capnp.Classes.IsWord GHC.Word.Word32 instance Data.Capnp.Classes.IsWord GHC.Word.Word64 instance Data.Capnp.Classes.IsWord GHC.Types.Float instance Data.Capnp.Classes.IsWord GHC.Types.Double -- | This module provides an idiomatic Haskell interface for untyped capnp -- data, based on algebraic datatypes. It forgoes some of the benefits of -- the capnp wire format in favor of a more convienient API. -- -- In addition to the algebraic data types themselves, this module also -- provides support for converting from the lower-level types in -- Data.Capnp.Untyped. module Data.Capnp.Untyped.Pure -- | A capability in the wire format. type Cap = Word32 -- | A one of a struct's sections (data or pointer). -- -- This is just a newtype wrapper around ListOf (which is itself -- just Vector), but critically the notion of equality is -- different. Two slices are considered equal if all of their elements -- are equal, but If the slices are different lengths, missing elements -- are treated as having default values. Accordingly, equality is only -- defined if the element type is an instance of Default. newtype Slice a Slice :: (ListOf a) -> Slice a -- | A capnproto pointer type. data PtrType PtrStruct :: !Struct -> PtrType PtrList :: !List -> PtrType PtrCap :: !Cap -> PtrType -- | A capnproto struct. data Struct Struct :: Slice Word64 -> Slice (Maybe PtrType) -> Struct -- | The struct's data section [structData] :: Struct -> Slice Word64 -- | The struct's pointer section [structPtrs] :: Struct -> Slice (Maybe PtrType) -- | An untyped list. data List List0 :: (ListOf ()) -> List List1 :: (ListOf Bool) -> List List8 :: (ListOf Word8) -> List List16 :: (ListOf Word16) -> List List32 :: (ListOf Word32) -> List List64 :: (ListOf Word64) -> List ListPtr :: (ListOf (Maybe PtrType)) -> List ListStruct :: (ListOf Struct) -> List -- | Alias for Vector. Using this alias may make upgrading to future -- versions of the library easier, as we will likely switch to a more -- efficient representation at some point. type ListOf a = Vector a -- | Alias for vector's length. length :: ListOf a -> Int -- | Index into a slice, returning a default value if the the index is past -- the end of the array. sliceIndex :: Default a => Int -> Slice a -> a instance GHC.Classes.Eq Data.Capnp.Untyped.Pure.List instance GHC.Read.Read Data.Capnp.Untyped.Pure.List instance GHC.Show.Show Data.Capnp.Untyped.Pure.List instance GHC.Generics.Generic Data.Capnp.Untyped.Pure.List instance GHC.Classes.Eq Data.Capnp.Untyped.Pure.PtrType instance GHC.Read.Read Data.Capnp.Untyped.Pure.PtrType instance GHC.Show.Show Data.Capnp.Untyped.Pure.PtrType instance GHC.Generics.Generic Data.Capnp.Untyped.Pure.PtrType instance GHC.Classes.Eq Data.Capnp.Untyped.Pure.Struct instance GHC.Read.Read Data.Capnp.Untyped.Pure.Struct instance GHC.Show.Show Data.Capnp.Untyped.Pure.Struct instance GHC.Generics.Generic Data.Capnp.Untyped.Pure.Struct instance Data.Default.Class.Default (Data.Capnp.Untyped.Pure.Slice a) instance GHC.Base.Functor Data.Capnp.Untyped.Pure.Slice instance (GHC.Classes.Ord a, Data.Default.Class.Default a) => GHC.Classes.Ord (Data.Capnp.Untyped.Pure.Slice a) instance GHC.Read.Read a => GHC.Read.Read (Data.Capnp.Untyped.Pure.Slice a) instance GHC.Show.Show a => GHC.Show.Show (Data.Capnp.Untyped.Pure.Slice a) instance GHC.Generics.Generic (Data.Capnp.Untyped.Pure.Slice a) instance Data.Default.Class.Default Data.Capnp.Untyped.Pure.Struct instance Data.Capnp.Classes.Decerialize Data.Capnp.Untyped.Pure.Struct instance Data.Capnp.Classes.Marshal Data.Capnp.Untyped.Pure.Struct instance Data.Capnp.Classes.Cerialize s Data.Capnp.Untyped.Pure.Struct instance Data.Capnp.Classes.Decerialize (GHC.Base.Maybe Data.Capnp.Untyped.Pure.PtrType) instance Data.Capnp.Classes.Cerialize s (GHC.Base.Maybe Data.Capnp.Untyped.Pure.PtrType) instance Data.Capnp.Classes.Decerialize Data.Capnp.Untyped.Pure.List instance Data.Capnp.Classes.Cerialize s Data.Capnp.Untyped.Pure.List instance GHC.Exts.IsList (Data.Capnp.Untyped.Pure.Slice a) instance (Data.Default.Class.Default a, GHC.Classes.Eq a) => GHC.Classes.Eq (Data.Capnp.Untyped.Pure.Slice a) instance (Data.Capnp.Classes.ListElem Data.Capnp.Message.ConstMsg (Data.Capnp.Classes.Cerial Data.Capnp.Message.ConstMsg a), Data.Capnp.Classes.Decerialize a) => Data.Capnp.Classes.Decerialize (Data.Capnp.Untyped.Pure.ListOf a) -- | This module provides various helpers used by generated code; -- developers are not expected to invoke them directly. -- -- These helpers are only used by the high-level api. -- Data.Capnp.GenHelpers defines helpers used by the low-level -- api. module Data.Capnp.GenHelpers.Pure -- | A valid implementation for Default for any type that meets the -- given constraints. defaultStruct :: (Decerialize a, FromStruct ConstMsg (Cerial ConstMsg a)) => a -- | This module provides various helpers used by generated code; -- developers are not expected to invoke them directly. -- -- These helpers are used by the low-level api. -- Data.Capnp.GenHelpers.Pure defines helpers used by high-level -- api. module Data.Capnp.GenHelpers -- | getWordField struct index offset def fetches a field -- from the struct's data section. index is the index of the -- 64-bit word in the data section in which the field resides. -- offset is the offset in bits from the start of that word to -- the field. def is the default value for this field. getWordField :: (ReadCtx m msg, IsWord a) => Struct msg -> Int -> Int -> Word64 -> m a -- | setWordField struct value index offset def sets a -- field in the struct's data section. The meaning of the parameters are -- as in getWordField, with value being the value to set. -- The width of the value is inferred from its type. setWordField :: (RWCtx m s, Bounded a, Integral a, IsWord a, Bits a) => Struct (MutMsg s) -> a -> Int -> Int -> a -> m () -- | In particular -- -- module Data.Capnp.Basics -- | A textual string (Text in capnproto's schema language). On -- the wire, this is NUL-terminated. The encoding should be UTF-8, but -- the library does not verify this; users of the library must do -- validation themselves, if they care about this. -- -- Rationale: validation would require doing an up-front pass over the -- data, which runs counter to the overall design of capnproto. data Text msg -- | A blob of bytes (Data in capnproto's schema language). The -- argument to the data constructor is a slice into the message, -- containing the raw bytes. newtype Data msg Data :: (ListOf msg Word8) -> Data msg -- | Types which may be stored as an element of a capnproto list. class ListElem msg e where { data family List msg e; } -- | Get the length of a list. length :: ListElem msg e => List msg e -> Int -- | index i list gets the ith element of a list. index :: (ListElem msg e, ReadCtx m msg) => Int -> List msg e -> m e -- | Types which may be stored as an element of a *mutable* capnproto list. class (ListElem (MutMsg s) e) => MutListElem s e -- | setIndex value i list sets the ith index in -- list to @value setIndex :: (MutListElem s e, RWCtx m s) => e -> Int -> List (MutMsg s) e -> m () -- | newList msg size allocates and returns a new list of -- length size inside msg. newList :: (MutListElem s e, WriteCtx m s) => MutMsg s -> Int -> m (List (MutMsg s) e) -- | Interpret a list of Word8 as a capnproto Data value. getData :: ReadCtx m msg => ListOf msg Word8 -> m (Data msg) -- | Interpret a list of Word8 as a capnproto Text value. -- -- This vaildates that the list is NUL-terminated, but not that it is -- valid UTF-8. If it is not NUL-terminaed, a -- SchemaViolationError is thrown. getText :: ReadCtx m msg => ListOf msg Word8 -> m (Text msg) -- | newData msg len allocates a new data blob of length -- len bytes inside the message. newData :: WriteCtx m s => MutMsg s -> Int -> m (Data (MutMsg s)) -- | newText msg len Allocates a new Text inside the -- message. The value has space for len *bytes* (not -- characters). newText :: WriteCtx m s => MutMsg s -> Int -> m (Text (MutMsg s)) -- | Convert a Data to a ByteString. dataBytes :: ReadCtx m msg => Data msg -> m ByteString -- | Return the underlying buffer containing the text. This does not -- include the null terminator. textBuffer :: ReadCtx m msg => Text msg -> m (ListOf msg Word8) -- | Convert a Text to a ByteString, comprising the raw bytes -- of the text (not counting the NUL terminator). textBytes :: ReadCtx m msg => Text msg -> m ByteString instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Basics.Data msg) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Basics.Text msg) -- | Analogous to Basics in the low-level API, this module deals -- with capnproto's Text and Data types. These are -- simply aliases for ByteString and the text package's -- Text; mostly this module provides helper functions and type -- class instances. -- -- Unlike with the low-level API, typed lists do not require special -- treatment -- they're just Vectors. module Data.Capnp.Basics.Pure -- | A capnproto Data value. This is just an alias for -- ByteString. type Data = ByteString -- | A capnproto Text. This is just an alias for the text -- package's Text. type Text = Text instance Data.Capnp.Classes.Decerialize Data.Capnp.Basics.Pure.Text instance Data.Capnp.Classes.Marshal Data.Capnp.Basics.Pure.Text instance Data.Capnp.Classes.Cerialize s Data.Capnp.Basics.Pure.Text instance Data.Capnp.Classes.Decerialize Data.Capnp.Basics.Pure.Data instance Data.Capnp.Classes.Marshal Data.Capnp.Basics.Pure.Data -- | This module provides utilities for reading and writing values to and -- from file Handles. module Data.Capnp.IO -- | hGetValue limit handle reads a message from -- handle, returning its root object. limit is used as -- both a cap on the size of a message which may be read and, for types -- in the high-level API, the traversal limit when decoding the message. -- -- It may throw a Error if there is a problem decoding the -- message, or an IOError raised by the underlying IO libraries. hGetValue :: FromStruct ConstMsg a => Handle -> Int -> IO a -- | getValue is equivalent to hGetValue -- stdin. getValue :: FromStruct ConstMsg a => Int -> IO a -- | hPutValue handle value writes value to -- handle, as the root object of a message. If it throws an exception, it -- will be an IOError raised by the underlying IO libraries. hPutValue :: (Cerialize RealWorld a, ToStruct (MutMsg RealWorld) (Cerial (MutMsg RealWorld) a)) => Handle -> a -> IO () -- | putValue is equivalent to hPutValue -- stdin putValue :: (Cerialize RealWorld a, ToStruct (MutMsg RealWorld) (Cerial (MutMsg RealWorld) a)) => a -> IO () -- | This module re-exports the most commonly used functionality from the -- low-level API. See also Data.Capnp.Pure, which similarly -- re-exports functionality from the high-level API. -- -- Users getting acquainted with the library are *strongly* encouraged to -- read the Data.Capnp.Tutorial module before anything else. module Data.Capnp -- | Types which may be stored as an element of a capnproto list. class ListElem msg e where { data family List msg e; } -- | Get the length of a list. length :: ListElem msg e => List msg e -> Int -- | index i list gets the ith element of a list. index :: (ListElem msg e, ReadCtx m msg) => Int -> List msg e -> m e -- | Types which may be stored as an element of a *mutable* capnproto list. class (ListElem (MutMsg s) e) => MutListElem s e -- | setIndex value i list sets the ith index in -- list to @value setIndex :: (MutListElem s e, RWCtx m s) => e -> Int -> List (MutMsg s) e -> m () -- | newList msg size allocates and returns a new list of -- length size inside msg. newList :: (MutListElem s e, WriteCtx m s) => MutMsg s -> Int -> m (List (MutMsg s) e) -- | A blob of bytes (Data in capnproto's schema language). The -- argument to the data constructor is a slice into the message, -- containing the raw bytes. data Data msg -- | Convert a Data to a ByteString. dataBytes :: ReadCtx m msg => Data msg -> m ByteString -- | A textual string (Text in capnproto's schema language). On -- the wire, this is NUL-terminated. The encoding should be UTF-8, but -- the library does not verify this; users of the library must do -- validation themselves, if they care about this. -- -- Rationale: validation would require doing an up-front pass over the -- data, which runs counter to the overall design of capnproto. data Text msg -- | Convert a Text to a ByteString, comprising the raw bytes -- of the text (not counting the NUL terminator). textBytes :: ReadCtx m msg => Text msg -> m ByteString -- | A read-only capnproto message. -- -- ConstMsg is an instance of the generic Message type -- class. its implementations of toByteString and -- fromByteString are O(1); the underlying bytes are not copied. data ConstMsg -- | A Message is a (possibly read-only) capnproto message. It is -- parameterized over a monad in which operations are performed. class Monad m => Message m msg where { data family Segment msg; } -- | numSegs gets the number of segments in a message. numSegs :: Message m msg => msg -> m Int -- | internalGetSeg message index gets the segment at index -- index in message. Most callers should use the -- getSegment wrapper, instead of calling this directly. internalGetSeg :: Message m msg => msg -> Int -> m (Segment msg) -- | Get the length of the segment, in units of 64-bit words. numWords :: Message m msg => Segment msg -> m Int -- | slice start length segment extracts a sub-section of -- the segment, starting at index start, of length -- length. slice :: Message m msg => Int -> Int -> Segment msg -> m (Segment msg) -- | read segment index reads a 64-bit word from the -- segement at the given index. Consider using getWord on the -- message, instead of calling this directly. read :: Message m msg => Segment msg -> Int -> m Word64 -- | Convert a ByteString to a segment. fromByteString :: Message m msg => ByteString -> m (Segment msg) -- | Convert a segment to a byte string. toByteString :: Message m msg => Segment msg -> m ByteString -- | A MutMsg is a mutable capnproto message. The type parameter -- s is the state token for the instance of PrimMonad in -- which the message may be modified. -- -- Due to mutabilty, the implementations of toByteString and -- fromByteString must make full copies, and so are O(n) in the -- length of the segment. data MutMsg s -- | Allocate a new empty message. newMessage :: WriteCtx m s => m (MutMsg s) -- | Alias for decode decodeMessage :: MonadThrow m => ByteString -> m ConstMsg -- | Alias for encode encodeMessage :: MonadThrow m => ConstMsg -> m Builder -- | hPutMsg handle msg writes msg to -- handle. If there is an exception, it will be an -- IOError raised by the underlying IO libraries. hPutMsg :: Handle -> ConstMsg -> IO () -- | Equivalent to hPutMsg stdout putMsg :: ConstMsg -> IO () -- | hGetMsg handle limit reads a message from -- handle that is at most limit 64-bit words in length. hGetMsg :: Handle -> Int -> IO ConstMsg -- | Equivalent to hGetMsg stdin getMsg :: Int -> IO ConstMsg -- | getRoot returns the root object of a message. getRoot :: (FromStruct msg a, ReadCtx m msg) => msg -> m a -- | newRoot allocates and returns a new value inside the message, -- setting it as the root object of the message. newRoot :: (ToStruct (MutMsg s) a, Allocate s a, WriteCtx m s) => MutMsg s -> m a -- | setRoot sets its argument to be the root object in its message. setRoot :: (ToStruct (MutMsg s) a, WriteCtx m s) => a -> m () -- | hGetValue limit handle reads a message from -- handle, returning its root object. limit is used as -- both a cap on the size of a message which may be read and, for types -- in the high-level API, the traversal limit when decoding the message. -- -- It may throw a Error if there is a problem decoding the -- message, or an IOError raised by the underlying IO libraries. hGetValue :: FromStruct ConstMsg a => Handle -> Int -> IO a -- | getValue is equivalent to hGetValue -- stdin. getValue :: FromStruct ConstMsg a => Int -> IO a -- | WriteCtx is the context needed for most write operations. type WriteCtx m s = (PrimMonad m, s ~ PrimState m, MonadThrow m) -- | Type (constraint) synonym for the constraints needed for most read -- operations. type ReadCtx m msg = (Message m msg, MonadThrow m, MonadLimit m) -- | Synonym for ReadCtx + WriteCtx type RWCtx m s = (ReadCtx m (MutMsg s), WriteCtx m s) -- | PureBuilder is a monad transformer stack with the instnaces -- needed manipulate mutable messages. PureBuilder s a is -- morally equivalent to 'LimitT (CatchT (ST s)) a data PureBuilder s a -- | createPure limit m creates a capnproto value in pure -- code according to m, then freezes it without copying. If -- m calls throwM then createPure returns a -- Left with the exception. createPure :: Thaw a => Int -> (forall s. PureBuilder s (Mutable s a)) -> Either SomeException a -- | This module re-exports the most commonly used functionality from the -- high-level API. See also Data.Capnp, which does the same for -- the low-level API. -- -- Users getting acquainted with the library are *strongly* encouraged to -- read the Data.Capnp.Tutorial module before anything else. module Data.Capnp.Pure -- | hPutValue handle value writes value to -- handle, as the root object of a message. If it throws an exception, it -- will be an IOError raised by the underlying IO libraries. hPutValue :: (Cerialize RealWorld a, ToStruct (MutMsg RealWorld) (Cerial (MutMsg RealWorld) a)) => Handle -> a -> IO () -- | hGetValue limit handle reads a message from -- handle, returning its root object. limit is used as -- both a cap on the size of a message which may be read and, for types -- in the high-level API, the traversal limit when decoding the message. -- -- It may throw a Error if there is a problem decoding the -- message, or an IOError raised by the underlying IO libraries. hGetValue :: FromStruct ConstMsg a => Handle -> Int -> IO a -- | putValue is equivalent to hPutValue -- stdin putValue :: (Cerialize RealWorld a, ToStruct (MutMsg RealWorld) (Cerial (MutMsg RealWorld) a)) => a -> IO () -- | getValue is equivalent to hGetValue -- stdin. getValue :: FromStruct ConstMsg a => Int -> IO a -- | Alias for decode decodeMessage :: MonadThrow m => ByteString -> m ConstMsg -- | Alias for encode encodeMessage :: MonadThrow m => ConstMsg -> m Builder -- | A read-only capnproto message. -- -- ConstMsg is an instance of the generic Message type -- class. its implementations of toByteString and -- fromByteString are O(1); the underlying bytes are not copied. data ConstMsg -- | A Message is a (possibly read-only) capnproto message. It is -- parameterized over a monad in which operations are performed. class Monad m => Message m msg where { data family Segment msg; } -- | numSegs gets the number of segments in a message. numSegs :: Message m msg => msg -> m Int -- | internalGetSeg message index gets the segment at index -- index in message. Most callers should use the -- getSegment wrapper, instead of calling this directly. internalGetSeg :: Message m msg => msg -> Int -> m (Segment msg) -- | Get the length of the segment, in units of 64-bit words. numWords :: Message m msg => Segment msg -> m Int -- | slice start length segment extracts a sub-section of -- the segment, starting at index start, of length -- length. slice :: Message m msg => Int -> Int -> Segment msg -> m (Segment msg) -- | read segment index reads a 64-bit word from the -- segement at the given index. Consider using getWord on the -- message, instead of calling this directly. read :: Message m msg => Segment msg -> Int -> m Word64 -- | Convert a ByteString to a segment. fromByteString :: Message m msg => ByteString -> m (Segment msg) -- | Convert a segment to a byte string. toByteString :: Message m msg => Segment msg -> m ByteString -- | getRoot returns the root object of a message. getRoot :: (FromStruct msg a, ReadCtx m msg) => msg -> m a -- | Types which may be extracted from a message. -- -- typically, instances of Decerialize will be the algebraic data -- types defined in generated code for the high-level API. class Decerialize a where { type family Cerial msg a; } -- | Extract the value from the message. decerialize :: (Decerialize a, ReadCtx m ConstMsg) => Cerial ConstMsg a -> m a -- | Types which may be inserted into a message. class Decerialize a => Cerialize s a -- | Cerialize a value into the supplied message, returning the result. cerialize :: (Cerialize s a, RWCtx m s) => MutMsg s -> a -> m (Cerial (MutMsg s) a) -- | Cerialize a value into the supplied message, returning the result. cerialize :: (Cerialize s a, RWCtx m s, Marshal a, Allocate s (Cerial (MutMsg s) a)) => MutMsg s -> a -> m (Cerial (MutMsg s) a) -- | A capnproto Text. This is just an alias for the text -- package's Text. type Text = Text -- | A capnproto Data value. This is just an alias for -- ByteString. type Data = ByteString -- | The default value for this type. def :: Default a => a -- | This module provides a tutorial on the overall usage of the library. -- Note that it does not aim to provide a thorough introduction to -- capnproto itself; see https://capnproto.org for general -- information. module Data.Capnp.Tutorial -- | This module is the generated code for capnp/c++.capnp, for the -- low-level api. module Capnp.Capnp.Cxx module Capnp.ById.Xbdf87d7bb8304e81 -- | This module is the generated code for capnp/schema.capnp, for the -- low-level api. module Capnp.Capnp.Schema newtype Annotation msg Annotation_newtype_ :: (Struct msg) -> Annotation msg get_Annotation'id :: ReadCtx m msg => Annotation msg -> m Word64 has_Annotation'id :: ReadCtx m msg => Annotation msg -> m Bool set_Annotation'id :: RWCtx m s => Annotation (MutMsg s) -> Word64 -> m () get_Annotation'value :: ReadCtx m msg => Annotation msg -> m (Value msg) has_Annotation'value :: ReadCtx m msg => Annotation msg -> m Bool set_Annotation'value :: RWCtx m s => Annotation (MutMsg s) -> (Value (MutMsg s)) -> m () new_Annotation'value :: RWCtx m s => Annotation (MutMsg s) -> m ((Value (MutMsg s))) get_Annotation'brand :: ReadCtx m msg => Annotation msg -> m (Brand msg) has_Annotation'brand :: ReadCtx m msg => Annotation msg -> m Bool set_Annotation'brand :: RWCtx m s => Annotation (MutMsg s) -> (Brand (MutMsg s)) -> m () new_Annotation'brand :: RWCtx m s => Annotation (MutMsg s) -> m ((Brand (MutMsg s))) newtype Brand msg Brand_newtype_ :: (Struct msg) -> Brand msg get_Brand'scopes :: ReadCtx m msg => Brand msg -> m (List msg (Brand'Scope msg)) has_Brand'scopes :: ReadCtx m msg => Brand msg -> m Bool set_Brand'scopes :: RWCtx m s => Brand (MutMsg s) -> (List (MutMsg s) (Brand'Scope (MutMsg s))) -> m () new_Brand'scopes :: RWCtx m s => Int -> Brand (MutMsg s) -> m ((List (MutMsg s) (Brand'Scope (MutMsg s)))) newtype CapnpVersion msg CapnpVersion_newtype_ :: (Struct msg) -> CapnpVersion msg get_CapnpVersion'major :: ReadCtx m msg => CapnpVersion msg -> m Word16 has_CapnpVersion'major :: ReadCtx m msg => CapnpVersion msg -> m Bool set_CapnpVersion'major :: RWCtx m s => CapnpVersion (MutMsg s) -> Word16 -> m () get_CapnpVersion'minor :: ReadCtx m msg => CapnpVersion msg -> m Word8 has_CapnpVersion'minor :: ReadCtx m msg => CapnpVersion msg -> m Bool set_CapnpVersion'minor :: RWCtx m s => CapnpVersion (MutMsg s) -> Word8 -> m () get_CapnpVersion'micro :: ReadCtx m msg => CapnpVersion msg -> m Word8 has_CapnpVersion'micro :: ReadCtx m msg => CapnpVersion msg -> m Bool set_CapnpVersion'micro :: RWCtx m s => CapnpVersion (MutMsg s) -> Word8 -> m () newtype CodeGeneratorRequest msg CodeGeneratorRequest_newtype_ :: (Struct msg) -> CodeGeneratorRequest msg get_CodeGeneratorRequest'nodes :: ReadCtx m msg => CodeGeneratorRequest msg -> m (List msg (Node msg)) has_CodeGeneratorRequest'nodes :: ReadCtx m msg => CodeGeneratorRequest msg -> m Bool set_CodeGeneratorRequest'nodes :: RWCtx m s => CodeGeneratorRequest (MutMsg s) -> (List (MutMsg s) (Node (MutMsg s))) -> m () new_CodeGeneratorRequest'nodes :: RWCtx m s => Int -> CodeGeneratorRequest (MutMsg s) -> m ((List (MutMsg s) (Node (MutMsg s)))) get_CodeGeneratorRequest'requestedFiles :: ReadCtx m msg => CodeGeneratorRequest msg -> m (List msg (CodeGeneratorRequest'RequestedFile msg)) has_CodeGeneratorRequest'requestedFiles :: ReadCtx m msg => CodeGeneratorRequest msg -> m Bool set_CodeGeneratorRequest'requestedFiles :: RWCtx m s => CodeGeneratorRequest (MutMsg s) -> (List (MutMsg s) (CodeGeneratorRequest'RequestedFile (MutMsg s))) -> m () new_CodeGeneratorRequest'requestedFiles :: RWCtx m s => Int -> CodeGeneratorRequest (MutMsg s) -> m ((List (MutMsg s) (CodeGeneratorRequest'RequestedFile (MutMsg s)))) get_CodeGeneratorRequest'capnpVersion :: ReadCtx m msg => CodeGeneratorRequest msg -> m (CapnpVersion msg) has_CodeGeneratorRequest'capnpVersion :: ReadCtx m msg => CodeGeneratorRequest msg -> m Bool set_CodeGeneratorRequest'capnpVersion :: RWCtx m s => CodeGeneratorRequest (MutMsg s) -> (CapnpVersion (MutMsg s)) -> m () new_CodeGeneratorRequest'capnpVersion :: RWCtx m s => CodeGeneratorRequest (MutMsg s) -> m ((CapnpVersion (MutMsg s))) data ElementSize ElementSize'empty :: ElementSize ElementSize'bit :: ElementSize ElementSize'byte :: ElementSize ElementSize'twoBytes :: ElementSize ElementSize'fourBytes :: ElementSize ElementSize'eightBytes :: ElementSize ElementSize'pointer :: ElementSize ElementSize'inlineComposite :: ElementSize ElementSize'unknown' :: Word16 -> ElementSize newtype Enumerant msg Enumerant_newtype_ :: (Struct msg) -> Enumerant msg get_Enumerant'name :: ReadCtx m msg => Enumerant msg -> m (Text msg) has_Enumerant'name :: ReadCtx m msg => Enumerant msg -> m Bool set_Enumerant'name :: RWCtx m s => Enumerant (MutMsg s) -> (Text (MutMsg s)) -> m () new_Enumerant'name :: RWCtx m s => Int -> Enumerant (MutMsg s) -> m ((Text (MutMsg s))) get_Enumerant'codeOrder :: ReadCtx m msg => Enumerant msg -> m Word16 has_Enumerant'codeOrder :: ReadCtx m msg => Enumerant msg -> m Bool set_Enumerant'codeOrder :: RWCtx m s => Enumerant (MutMsg s) -> Word16 -> m () get_Enumerant'annotations :: ReadCtx m msg => Enumerant msg -> m (List msg (Annotation msg)) has_Enumerant'annotations :: ReadCtx m msg => Enumerant msg -> m Bool set_Enumerant'annotations :: RWCtx m s => Enumerant (MutMsg s) -> (List (MutMsg s) (Annotation (MutMsg s))) -> m () new_Enumerant'annotations :: RWCtx m s => Int -> Enumerant (MutMsg s) -> m ((List (MutMsg s) (Annotation (MutMsg s)))) newtype Field msg Field_newtype_ :: (Struct msg) -> Field msg get_Field'name :: ReadCtx m msg => Field msg -> m (Text msg) has_Field'name :: ReadCtx m msg => Field msg -> m Bool set_Field'name :: RWCtx m s => Field (MutMsg s) -> (Text (MutMsg s)) -> m () new_Field'name :: RWCtx m s => Int -> Field (MutMsg s) -> m ((Text (MutMsg s))) get_Field'codeOrder :: ReadCtx m msg => Field msg -> m Word16 has_Field'codeOrder :: ReadCtx m msg => Field msg -> m Bool set_Field'codeOrder :: RWCtx m s => Field (MutMsg s) -> Word16 -> m () get_Field'annotations :: ReadCtx m msg => Field msg -> m (List msg (Annotation msg)) has_Field'annotations :: ReadCtx m msg => Field msg -> m Bool set_Field'annotations :: RWCtx m s => Field (MutMsg s) -> (List (MutMsg s) (Annotation (MutMsg s))) -> m () new_Field'annotations :: RWCtx m s => Int -> Field (MutMsg s) -> m ((List (MutMsg s) (Annotation (MutMsg s)))) get_Field'discriminantValue :: ReadCtx m msg => Field msg -> m Word16 has_Field'discriminantValue :: ReadCtx m msg => Field msg -> m Bool set_Field'discriminantValue :: RWCtx m s => Field (MutMsg s) -> Word16 -> m () get_Field'ordinal :: ReadCtx m msg => Field msg -> m (Field'ordinal msg) has_Field'ordinal :: ReadCtx m msg => Field msg -> m Bool get_Field'union' :: ReadCtx m msg => Field msg -> m (Field' msg) has_Field'union' :: ReadCtx m msg => Field msg -> m Bool newtype Method msg Method_newtype_ :: (Struct msg) -> Method msg get_Method'name :: ReadCtx m msg => Method msg -> m (Text msg) has_Method'name :: ReadCtx m msg => Method msg -> m Bool set_Method'name :: RWCtx m s => Method (MutMsg s) -> (Text (MutMsg s)) -> m () new_Method'name :: RWCtx m s => Int -> Method (MutMsg s) -> m ((Text (MutMsg s))) get_Method'codeOrder :: ReadCtx m msg => Method msg -> m Word16 has_Method'codeOrder :: ReadCtx m msg => Method msg -> m Bool set_Method'codeOrder :: RWCtx m s => Method (MutMsg s) -> Word16 -> m () get_Method'paramStructType :: ReadCtx m msg => Method msg -> m Word64 has_Method'paramStructType :: ReadCtx m msg => Method msg -> m Bool set_Method'paramStructType :: RWCtx m s => Method (MutMsg s) -> Word64 -> m () get_Method'resultStructType :: ReadCtx m msg => Method msg -> m Word64 has_Method'resultStructType :: ReadCtx m msg => Method msg -> m Bool set_Method'resultStructType :: RWCtx m s => Method (MutMsg s) -> Word64 -> m () get_Method'annotations :: ReadCtx m msg => Method msg -> m (List msg (Annotation msg)) has_Method'annotations :: ReadCtx m msg => Method msg -> m Bool set_Method'annotations :: RWCtx m s => Method (MutMsg s) -> (List (MutMsg s) (Annotation (MutMsg s))) -> m () new_Method'annotations :: RWCtx m s => Int -> Method (MutMsg s) -> m ((List (MutMsg s) (Annotation (MutMsg s)))) get_Method'paramBrand :: ReadCtx m msg => Method msg -> m (Brand msg) has_Method'paramBrand :: ReadCtx m msg => Method msg -> m Bool set_Method'paramBrand :: RWCtx m s => Method (MutMsg s) -> (Brand (MutMsg s)) -> m () new_Method'paramBrand :: RWCtx m s => Method (MutMsg s) -> m ((Brand (MutMsg s))) get_Method'resultBrand :: ReadCtx m msg => Method msg -> m (Brand msg) has_Method'resultBrand :: ReadCtx m msg => Method msg -> m Bool set_Method'resultBrand :: RWCtx m s => Method (MutMsg s) -> (Brand (MutMsg s)) -> m () new_Method'resultBrand :: RWCtx m s => Method (MutMsg s) -> m ((Brand (MutMsg s))) get_Method'implicitParameters :: ReadCtx m msg => Method msg -> m (List msg (Node'Parameter msg)) has_Method'implicitParameters :: ReadCtx m msg => Method msg -> m Bool set_Method'implicitParameters :: RWCtx m s => Method (MutMsg s) -> (List (MutMsg s) (Node'Parameter (MutMsg s))) -> m () new_Method'implicitParameters :: RWCtx m s => Int -> Method (MutMsg s) -> m ((List (MutMsg s) (Node'Parameter (MutMsg s)))) newtype Node msg Node_newtype_ :: (Struct msg) -> Node msg get_Node'id :: ReadCtx m msg => Node msg -> m Word64 has_Node'id :: ReadCtx m msg => Node msg -> m Bool set_Node'id :: RWCtx m s => Node (MutMsg s) -> Word64 -> m () get_Node'displayName :: ReadCtx m msg => Node msg -> m (Text msg) has_Node'displayName :: ReadCtx m msg => Node msg -> m Bool set_Node'displayName :: RWCtx m s => Node (MutMsg s) -> (Text (MutMsg s)) -> m () new_Node'displayName :: RWCtx m s => Int -> Node (MutMsg s) -> m ((Text (MutMsg s))) get_Node'displayNamePrefixLength :: ReadCtx m msg => Node msg -> m Word32 has_Node'displayNamePrefixLength :: ReadCtx m msg => Node msg -> m Bool set_Node'displayNamePrefixLength :: RWCtx m s => Node (MutMsg s) -> Word32 -> m () get_Node'scopeId :: ReadCtx m msg => Node msg -> m Word64 has_Node'scopeId :: ReadCtx m msg => Node msg -> m Bool set_Node'scopeId :: RWCtx m s => Node (MutMsg s) -> Word64 -> m () get_Node'nestedNodes :: ReadCtx m msg => Node msg -> m (List msg (Node'NestedNode msg)) has_Node'nestedNodes :: ReadCtx m msg => Node msg -> m Bool set_Node'nestedNodes :: RWCtx m s => Node (MutMsg s) -> (List (MutMsg s) (Node'NestedNode (MutMsg s))) -> m () new_Node'nestedNodes :: RWCtx m s => Int -> Node (MutMsg s) -> m ((List (MutMsg s) (Node'NestedNode (MutMsg s)))) get_Node'annotations :: ReadCtx m msg => Node msg -> m (List msg (Annotation msg)) has_Node'annotations :: ReadCtx m msg => Node msg -> m Bool set_Node'annotations :: RWCtx m s => Node (MutMsg s) -> (List (MutMsg s) (Annotation (MutMsg s))) -> m () new_Node'annotations :: RWCtx m s => Int -> Node (MutMsg s) -> m ((List (MutMsg s) (Annotation (MutMsg s)))) get_Node'parameters :: ReadCtx m msg => Node msg -> m (List msg (Node'Parameter msg)) has_Node'parameters :: ReadCtx m msg => Node msg -> m Bool set_Node'parameters :: RWCtx m s => Node (MutMsg s) -> (List (MutMsg s) (Node'Parameter (MutMsg s))) -> m () new_Node'parameters :: RWCtx m s => Int -> Node (MutMsg s) -> m ((List (MutMsg s) (Node'Parameter (MutMsg s)))) get_Node'isGeneric :: ReadCtx m msg => Node msg -> m Bool has_Node'isGeneric :: ReadCtx m msg => Node msg -> m Bool set_Node'isGeneric :: RWCtx m s => Node (MutMsg s) -> Bool -> m () get_Node'union' :: ReadCtx m msg => Node msg -> m (Node' msg) has_Node'union' :: ReadCtx m msg => Node msg -> m Bool newtype Superclass msg Superclass_newtype_ :: (Struct msg) -> Superclass msg get_Superclass'id :: ReadCtx m msg => Superclass msg -> m Word64 has_Superclass'id :: ReadCtx m msg => Superclass msg -> m Bool set_Superclass'id :: RWCtx m s => Superclass (MutMsg s) -> Word64 -> m () get_Superclass'brand :: ReadCtx m msg => Superclass msg -> m (Brand msg) has_Superclass'brand :: ReadCtx m msg => Superclass msg -> m Bool set_Superclass'brand :: RWCtx m s => Superclass (MutMsg s) -> (Brand (MutMsg s)) -> m () new_Superclass'brand :: RWCtx m s => Superclass (MutMsg s) -> m ((Brand (MutMsg s))) newtype Type msg Type_newtype_ :: (Struct msg) -> Type msg data Type' msg Type'void :: Type' msg Type'bool :: Type' msg Type'int8 :: Type' msg Type'int16 :: Type' msg Type'int32 :: Type' msg Type'int64 :: Type' msg Type'uint8 :: Type' msg Type'uint16 :: Type' msg Type'uint32 :: Type' msg Type'uint64 :: Type' msg Type'float32 :: Type' msg Type'float64 :: Type' msg Type'text :: Type' msg Type'data_ :: Type' msg Type'list :: (Type'list'group' msg) -> Type' msg Type'enum :: (Type'enum'group' msg) -> Type' msg Type'struct :: (Type'struct'group' msg) -> Type' msg Type'interface :: (Type'interface'group' msg) -> Type' msg Type'anyPointer :: (Type'anyPointer'group' msg) -> Type' msg Type'unknown' :: Word16 -> Type' msg get_Type' :: ReadCtx m msg => Type msg -> m (Type' msg) has_Type' :: ReadCtx m msg => Type msg -> m Bool set_Type'void :: RWCtx m s => Type (MutMsg s) -> m () set_Type'bool :: RWCtx m s => Type (MutMsg s) -> m () set_Type'int8 :: RWCtx m s => Type (MutMsg s) -> m () set_Type'int16 :: RWCtx m s => Type (MutMsg s) -> m () set_Type'int32 :: RWCtx m s => Type (MutMsg s) -> m () set_Type'int64 :: RWCtx m s => Type (MutMsg s) -> m () set_Type'uint8 :: RWCtx m s => Type (MutMsg s) -> m () set_Type'uint16 :: RWCtx m s => Type (MutMsg s) -> m () set_Type'uint32 :: RWCtx m s => Type (MutMsg s) -> m () set_Type'uint64 :: RWCtx m s => Type (MutMsg s) -> m () set_Type'float32 :: RWCtx m s => Type (MutMsg s) -> m () set_Type'float64 :: RWCtx m s => Type (MutMsg s) -> m () set_Type'text :: RWCtx m s => Type (MutMsg s) -> m () set_Type'data_ :: RWCtx m s => Type (MutMsg s) -> m () set_Type'list :: RWCtx m s => Type (MutMsg s) -> m (Type'list'group' (MutMsg s)) set_Type'enum :: RWCtx m s => Type (MutMsg s) -> m (Type'enum'group' (MutMsg s)) set_Type'struct :: RWCtx m s => Type (MutMsg s) -> m (Type'struct'group' (MutMsg s)) set_Type'interface :: RWCtx m s => Type (MutMsg s) -> m (Type'interface'group' (MutMsg s)) set_Type'anyPointer :: RWCtx m s => Type (MutMsg s) -> m (Type'anyPointer'group' (MutMsg s)) set_Type'unknown' :: RWCtx m s => Type (MutMsg s) -> Word16 -> m () newtype Type'list'group' msg Type'list'group'_newtype_ :: (Struct msg) -> Type'list'group' msg get_Type'list'elementType :: ReadCtx m msg => Type'list'group' msg -> m (Type msg) has_Type'list'elementType :: ReadCtx m msg => Type'list'group' msg -> m Bool set_Type'list'elementType :: RWCtx m s => Type'list'group' (MutMsg s) -> (Type (MutMsg s)) -> m () new_Type'list'elementType :: RWCtx m s => Type'list'group' (MutMsg s) -> m ((Type (MutMsg s))) newtype Type'enum'group' msg Type'enum'group'_newtype_ :: (Struct msg) -> Type'enum'group' msg get_Type'enum'typeId :: ReadCtx m msg => Type'enum'group' msg -> m Word64 has_Type'enum'typeId :: ReadCtx m msg => Type'enum'group' msg -> m Bool set_Type'enum'typeId :: RWCtx m s => Type'enum'group' (MutMsg s) -> Word64 -> m () get_Type'enum'brand :: ReadCtx m msg => Type'enum'group' msg -> m (Brand msg) has_Type'enum'brand :: ReadCtx m msg => Type'enum'group' msg -> m Bool set_Type'enum'brand :: RWCtx m s => Type'enum'group' (MutMsg s) -> (Brand (MutMsg s)) -> m () new_Type'enum'brand :: RWCtx m s => Type'enum'group' (MutMsg s) -> m ((Brand (MutMsg s))) newtype Type'struct'group' msg Type'struct'group'_newtype_ :: (Struct msg) -> Type'struct'group' msg get_Type'struct'typeId :: ReadCtx m msg => Type'struct'group' msg -> m Word64 has_Type'struct'typeId :: ReadCtx m msg => Type'struct'group' msg -> m Bool set_Type'struct'typeId :: RWCtx m s => Type'struct'group' (MutMsg s) -> Word64 -> m () get_Type'struct'brand :: ReadCtx m msg => Type'struct'group' msg -> m (Brand msg) has_Type'struct'brand :: ReadCtx m msg => Type'struct'group' msg -> m Bool set_Type'struct'brand :: RWCtx m s => Type'struct'group' (MutMsg s) -> (Brand (MutMsg s)) -> m () new_Type'struct'brand :: RWCtx m s => Type'struct'group' (MutMsg s) -> m ((Brand (MutMsg s))) newtype Type'interface'group' msg Type'interface'group'_newtype_ :: (Struct msg) -> Type'interface'group' msg get_Type'interface'typeId :: ReadCtx m msg => Type'interface'group' msg -> m Word64 has_Type'interface'typeId :: ReadCtx m msg => Type'interface'group' msg -> m Bool set_Type'interface'typeId :: RWCtx m s => Type'interface'group' (MutMsg s) -> Word64 -> m () get_Type'interface'brand :: ReadCtx m msg => Type'interface'group' msg -> m (Brand msg) has_Type'interface'brand :: ReadCtx m msg => Type'interface'group' msg -> m Bool set_Type'interface'brand :: RWCtx m s => Type'interface'group' (MutMsg s) -> (Brand (MutMsg s)) -> m () new_Type'interface'brand :: RWCtx m s => Type'interface'group' (MutMsg s) -> m ((Brand (MutMsg s))) newtype Type'anyPointer'group' msg Type'anyPointer'group'_newtype_ :: (Struct msg) -> Type'anyPointer'group' msg get_Type'anyPointer'union' :: ReadCtx m msg => Type'anyPointer'group' msg -> m (Type'anyPointer msg) has_Type'anyPointer'union' :: ReadCtx m msg => Type'anyPointer'group' msg -> m Bool newtype Value msg Value_newtype_ :: (Struct msg) -> Value msg data Value' msg Value'void :: Value' msg Value'bool :: Bool -> Value' msg Value'int8 :: Int8 -> Value' msg Value'int16 :: Int16 -> Value' msg Value'int32 :: Int32 -> Value' msg Value'int64 :: Int64 -> Value' msg Value'uint8 :: Word8 -> Value' msg Value'uint16 :: Word16 -> Value' msg Value'uint32 :: Word32 -> Value' msg Value'uint64 :: Word64 -> Value' msg Value'float32 :: Float -> Value' msg Value'float64 :: Double -> Value' msg Value'text :: (Text msg) -> Value' msg Value'data_ :: (Data msg) -> Value' msg Value'list :: (Maybe (Ptr msg)) -> Value' msg Value'enum :: Word16 -> Value' msg Value'struct :: (Maybe (Ptr msg)) -> Value' msg Value'interface :: Value' msg Value'anyPointer :: (Maybe (Ptr msg)) -> Value' msg Value'unknown' :: Word16 -> Value' msg get_Value' :: ReadCtx m msg => Value msg -> m (Value' msg) has_Value' :: ReadCtx m msg => Value msg -> m Bool set_Value'void :: RWCtx m s => Value (MutMsg s) -> m () set_Value'bool :: RWCtx m s => Value (MutMsg s) -> Bool -> m () set_Value'int8 :: RWCtx m s => Value (MutMsg s) -> Int8 -> m () set_Value'int16 :: RWCtx m s => Value (MutMsg s) -> Int16 -> m () set_Value'int32 :: RWCtx m s => Value (MutMsg s) -> Int32 -> m () set_Value'int64 :: RWCtx m s => Value (MutMsg s) -> Int64 -> m () set_Value'uint8 :: RWCtx m s => Value (MutMsg s) -> Word8 -> m () set_Value'uint16 :: RWCtx m s => Value (MutMsg s) -> Word16 -> m () set_Value'uint32 :: RWCtx m s => Value (MutMsg s) -> Word32 -> m () set_Value'uint64 :: RWCtx m s => Value (MutMsg s) -> Word64 -> m () set_Value'float32 :: RWCtx m s => Value (MutMsg s) -> Float -> m () set_Value'float64 :: RWCtx m s => Value (MutMsg s) -> Double -> m () set_Value'text :: RWCtx m s => Value (MutMsg s) -> (Text (MutMsg s)) -> m () new_Value'text :: RWCtx m s => Int -> Value (MutMsg s) -> m ((Text (MutMsg s))) set_Value'data_ :: RWCtx m s => Value (MutMsg s) -> (Data (MutMsg s)) -> m () new_Value'data_ :: RWCtx m s => Int -> Value (MutMsg s) -> m ((Data (MutMsg s))) set_Value'list :: RWCtx m s => Value (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () set_Value'enum :: RWCtx m s => Value (MutMsg s) -> Word16 -> m () set_Value'struct :: RWCtx m s => Value (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () set_Value'interface :: RWCtx m s => Value (MutMsg s) -> m () set_Value'anyPointer :: RWCtx m s => Value (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () set_Value'unknown' :: RWCtx m s => Value (MutMsg s) -> Word16 -> m () newtype Brand'Binding msg Brand'Binding_newtype_ :: (Struct msg) -> Brand'Binding msg data Brand'Binding' msg Brand'Binding'unbound :: Brand'Binding' msg Brand'Binding'type_ :: (Type msg) -> Brand'Binding' msg Brand'Binding'unknown' :: Word16 -> Brand'Binding' msg get_Brand'Binding' :: ReadCtx m msg => Brand'Binding msg -> m (Brand'Binding' msg) has_Brand'Binding' :: ReadCtx m msg => Brand'Binding msg -> m Bool set_Brand'Binding'unbound :: RWCtx m s => Brand'Binding (MutMsg s) -> m () set_Brand'Binding'type_ :: RWCtx m s => Brand'Binding (MutMsg s) -> (Type (MutMsg s)) -> m () new_Brand'Binding'type_ :: RWCtx m s => Brand'Binding (MutMsg s) -> m ((Type (MutMsg s))) set_Brand'Binding'unknown' :: RWCtx m s => Brand'Binding (MutMsg s) -> Word16 -> m () newtype Brand'Scope msg Brand'Scope_newtype_ :: (Struct msg) -> Brand'Scope msg get_Brand'Scope'scopeId :: ReadCtx m msg => Brand'Scope msg -> m Word64 has_Brand'Scope'scopeId :: ReadCtx m msg => Brand'Scope msg -> m Bool set_Brand'Scope'scopeId :: RWCtx m s => Brand'Scope (MutMsg s) -> Word64 -> m () get_Brand'Scope'union' :: ReadCtx m msg => Brand'Scope msg -> m (Brand'Scope' msg) has_Brand'Scope'union' :: ReadCtx m msg => Brand'Scope msg -> m Bool newtype Brand'Scope' msg Brand'Scope'_newtype_ :: (Struct msg) -> Brand'Scope' msg data Brand'Scope'' msg Brand'Scope'bind :: (List msg (Brand'Binding msg)) -> Brand'Scope'' msg Brand'Scope'inherit :: Brand'Scope'' msg Brand'Scope'unknown' :: Word16 -> Brand'Scope'' msg get_Brand'Scope'' :: ReadCtx m msg => Brand'Scope' msg -> m (Brand'Scope'' msg) has_Brand'Scope'' :: ReadCtx m msg => Brand'Scope' msg -> m Bool set_Brand'Scope'bind :: RWCtx m s => Brand'Scope' (MutMsg s) -> (List (MutMsg s) (Brand'Binding (MutMsg s))) -> m () new_Brand'Scope'bind :: RWCtx m s => Int -> Brand'Scope' (MutMsg s) -> m ((List (MutMsg s) (Brand'Binding (MutMsg s)))) set_Brand'Scope'inherit :: RWCtx m s => Brand'Scope' (MutMsg s) -> m () set_Brand'Scope'unknown' :: RWCtx m s => Brand'Scope' (MutMsg s) -> Word16 -> m () newtype CodeGeneratorRequest'RequestedFile msg CodeGeneratorRequest'RequestedFile_newtype_ :: (Struct msg) -> CodeGeneratorRequest'RequestedFile msg get_CodeGeneratorRequest'RequestedFile'id :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile msg -> m Word64 has_CodeGeneratorRequest'RequestedFile'id :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile msg -> m Bool set_CodeGeneratorRequest'RequestedFile'id :: RWCtx m s => CodeGeneratorRequest'RequestedFile (MutMsg s) -> Word64 -> m () get_CodeGeneratorRequest'RequestedFile'filename :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile msg -> m (Text msg) has_CodeGeneratorRequest'RequestedFile'filename :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile msg -> m Bool set_CodeGeneratorRequest'RequestedFile'filename :: RWCtx m s => CodeGeneratorRequest'RequestedFile (MutMsg s) -> (Text (MutMsg s)) -> m () new_CodeGeneratorRequest'RequestedFile'filename :: RWCtx m s => Int -> CodeGeneratorRequest'RequestedFile (MutMsg s) -> m ((Text (MutMsg s))) get_CodeGeneratorRequest'RequestedFile'imports :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile msg -> m (List msg (CodeGeneratorRequest'RequestedFile'Import msg)) has_CodeGeneratorRequest'RequestedFile'imports :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile msg -> m Bool set_CodeGeneratorRequest'RequestedFile'imports :: RWCtx m s => CodeGeneratorRequest'RequestedFile (MutMsg s) -> (List (MutMsg s) (CodeGeneratorRequest'RequestedFile'Import (MutMsg s))) -> m () new_CodeGeneratorRequest'RequestedFile'imports :: RWCtx m s => Int -> CodeGeneratorRequest'RequestedFile (MutMsg s) -> m ((List (MutMsg s) (CodeGeneratorRequest'RequestedFile'Import (MutMsg s)))) newtype CodeGeneratorRequest'RequestedFile'Import msg CodeGeneratorRequest'RequestedFile'Import_newtype_ :: (Struct msg) -> CodeGeneratorRequest'RequestedFile'Import msg get_CodeGeneratorRequest'RequestedFile'Import'id :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile'Import msg -> m Word64 has_CodeGeneratorRequest'RequestedFile'Import'id :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile'Import msg -> m Bool set_CodeGeneratorRequest'RequestedFile'Import'id :: RWCtx m s => CodeGeneratorRequest'RequestedFile'Import (MutMsg s) -> Word64 -> m () get_CodeGeneratorRequest'RequestedFile'Import'name :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile'Import msg -> m (Text msg) has_CodeGeneratorRequest'RequestedFile'Import'name :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile'Import msg -> m Bool set_CodeGeneratorRequest'RequestedFile'Import'name :: RWCtx m s => CodeGeneratorRequest'RequestedFile'Import (MutMsg s) -> (Text (MutMsg s)) -> m () new_CodeGeneratorRequest'RequestedFile'Import'name :: RWCtx m s => Int -> CodeGeneratorRequest'RequestedFile'Import (MutMsg s) -> m ((Text (MutMsg s))) newtype Field' msg Field'_newtype_ :: (Struct msg) -> Field' msg data Field'' msg Field'slot :: (Field'slot'group' msg) -> Field'' msg Field'group :: (Field'group'group' msg) -> Field'' msg Field'unknown' :: Word16 -> Field'' msg get_Field'' :: ReadCtx m msg => Field' msg -> m (Field'' msg) has_Field'' :: ReadCtx m msg => Field' msg -> m Bool set_Field'slot :: RWCtx m s => Field' (MutMsg s) -> m (Field'slot'group' (MutMsg s)) set_Field'group :: RWCtx m s => Field' (MutMsg s) -> m (Field'group'group' (MutMsg s)) set_Field'unknown' :: RWCtx m s => Field' (MutMsg s) -> Word16 -> m () newtype Field'slot'group' msg Field'slot'group'_newtype_ :: (Struct msg) -> Field'slot'group' msg get_Field'slot'offset :: ReadCtx m msg => Field'slot'group' msg -> m Word32 has_Field'slot'offset :: ReadCtx m msg => Field'slot'group' msg -> m Bool set_Field'slot'offset :: RWCtx m s => Field'slot'group' (MutMsg s) -> Word32 -> m () get_Field'slot'type_ :: ReadCtx m msg => Field'slot'group' msg -> m (Type msg) has_Field'slot'type_ :: ReadCtx m msg => Field'slot'group' msg -> m Bool set_Field'slot'type_ :: RWCtx m s => Field'slot'group' (MutMsg s) -> (Type (MutMsg s)) -> m () new_Field'slot'type_ :: RWCtx m s => Field'slot'group' (MutMsg s) -> m ((Type (MutMsg s))) get_Field'slot'defaultValue :: ReadCtx m msg => Field'slot'group' msg -> m (Value msg) has_Field'slot'defaultValue :: ReadCtx m msg => Field'slot'group' msg -> m Bool set_Field'slot'defaultValue :: RWCtx m s => Field'slot'group' (MutMsg s) -> (Value (MutMsg s)) -> m () new_Field'slot'defaultValue :: RWCtx m s => Field'slot'group' (MutMsg s) -> m ((Value (MutMsg s))) get_Field'slot'hadExplicitDefault :: ReadCtx m msg => Field'slot'group' msg -> m Bool has_Field'slot'hadExplicitDefault :: ReadCtx m msg => Field'slot'group' msg -> m Bool set_Field'slot'hadExplicitDefault :: RWCtx m s => Field'slot'group' (MutMsg s) -> Bool -> m () newtype Field'group'group' msg Field'group'group'_newtype_ :: (Struct msg) -> Field'group'group' msg get_Field'group'typeId :: ReadCtx m msg => Field'group'group' msg -> m Word64 has_Field'group'typeId :: ReadCtx m msg => Field'group'group' msg -> m Bool set_Field'group'typeId :: RWCtx m s => Field'group'group' (MutMsg s) -> Word64 -> m () field'noDiscriminant :: Word16 newtype Field'ordinal msg Field'ordinal_newtype_ :: (Struct msg) -> Field'ordinal msg data Field'ordinal' msg Field'ordinal'implicit :: Field'ordinal' msg Field'ordinal'explicit :: Word16 -> Field'ordinal' msg Field'ordinal'unknown' :: Word16 -> Field'ordinal' msg get_Field'ordinal' :: ReadCtx m msg => Field'ordinal msg -> m (Field'ordinal' msg) has_Field'ordinal' :: ReadCtx m msg => Field'ordinal msg -> m Bool set_Field'ordinal'implicit :: RWCtx m s => Field'ordinal (MutMsg s) -> m () set_Field'ordinal'explicit :: RWCtx m s => Field'ordinal (MutMsg s) -> Word16 -> m () set_Field'ordinal'unknown' :: RWCtx m s => Field'ordinal (MutMsg s) -> Word16 -> m () newtype Node' msg Node'_newtype_ :: (Struct msg) -> Node' msg data Node'' msg Node'file :: Node'' msg Node'struct :: (Node'struct'group' msg) -> Node'' msg Node'enum :: (Node'enum'group' msg) -> Node'' msg Node'interface :: (Node'interface'group' msg) -> Node'' msg Node'const :: (Node'const'group' msg) -> Node'' msg Node'annotation :: (Node'annotation'group' msg) -> Node'' msg Node'unknown' :: Word16 -> Node'' msg get_Node'' :: ReadCtx m msg => Node' msg -> m (Node'' msg) has_Node'' :: ReadCtx m msg => Node' msg -> m Bool set_Node'file :: RWCtx m s => Node' (MutMsg s) -> m () set_Node'struct :: RWCtx m s => Node' (MutMsg s) -> m (Node'struct'group' (MutMsg s)) set_Node'enum :: RWCtx m s => Node' (MutMsg s) -> m (Node'enum'group' (MutMsg s)) set_Node'interface :: RWCtx m s => Node' (MutMsg s) -> m (Node'interface'group' (MutMsg s)) set_Node'const :: RWCtx m s => Node' (MutMsg s) -> m (Node'const'group' (MutMsg s)) set_Node'annotation :: RWCtx m s => Node' (MutMsg s) -> m (Node'annotation'group' (MutMsg s)) set_Node'unknown' :: RWCtx m s => Node' (MutMsg s) -> Word16 -> m () newtype Node'struct'group' msg Node'struct'group'_newtype_ :: (Struct msg) -> Node'struct'group' msg get_Node'struct'dataWordCount :: ReadCtx m msg => Node'struct'group' msg -> m Word16 has_Node'struct'dataWordCount :: ReadCtx m msg => Node'struct'group' msg -> m Bool set_Node'struct'dataWordCount :: RWCtx m s => Node'struct'group' (MutMsg s) -> Word16 -> m () get_Node'struct'pointerCount :: ReadCtx m msg => Node'struct'group' msg -> m Word16 has_Node'struct'pointerCount :: ReadCtx m msg => Node'struct'group' msg -> m Bool set_Node'struct'pointerCount :: RWCtx m s => Node'struct'group' (MutMsg s) -> Word16 -> m () get_Node'struct'preferredListEncoding :: ReadCtx m msg => Node'struct'group' msg -> m ElementSize has_Node'struct'preferredListEncoding :: ReadCtx m msg => Node'struct'group' msg -> m Bool set_Node'struct'preferredListEncoding :: RWCtx m s => Node'struct'group' (MutMsg s) -> ElementSize -> m () get_Node'struct'isGroup :: ReadCtx m msg => Node'struct'group' msg -> m Bool has_Node'struct'isGroup :: ReadCtx m msg => Node'struct'group' msg -> m Bool set_Node'struct'isGroup :: RWCtx m s => Node'struct'group' (MutMsg s) -> Bool -> m () get_Node'struct'discriminantCount :: ReadCtx m msg => Node'struct'group' msg -> m Word16 has_Node'struct'discriminantCount :: ReadCtx m msg => Node'struct'group' msg -> m Bool set_Node'struct'discriminantCount :: RWCtx m s => Node'struct'group' (MutMsg s) -> Word16 -> m () get_Node'struct'discriminantOffset :: ReadCtx m msg => Node'struct'group' msg -> m Word32 has_Node'struct'discriminantOffset :: ReadCtx m msg => Node'struct'group' msg -> m Bool set_Node'struct'discriminantOffset :: RWCtx m s => Node'struct'group' (MutMsg s) -> Word32 -> m () get_Node'struct'fields :: ReadCtx m msg => Node'struct'group' msg -> m (List msg (Field msg)) has_Node'struct'fields :: ReadCtx m msg => Node'struct'group' msg -> m Bool set_Node'struct'fields :: RWCtx m s => Node'struct'group' (MutMsg s) -> (List (MutMsg s) (Field (MutMsg s))) -> m () new_Node'struct'fields :: RWCtx m s => Int -> Node'struct'group' (MutMsg s) -> m ((List (MutMsg s) (Field (MutMsg s)))) newtype Node'enum'group' msg Node'enum'group'_newtype_ :: (Struct msg) -> Node'enum'group' msg get_Node'enum'enumerants :: ReadCtx m msg => Node'enum'group' msg -> m (List msg (Enumerant msg)) has_Node'enum'enumerants :: ReadCtx m msg => Node'enum'group' msg -> m Bool set_Node'enum'enumerants :: RWCtx m s => Node'enum'group' (MutMsg s) -> (List (MutMsg s) (Enumerant (MutMsg s))) -> m () new_Node'enum'enumerants :: RWCtx m s => Int -> Node'enum'group' (MutMsg s) -> m ((List (MutMsg s) (Enumerant (MutMsg s)))) newtype Node'interface'group' msg Node'interface'group'_newtype_ :: (Struct msg) -> Node'interface'group' msg get_Node'interface'methods :: ReadCtx m msg => Node'interface'group' msg -> m (List msg (Method msg)) has_Node'interface'methods :: ReadCtx m msg => Node'interface'group' msg -> m Bool set_Node'interface'methods :: RWCtx m s => Node'interface'group' (MutMsg s) -> (List (MutMsg s) (Method (MutMsg s))) -> m () new_Node'interface'methods :: RWCtx m s => Int -> Node'interface'group' (MutMsg s) -> m ((List (MutMsg s) (Method (MutMsg s)))) get_Node'interface'superclasses :: ReadCtx m msg => Node'interface'group' msg -> m (List msg (Superclass msg)) has_Node'interface'superclasses :: ReadCtx m msg => Node'interface'group' msg -> m Bool set_Node'interface'superclasses :: RWCtx m s => Node'interface'group' (MutMsg s) -> (List (MutMsg s) (Superclass (MutMsg s))) -> m () new_Node'interface'superclasses :: RWCtx m s => Int -> Node'interface'group' (MutMsg s) -> m ((List (MutMsg s) (Superclass (MutMsg s)))) newtype Node'const'group' msg Node'const'group'_newtype_ :: (Struct msg) -> Node'const'group' msg get_Node'const'type_ :: ReadCtx m msg => Node'const'group' msg -> m (Type msg) has_Node'const'type_ :: ReadCtx m msg => Node'const'group' msg -> m Bool set_Node'const'type_ :: RWCtx m s => Node'const'group' (MutMsg s) -> (Type (MutMsg s)) -> m () new_Node'const'type_ :: RWCtx m s => Node'const'group' (MutMsg s) -> m ((Type (MutMsg s))) get_Node'const'value :: ReadCtx m msg => Node'const'group' msg -> m (Value msg) has_Node'const'value :: ReadCtx m msg => Node'const'group' msg -> m Bool set_Node'const'value :: RWCtx m s => Node'const'group' (MutMsg s) -> (Value (MutMsg s)) -> m () new_Node'const'value :: RWCtx m s => Node'const'group' (MutMsg s) -> m ((Value (MutMsg s))) newtype Node'annotation'group' msg Node'annotation'group'_newtype_ :: (Struct msg) -> Node'annotation'group' msg get_Node'annotation'type_ :: ReadCtx m msg => Node'annotation'group' msg -> m (Type msg) has_Node'annotation'type_ :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'type_ :: RWCtx m s => Node'annotation'group' (MutMsg s) -> (Type (MutMsg s)) -> m () new_Node'annotation'type_ :: RWCtx m s => Node'annotation'group' (MutMsg s) -> m ((Type (MutMsg s))) get_Node'annotation'targetsFile :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsFile :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsFile :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () get_Node'annotation'targetsConst :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsConst :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsConst :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () get_Node'annotation'targetsEnum :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsEnum :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsEnum :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () get_Node'annotation'targetsEnumerant :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsEnumerant :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsEnumerant :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () get_Node'annotation'targetsStruct :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsStruct :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsStruct :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () get_Node'annotation'targetsField :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsField :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsField :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () get_Node'annotation'targetsUnion :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsUnion :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsUnion :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () get_Node'annotation'targetsGroup :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsGroup :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsGroup :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () get_Node'annotation'targetsInterface :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsInterface :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsInterface :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () get_Node'annotation'targetsMethod :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsMethod :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsMethod :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () get_Node'annotation'targetsParam :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsParam :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsParam :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () get_Node'annotation'targetsAnnotation :: ReadCtx m msg => Node'annotation'group' msg -> m Bool has_Node'annotation'targetsAnnotation :: ReadCtx m msg => Node'annotation'group' msg -> m Bool set_Node'annotation'targetsAnnotation :: RWCtx m s => Node'annotation'group' (MutMsg s) -> Bool -> m () newtype Node'NestedNode msg Node'NestedNode_newtype_ :: (Struct msg) -> Node'NestedNode msg get_Node'NestedNode'name :: ReadCtx m msg => Node'NestedNode msg -> m (Text msg) has_Node'NestedNode'name :: ReadCtx m msg => Node'NestedNode msg -> m Bool set_Node'NestedNode'name :: RWCtx m s => Node'NestedNode (MutMsg s) -> (Text (MutMsg s)) -> m () new_Node'NestedNode'name :: RWCtx m s => Int -> Node'NestedNode (MutMsg s) -> m ((Text (MutMsg s))) get_Node'NestedNode'id :: ReadCtx m msg => Node'NestedNode msg -> m Word64 has_Node'NestedNode'id :: ReadCtx m msg => Node'NestedNode msg -> m Bool set_Node'NestedNode'id :: RWCtx m s => Node'NestedNode (MutMsg s) -> Word64 -> m () newtype Node'Parameter msg Node'Parameter_newtype_ :: (Struct msg) -> Node'Parameter msg get_Node'Parameter'name :: ReadCtx m msg => Node'Parameter msg -> m (Text msg) has_Node'Parameter'name :: ReadCtx m msg => Node'Parameter msg -> m Bool set_Node'Parameter'name :: RWCtx m s => Node'Parameter (MutMsg s) -> (Text (MutMsg s)) -> m () new_Node'Parameter'name :: RWCtx m s => Int -> Node'Parameter (MutMsg s) -> m ((Text (MutMsg s))) newtype Type'anyPointer msg Type'anyPointer_newtype_ :: (Struct msg) -> Type'anyPointer msg data Type'anyPointer' msg Type'anyPointer'unconstrained :: (Type'anyPointer'unconstrained'group' msg) -> Type'anyPointer' msg Type'anyPointer'parameter :: (Type'anyPointer'parameter'group' msg) -> Type'anyPointer' msg Type'anyPointer'implicitMethodParameter :: (Type'anyPointer'implicitMethodParameter'group' msg) -> Type'anyPointer' msg Type'anyPointer'unknown' :: Word16 -> Type'anyPointer' msg get_Type'anyPointer' :: ReadCtx m msg => Type'anyPointer msg -> m (Type'anyPointer' msg) has_Type'anyPointer' :: ReadCtx m msg => Type'anyPointer msg -> m Bool set_Type'anyPointer'unconstrained :: RWCtx m s => Type'anyPointer (MutMsg s) -> m (Type'anyPointer'unconstrained'group' (MutMsg s)) set_Type'anyPointer'parameter :: RWCtx m s => Type'anyPointer (MutMsg s) -> m (Type'anyPointer'parameter'group' (MutMsg s)) set_Type'anyPointer'implicitMethodParameter :: RWCtx m s => Type'anyPointer (MutMsg s) -> m (Type'anyPointer'implicitMethodParameter'group' (MutMsg s)) set_Type'anyPointer'unknown' :: RWCtx m s => Type'anyPointer (MutMsg s) -> Word16 -> m () newtype Type'anyPointer'unconstrained'group' msg Type'anyPointer'unconstrained'group'_newtype_ :: (Struct msg) -> Type'anyPointer'unconstrained'group' msg get_Type'anyPointer'unconstrained'union' :: ReadCtx m msg => Type'anyPointer'unconstrained'group' msg -> m (Type'anyPointer'unconstrained msg) has_Type'anyPointer'unconstrained'union' :: ReadCtx m msg => Type'anyPointer'unconstrained'group' msg -> m Bool newtype Type'anyPointer'parameter'group' msg Type'anyPointer'parameter'group'_newtype_ :: (Struct msg) -> Type'anyPointer'parameter'group' msg get_Type'anyPointer'parameter'scopeId :: ReadCtx m msg => Type'anyPointer'parameter'group' msg -> m Word64 has_Type'anyPointer'parameter'scopeId :: ReadCtx m msg => Type'anyPointer'parameter'group' msg -> m Bool set_Type'anyPointer'parameter'scopeId :: RWCtx m s => Type'anyPointer'parameter'group' (MutMsg s) -> Word64 -> m () get_Type'anyPointer'parameter'parameterIndex :: ReadCtx m msg => Type'anyPointer'parameter'group' msg -> m Word16 has_Type'anyPointer'parameter'parameterIndex :: ReadCtx m msg => Type'anyPointer'parameter'group' msg -> m Bool set_Type'anyPointer'parameter'parameterIndex :: RWCtx m s => Type'anyPointer'parameter'group' (MutMsg s) -> Word16 -> m () newtype Type'anyPointer'implicitMethodParameter'group' msg Type'anyPointer'implicitMethodParameter'group'_newtype_ :: (Struct msg) -> Type'anyPointer'implicitMethodParameter'group' msg get_Type'anyPointer'implicitMethodParameter'parameterIndex :: ReadCtx m msg => Type'anyPointer'implicitMethodParameter'group' msg -> m Word16 has_Type'anyPointer'implicitMethodParameter'parameterIndex :: ReadCtx m msg => Type'anyPointer'implicitMethodParameter'group' msg -> m Bool set_Type'anyPointer'implicitMethodParameter'parameterIndex :: RWCtx m s => Type'anyPointer'implicitMethodParameter'group' (MutMsg s) -> Word16 -> m () newtype Type'anyPointer'unconstrained msg Type'anyPointer'unconstrained_newtype_ :: (Struct msg) -> Type'anyPointer'unconstrained msg data Type'anyPointer'unconstrained' msg Type'anyPointer'unconstrained'anyKind :: Type'anyPointer'unconstrained' msg Type'anyPointer'unconstrained'struct :: Type'anyPointer'unconstrained' msg Type'anyPointer'unconstrained'list :: Type'anyPointer'unconstrained' msg Type'anyPointer'unconstrained'capability :: Type'anyPointer'unconstrained' msg Type'anyPointer'unconstrained'unknown' :: Word16 -> Type'anyPointer'unconstrained' msg get_Type'anyPointer'unconstrained' :: ReadCtx m msg => Type'anyPointer'unconstrained msg -> m (Type'anyPointer'unconstrained' msg) has_Type'anyPointer'unconstrained' :: ReadCtx m msg => Type'anyPointer'unconstrained msg -> m Bool set_Type'anyPointer'unconstrained'anyKind :: RWCtx m s => Type'anyPointer'unconstrained (MutMsg s) -> m () set_Type'anyPointer'unconstrained'struct :: RWCtx m s => Type'anyPointer'unconstrained (MutMsg s) -> m () set_Type'anyPointer'unconstrained'list :: RWCtx m s => Type'anyPointer'unconstrained (MutMsg s) -> m () set_Type'anyPointer'unconstrained'capability :: RWCtx m s => Type'anyPointer'unconstrained (MutMsg s) -> m () set_Type'anyPointer'unconstrained'unknown' :: RWCtx m s => Type'anyPointer'unconstrained (MutMsg s) -> Word16 -> m () instance GHC.Generics.Generic Capnp.Capnp.Schema.ElementSize instance GHC.Classes.Eq Capnp.Capnp.Schema.ElementSize instance GHC.Read.Read Capnp.Capnp.Schema.ElementSize instance GHC.Show.Show Capnp.Capnp.Schema.ElementSize instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'anyPointer'unconstrained' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'anyPointer'unconstrained msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Type'anyPointer'unconstrained msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Type'anyPointer'unconstrained msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Type'anyPointer'unconstrained msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Type'anyPointer'unconstrained (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Type'anyPointer'unconstrained msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Type'anyPointer'unconstrained msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Type'anyPointer'unconstrained (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Type'anyPointer'unconstrained msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'anyPointer' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'anyPointer'implicitMethodParameter'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Type'anyPointer'implicitMethodParameter'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Type'anyPointer'implicitMethodParameter'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Type'anyPointer'implicitMethodParameter'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Type'anyPointer'implicitMethodParameter'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Type'anyPointer'implicitMethodParameter'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Type'anyPointer'implicitMethodParameter'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Type'anyPointer'implicitMethodParameter'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Type'anyPointer'implicitMethodParameter'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'anyPointer'parameter'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Type'anyPointer'parameter'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Type'anyPointer'parameter'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Type'anyPointer'parameter'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Type'anyPointer'parameter'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Type'anyPointer'parameter'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Type'anyPointer'parameter'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Type'anyPointer'parameter'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Type'anyPointer'parameter'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'anyPointer'unconstrained'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Type'anyPointer'unconstrained'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Type'anyPointer'unconstrained'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Type'anyPointer'unconstrained'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Type'anyPointer'unconstrained'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Type'anyPointer'unconstrained'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Type'anyPointer'unconstrained'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Type'anyPointer'unconstrained'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Type'anyPointer'unconstrained'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'anyPointer msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Type'anyPointer msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Type'anyPointer msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Type'anyPointer msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Type'anyPointer (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Type'anyPointer msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Type'anyPointer msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Type'anyPointer (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Type'anyPointer msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Node'Parameter msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Node'Parameter msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Node'Parameter msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Node'Parameter msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Node'Parameter (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Node'Parameter msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Node'Parameter msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Node'Parameter (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Node'Parameter msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Node'NestedNode msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Node'NestedNode msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Node'NestedNode msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Node'NestedNode msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Node'NestedNode (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Node'NestedNode msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Node'NestedNode msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Node'NestedNode (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Node'NestedNode msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Node'' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Node'annotation'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Node'annotation'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Node'annotation'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Node'annotation'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Node'annotation'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Node'annotation'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Node'annotation'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Node'annotation'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Node'annotation'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Node'const'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Node'const'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Node'const'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Node'const'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Node'const'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Node'const'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Node'const'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Node'const'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Node'const'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Node'interface'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Node'interface'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Node'interface'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Node'interface'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Node'interface'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Node'interface'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Node'interface'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Node'interface'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Node'interface'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Node'enum'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Node'enum'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Node'enum'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Node'enum'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Node'enum'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Node'enum'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Node'enum'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Node'enum'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Node'enum'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Node'struct'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Node'struct'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Node'struct'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Node'struct'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Node'struct'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Node'struct'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Node'struct'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Node'struct'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Node'struct'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Node' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Node' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Node' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Node' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Node' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Node' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Node' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Node' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Node' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Field'ordinal' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Field'ordinal msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Field'ordinal msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Field'ordinal msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Field'ordinal msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Field'ordinal (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Field'ordinal msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Field'ordinal msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Field'ordinal (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Field'ordinal msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Field'' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Field'group'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Field'group'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Field'group'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Field'group'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Field'group'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Field'group'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Field'group'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Field'group'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Field'group'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Field'slot'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Field'slot'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Field'slot'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Field'slot'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Field'slot'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Field'slot'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Field'slot'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Field'slot'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Field'slot'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Field' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Field' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Field' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Field' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Field' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Field' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Field' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Field' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Field' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile'Import msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile'Import msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile'Import msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile'Import msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile'Import (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile'Import msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile'Import msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile'Import (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile'Import msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.CodeGeneratorRequest'RequestedFile msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Brand'Scope'' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Brand'Scope' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Brand'Scope' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Brand'Scope' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Brand'Scope' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Brand'Scope' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Brand'Scope' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Brand'Scope' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Brand'Scope' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Brand'Scope' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Brand'Scope msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Brand'Scope msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Brand'Scope msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Brand'Scope msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Brand'Scope (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Brand'Scope msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Brand'Scope msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Brand'Scope (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Brand'Scope msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Brand'Binding' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Brand'Binding msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Brand'Binding msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Brand'Binding msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Brand'Binding msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Brand'Binding (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Brand'Binding msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Brand'Binding msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Brand'Binding (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Brand'Binding msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Value' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Value msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Value msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Value msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Value msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Value (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Value msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Value msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Value (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Value msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'anyPointer'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Type'anyPointer'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Type'anyPointer'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Type'anyPointer'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Type'anyPointer'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Type'anyPointer'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Type'anyPointer'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Type'anyPointer'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Type'anyPointer'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'interface'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Type'interface'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Type'interface'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Type'interface'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Type'interface'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Type'interface'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Type'interface'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Type'interface'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Type'interface'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'struct'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Type'struct'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Type'struct'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Type'struct'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Type'struct'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Type'struct'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Type'struct'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Type'struct'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Type'struct'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'enum'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Type'enum'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Type'enum'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Type'enum'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Type'enum'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Type'enum'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Type'enum'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Type'enum'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Type'enum'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type'list'group' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Type'list'group' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Type'list'group' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Type'list'group' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Type'list'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Type'list'group' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Type'list'group' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Type'list'group' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Type'list'group' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Type msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Type msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Type msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Type msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Type (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Type msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Type msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Type (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Type msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Superclass msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Superclass msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Superclass msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Superclass msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Superclass (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Superclass msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Superclass msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Superclass (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Superclass msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Node msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Node msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Node msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Node msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Node (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Node msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Node msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Node (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Node msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Method msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Method msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Method msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Method msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Method (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Method msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Method msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Method (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Method msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Field msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Field msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Field msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Field msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Field (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Field msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Field msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Field (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Field msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Enumerant msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Enumerant msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Enumerant msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Enumerant msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Enumerant (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Enumerant msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Enumerant msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Enumerant (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Enumerant msg)) instance GHC.Enum.Enum Capnp.Capnp.Schema.ElementSize instance Data.Capnp.Classes.IsWord Capnp.Capnp.Schema.ElementSize instance Data.Capnp.Classes.ListElem msg Capnp.Capnp.Schema.ElementSize instance Data.Capnp.Classes.MutListElem s Capnp.Capnp.Schema.ElementSize instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg Capnp.Capnp.Schema.ElementSize) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.CodeGeneratorRequest msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.CodeGeneratorRequest msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.CodeGeneratorRequest msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.CodeGeneratorRequest msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.CodeGeneratorRequest (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.CodeGeneratorRequest msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.CodeGeneratorRequest msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.CodeGeneratorRequest (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.CodeGeneratorRequest msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.CapnpVersion msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.CapnpVersion msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.CapnpVersion msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.CapnpVersion msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.CapnpVersion (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.CapnpVersion msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.CapnpVersion msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.CapnpVersion (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.CapnpVersion msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Brand msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Brand msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Brand msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Brand msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Brand (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Brand msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Brand msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Brand (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Brand msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Schema.Annotation msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Schema.Annotation msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Schema.Annotation msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Schema.Annotation msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Schema.Annotation (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Schema.Annotation msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Schema.Annotation msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Schema.Annotation (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Schema.Annotation msg)) module Capnp.ById.Xa93fc509624c72d9 -- | This module is the generated code for capnp/rpc-twoparty.capnp, for -- the low-level api. module Capnp.Capnp.RpcTwoparty newtype JoinKeyPart msg JoinKeyPart_newtype_ :: (Struct msg) -> JoinKeyPart msg get_JoinKeyPart'joinId :: ReadCtx m msg => JoinKeyPart msg -> m Word32 has_JoinKeyPart'joinId :: ReadCtx m msg => JoinKeyPart msg -> m Bool set_JoinKeyPart'joinId :: RWCtx m s => JoinKeyPart (MutMsg s) -> Word32 -> m () get_JoinKeyPart'partCount :: ReadCtx m msg => JoinKeyPart msg -> m Word16 has_JoinKeyPart'partCount :: ReadCtx m msg => JoinKeyPart msg -> m Bool set_JoinKeyPart'partCount :: RWCtx m s => JoinKeyPart (MutMsg s) -> Word16 -> m () get_JoinKeyPart'partNum :: ReadCtx m msg => JoinKeyPart msg -> m Word16 has_JoinKeyPart'partNum :: ReadCtx m msg => JoinKeyPart msg -> m Bool set_JoinKeyPart'partNum :: RWCtx m s => JoinKeyPart (MutMsg s) -> Word16 -> m () newtype JoinResult msg JoinResult_newtype_ :: (Struct msg) -> JoinResult msg get_JoinResult'joinId :: ReadCtx m msg => JoinResult msg -> m Word32 has_JoinResult'joinId :: ReadCtx m msg => JoinResult msg -> m Bool set_JoinResult'joinId :: RWCtx m s => JoinResult (MutMsg s) -> Word32 -> m () get_JoinResult'succeeded :: ReadCtx m msg => JoinResult msg -> m Bool has_JoinResult'succeeded :: ReadCtx m msg => JoinResult msg -> m Bool set_JoinResult'succeeded :: RWCtx m s => JoinResult (MutMsg s) -> Bool -> m () get_JoinResult'cap :: ReadCtx m msg => JoinResult msg -> m (Maybe (Ptr msg)) has_JoinResult'cap :: ReadCtx m msg => JoinResult msg -> m Bool set_JoinResult'cap :: RWCtx m s => JoinResult (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () newtype ProvisionId msg ProvisionId_newtype_ :: (Struct msg) -> ProvisionId msg get_ProvisionId'joinId :: ReadCtx m msg => ProvisionId msg -> m Word32 has_ProvisionId'joinId :: ReadCtx m msg => ProvisionId msg -> m Bool set_ProvisionId'joinId :: RWCtx m s => ProvisionId (MutMsg s) -> Word32 -> m () data Side Side'server :: Side Side'client :: Side Side'unknown' :: Word16 -> Side newtype VatId msg VatId_newtype_ :: (Struct msg) -> VatId msg get_VatId'side :: ReadCtx m msg => VatId msg -> m Side has_VatId'side :: ReadCtx m msg => VatId msg -> m Bool set_VatId'side :: RWCtx m s => VatId (MutMsg s) -> Side -> m () instance GHC.Generics.Generic Capnp.Capnp.RpcTwoparty.Side instance GHC.Classes.Eq Capnp.Capnp.RpcTwoparty.Side instance GHC.Read.Read Capnp.Capnp.RpcTwoparty.Side instance GHC.Show.Show Capnp.Capnp.RpcTwoparty.Side instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.RpcTwoparty.VatId msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.RpcTwoparty.VatId msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.RpcTwoparty.VatId msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.RpcTwoparty.VatId msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.RpcTwoparty.VatId (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.RpcTwoparty.VatId msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.RpcTwoparty.VatId msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.RpcTwoparty.VatId (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.RpcTwoparty.VatId msg)) instance GHC.Enum.Enum Capnp.Capnp.RpcTwoparty.Side instance Data.Capnp.Classes.IsWord Capnp.Capnp.RpcTwoparty.Side instance Data.Capnp.Classes.ListElem msg Capnp.Capnp.RpcTwoparty.Side instance Data.Capnp.Classes.MutListElem s Capnp.Capnp.RpcTwoparty.Side instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg Capnp.Capnp.RpcTwoparty.Side) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.RpcTwoparty.ProvisionId msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.RpcTwoparty.ProvisionId msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.RpcTwoparty.ProvisionId msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.RpcTwoparty.ProvisionId msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.RpcTwoparty.ProvisionId (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.RpcTwoparty.ProvisionId msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.RpcTwoparty.ProvisionId msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.RpcTwoparty.ProvisionId (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.RpcTwoparty.ProvisionId msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.RpcTwoparty.JoinResult msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.RpcTwoparty.JoinResult msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.RpcTwoparty.JoinResult msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.RpcTwoparty.JoinResult msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.RpcTwoparty.JoinResult (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.RpcTwoparty.JoinResult msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.RpcTwoparty.JoinResult msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.RpcTwoparty.JoinResult (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.RpcTwoparty.JoinResult msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.RpcTwoparty.JoinKeyPart msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.RpcTwoparty.JoinKeyPart msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.RpcTwoparty.JoinKeyPart msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.RpcTwoparty.JoinKeyPart msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.RpcTwoparty.JoinKeyPart (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.RpcTwoparty.JoinKeyPart msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.RpcTwoparty.JoinKeyPart msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.RpcTwoparty.JoinKeyPart (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.RpcTwoparty.JoinKeyPart msg)) module Capnp.ById.Xa184c7885cdaf2a1 -- | This module is the generated code for capnp/rpc.capnp, for the -- low-level api. module Capnp.Capnp.Rpc newtype Accept msg Accept_newtype_ :: (Struct msg) -> Accept msg get_Accept'questionId :: ReadCtx m msg => Accept msg -> m Word32 has_Accept'questionId :: ReadCtx m msg => Accept msg -> m Bool set_Accept'questionId :: RWCtx m s => Accept (MutMsg s) -> Word32 -> m () get_Accept'provision :: ReadCtx m msg => Accept msg -> m (Maybe (Ptr msg)) has_Accept'provision :: ReadCtx m msg => Accept msg -> m Bool set_Accept'provision :: RWCtx m s => Accept (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () get_Accept'embargo :: ReadCtx m msg => Accept msg -> m Bool has_Accept'embargo :: ReadCtx m msg => Accept msg -> m Bool set_Accept'embargo :: RWCtx m s => Accept (MutMsg s) -> Bool -> m () newtype Bootstrap msg Bootstrap_newtype_ :: (Struct msg) -> Bootstrap msg get_Bootstrap'questionId :: ReadCtx m msg => Bootstrap msg -> m Word32 has_Bootstrap'questionId :: ReadCtx m msg => Bootstrap msg -> m Bool set_Bootstrap'questionId :: RWCtx m s => Bootstrap (MutMsg s) -> Word32 -> m () get_Bootstrap'deprecatedObjectId :: ReadCtx m msg => Bootstrap msg -> m (Maybe (Ptr msg)) has_Bootstrap'deprecatedObjectId :: ReadCtx m msg => Bootstrap msg -> m Bool set_Bootstrap'deprecatedObjectId :: RWCtx m s => Bootstrap (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () newtype Call msg Call_newtype_ :: (Struct msg) -> Call msg get_Call'questionId :: ReadCtx m msg => Call msg -> m Word32 has_Call'questionId :: ReadCtx m msg => Call msg -> m Bool set_Call'questionId :: RWCtx m s => Call (MutMsg s) -> Word32 -> m () get_Call'target :: ReadCtx m msg => Call msg -> m (MessageTarget msg) has_Call'target :: ReadCtx m msg => Call msg -> m Bool set_Call'target :: RWCtx m s => Call (MutMsg s) -> (MessageTarget (MutMsg s)) -> m () new_Call'target :: RWCtx m s => Call (MutMsg s) -> m ((MessageTarget (MutMsg s))) get_Call'interfaceId :: ReadCtx m msg => Call msg -> m Word64 has_Call'interfaceId :: ReadCtx m msg => Call msg -> m Bool set_Call'interfaceId :: RWCtx m s => Call (MutMsg s) -> Word64 -> m () get_Call'methodId :: ReadCtx m msg => Call msg -> m Word16 has_Call'methodId :: ReadCtx m msg => Call msg -> m Bool set_Call'methodId :: RWCtx m s => Call (MutMsg s) -> Word16 -> m () get_Call'params :: ReadCtx m msg => Call msg -> m (Payload msg) has_Call'params :: ReadCtx m msg => Call msg -> m Bool set_Call'params :: RWCtx m s => Call (MutMsg s) -> (Payload (MutMsg s)) -> m () new_Call'params :: RWCtx m s => Call (MutMsg s) -> m ((Payload (MutMsg s))) get_Call'sendResultsTo :: ReadCtx m msg => Call msg -> m (Call'sendResultsTo msg) has_Call'sendResultsTo :: ReadCtx m msg => Call msg -> m Bool get_Call'allowThirdPartyTailCall :: ReadCtx m msg => Call msg -> m Bool has_Call'allowThirdPartyTailCall :: ReadCtx m msg => Call msg -> m Bool set_Call'allowThirdPartyTailCall :: RWCtx m s => Call (MutMsg s) -> Bool -> m () newtype CapDescriptor msg CapDescriptor_newtype_ :: (Struct msg) -> CapDescriptor msg data CapDescriptor' msg CapDescriptor'none :: CapDescriptor' msg CapDescriptor'senderHosted :: Word32 -> CapDescriptor' msg CapDescriptor'senderPromise :: Word32 -> CapDescriptor' msg CapDescriptor'receiverHosted :: Word32 -> CapDescriptor' msg CapDescriptor'receiverAnswer :: (PromisedAnswer msg) -> CapDescriptor' msg CapDescriptor'thirdPartyHosted :: (ThirdPartyCapDescriptor msg) -> CapDescriptor' msg CapDescriptor'unknown' :: Word16 -> CapDescriptor' msg get_CapDescriptor' :: ReadCtx m msg => CapDescriptor msg -> m (CapDescriptor' msg) has_CapDescriptor' :: ReadCtx m msg => CapDescriptor msg -> m Bool set_CapDescriptor'none :: RWCtx m s => CapDescriptor (MutMsg s) -> m () set_CapDescriptor'senderHosted :: RWCtx m s => CapDescriptor (MutMsg s) -> Word32 -> m () set_CapDescriptor'senderPromise :: RWCtx m s => CapDescriptor (MutMsg s) -> Word32 -> m () set_CapDescriptor'receiverHosted :: RWCtx m s => CapDescriptor (MutMsg s) -> Word32 -> m () set_CapDescriptor'receiverAnswer :: RWCtx m s => CapDescriptor (MutMsg s) -> (PromisedAnswer (MutMsg s)) -> m () new_CapDescriptor'receiverAnswer :: RWCtx m s => CapDescriptor (MutMsg s) -> m ((PromisedAnswer (MutMsg s))) set_CapDescriptor'thirdPartyHosted :: RWCtx m s => CapDescriptor (MutMsg s) -> (ThirdPartyCapDescriptor (MutMsg s)) -> m () new_CapDescriptor'thirdPartyHosted :: RWCtx m s => CapDescriptor (MutMsg s) -> m ((ThirdPartyCapDescriptor (MutMsg s))) set_CapDescriptor'unknown' :: RWCtx m s => CapDescriptor (MutMsg s) -> Word16 -> m () newtype Disembargo msg Disembargo_newtype_ :: (Struct msg) -> Disembargo msg get_Disembargo'target :: ReadCtx m msg => Disembargo msg -> m (MessageTarget msg) has_Disembargo'target :: ReadCtx m msg => Disembargo msg -> m Bool set_Disembargo'target :: RWCtx m s => Disembargo (MutMsg s) -> (MessageTarget (MutMsg s)) -> m () new_Disembargo'target :: RWCtx m s => Disembargo (MutMsg s) -> m ((MessageTarget (MutMsg s))) get_Disembargo'context :: ReadCtx m msg => Disembargo msg -> m (Disembargo'context msg) has_Disembargo'context :: ReadCtx m msg => Disembargo msg -> m Bool newtype Exception msg Exception_newtype_ :: (Struct msg) -> Exception msg get_Exception'reason :: ReadCtx m msg => Exception msg -> m (Text msg) has_Exception'reason :: ReadCtx m msg => Exception msg -> m Bool set_Exception'reason :: RWCtx m s => Exception (MutMsg s) -> (Text (MutMsg s)) -> m () new_Exception'reason :: RWCtx m s => Int -> Exception (MutMsg s) -> m ((Text (MutMsg s))) get_Exception'obsoleteIsCallersFault :: ReadCtx m msg => Exception msg -> m Bool has_Exception'obsoleteIsCallersFault :: ReadCtx m msg => Exception msg -> m Bool set_Exception'obsoleteIsCallersFault :: RWCtx m s => Exception (MutMsg s) -> Bool -> m () get_Exception'obsoleteDurability :: ReadCtx m msg => Exception msg -> m Word16 has_Exception'obsoleteDurability :: ReadCtx m msg => Exception msg -> m Bool set_Exception'obsoleteDurability :: RWCtx m s => Exception (MutMsg s) -> Word16 -> m () get_Exception'type_ :: ReadCtx m msg => Exception msg -> m Exception'Type has_Exception'type_ :: ReadCtx m msg => Exception msg -> m Bool set_Exception'type_ :: RWCtx m s => Exception (MutMsg s) -> Exception'Type -> m () newtype Finish msg Finish_newtype_ :: (Struct msg) -> Finish msg get_Finish'questionId :: ReadCtx m msg => Finish msg -> m Word32 has_Finish'questionId :: ReadCtx m msg => Finish msg -> m Bool set_Finish'questionId :: RWCtx m s => Finish (MutMsg s) -> Word32 -> m () get_Finish'releaseResultCaps :: ReadCtx m msg => Finish msg -> m Bool has_Finish'releaseResultCaps :: ReadCtx m msg => Finish msg -> m Bool set_Finish'releaseResultCaps :: RWCtx m s => Finish (MutMsg s) -> Bool -> m () newtype Join msg Join_newtype_ :: (Struct msg) -> Join msg get_Join'questionId :: ReadCtx m msg => Join msg -> m Word32 has_Join'questionId :: ReadCtx m msg => Join msg -> m Bool set_Join'questionId :: RWCtx m s => Join (MutMsg s) -> Word32 -> m () get_Join'target :: ReadCtx m msg => Join msg -> m (MessageTarget msg) has_Join'target :: ReadCtx m msg => Join msg -> m Bool set_Join'target :: RWCtx m s => Join (MutMsg s) -> (MessageTarget (MutMsg s)) -> m () new_Join'target :: RWCtx m s => Join (MutMsg s) -> m ((MessageTarget (MutMsg s))) get_Join'keyPart :: ReadCtx m msg => Join msg -> m (Maybe (Ptr msg)) has_Join'keyPart :: ReadCtx m msg => Join msg -> m Bool set_Join'keyPart :: RWCtx m s => Join (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () newtype Message msg Message_newtype_ :: (Struct msg) -> Message msg data Message' msg Message'unimplemented :: (Message msg) -> Message' msg Message'abort :: (Exception msg) -> Message' msg Message'call :: (Call msg) -> Message' msg Message'return :: (Return msg) -> Message' msg Message'finish :: (Finish msg) -> Message' msg Message'resolve :: (Resolve msg) -> Message' msg Message'release :: (Release msg) -> Message' msg Message'obsoleteSave :: (Maybe (Ptr msg)) -> Message' msg Message'bootstrap :: (Bootstrap msg) -> Message' msg Message'obsoleteDelete :: (Maybe (Ptr msg)) -> Message' msg Message'provide :: (Provide msg) -> Message' msg Message'accept :: (Accept msg) -> Message' msg Message'join :: (Join msg) -> Message' msg Message'disembargo :: (Disembargo msg) -> Message' msg Message'unknown' :: Word16 -> Message' msg get_Message' :: ReadCtx m msg => Message msg -> m (Message' msg) has_Message' :: ReadCtx m msg => Message msg -> m Bool set_Message'unimplemented :: RWCtx m s => Message (MutMsg s) -> (Message (MutMsg s)) -> m () new_Message'unimplemented :: RWCtx m s => Message (MutMsg s) -> m ((Message (MutMsg s))) set_Message'abort :: RWCtx m s => Message (MutMsg s) -> (Exception (MutMsg s)) -> m () new_Message'abort :: RWCtx m s => Message (MutMsg s) -> m ((Exception (MutMsg s))) set_Message'call :: RWCtx m s => Message (MutMsg s) -> (Call (MutMsg s)) -> m () new_Message'call :: RWCtx m s => Message (MutMsg s) -> m ((Call (MutMsg s))) set_Message'return :: RWCtx m s => Message (MutMsg s) -> (Return (MutMsg s)) -> m () new_Message'return :: RWCtx m s => Message (MutMsg s) -> m ((Return (MutMsg s))) set_Message'finish :: RWCtx m s => Message (MutMsg s) -> (Finish (MutMsg s)) -> m () new_Message'finish :: RWCtx m s => Message (MutMsg s) -> m ((Finish (MutMsg s))) set_Message'resolve :: RWCtx m s => Message (MutMsg s) -> (Resolve (MutMsg s)) -> m () new_Message'resolve :: RWCtx m s => Message (MutMsg s) -> m ((Resolve (MutMsg s))) set_Message'release :: RWCtx m s => Message (MutMsg s) -> (Release (MutMsg s)) -> m () new_Message'release :: RWCtx m s => Message (MutMsg s) -> m ((Release (MutMsg s))) set_Message'obsoleteSave :: RWCtx m s => Message (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () set_Message'bootstrap :: RWCtx m s => Message (MutMsg s) -> (Bootstrap (MutMsg s)) -> m () new_Message'bootstrap :: RWCtx m s => Message (MutMsg s) -> m ((Bootstrap (MutMsg s))) set_Message'obsoleteDelete :: RWCtx m s => Message (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () set_Message'provide :: RWCtx m s => Message (MutMsg s) -> (Provide (MutMsg s)) -> m () new_Message'provide :: RWCtx m s => Message (MutMsg s) -> m ((Provide (MutMsg s))) set_Message'accept :: RWCtx m s => Message (MutMsg s) -> (Accept (MutMsg s)) -> m () new_Message'accept :: RWCtx m s => Message (MutMsg s) -> m ((Accept (MutMsg s))) set_Message'join :: RWCtx m s => Message (MutMsg s) -> (Join (MutMsg s)) -> m () new_Message'join :: RWCtx m s => Message (MutMsg s) -> m ((Join (MutMsg s))) set_Message'disembargo :: RWCtx m s => Message (MutMsg s) -> (Disembargo (MutMsg s)) -> m () new_Message'disembargo :: RWCtx m s => Message (MutMsg s) -> m ((Disembargo (MutMsg s))) set_Message'unknown' :: RWCtx m s => Message (MutMsg s) -> Word16 -> m () newtype MessageTarget msg MessageTarget_newtype_ :: (Struct msg) -> MessageTarget msg data MessageTarget' msg MessageTarget'importedCap :: Word32 -> MessageTarget' msg MessageTarget'promisedAnswer :: (PromisedAnswer msg) -> MessageTarget' msg MessageTarget'unknown' :: Word16 -> MessageTarget' msg get_MessageTarget' :: ReadCtx m msg => MessageTarget msg -> m (MessageTarget' msg) has_MessageTarget' :: ReadCtx m msg => MessageTarget msg -> m Bool set_MessageTarget'importedCap :: RWCtx m s => MessageTarget (MutMsg s) -> Word32 -> m () set_MessageTarget'promisedAnswer :: RWCtx m s => MessageTarget (MutMsg s) -> (PromisedAnswer (MutMsg s)) -> m () new_MessageTarget'promisedAnswer :: RWCtx m s => MessageTarget (MutMsg s) -> m ((PromisedAnswer (MutMsg s))) set_MessageTarget'unknown' :: RWCtx m s => MessageTarget (MutMsg s) -> Word16 -> m () newtype Payload msg Payload_newtype_ :: (Struct msg) -> Payload msg get_Payload'content :: ReadCtx m msg => Payload msg -> m (Maybe (Ptr msg)) has_Payload'content :: ReadCtx m msg => Payload msg -> m Bool set_Payload'content :: RWCtx m s => Payload (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () get_Payload'capTable :: ReadCtx m msg => Payload msg -> m (List msg (CapDescriptor msg)) has_Payload'capTable :: ReadCtx m msg => Payload msg -> m Bool set_Payload'capTable :: RWCtx m s => Payload (MutMsg s) -> (List (MutMsg s) (CapDescriptor (MutMsg s))) -> m () new_Payload'capTable :: RWCtx m s => Int -> Payload (MutMsg s) -> m ((List (MutMsg s) (CapDescriptor (MutMsg s)))) newtype PromisedAnswer msg PromisedAnswer_newtype_ :: (Struct msg) -> PromisedAnswer msg get_PromisedAnswer'questionId :: ReadCtx m msg => PromisedAnswer msg -> m Word32 has_PromisedAnswer'questionId :: ReadCtx m msg => PromisedAnswer msg -> m Bool set_PromisedAnswer'questionId :: RWCtx m s => PromisedAnswer (MutMsg s) -> Word32 -> m () get_PromisedAnswer'transform :: ReadCtx m msg => PromisedAnswer msg -> m (List msg (PromisedAnswer'Op msg)) has_PromisedAnswer'transform :: ReadCtx m msg => PromisedAnswer msg -> m Bool set_PromisedAnswer'transform :: RWCtx m s => PromisedAnswer (MutMsg s) -> (List (MutMsg s) (PromisedAnswer'Op (MutMsg s))) -> m () new_PromisedAnswer'transform :: RWCtx m s => Int -> PromisedAnswer (MutMsg s) -> m ((List (MutMsg s) (PromisedAnswer'Op (MutMsg s)))) newtype Provide msg Provide_newtype_ :: (Struct msg) -> Provide msg get_Provide'questionId :: ReadCtx m msg => Provide msg -> m Word32 has_Provide'questionId :: ReadCtx m msg => Provide msg -> m Bool set_Provide'questionId :: RWCtx m s => Provide (MutMsg s) -> Word32 -> m () get_Provide'target :: ReadCtx m msg => Provide msg -> m (MessageTarget msg) has_Provide'target :: ReadCtx m msg => Provide msg -> m Bool set_Provide'target :: RWCtx m s => Provide (MutMsg s) -> (MessageTarget (MutMsg s)) -> m () new_Provide'target :: RWCtx m s => Provide (MutMsg s) -> m ((MessageTarget (MutMsg s))) get_Provide'recipient :: ReadCtx m msg => Provide msg -> m (Maybe (Ptr msg)) has_Provide'recipient :: ReadCtx m msg => Provide msg -> m Bool set_Provide'recipient :: RWCtx m s => Provide (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () newtype Release msg Release_newtype_ :: (Struct msg) -> Release msg get_Release'id :: ReadCtx m msg => Release msg -> m Word32 has_Release'id :: ReadCtx m msg => Release msg -> m Bool set_Release'id :: RWCtx m s => Release (MutMsg s) -> Word32 -> m () get_Release'referenceCount :: ReadCtx m msg => Release msg -> m Word32 has_Release'referenceCount :: ReadCtx m msg => Release msg -> m Bool set_Release'referenceCount :: RWCtx m s => Release (MutMsg s) -> Word32 -> m () newtype Resolve msg Resolve_newtype_ :: (Struct msg) -> Resolve msg get_Resolve'promiseId :: ReadCtx m msg => Resolve msg -> m Word32 has_Resolve'promiseId :: ReadCtx m msg => Resolve msg -> m Bool set_Resolve'promiseId :: RWCtx m s => Resolve (MutMsg s) -> Word32 -> m () get_Resolve'union' :: ReadCtx m msg => Resolve msg -> m (Resolve' msg) has_Resolve'union' :: ReadCtx m msg => Resolve msg -> m Bool newtype Return msg Return_newtype_ :: (Struct msg) -> Return msg get_Return'answerId :: ReadCtx m msg => Return msg -> m Word32 has_Return'answerId :: ReadCtx m msg => Return msg -> m Bool set_Return'answerId :: RWCtx m s => Return (MutMsg s) -> Word32 -> m () get_Return'releaseParamCaps :: ReadCtx m msg => Return msg -> m Bool has_Return'releaseParamCaps :: ReadCtx m msg => Return msg -> m Bool set_Return'releaseParamCaps :: RWCtx m s => Return (MutMsg s) -> Bool -> m () get_Return'union' :: ReadCtx m msg => Return msg -> m (Return' msg) has_Return'union' :: ReadCtx m msg => Return msg -> m Bool newtype ThirdPartyCapDescriptor msg ThirdPartyCapDescriptor_newtype_ :: (Struct msg) -> ThirdPartyCapDescriptor msg get_ThirdPartyCapDescriptor'id :: ReadCtx m msg => ThirdPartyCapDescriptor msg -> m (Maybe (Ptr msg)) has_ThirdPartyCapDescriptor'id :: ReadCtx m msg => ThirdPartyCapDescriptor msg -> m Bool set_ThirdPartyCapDescriptor'id :: RWCtx m s => ThirdPartyCapDescriptor (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () get_ThirdPartyCapDescriptor'vineId :: ReadCtx m msg => ThirdPartyCapDescriptor msg -> m Word32 has_ThirdPartyCapDescriptor'vineId :: ReadCtx m msg => ThirdPartyCapDescriptor msg -> m Bool set_ThirdPartyCapDescriptor'vineId :: RWCtx m s => ThirdPartyCapDescriptor (MutMsg s) -> Word32 -> m () newtype Call'sendResultsTo msg Call'sendResultsTo_newtype_ :: (Struct msg) -> Call'sendResultsTo msg data Call'sendResultsTo' msg Call'sendResultsTo'caller :: Call'sendResultsTo' msg Call'sendResultsTo'yourself :: Call'sendResultsTo' msg Call'sendResultsTo'thirdParty :: (Maybe (Ptr msg)) -> Call'sendResultsTo' msg Call'sendResultsTo'unknown' :: Word16 -> Call'sendResultsTo' msg get_Call'sendResultsTo' :: ReadCtx m msg => Call'sendResultsTo msg -> m (Call'sendResultsTo' msg) has_Call'sendResultsTo' :: ReadCtx m msg => Call'sendResultsTo msg -> m Bool set_Call'sendResultsTo'caller :: RWCtx m s => Call'sendResultsTo (MutMsg s) -> m () set_Call'sendResultsTo'yourself :: RWCtx m s => Call'sendResultsTo (MutMsg s) -> m () set_Call'sendResultsTo'thirdParty :: RWCtx m s => Call'sendResultsTo (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () set_Call'sendResultsTo'unknown' :: RWCtx m s => Call'sendResultsTo (MutMsg s) -> Word16 -> m () newtype Disembargo'context msg Disembargo'context_newtype_ :: (Struct msg) -> Disembargo'context msg data Disembargo'context' msg Disembargo'context'senderLoopback :: Word32 -> Disembargo'context' msg Disembargo'context'receiverLoopback :: Word32 -> Disembargo'context' msg Disembargo'context'accept :: Disembargo'context' msg Disembargo'context'provide :: Word32 -> Disembargo'context' msg Disembargo'context'unknown' :: Word16 -> Disembargo'context' msg get_Disembargo'context' :: ReadCtx m msg => Disembargo'context msg -> m (Disembargo'context' msg) has_Disembargo'context' :: ReadCtx m msg => Disembargo'context msg -> m Bool set_Disembargo'context'senderLoopback :: RWCtx m s => Disembargo'context (MutMsg s) -> Word32 -> m () set_Disembargo'context'receiverLoopback :: RWCtx m s => Disembargo'context (MutMsg s) -> Word32 -> m () set_Disembargo'context'accept :: RWCtx m s => Disembargo'context (MutMsg s) -> m () set_Disembargo'context'provide :: RWCtx m s => Disembargo'context (MutMsg s) -> Word32 -> m () set_Disembargo'context'unknown' :: RWCtx m s => Disembargo'context (MutMsg s) -> Word16 -> m () data Exception'Type Exception'Type'failed :: Exception'Type Exception'Type'overloaded :: Exception'Type Exception'Type'disconnected :: Exception'Type Exception'Type'unimplemented :: Exception'Type Exception'Type'unknown' :: Word16 -> Exception'Type newtype PromisedAnswer'Op msg PromisedAnswer'Op_newtype_ :: (Struct msg) -> PromisedAnswer'Op msg data PromisedAnswer'Op' msg PromisedAnswer'Op'noop :: PromisedAnswer'Op' msg PromisedAnswer'Op'getPointerField :: Word16 -> PromisedAnswer'Op' msg PromisedAnswer'Op'unknown' :: Word16 -> PromisedAnswer'Op' msg get_PromisedAnswer'Op' :: ReadCtx m msg => PromisedAnswer'Op msg -> m (PromisedAnswer'Op' msg) has_PromisedAnswer'Op' :: ReadCtx m msg => PromisedAnswer'Op msg -> m Bool set_PromisedAnswer'Op'noop :: RWCtx m s => PromisedAnswer'Op (MutMsg s) -> m () set_PromisedAnswer'Op'getPointerField :: RWCtx m s => PromisedAnswer'Op (MutMsg s) -> Word16 -> m () set_PromisedAnswer'Op'unknown' :: RWCtx m s => PromisedAnswer'Op (MutMsg s) -> Word16 -> m () newtype Resolve' msg Resolve'_newtype_ :: (Struct msg) -> Resolve' msg data Resolve'' msg Resolve'cap :: (CapDescriptor msg) -> Resolve'' msg Resolve'exception :: (Exception msg) -> Resolve'' msg Resolve'unknown' :: Word16 -> Resolve'' msg get_Resolve'' :: ReadCtx m msg => Resolve' msg -> m (Resolve'' msg) has_Resolve'' :: ReadCtx m msg => Resolve' msg -> m Bool set_Resolve'cap :: RWCtx m s => Resolve' (MutMsg s) -> (CapDescriptor (MutMsg s)) -> m () new_Resolve'cap :: RWCtx m s => Resolve' (MutMsg s) -> m ((CapDescriptor (MutMsg s))) set_Resolve'exception :: RWCtx m s => Resolve' (MutMsg s) -> (Exception (MutMsg s)) -> m () new_Resolve'exception :: RWCtx m s => Resolve' (MutMsg s) -> m ((Exception (MutMsg s))) set_Resolve'unknown' :: RWCtx m s => Resolve' (MutMsg s) -> Word16 -> m () newtype Return' msg Return'_newtype_ :: (Struct msg) -> Return' msg data Return'' msg Return'results :: (Payload msg) -> Return'' msg Return'exception :: (Exception msg) -> Return'' msg Return'canceled :: Return'' msg Return'resultsSentElsewhere :: Return'' msg Return'takeFromOtherQuestion :: Word32 -> Return'' msg Return'acceptFromThirdParty :: (Maybe (Ptr msg)) -> Return'' msg Return'unknown' :: Word16 -> Return'' msg get_Return'' :: ReadCtx m msg => Return' msg -> m (Return'' msg) has_Return'' :: ReadCtx m msg => Return' msg -> m Bool set_Return'results :: RWCtx m s => Return' (MutMsg s) -> (Payload (MutMsg s)) -> m () new_Return'results :: RWCtx m s => Return' (MutMsg s) -> m ((Payload (MutMsg s))) set_Return'exception :: RWCtx m s => Return' (MutMsg s) -> (Exception (MutMsg s)) -> m () new_Return'exception :: RWCtx m s => Return' (MutMsg s) -> m ((Exception (MutMsg s))) set_Return'canceled :: RWCtx m s => Return' (MutMsg s) -> m () set_Return'resultsSentElsewhere :: RWCtx m s => Return' (MutMsg s) -> m () set_Return'takeFromOtherQuestion :: RWCtx m s => Return' (MutMsg s) -> Word32 -> m () set_Return'acceptFromThirdParty :: RWCtx m s => Return' (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () set_Return'unknown' :: RWCtx m s => Return' (MutMsg s) -> Word16 -> m () instance GHC.Generics.Generic Capnp.Capnp.Rpc.Exception'Type instance GHC.Classes.Eq Capnp.Capnp.Rpc.Exception'Type instance GHC.Read.Read Capnp.Capnp.Rpc.Exception'Type instance GHC.Show.Show Capnp.Capnp.Rpc.Exception'Type instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Return'' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Return' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Return' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Return' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Return' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Return' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Return' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Return' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Return' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Return' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Resolve'' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Resolve' msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Resolve' msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Resolve' msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Resolve' msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Resolve' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Resolve' msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Resolve' msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Resolve' (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Resolve' msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.PromisedAnswer'Op' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.PromisedAnswer'Op msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.PromisedAnswer'Op msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.PromisedAnswer'Op msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.PromisedAnswer'Op msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.PromisedAnswer'Op (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.PromisedAnswer'Op msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.PromisedAnswer'Op msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.PromisedAnswer'Op (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.PromisedAnswer'Op msg)) instance GHC.Enum.Enum Capnp.Capnp.Rpc.Exception'Type instance Data.Capnp.Classes.IsWord Capnp.Capnp.Rpc.Exception'Type instance Data.Capnp.Classes.ListElem msg Capnp.Capnp.Rpc.Exception'Type instance Data.Capnp.Classes.MutListElem s Capnp.Capnp.Rpc.Exception'Type instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg Capnp.Capnp.Rpc.Exception'Type) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Disembargo'context' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Disembargo'context msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Disembargo'context msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Disembargo'context msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Disembargo'context msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Disembargo'context (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Disembargo'context msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Disembargo'context msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Disembargo'context (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Disembargo'context msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Call'sendResultsTo' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Call'sendResultsTo msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Call'sendResultsTo msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Call'sendResultsTo msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Call'sendResultsTo msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Call'sendResultsTo (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Call'sendResultsTo msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Call'sendResultsTo msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Call'sendResultsTo (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Call'sendResultsTo msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.CapDescriptor' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.ThirdPartyCapDescriptor msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.ThirdPartyCapDescriptor msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.ThirdPartyCapDescriptor msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.ThirdPartyCapDescriptor msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.ThirdPartyCapDescriptor (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.ThirdPartyCapDescriptor msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.ThirdPartyCapDescriptor msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.ThirdPartyCapDescriptor (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.ThirdPartyCapDescriptor msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Message' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Return msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Return msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Return msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Return msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Return (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Return msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Return msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Return (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Return msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Resolve msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Resolve msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Resolve msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Resolve msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Resolve (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Resolve msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Resolve msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Resolve (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Resolve msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Release msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Release msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Release msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Release msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Release (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Release msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Release msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Release (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Release msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Provide msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Provide msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Provide msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Provide msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Provide (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Provide msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Provide msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Provide (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Provide msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.MessageTarget' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.PromisedAnswer msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.PromisedAnswer msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.PromisedAnswer msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.PromisedAnswer msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.PromisedAnswer (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.PromisedAnswer msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.PromisedAnswer msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.PromisedAnswer (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.PromisedAnswer msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Payload msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Payload msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Payload msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Payload msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Payload (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Payload msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Payload msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Payload (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Payload msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.MessageTarget msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.MessageTarget msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.MessageTarget msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.MessageTarget msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.MessageTarget (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.MessageTarget msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.MessageTarget msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.MessageTarget (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.MessageTarget msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Message msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Message msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Message msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Message msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Message (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Message msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Message msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Message (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Message msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Join msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Join msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Join msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Join msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Join (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Join msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Join msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Join (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Join msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Finish msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Finish msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Finish msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Finish msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Finish (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Finish msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Finish msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Finish (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Finish msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Exception msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Exception msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Exception msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Exception msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Exception (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Exception msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Exception msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Exception (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Exception msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Disembargo msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Disembargo msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Disembargo msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Disembargo msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Disembargo (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Disembargo msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Disembargo msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Disembargo (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Disembargo msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.CapDescriptor msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.CapDescriptor msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.CapDescriptor msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.CapDescriptor msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.CapDescriptor (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.CapDescriptor msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.CapDescriptor msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.CapDescriptor (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.CapDescriptor msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Call msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Call msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Call msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Call msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Call (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Call msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Call msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Call (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Call msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Bootstrap msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Bootstrap msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Bootstrap msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Bootstrap msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Bootstrap (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Bootstrap msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Bootstrap msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Bootstrap (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Bootstrap msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Rpc.Accept msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Rpc.Accept msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Rpc.Accept msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Rpc.Accept msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Rpc.Accept (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Rpc.Accept msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Rpc.Accept msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Rpc.Accept (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Rpc.Accept msg)) module Capnp.ById.Xb312981b2552a250 -- | This module is the generated code for capnp/persistent.capnp, for the -- low-level api. module Capnp.Capnp.Persistent newtype Persistent'SaveParams msg Persistent'SaveParams_newtype_ :: (Struct msg) -> Persistent'SaveParams msg get_Persistent'SaveParams'sealFor :: ReadCtx m msg => Persistent'SaveParams msg -> m (Maybe (Ptr msg)) has_Persistent'SaveParams'sealFor :: ReadCtx m msg => Persistent'SaveParams msg -> m Bool set_Persistent'SaveParams'sealFor :: RWCtx m s => Persistent'SaveParams (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () newtype Persistent'SaveResults msg Persistent'SaveResults_newtype_ :: (Struct msg) -> Persistent'SaveResults msg get_Persistent'SaveResults'sturdyRef :: ReadCtx m msg => Persistent'SaveResults msg -> m (Maybe (Ptr msg)) has_Persistent'SaveResults'sturdyRef :: ReadCtx m msg => Persistent'SaveResults msg -> m Bool set_Persistent'SaveResults'sturdyRef :: RWCtx m s => Persistent'SaveResults (MutMsg s) -> (Maybe (Ptr (MutMsg s))) -> m () instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Persistent.Persistent'SaveResults msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Persistent.Persistent'SaveResults msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Persistent.Persistent'SaveResults msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Persistent.Persistent'SaveResults msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Persistent.Persistent'SaveResults (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Persistent.Persistent'SaveResults msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Persistent.Persistent'SaveResults msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Persistent.Persistent'SaveResults (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Persistent.Persistent'SaveResults msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Persistent.Persistent'SaveParams msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Persistent.Persistent'SaveParams msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Persistent.Persistent'SaveParams msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Persistent.Persistent'SaveParams msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Persistent.Persistent'SaveParams (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Persistent.Persistent'SaveParams msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Persistent.Persistent'SaveParams msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Persistent.Persistent'SaveParams (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Persistent.Persistent'SaveParams msg)) module Capnp.ById.Xb8630836983feed7 -- | This module is the generated code for capnp/json.capnp, for the -- low-level api. module Capnp.Capnp.Json newtype JsonValue msg JsonValue_newtype_ :: (Struct msg) -> JsonValue msg data JsonValue' msg JsonValue'null :: JsonValue' msg JsonValue'boolean :: Bool -> JsonValue' msg JsonValue'number :: Double -> JsonValue' msg JsonValue'string :: (Text msg) -> JsonValue' msg JsonValue'array :: (List msg (JsonValue msg)) -> JsonValue' msg JsonValue'object :: (List msg (JsonValue'Field msg)) -> JsonValue' msg JsonValue'call :: (JsonValue'Call msg) -> JsonValue' msg JsonValue'unknown' :: Word16 -> JsonValue' msg get_JsonValue' :: ReadCtx m msg => JsonValue msg -> m (JsonValue' msg) has_JsonValue' :: ReadCtx m msg => JsonValue msg -> m Bool set_JsonValue'null :: RWCtx m s => JsonValue (MutMsg s) -> m () set_JsonValue'boolean :: RWCtx m s => JsonValue (MutMsg s) -> Bool -> m () set_JsonValue'number :: RWCtx m s => JsonValue (MutMsg s) -> Double -> m () set_JsonValue'string :: RWCtx m s => JsonValue (MutMsg s) -> (Text (MutMsg s)) -> m () new_JsonValue'string :: RWCtx m s => Int -> JsonValue (MutMsg s) -> m ((Text (MutMsg s))) set_JsonValue'array :: RWCtx m s => JsonValue (MutMsg s) -> (List (MutMsg s) (JsonValue (MutMsg s))) -> m () new_JsonValue'array :: RWCtx m s => Int -> JsonValue (MutMsg s) -> m ((List (MutMsg s) (JsonValue (MutMsg s)))) set_JsonValue'object :: RWCtx m s => JsonValue (MutMsg s) -> (List (MutMsg s) (JsonValue'Field (MutMsg s))) -> m () new_JsonValue'object :: RWCtx m s => Int -> JsonValue (MutMsg s) -> m ((List (MutMsg s) (JsonValue'Field (MutMsg s)))) set_JsonValue'call :: RWCtx m s => JsonValue (MutMsg s) -> (JsonValue'Call (MutMsg s)) -> m () new_JsonValue'call :: RWCtx m s => JsonValue (MutMsg s) -> m ((JsonValue'Call (MutMsg s))) set_JsonValue'unknown' :: RWCtx m s => JsonValue (MutMsg s) -> Word16 -> m () newtype JsonValue'Call msg JsonValue'Call_newtype_ :: (Struct msg) -> JsonValue'Call msg get_JsonValue'Call'function :: ReadCtx m msg => JsonValue'Call msg -> m (Text msg) has_JsonValue'Call'function :: ReadCtx m msg => JsonValue'Call msg -> m Bool set_JsonValue'Call'function :: RWCtx m s => JsonValue'Call (MutMsg s) -> (Text (MutMsg s)) -> m () new_JsonValue'Call'function :: RWCtx m s => Int -> JsonValue'Call (MutMsg s) -> m ((Text (MutMsg s))) get_JsonValue'Call'params :: ReadCtx m msg => JsonValue'Call msg -> m (List msg (JsonValue msg)) has_JsonValue'Call'params :: ReadCtx m msg => JsonValue'Call msg -> m Bool set_JsonValue'Call'params :: RWCtx m s => JsonValue'Call (MutMsg s) -> (List (MutMsg s) (JsonValue (MutMsg s))) -> m () new_JsonValue'Call'params :: RWCtx m s => Int -> JsonValue'Call (MutMsg s) -> m ((List (MutMsg s) (JsonValue (MutMsg s)))) newtype JsonValue'Field msg JsonValue'Field_newtype_ :: (Struct msg) -> JsonValue'Field msg get_JsonValue'Field'name :: ReadCtx m msg => JsonValue'Field msg -> m (Text msg) has_JsonValue'Field'name :: ReadCtx m msg => JsonValue'Field msg -> m Bool set_JsonValue'Field'name :: RWCtx m s => JsonValue'Field (MutMsg s) -> (Text (MutMsg s)) -> m () new_JsonValue'Field'name :: RWCtx m s => Int -> JsonValue'Field (MutMsg s) -> m ((Text (MutMsg s))) get_JsonValue'Field'value :: ReadCtx m msg => JsonValue'Field msg -> m (JsonValue msg) has_JsonValue'Field'value :: ReadCtx m msg => JsonValue'Field msg -> m Bool set_JsonValue'Field'value :: RWCtx m s => JsonValue'Field (MutMsg s) -> (JsonValue (MutMsg s)) -> m () new_JsonValue'Field'value :: RWCtx m s => JsonValue'Field (MutMsg s) -> m ((JsonValue (MutMsg s))) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Json.JsonValue' msg) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Json.JsonValue'Field msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Json.JsonValue'Field msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Json.JsonValue'Field msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Json.JsonValue'Field msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Json.JsonValue'Field (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Json.JsonValue'Field msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Json.JsonValue'Field msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Json.JsonValue'Field (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Json.JsonValue'Field msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Json.JsonValue'Call msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Json.JsonValue'Call msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Json.JsonValue'Call msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Json.JsonValue'Call msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Json.JsonValue'Call (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Json.JsonValue'Call msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Json.JsonValue'Call msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Json.JsonValue'Call (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Json.JsonValue'Call msg)) instance Data.Capnp.Classes.FromStruct msg (Capnp.Capnp.Json.JsonValue msg) instance Data.Capnp.Classes.ToStruct msg (Capnp.Capnp.Json.JsonValue msg) instance Data.Capnp.Classes.IsPtr msg (Capnp.Capnp.Json.JsonValue msg) instance Data.Capnp.Classes.ListElem msg (Capnp.Capnp.Json.JsonValue msg) instance Data.Capnp.Classes.MutListElem s (Capnp.Capnp.Json.JsonValue (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Untyped.HasMessage (Capnp.Capnp.Json.JsonValue msg) msg instance Data.Capnp.Untyped.MessageDefault (Capnp.Capnp.Json.JsonValue msg) msg instance Data.Capnp.Classes.Allocate s (Capnp.Capnp.Json.JsonValue (Data.Capnp.Message.MutMsg s)) instance Data.Capnp.Classes.IsPtr msg (Data.Capnp.Classes.List msg (Capnp.Capnp.Json.JsonValue msg)) module Capnp.ById.X8ef99297a43a5e34 -- | This module is the generated code for capnp/c++.capnp, for the -- high-level api. module Capnp.Capnp.Cxx.Pure module Capnp.ById.Xbdf87d7bb8304e81.Pure -- | This module is the generated code for capnp/schema.capnp, for the -- high-level api. module Capnp.Capnp.Schema.Pure data Annotation Annotation :: Word64 -> Value -> Brand -> Annotation [$sel:id:Annotation] :: Annotation -> Word64 [$sel:value:Annotation] :: Annotation -> Value [$sel:brand:Annotation] :: Annotation -> Brand data Brand Brand :: ListOf (Brand'Scope) -> Brand [$sel:scopes:Brand] :: Brand -> ListOf (Brand'Scope) data CapnpVersion CapnpVersion :: Word16 -> Word8 -> Word8 -> CapnpVersion [$sel:major:CapnpVersion] :: CapnpVersion -> Word16 [$sel:minor:CapnpVersion] :: CapnpVersion -> Word8 [$sel:micro:CapnpVersion] :: CapnpVersion -> Word8 data CodeGeneratorRequest CodeGeneratorRequest :: ListOf (Node) -> ListOf (CodeGeneratorRequest'RequestedFile) -> CapnpVersion -> CodeGeneratorRequest [$sel:nodes:CodeGeneratorRequest] :: CodeGeneratorRequest -> ListOf (Node) [$sel:requestedFiles:CodeGeneratorRequest] :: CodeGeneratorRequest -> ListOf (CodeGeneratorRequest'RequestedFile) [$sel:capnpVersion:CodeGeneratorRequest] :: CodeGeneratorRequest -> CapnpVersion data ElementSize ElementSize'empty :: ElementSize ElementSize'bit :: ElementSize ElementSize'byte :: ElementSize ElementSize'twoBytes :: ElementSize ElementSize'fourBytes :: ElementSize ElementSize'eightBytes :: ElementSize ElementSize'pointer :: ElementSize ElementSize'inlineComposite :: ElementSize ElementSize'unknown' :: Word16 -> ElementSize data Enumerant Enumerant :: Text -> Word16 -> ListOf (Annotation) -> Enumerant [$sel:name:Enumerant] :: Enumerant -> Text [$sel:codeOrder:Enumerant] :: Enumerant -> Word16 [$sel:annotations:Enumerant] :: Enumerant -> ListOf (Annotation) data Field Field :: Text -> Word16 -> ListOf (Annotation) -> Word16 -> Field'ordinal -> Field' -> Field [$sel:name:Field] :: Field -> Text [$sel:codeOrder:Field] :: Field -> Word16 [$sel:annotations:Field] :: Field -> ListOf (Annotation) [$sel:discriminantValue:Field] :: Field -> Word16 [$sel:ordinal:Field] :: Field -> Field'ordinal [$sel:union':Field] :: Field -> Field' data Method Method :: Text -> Word16 -> Word64 -> Word64 -> ListOf (Annotation) -> Brand -> Brand -> ListOf (Node'Parameter) -> Method [$sel:name:Method] :: Method -> Text [$sel:codeOrder:Method] :: Method -> Word16 [$sel:paramStructType:Method] :: Method -> Word64 [$sel:resultStructType:Method] :: Method -> Word64 [$sel:annotations:Method] :: Method -> ListOf (Annotation) [$sel:paramBrand:Method] :: Method -> Brand [$sel:resultBrand:Method] :: Method -> Brand [$sel:implicitParameters:Method] :: Method -> ListOf (Node'Parameter) data Node Node :: Word64 -> Text -> Word32 -> Word64 -> ListOf (Node'NestedNode) -> ListOf (Annotation) -> ListOf (Node'Parameter) -> Bool -> Node' -> Node [$sel:id:Node] :: Node -> Word64 [$sel:displayName:Node] :: Node -> Text [$sel:displayNamePrefixLength:Node] :: Node -> Word32 [$sel:scopeId:Node] :: Node -> Word64 [$sel:nestedNodes:Node] :: Node -> ListOf (Node'NestedNode) [$sel:annotations:Node] :: Node -> ListOf (Annotation) [$sel:parameters:Node] :: Node -> ListOf (Node'Parameter) [$sel:isGeneric:Node] :: Node -> Bool [$sel:union':Node] :: Node -> Node' data Superclass Superclass :: Word64 -> Brand -> Superclass [$sel:id:Superclass] :: Superclass -> Word64 [$sel:brand:Superclass] :: Superclass -> Brand data Type Type'void :: Type Type'bool :: Type Type'int8 :: Type Type'int16 :: Type Type'int32 :: Type Type'int64 :: Type Type'uint8 :: Type Type'uint16 :: Type Type'uint32 :: Type Type'uint64 :: Type Type'float32 :: Type Type'float64 :: Type Type'text :: Type Type'data_ :: Type Type'list :: Type -> Type [$sel:elementType:Type'void] :: Type -> Type Type'enum :: Word64 -> Brand -> Type [$sel:typeId:Type'void] :: Type -> Word64 [$sel:brand:Type'void] :: Type -> Brand Type'struct :: Word64 -> Brand -> Type [$sel:typeId:Type'void] :: Type -> Word64 [$sel:brand:Type'void] :: Type -> Brand Type'interface :: Word64 -> Brand -> Type [$sel:typeId:Type'void] :: Type -> Word64 [$sel:brand:Type'void] :: Type -> Brand Type'anyPointer :: Type'anyPointer -> Type [$sel:union':Type'void] :: Type -> Type'anyPointer Type'unknown' :: (Word16) -> Type data Value Value'void :: Value Value'bool :: (Bool) -> Value Value'int8 :: (Int8) -> Value Value'int16 :: (Int16) -> Value Value'int32 :: (Int32) -> Value Value'int64 :: (Int64) -> Value Value'uint8 :: (Word8) -> Value Value'uint16 :: (Word16) -> Value Value'uint32 :: (Word32) -> Value Value'uint64 :: (Word64) -> Value Value'float32 :: (Float) -> Value Value'float64 :: (Double) -> Value Value'text :: (Text) -> Value Value'data_ :: (Data) -> Value Value'list :: (Maybe (PtrType)) -> Value Value'enum :: (Word16) -> Value Value'struct :: (Maybe (PtrType)) -> Value Value'interface :: Value Value'anyPointer :: (Maybe (PtrType)) -> Value Value'unknown' :: (Word16) -> Value data Brand'Binding Brand'Binding'unbound :: Brand'Binding Brand'Binding'type_ :: (Type) -> Brand'Binding Brand'Binding'unknown' :: (Word16) -> Brand'Binding data Brand'Scope Brand'Scope :: Word64 -> Brand'Scope' -> Brand'Scope [$sel:scopeId:Brand'Scope] :: Brand'Scope -> Word64 [$sel:union':Brand'Scope] :: Brand'Scope -> Brand'Scope' data Brand'Scope' Brand'Scope'bind :: (ListOf (Brand'Binding)) -> Brand'Scope' Brand'Scope'inherit :: Brand'Scope' Brand'Scope'unknown' :: (Word16) -> Brand'Scope' data CodeGeneratorRequest'RequestedFile CodeGeneratorRequest'RequestedFile :: Word64 -> Text -> ListOf (CodeGeneratorRequest'RequestedFile'Import) -> CodeGeneratorRequest'RequestedFile [$sel:id:CodeGeneratorRequest'RequestedFile] :: CodeGeneratorRequest'RequestedFile -> Word64 [$sel:filename:CodeGeneratorRequest'RequestedFile] :: CodeGeneratorRequest'RequestedFile -> Text [$sel:imports:CodeGeneratorRequest'RequestedFile] :: CodeGeneratorRequest'RequestedFile -> ListOf (CodeGeneratorRequest'RequestedFile'Import) data CodeGeneratorRequest'RequestedFile'Import CodeGeneratorRequest'RequestedFile'Import :: Word64 -> Text -> CodeGeneratorRequest'RequestedFile'Import [$sel:id:CodeGeneratorRequest'RequestedFile'Import] :: CodeGeneratorRequest'RequestedFile'Import -> Word64 [$sel:name:CodeGeneratorRequest'RequestedFile'Import] :: CodeGeneratorRequest'RequestedFile'Import -> Text data Field' Field'slot :: Word32 -> Type -> Value -> Bool -> Field' [$sel:offset:Field'slot] :: Field' -> Word32 [$sel:type_:Field'slot] :: Field' -> Type [$sel:defaultValue:Field'slot] :: Field' -> Value [$sel:hadExplicitDefault:Field'slot] :: Field' -> Bool Field'group :: Word64 -> Field' [$sel:typeId:Field'slot] :: Field' -> Word64 Field'unknown' :: (Word16) -> Field' field'noDiscriminant :: Word16 data Field'ordinal Field'ordinal'implicit :: Field'ordinal Field'ordinal'explicit :: (Word16) -> Field'ordinal Field'ordinal'unknown' :: (Word16) -> Field'ordinal data Node' Node'file :: Node' Node'struct :: Word16 -> Word16 -> ElementSize -> Bool -> Word16 -> Word32 -> ListOf (Field) -> Node' [$sel:dataWordCount:Node'file] :: Node' -> Word16 [$sel:pointerCount:Node'file] :: Node' -> Word16 [$sel:preferredListEncoding:Node'file] :: Node' -> ElementSize [$sel:isGroup:Node'file] :: Node' -> Bool [$sel:discriminantCount:Node'file] :: Node' -> Word16 [$sel:discriminantOffset:Node'file] :: Node' -> Word32 [$sel:fields:Node'file] :: Node' -> ListOf (Field) Node'enum :: ListOf (Enumerant) -> Node' [$sel:enumerants:Node'file] :: Node' -> ListOf (Enumerant) Node'interface :: ListOf (Method) -> ListOf (Superclass) -> Node' [$sel:methods:Node'file] :: Node' -> ListOf (Method) [$sel:superclasses:Node'file] :: Node' -> ListOf (Superclass) Node'const :: Type -> Value -> Node' [$sel:type_:Node'file] :: Node' -> Type [$sel:value:Node'file] :: Node' -> Value Node'annotation :: Type -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Node' [$sel:type_:Node'file] :: Node' -> Type [$sel:targetsFile:Node'file] :: Node' -> Bool [$sel:targetsConst:Node'file] :: Node' -> Bool [$sel:targetsEnum:Node'file] :: Node' -> Bool [$sel:targetsEnumerant:Node'file] :: Node' -> Bool [$sel:targetsStruct:Node'file] :: Node' -> Bool [$sel:targetsField:Node'file] :: Node' -> Bool [$sel:targetsUnion:Node'file] :: Node' -> Bool [$sel:targetsGroup:Node'file] :: Node' -> Bool [$sel:targetsInterface:Node'file] :: Node' -> Bool [$sel:targetsMethod:Node'file] :: Node' -> Bool [$sel:targetsParam:Node'file] :: Node' -> Bool [$sel:targetsAnnotation:Node'file] :: Node' -> Bool Node'unknown' :: (Word16) -> Node' data Node'NestedNode Node'NestedNode :: Text -> Word64 -> Node'NestedNode [$sel:name:Node'NestedNode] :: Node'NestedNode -> Text [$sel:id:Node'NestedNode] :: Node'NestedNode -> Word64 data Node'Parameter Node'Parameter :: Text -> Node'Parameter [$sel:name:Node'Parameter] :: Node'Parameter -> Text data Type'anyPointer Type'anyPointer'unconstrained :: Type'anyPointer'unconstrained -> Type'anyPointer [$sel:union':Type'anyPointer'unconstrained] :: Type'anyPointer -> Type'anyPointer'unconstrained Type'anyPointer'parameter :: Word64 -> Word16 -> Type'anyPointer [$sel:scopeId:Type'anyPointer'unconstrained] :: Type'anyPointer -> Word64 [$sel:parameterIndex:Type'anyPointer'unconstrained] :: Type'anyPointer -> Word16 Type'anyPointer'implicitMethodParameter :: Word16 -> Type'anyPointer [$sel:parameterIndex:Type'anyPointer'unconstrained] :: Type'anyPointer -> Word16 Type'anyPointer'unknown' :: (Word16) -> Type'anyPointer data Type'anyPointer'unconstrained Type'anyPointer'unconstrained'anyKind :: Type'anyPointer'unconstrained Type'anyPointer'unconstrained'struct :: Type'anyPointer'unconstrained Type'anyPointer'unconstrained'list :: Type'anyPointer'unconstrained Type'anyPointer'unconstrained'capability :: Type'anyPointer'unconstrained Type'anyPointer'unconstrained'unknown' :: (Word16) -> Type'anyPointer'unconstrained instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.CodeGeneratorRequest instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.CodeGeneratorRequest instance GHC.Read.Read Capnp.Capnp.Schema.Pure.CodeGeneratorRequest instance GHC.Show.Show Capnp.Capnp.Schema.Pure.CodeGeneratorRequest instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Node instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Node instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Node instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Node instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Node' instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Node' instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Node' instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Node' instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Enumerant instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Enumerant instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Enumerant instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Enumerant instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Field instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Field instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Field instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Field instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Method instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Method instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Method instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Method instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Annotation instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Annotation instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Annotation instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Annotation instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Superclass instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Superclass instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Superclass instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Superclass instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Field' instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Field' instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Field' instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Field' instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Brand'Binding instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Brand'Binding instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Brand'Binding instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Brand'Binding instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Brand'Scope' instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Brand'Scope' instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Brand'Scope' instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Brand'Scope' instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Brand'Scope instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Brand'Scope instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Brand'Scope instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Brand'Scope instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Brand instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Brand instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Brand instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Brand instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Type instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Type instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Type instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Type instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Type'anyPointer instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Type'anyPointer instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Type'anyPointer instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Type'anyPointer instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Type'anyPointer'unconstrained instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Type'anyPointer'unconstrained instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Type'anyPointer'unconstrained instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Type'anyPointer'unconstrained instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Node'Parameter instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Node'Parameter instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Node'Parameter instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Node'Parameter instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Node'NestedNode instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Node'NestedNode instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Node'NestedNode instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Node'NestedNode instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Field'ordinal instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Field'ordinal instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Field'ordinal instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Field'ordinal instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile instance GHC.Read.Read Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile instance GHC.Show.Show Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile'Import instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile'Import instance GHC.Read.Read Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile'Import instance GHC.Show.Show Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile'Import instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.Value instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.Value instance GHC.Read.Read Capnp.Capnp.Schema.Pure.Value instance GHC.Show.Show Capnp.Capnp.Schema.Pure.Value instance GHC.Generics.Generic Capnp.Capnp.Schema.Pure.CapnpVersion instance GHC.Classes.Eq Capnp.Capnp.Schema.Pure.CapnpVersion instance GHC.Read.Read Capnp.Capnp.Schema.Pure.CapnpVersion instance GHC.Show.Show Capnp.Capnp.Schema.Pure.CapnpVersion instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.CodeGeneratorRequest instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.CodeGeneratorRequest instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.CodeGeneratorRequest instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.CodeGeneratorRequest instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.CodeGeneratorRequest instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Node instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Node instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Node instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Node instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Node instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Node' instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Node' instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Node' instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Node' instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Node' instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Enumerant instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Enumerant instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Enumerant instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Enumerant instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Enumerant instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Field instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Field instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Field instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Field instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Field instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Method instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Method instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Method instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Method instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Method instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Annotation instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Annotation instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Annotation instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Annotation instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Annotation instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Superclass instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Superclass instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Superclass instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Superclass instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Superclass instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Field' instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Field' instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Field' instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Field' instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Field' instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Brand instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Brand instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Brand instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Brand instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Brand instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Type instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Type instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Type instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Type instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Type instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Brand'Binding instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Brand'Binding instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Brand'Binding instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Brand'Binding instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Brand'Binding instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Brand'Scope instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Brand'Scope instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Brand'Scope instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Brand'Scope instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Brand'Scope instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Brand'Scope' instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Brand'Scope' instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Brand'Scope' instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Brand'Scope' instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Brand'Scope' instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Type'anyPointer instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Type'anyPointer instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Type'anyPointer instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Type'anyPointer instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Type'anyPointer instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Type'anyPointer'unconstrained instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Type'anyPointer'unconstrained instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Type'anyPointer'unconstrained instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Type'anyPointer'unconstrained instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Type'anyPointer'unconstrained instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Node'Parameter instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Node'Parameter instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Node'Parameter instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Node'Parameter instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Node'Parameter instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Node'NestedNode instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Node'NestedNode instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Node'NestedNode instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Node'NestedNode instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Node'NestedNode instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Field'ordinal instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Field'ordinal instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Field'ordinal instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Field'ordinal instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Field'ordinal instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile'Import instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile'Import instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile'Import instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile'Import instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.CodeGeneratorRequest'RequestedFile'Import instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.Value instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.Value instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.Value instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.Value instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.Value instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Schema.Pure.CapnpVersion instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Schema.Pure.CapnpVersion instance Data.Capnp.Classes.Marshal Capnp.Capnp.Schema.Pure.CapnpVersion instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Schema.Pure.CapnpVersion instance Data.Default.Class.Default Capnp.Capnp.Schema.Pure.CapnpVersion module Capnp.ById.Xa93fc509624c72d9.Pure -- | This module is the generated code for capnp/rpc-twoparty.capnp, for -- the high-level api. module Capnp.Capnp.RpcTwoparty.Pure data JoinKeyPart JoinKeyPart :: Word32 -> Word16 -> Word16 -> JoinKeyPart [$sel:joinId:JoinKeyPart] :: JoinKeyPart -> Word32 [$sel:partCount:JoinKeyPart] :: JoinKeyPart -> Word16 [$sel:partNum:JoinKeyPart] :: JoinKeyPart -> Word16 data JoinResult JoinResult :: Word32 -> Bool -> Maybe (PtrType) -> JoinResult [$sel:joinId:JoinResult] :: JoinResult -> Word32 [$sel:succeeded:JoinResult] :: JoinResult -> Bool [$sel:cap:JoinResult] :: JoinResult -> Maybe (PtrType) data ProvisionId ProvisionId :: Word32 -> ProvisionId [$sel:joinId:ProvisionId] :: ProvisionId -> Word32 data Side Side'server :: Side Side'client :: Side Side'unknown' :: Word16 -> Side data VatId VatId :: Side -> VatId [$sel:side:VatId] :: VatId -> Side instance GHC.Generics.Generic Capnp.Capnp.RpcTwoparty.Pure.VatId instance GHC.Classes.Eq Capnp.Capnp.RpcTwoparty.Pure.VatId instance GHC.Read.Read Capnp.Capnp.RpcTwoparty.Pure.VatId instance GHC.Show.Show Capnp.Capnp.RpcTwoparty.Pure.VatId instance GHC.Generics.Generic Capnp.Capnp.RpcTwoparty.Pure.ProvisionId instance GHC.Classes.Eq Capnp.Capnp.RpcTwoparty.Pure.ProvisionId instance GHC.Read.Read Capnp.Capnp.RpcTwoparty.Pure.ProvisionId instance GHC.Show.Show Capnp.Capnp.RpcTwoparty.Pure.ProvisionId instance GHC.Generics.Generic Capnp.Capnp.RpcTwoparty.Pure.JoinResult instance GHC.Classes.Eq Capnp.Capnp.RpcTwoparty.Pure.JoinResult instance GHC.Read.Read Capnp.Capnp.RpcTwoparty.Pure.JoinResult instance GHC.Show.Show Capnp.Capnp.RpcTwoparty.Pure.JoinResult instance GHC.Generics.Generic Capnp.Capnp.RpcTwoparty.Pure.JoinKeyPart instance GHC.Classes.Eq Capnp.Capnp.RpcTwoparty.Pure.JoinKeyPart instance GHC.Read.Read Capnp.Capnp.RpcTwoparty.Pure.JoinKeyPart instance GHC.Show.Show Capnp.Capnp.RpcTwoparty.Pure.JoinKeyPart instance Data.Capnp.Classes.Decerialize Capnp.Capnp.RpcTwoparty.Pure.VatId instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.RpcTwoparty.Pure.VatId instance Data.Capnp.Classes.Marshal Capnp.Capnp.RpcTwoparty.Pure.VatId instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.RpcTwoparty.Pure.VatId instance Data.Default.Class.Default Capnp.Capnp.RpcTwoparty.Pure.VatId instance Data.Capnp.Classes.Decerialize Capnp.Capnp.RpcTwoparty.Pure.ProvisionId instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.RpcTwoparty.Pure.ProvisionId instance Data.Capnp.Classes.Marshal Capnp.Capnp.RpcTwoparty.Pure.ProvisionId instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.RpcTwoparty.Pure.ProvisionId instance Data.Default.Class.Default Capnp.Capnp.RpcTwoparty.Pure.ProvisionId instance Data.Capnp.Classes.Decerialize Capnp.Capnp.RpcTwoparty.Pure.JoinResult instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.RpcTwoparty.Pure.JoinResult instance Data.Capnp.Classes.Marshal Capnp.Capnp.RpcTwoparty.Pure.JoinResult instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.RpcTwoparty.Pure.JoinResult instance Data.Default.Class.Default Capnp.Capnp.RpcTwoparty.Pure.JoinResult instance Data.Capnp.Classes.Decerialize Capnp.Capnp.RpcTwoparty.Pure.JoinKeyPart instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.RpcTwoparty.Pure.JoinKeyPart instance Data.Capnp.Classes.Marshal Capnp.Capnp.RpcTwoparty.Pure.JoinKeyPart instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.RpcTwoparty.Pure.JoinKeyPart instance Data.Default.Class.Default Capnp.Capnp.RpcTwoparty.Pure.JoinKeyPart module Capnp.ById.Xa184c7885cdaf2a1.Pure -- | This module is the generated code for capnp/rpc.capnp, for the -- high-level api. module Capnp.Capnp.Rpc.Pure data Accept Accept :: Word32 -> Maybe (PtrType) -> Bool -> Accept [$sel:questionId:Accept] :: Accept -> Word32 [$sel:provision:Accept] :: Accept -> Maybe (PtrType) [$sel:embargo:Accept] :: Accept -> Bool data Bootstrap Bootstrap :: Word32 -> Maybe (PtrType) -> Bootstrap [$sel:questionId:Bootstrap] :: Bootstrap -> Word32 [$sel:deprecatedObjectId:Bootstrap] :: Bootstrap -> Maybe (PtrType) data Call Call :: Word32 -> MessageTarget -> Word64 -> Word16 -> Payload -> Call'sendResultsTo -> Bool -> Call [$sel:questionId:Call] :: Call -> Word32 [$sel:target:Call] :: Call -> MessageTarget [$sel:interfaceId:Call] :: Call -> Word64 [$sel:methodId:Call] :: Call -> Word16 [$sel:params:Call] :: Call -> Payload [$sel:sendResultsTo:Call] :: Call -> Call'sendResultsTo [$sel:allowThirdPartyTailCall:Call] :: Call -> Bool data CapDescriptor CapDescriptor'none :: CapDescriptor CapDescriptor'senderHosted :: (Word32) -> CapDescriptor CapDescriptor'senderPromise :: (Word32) -> CapDescriptor CapDescriptor'receiverHosted :: (Word32) -> CapDescriptor CapDescriptor'receiverAnswer :: (PromisedAnswer) -> CapDescriptor CapDescriptor'thirdPartyHosted :: (ThirdPartyCapDescriptor) -> CapDescriptor CapDescriptor'unknown' :: (Word16) -> CapDescriptor data Disembargo Disembargo :: MessageTarget -> Disembargo'context -> Disembargo [$sel:target:Disembargo] :: Disembargo -> MessageTarget [$sel:context:Disembargo] :: Disembargo -> Disembargo'context data Exception Exception :: Text -> Bool -> Word16 -> Exception'Type -> Exception [$sel:reason:Exception] :: Exception -> Text [$sel:obsoleteIsCallersFault:Exception] :: Exception -> Bool [$sel:obsoleteDurability:Exception] :: Exception -> Word16 [$sel:type_:Exception] :: Exception -> Exception'Type data Finish Finish :: Word32 -> Bool -> Finish [$sel:questionId:Finish] :: Finish -> Word32 [$sel:releaseResultCaps:Finish] :: Finish -> Bool data Join Join :: Word32 -> MessageTarget -> Maybe (PtrType) -> Join [$sel:questionId:Join] :: Join -> Word32 [$sel:target:Join] :: Join -> MessageTarget [$sel:keyPart:Join] :: Join -> Maybe (PtrType) data Message Message'unimplemented :: (Message) -> Message Message'abort :: (Exception) -> Message Message'call :: (Call) -> Message Message'return :: (Return) -> Message Message'finish :: (Finish) -> Message Message'resolve :: (Resolve) -> Message Message'release :: (Release) -> Message Message'obsoleteSave :: (Maybe (PtrType)) -> Message Message'bootstrap :: (Bootstrap) -> Message Message'obsoleteDelete :: (Maybe (PtrType)) -> Message Message'provide :: (Provide) -> Message Message'accept :: (Accept) -> Message Message'join :: (Join) -> Message Message'disembargo :: (Disembargo) -> Message Message'unknown' :: (Word16) -> Message data MessageTarget MessageTarget'importedCap :: (Word32) -> MessageTarget MessageTarget'promisedAnswer :: (PromisedAnswer) -> MessageTarget MessageTarget'unknown' :: (Word16) -> MessageTarget data Payload Payload :: Maybe (PtrType) -> ListOf (CapDescriptor) -> Payload [$sel:content:Payload] :: Payload -> Maybe (PtrType) [$sel:capTable:Payload] :: Payload -> ListOf (CapDescriptor) data PromisedAnswer PromisedAnswer :: Word32 -> ListOf (PromisedAnswer'Op) -> PromisedAnswer [$sel:questionId:PromisedAnswer] :: PromisedAnswer -> Word32 [$sel:transform:PromisedAnswer] :: PromisedAnswer -> ListOf (PromisedAnswer'Op) data Provide Provide :: Word32 -> MessageTarget -> Maybe (PtrType) -> Provide [$sel:questionId:Provide] :: Provide -> Word32 [$sel:target:Provide] :: Provide -> MessageTarget [$sel:recipient:Provide] :: Provide -> Maybe (PtrType) data Release Release :: Word32 -> Word32 -> Release [$sel:id:Release] :: Release -> Word32 [$sel:referenceCount:Release] :: Release -> Word32 data Resolve Resolve :: Word32 -> Resolve' -> Resolve [$sel:promiseId:Resolve] :: Resolve -> Word32 [$sel:union':Resolve] :: Resolve -> Resolve' data Return Return :: Word32 -> Bool -> Return' -> Return [$sel:answerId:Return] :: Return -> Word32 [$sel:releaseParamCaps:Return] :: Return -> Bool [$sel:union':Return] :: Return -> Return' data ThirdPartyCapDescriptor ThirdPartyCapDescriptor :: Maybe (PtrType) -> Word32 -> ThirdPartyCapDescriptor [$sel:id:ThirdPartyCapDescriptor] :: ThirdPartyCapDescriptor -> Maybe (PtrType) [$sel:vineId:ThirdPartyCapDescriptor] :: ThirdPartyCapDescriptor -> Word32 data Call'sendResultsTo Call'sendResultsTo'caller :: Call'sendResultsTo Call'sendResultsTo'yourself :: Call'sendResultsTo Call'sendResultsTo'thirdParty :: (Maybe (PtrType)) -> Call'sendResultsTo Call'sendResultsTo'unknown' :: (Word16) -> Call'sendResultsTo data Disembargo'context Disembargo'context'senderLoopback :: (Word32) -> Disembargo'context Disembargo'context'receiverLoopback :: (Word32) -> Disembargo'context Disembargo'context'accept :: Disembargo'context Disembargo'context'provide :: (Word32) -> Disembargo'context Disembargo'context'unknown' :: (Word16) -> Disembargo'context data Exception'Type Exception'Type'failed :: Exception'Type Exception'Type'overloaded :: Exception'Type Exception'Type'disconnected :: Exception'Type Exception'Type'unimplemented :: Exception'Type Exception'Type'unknown' :: Word16 -> Exception'Type data PromisedAnswer'Op PromisedAnswer'Op'noop :: PromisedAnswer'Op PromisedAnswer'Op'getPointerField :: (Word16) -> PromisedAnswer'Op PromisedAnswer'Op'unknown' :: (Word16) -> PromisedAnswer'Op data Resolve' Resolve'cap :: (CapDescriptor) -> Resolve' Resolve'exception :: (Exception) -> Resolve' Resolve'unknown' :: (Word16) -> Resolve' data Return' Return'results :: (Payload) -> Return' Return'exception :: (Exception) -> Return' Return'canceled :: Return' Return'resultsSentElsewhere :: Return' Return'takeFromOtherQuestion :: (Word32) -> Return' Return'acceptFromThirdParty :: (Maybe (PtrType)) -> Return' Return'unknown' :: (Word16) -> Return' instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Message instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Message instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Message instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Message instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Return instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Return instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Return instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Return instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Return' instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Return' instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Return' instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Return' instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Resolve instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Resolve instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Resolve instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Resolve instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Resolve' instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Resolve' instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Resolve' instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Resolve' instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Call instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Call instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Call instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Call instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Payload instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Payload instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Payload instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Payload instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.CapDescriptor instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.CapDescriptor instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.CapDescriptor instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.CapDescriptor instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Disembargo instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Disembargo instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Disembargo instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Disembargo instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Join instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Join instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Join instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Join instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Provide instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Provide instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Provide instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Provide instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.MessageTarget instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.MessageTarget instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.MessageTarget instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.MessageTarget instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.PromisedAnswer instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.PromisedAnswer instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.PromisedAnswer instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.PromisedAnswer instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.PromisedAnswer'Op instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.PromisedAnswer'Op instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.PromisedAnswer'Op instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.PromisedAnswer'Op instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Disembargo'context instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Disembargo'context instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Disembargo'context instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Disembargo'context instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Call'sendResultsTo instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Call'sendResultsTo instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Call'sendResultsTo instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Call'sendResultsTo instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.ThirdPartyCapDescriptor instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.ThirdPartyCapDescriptor instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.ThirdPartyCapDescriptor instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.ThirdPartyCapDescriptor instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Release instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Release instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Release instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Release instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Finish instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Finish instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Finish instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Finish instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Exception instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Exception instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Exception instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Exception instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Bootstrap instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Bootstrap instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Bootstrap instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Bootstrap instance GHC.Generics.Generic Capnp.Capnp.Rpc.Pure.Accept instance GHC.Classes.Eq Capnp.Capnp.Rpc.Pure.Accept instance GHC.Read.Read Capnp.Capnp.Rpc.Pure.Accept instance GHC.Show.Show Capnp.Capnp.Rpc.Pure.Accept instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Message instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Message instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Message instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Message instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Message instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Return instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Return instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Return instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Return instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Return instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Return' instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Return' instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Return' instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Return' instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Return' instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Resolve instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Resolve instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Resolve instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Resolve instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Resolve instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Resolve' instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Resolve' instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Resolve' instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Resolve' instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Resolve' instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Call instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Call instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Call instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Call instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Call instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Payload instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Payload instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Payload instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Payload instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Payload instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.CapDescriptor instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.CapDescriptor instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.CapDescriptor instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.CapDescriptor instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.CapDescriptor instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Disembargo instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Disembargo instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Disembargo instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Disembargo instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Disembargo instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Join instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Join instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Join instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Join instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Join instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Provide instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Provide instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Provide instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Provide instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Provide instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.MessageTarget instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.MessageTarget instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.MessageTarget instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.MessageTarget instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.MessageTarget instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.PromisedAnswer instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.PromisedAnswer instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.PromisedAnswer instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.PromisedAnswer instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.PromisedAnswer instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.PromisedAnswer'Op instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.PromisedAnswer'Op instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.PromisedAnswer'Op instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.PromisedAnswer'Op instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.PromisedAnswer'Op instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Disembargo'context instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Disembargo'context instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Disembargo'context instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Disembargo'context instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Disembargo'context instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Call'sendResultsTo instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Call'sendResultsTo instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Call'sendResultsTo instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Call'sendResultsTo instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Call'sendResultsTo instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.ThirdPartyCapDescriptor instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.ThirdPartyCapDescriptor instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.ThirdPartyCapDescriptor instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.ThirdPartyCapDescriptor instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.ThirdPartyCapDescriptor instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Release instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Release instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Release instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Release instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Release instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Finish instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Finish instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Finish instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Finish instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Finish instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Exception instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Exception instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Exception instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Exception instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Exception instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Bootstrap instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Bootstrap instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Bootstrap instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Bootstrap instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Bootstrap instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Rpc.Pure.Accept instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Rpc.Pure.Accept instance Data.Capnp.Classes.Marshal Capnp.Capnp.Rpc.Pure.Accept instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Rpc.Pure.Accept instance Data.Default.Class.Default Capnp.Capnp.Rpc.Pure.Accept module Capnp.ById.Xb312981b2552a250.Pure -- | This module is the generated code for capnp/persistent.capnp, for the -- high-level api. module Capnp.Capnp.Persistent.Pure data Persistent'SaveParams Persistent'SaveParams :: Maybe (PtrType) -> Persistent'SaveParams [$sel:sealFor:Persistent'SaveParams] :: Persistent'SaveParams -> Maybe (PtrType) data Persistent'SaveResults Persistent'SaveResults :: Maybe (PtrType) -> Persistent'SaveResults [$sel:sturdyRef:Persistent'SaveResults] :: Persistent'SaveResults -> Maybe (PtrType) instance GHC.Generics.Generic Capnp.Capnp.Persistent.Pure.Persistent'SaveResults instance GHC.Classes.Eq Capnp.Capnp.Persistent.Pure.Persistent'SaveResults instance GHC.Read.Read Capnp.Capnp.Persistent.Pure.Persistent'SaveResults instance GHC.Show.Show Capnp.Capnp.Persistent.Pure.Persistent'SaveResults instance GHC.Generics.Generic Capnp.Capnp.Persistent.Pure.Persistent'SaveParams instance GHC.Classes.Eq Capnp.Capnp.Persistent.Pure.Persistent'SaveParams instance GHC.Read.Read Capnp.Capnp.Persistent.Pure.Persistent'SaveParams instance GHC.Show.Show Capnp.Capnp.Persistent.Pure.Persistent'SaveParams instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Persistent.Pure.Persistent'SaveResults instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Persistent.Pure.Persistent'SaveResults instance Data.Capnp.Classes.Marshal Capnp.Capnp.Persistent.Pure.Persistent'SaveResults instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Persistent.Pure.Persistent'SaveResults instance Data.Default.Class.Default Capnp.Capnp.Persistent.Pure.Persistent'SaveResults instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Persistent.Pure.Persistent'SaveParams instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Persistent.Pure.Persistent'SaveParams instance Data.Capnp.Classes.Marshal Capnp.Capnp.Persistent.Pure.Persistent'SaveParams instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Persistent.Pure.Persistent'SaveParams instance Data.Default.Class.Default Capnp.Capnp.Persistent.Pure.Persistent'SaveParams module Capnp.ById.Xb8630836983feed7.Pure -- | This module is the generated code for capnp/json.capnp, for the -- high-level api. module Capnp.Capnp.Json.Pure data JsonValue JsonValue'null :: JsonValue JsonValue'boolean :: (Bool) -> JsonValue JsonValue'number :: (Double) -> JsonValue JsonValue'string :: (Text) -> JsonValue JsonValue'array :: (ListOf (JsonValue)) -> JsonValue JsonValue'object :: (ListOf (JsonValue'Field)) -> JsonValue JsonValue'call :: (JsonValue'Call) -> JsonValue JsonValue'unknown' :: (Word16) -> JsonValue data JsonValue'Call JsonValue'Call :: Text -> ListOf (JsonValue) -> JsonValue'Call [$sel:function:JsonValue'Call] :: JsonValue'Call -> Text [$sel:params:JsonValue'Call] :: JsonValue'Call -> ListOf (JsonValue) data JsonValue'Field JsonValue'Field :: Text -> JsonValue -> JsonValue'Field [$sel:name:JsonValue'Field] :: JsonValue'Field -> Text [$sel:value:JsonValue'Field] :: JsonValue'Field -> JsonValue instance GHC.Generics.Generic Capnp.Capnp.Json.Pure.JsonValue'Call instance GHC.Classes.Eq Capnp.Capnp.Json.Pure.JsonValue'Call instance GHC.Read.Read Capnp.Capnp.Json.Pure.JsonValue'Call instance GHC.Show.Show Capnp.Capnp.Json.Pure.JsonValue'Call instance GHC.Generics.Generic Capnp.Capnp.Json.Pure.JsonValue instance GHC.Classes.Eq Capnp.Capnp.Json.Pure.JsonValue instance GHC.Read.Read Capnp.Capnp.Json.Pure.JsonValue instance GHC.Show.Show Capnp.Capnp.Json.Pure.JsonValue instance GHC.Generics.Generic Capnp.Capnp.Json.Pure.JsonValue'Field instance GHC.Classes.Eq Capnp.Capnp.Json.Pure.JsonValue'Field instance GHC.Read.Read Capnp.Capnp.Json.Pure.JsonValue'Field instance GHC.Show.Show Capnp.Capnp.Json.Pure.JsonValue'Field instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Json.Pure.JsonValue instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Json.Pure.JsonValue instance Data.Capnp.Classes.Marshal Capnp.Capnp.Json.Pure.JsonValue instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Json.Pure.JsonValue instance Data.Default.Class.Default Capnp.Capnp.Json.Pure.JsonValue instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Json.Pure.JsonValue'Call instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Json.Pure.JsonValue'Call instance Data.Capnp.Classes.Marshal Capnp.Capnp.Json.Pure.JsonValue'Call instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Json.Pure.JsonValue'Call instance Data.Default.Class.Default Capnp.Capnp.Json.Pure.JsonValue'Call instance Data.Capnp.Classes.Decerialize Capnp.Capnp.Json.Pure.JsonValue'Field instance Data.Capnp.Classes.FromStruct Data.Capnp.Message.ConstMsg Capnp.Capnp.Json.Pure.JsonValue'Field instance Data.Capnp.Classes.Marshal Capnp.Capnp.Json.Pure.JsonValue'Field instance Data.Capnp.Classes.Cerialize s Capnp.Capnp.Json.Pure.JsonValue'Field instance Data.Default.Class.Default Capnp.Capnp.Json.Pure.JsonValue'Field module Capnp.ById.X8ef99297a43a5e34.Pure