{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-dodgy-exports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-orphans #-}
{-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}
{-# OPTIONS_GHC -Wno-name-shadowing #-}
module Capnp.Gen.Capnp.Rpc.Pure(Capnp.Gen.ById.Xb312981b2552a250.Exception'Type(..)
                               ,Message(..)
                               ,Bootstrap(..)
                               ,Call(..)
                               ,Call'sendResultsTo(..)
                               ,Return(..)
                               ,Return'(..)
                               ,Finish(..)
                               ,Resolve(..)
                               ,Resolve'(..)
                               ,Release(..)
                               ,Disembargo(..)
                               ,Disembargo'context(..)
                               ,Provide(..)
                               ,Accept(..)
                               ,Join(..)
                               ,MessageTarget(..)
                               ,Payload(..)
                               ,CapDescriptor(..)
                               ,CapDescriptor'(..)
                               ,PromisedAnswer(..)
                               ,PromisedAnswer'Op(..)
                               ,ThirdPartyCapDescriptor(..)
                               ,Exception(..)) where
import qualified Capnp.GenHelpers.ReExports.Data.Vector as V
import qualified Capnp.GenHelpers.ReExports.Data.Text as T
import qualified Capnp.GenHelpers.ReExports.Data.ByteString as BS
import qualified Capnp.GenHelpers.ReExports.Data.Default as Default
import qualified GHC.Generics as Generics
import qualified Control.Monad.IO.Class as MonadIO
import qualified Capnp.Untyped.Pure as UntypedPure
import qualified Capnp.Untyped as Untyped
import qualified Capnp.Message as Message
import qualified Capnp.Classes as Classes
import qualified Capnp.Basics.Pure as BasicsPure
import qualified Capnp.GenHelpers.Pure as GenHelpersPure
import qualified Capnp.Gen.ById.Xb312981b2552a250
import qualified Prelude as Std_
import qualified Data.Word as Std_
import qualified Data.Int as Std_
import Prelude ((<$>), (<*>), (>>=))
data Message 
    = Message'unimplemented Message
    | Message'abort Exception
    | Message'call Call
    | Message'return Return
    | Message'finish Finish
    | Message'resolve Resolve
    | Message'release Release
    | Message'obsoleteSave (Std_.Maybe UntypedPure.Ptr)
    | Message'bootstrap Bootstrap
    | Message'obsoleteDelete (Std_.Maybe UntypedPure.Ptr)
    | Message'provide Provide
    | Message'accept Accept
    | Message'join Join
    | Message'disembargo Disembargo
    | Message'unknown' Std_.Word16
    deriving(Int -> Message -> ShowS
[Message] -> ShowS
Message -> String
(Int -> Message -> ShowS)
-> (Message -> String) -> ([Message] -> ShowS) -> Show Message
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Message] -> ShowS
$cshowList :: [Message] -> ShowS
show :: Message -> String
$cshow :: Message -> String
showsPrec :: Int -> Message -> ShowS
$cshowsPrec :: Int -> Message -> ShowS
Std_.Show
            ,Message -> Message -> Bool
(Message -> Message -> Bool)
-> (Message -> Message -> Bool) -> Eq Message
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Message -> Message -> Bool
$c/= :: Message -> Message -> Bool
== :: Message -> Message -> Bool
$c== :: Message -> Message -> Bool
Std_.Eq
            ,(forall x. Message -> Rep Message x)
-> (forall x. Rep Message x -> Message) -> Generic Message
forall x. Rep Message x -> Message
forall x. Message -> Rep Message x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Message x -> Message
$cfrom :: forall x. Message -> Rep Message x
Generics.Generic)
instance (Default.Default Message) where
    def :: Message
def  = Message
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Message) where
    fromStruct :: Struct 'Const -> m Message
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Message 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Message 'Const) -> (Message 'Const -> m Message) -> m Message
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Message 'Const -> m Message
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Message) where
    type Cerial msg Message = (Capnp.Gen.ById.Xb312981b2552a250.Message msg)
    decerialize :: Cerial 'Const Message -> m Message
decerialize Cerial 'Const Message
raw = (do
        Message' 'Const
raw <- (Message 'Const -> m (Message' 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (Message' msg)) =>
Message msg -> m (Message' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Message' Cerial 'Const Message
Message 'Const
raw)
        case Message' 'Const
raw of
            (Capnp.Gen.ById.Xb312981b2552a250.Message'unimplemented Message 'Const
raw) ->
                (Message -> Message
Message'unimplemented (Message -> Message) -> m Message -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Message -> m Message
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Message
Message 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'abort Exception 'Const
raw) ->
                (Exception -> Message
Message'abort (Exception -> Message) -> m Exception -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Exception -> m Exception
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Exception
Exception 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'call Call 'Const
raw) ->
                (Call -> Message
Message'call (Call -> Message) -> m Call -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Call -> m Call
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Call
Call 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'return Return 'Const
raw) ->
                (Return -> Message
Message'return (Return -> Message) -> m Return -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Return -> m Return
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Return
Return 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'finish Finish 'Const
raw) ->
                (Finish -> Message
Message'finish (Finish -> Message) -> m Finish -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Finish -> m Finish
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Finish
Finish 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'resolve Resolve 'Const
raw) ->
                (Resolve -> Message
Message'resolve (Resolve -> Message) -> m Resolve -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Resolve -> m Resolve
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Resolve
Resolve 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'release Release 'Const
raw) ->
                (Release -> Message
Message'release (Release -> Message) -> m Release -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Release -> m Release
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Release
Release 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'obsoleteSave Maybe (Ptr 'Const)
raw) ->
                (Maybe Ptr -> Message
Message'obsoleteSave (Maybe Ptr -> Message) -> m (Maybe Ptr) -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const (Maybe Ptr) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Maybe (Ptr 'Const)
Cerial 'Const (Maybe Ptr)
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'bootstrap Bootstrap 'Const
raw) ->
                (Bootstrap -> Message
Message'bootstrap (Bootstrap -> Message) -> m Bootstrap -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Bootstrap -> m Bootstrap
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Bootstrap
Bootstrap 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'obsoleteDelete Maybe (Ptr 'Const)
raw) ->
                (Maybe Ptr -> Message
Message'obsoleteDelete (Maybe Ptr -> Message) -> m (Maybe Ptr) -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const (Maybe Ptr) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Maybe (Ptr 'Const)
Cerial 'Const (Maybe Ptr)
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'provide Provide 'Const
raw) ->
                (Provide -> Message
Message'provide (Provide -> Message) -> m Provide -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Provide -> m Provide
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Provide
Provide 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'accept Accept 'Const
raw) ->
                (Accept -> Message
Message'accept (Accept -> Message) -> m Accept -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Accept -> m Accept
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Accept
Accept 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'join Join 'Const
raw) ->
                (Join -> Message
Message'join (Join -> Message) -> m Join -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Join -> m Join
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Join
Join 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'disembargo Disembargo 'Const
raw) ->
                (Disembargo -> Message
Message'disembargo (Disembargo -> Message) -> m Disembargo -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Disembargo -> m Disembargo
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Disembargo
Disembargo 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'unknown' Word16
tag) ->
                (Message -> m Message
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word16 -> Message
Message'unknown' Word16
tag))
        )
instance (Classes.Marshal s Message) where
    marshalInto :: Cerial ('Mut s) Message -> Message -> m ()
marshalInto Cerial ('Mut s) Message
raw_ Message
value_ = case Message
value_ of
        (Message'unimplemented Message
arg_) ->
            ((Message ('Mut s) -> Message -> m (Cerial ('Mut s) Message)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Message
arg_) m (Message ('Mut s)) -> (Message ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Message ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Message ('Mut s))) =>
Message ('Mut s) -> Message ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'unimplemented Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'abort Exception
arg_) ->
            ((Message ('Mut s) -> Exception -> m (Cerial ('Mut s) Exception)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Exception
arg_) m (Exception ('Mut s)) -> (Exception ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Exception ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Exception ('Mut s))) =>
Message ('Mut s) -> Exception ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'abort Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'call Call
arg_) ->
            ((Message ('Mut s) -> Call -> m (Cerial ('Mut s) Call)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Call
arg_) m (Call ('Mut s)) -> (Call ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Call ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Call ('Mut s))) =>
Message ('Mut s) -> Call ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'call Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'return Return
arg_) ->
            ((Message ('Mut s) -> Return -> m (Cerial ('Mut s) Return)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Return
arg_) m (Return ('Mut s)) -> (Return ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Return ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Return ('Mut s))) =>
Message ('Mut s) -> Return ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'return Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'finish Finish
arg_) ->
            ((Message ('Mut s) -> Finish -> m (Cerial ('Mut s) Finish)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Finish
arg_) m (Finish ('Mut s)) -> (Finish ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Finish ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Finish ('Mut s))) =>
Message ('Mut s) -> Finish ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'finish Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'resolve Resolve
arg_) ->
            ((Message ('Mut s) -> Resolve -> m (Cerial ('Mut s) Resolve)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Resolve
arg_) m (Resolve ('Mut s)) -> (Resolve ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Resolve ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Resolve ('Mut s))) =>
Message ('Mut s) -> Resolve ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'resolve Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'release Release
arg_) ->
            ((Message ('Mut s) -> Release -> m (Cerial ('Mut s) Release)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Release
arg_) m (Release ('Mut s)) -> (Release ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Release ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Release ('Mut s))) =>
Message ('Mut s) -> Release ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'release Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'obsoleteSave Maybe Ptr
arg_) ->
            ((Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Maybe Ptr
arg_) m (Maybe (Ptr ('Mut s))) -> (Maybe (Ptr ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr ('Mut s)))) =>
Message ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'obsoleteSave Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'bootstrap Bootstrap
arg_) ->
            ((Message ('Mut s) -> Bootstrap -> m (Cerial ('Mut s) Bootstrap)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Bootstrap
arg_) m (Bootstrap ('Mut s)) -> (Bootstrap ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Bootstrap ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Bootstrap ('Mut s))) =>
Message ('Mut s) -> Bootstrap ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'bootstrap Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'obsoleteDelete Maybe Ptr
arg_) ->
            ((Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Maybe Ptr
arg_) m (Maybe (Ptr ('Mut s))) -> (Maybe (Ptr ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr ('Mut s)))) =>
Message ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'obsoleteDelete Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'provide Provide
arg_) ->
            ((Message ('Mut s) -> Provide -> m (Cerial ('Mut s) Provide)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Provide
arg_) m (Provide ('Mut s)) -> (Provide ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Provide ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Provide ('Mut s))) =>
Message ('Mut s) -> Provide ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'provide Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'accept Accept
arg_) ->
            ((Message ('Mut s) -> Accept -> m (Cerial ('Mut s) Accept)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Accept
arg_) m (Accept ('Mut s)) -> (Accept ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Accept ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Accept ('Mut s))) =>
Message ('Mut s) -> Accept ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'accept Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'join Join
arg_) ->
            ((Message ('Mut s) -> Join -> m (Cerial ('Mut s) Join)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Join
arg_) m (Join ('Mut s)) -> (Join ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Join ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Join ('Mut s))) =>
Message ('Mut s) -> Join ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'join Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'disembargo Disembargo
arg_) ->
            ((Message ('Mut s) -> Disembargo -> m (Cerial ('Mut s) Disembargo)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Message ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Message
Message ('Mut s)
raw_) Disembargo
arg_) m (Disembargo ('Mut s)) -> (Disembargo ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message ('Mut s) -> Disembargo ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Disembargo ('Mut s))) =>
Message ('Mut s) -> Disembargo ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'disembargo Cerial ('Mut s) Message
Message ('Mut s)
raw_))
        (Message'unknown' Word16
tag) ->
            (Message ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Message ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'unknown' Cerial ('Mut s) Message
Message ('Mut s)
raw_ Word16
tag)
instance (Classes.Cerialize s Message)
instance (Classes.Cerialize s (V.Vector Message)) where
    cerialize :: Message ('Mut s)
-> Vector Message -> m (Cerial ('Mut s) (Vector Message))
cerialize  = Message ('Mut s)
-> Vector Message -> m (Cerial ('Mut s) (Vector Message))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Message))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Message)
-> m (Cerial ('Mut s) (Vector (Vector Message)))
cerialize  = Message ('Mut s)
-> Vector (Vector Message)
-> m (Cerial ('Mut s) (Vector (Vector Message)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Message)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Message))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Message))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Message))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Message))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Message))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Message)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Message)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Message)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Message)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Message)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Message))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Message))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Message))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Message))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Message))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Message)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Message)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Message)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Message)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Message)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Message))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Message))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Message))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Message))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Bootstrap 
    = Bootstrap 
        {Bootstrap -> Word32
questionId :: Std_.Word32
        ,Bootstrap -> Maybe Ptr
deprecatedObjectId :: (Std_.Maybe UntypedPure.Ptr)}
    deriving(Int -> Bootstrap -> ShowS
[Bootstrap] -> ShowS
Bootstrap -> String
(Int -> Bootstrap -> ShowS)
-> (Bootstrap -> String)
-> ([Bootstrap] -> ShowS)
-> Show Bootstrap
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Bootstrap] -> ShowS
$cshowList :: [Bootstrap] -> ShowS
show :: Bootstrap -> String
$cshow :: Bootstrap -> String
showsPrec :: Int -> Bootstrap -> ShowS
$cshowsPrec :: Int -> Bootstrap -> ShowS
Std_.Show
            ,Bootstrap -> Bootstrap -> Bool
(Bootstrap -> Bootstrap -> Bool)
-> (Bootstrap -> Bootstrap -> Bool) -> Eq Bootstrap
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Bootstrap -> Bootstrap -> Bool
$c/= :: Bootstrap -> Bootstrap -> Bool
== :: Bootstrap -> Bootstrap -> Bool
$c== :: Bootstrap -> Bootstrap -> Bool
Std_.Eq
            ,(forall x. Bootstrap -> Rep Bootstrap x)
-> (forall x. Rep Bootstrap x -> Bootstrap) -> Generic Bootstrap
forall x. Rep Bootstrap x -> Bootstrap
forall x. Bootstrap -> Rep Bootstrap x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Bootstrap x -> Bootstrap
$cfrom :: forall x. Bootstrap -> Rep Bootstrap x
Generics.Generic)
instance (Default.Default Bootstrap) where
    def :: Bootstrap
def  = Bootstrap
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Bootstrap) where
    fromStruct :: Struct 'Const -> m Bootstrap
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Bootstrap 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Bootstrap 'Const)
-> (Bootstrap 'Const -> m Bootstrap) -> m Bootstrap
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Bootstrap 'Const -> m Bootstrap
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Bootstrap) where
    type Cerial msg Bootstrap = (Capnp.Gen.ById.Xb312981b2552a250.Bootstrap msg)
    decerialize :: Cerial 'Const Bootstrap -> m Bootstrap
decerialize Cerial 'Const Bootstrap
raw = (Word32 -> Maybe Ptr -> Bootstrap
Bootstrap (Word32 -> Maybe Ptr -> Bootstrap)
-> m Word32 -> m (Maybe Ptr -> Bootstrap)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Bootstrap 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Bootstrap msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Bootstrap'questionId Cerial 'Const Bootstrap
Bootstrap 'Const
raw)
                                 m (Maybe Ptr -> Bootstrap) -> m (Maybe Ptr) -> m Bootstrap
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Bootstrap 'Const -> m (Maybe (Ptr 'Const))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
Bootstrap msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Bootstrap'deprecatedObjectId Cerial 'Const Bootstrap
Bootstrap 'Const
raw) m (Maybe (Ptr 'Const))
-> (Maybe (Ptr 'Const) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr 'Const) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize))
instance (Classes.Marshal s Bootstrap) where
    marshalInto :: Cerial ('Mut s) Bootstrap -> Bootstrap -> m ()
marshalInto Cerial ('Mut s) Bootstrap
raw_ Bootstrap
value_ = case Bootstrap
value_ of
        Bootstrap{Maybe Ptr
Word32
deprecatedObjectId :: Maybe Ptr
questionId :: Word32
$sel:deprecatedObjectId:Bootstrap :: Bootstrap -> Maybe Ptr
$sel:questionId:Bootstrap :: Bootstrap -> Word32
..} ->
            (do
                (Bootstrap ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Bootstrap ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Bootstrap'questionId Cerial ('Mut s) Bootstrap
Bootstrap ('Mut s)
raw_ Word32
questionId)
                ((Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Bootstrap ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Bootstrap
Bootstrap ('Mut s)
raw_) Maybe Ptr
deprecatedObjectId) m (Maybe (Ptr ('Mut s))) -> (Maybe (Ptr ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Bootstrap ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr ('Mut s)))) =>
Bootstrap ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Bootstrap'deprecatedObjectId Cerial ('Mut s) Bootstrap
Bootstrap ('Mut s)
raw_))
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Bootstrap)
instance (Classes.Cerialize s (V.Vector Bootstrap)) where
    cerialize :: Message ('Mut s)
-> Vector Bootstrap -> m (Cerial ('Mut s) (Vector Bootstrap))
cerialize  = Message ('Mut s)
-> Vector Bootstrap -> m (Cerial ('Mut s) (Vector Bootstrap))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Bootstrap))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Bootstrap)
-> m (Cerial ('Mut s) (Vector (Vector Bootstrap)))
cerialize  = Message ('Mut s)
-> Vector (Vector Bootstrap)
-> m (Cerial ('Mut s) (Vector (Vector Bootstrap)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Bootstrap)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Bootstrap))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Bootstrap))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Bootstrap))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Bootstrap))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Bootstrap))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Bootstrap)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Bootstrap)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Bootstrap)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Bootstrap)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Bootstrap)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Bootstrap))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Bootstrap))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Bootstrap))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Bootstrap))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Bootstrap))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Bootstrap)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Call 
    = Call 
        {Call -> Word32
questionId :: Std_.Word32
        ,Call -> MessageTarget
target :: MessageTarget
        ,Call -> Word64
interfaceId :: Std_.Word64
        ,Call -> Word16
methodId :: Std_.Word16
        ,Call -> Payload
params :: Payload
        ,Call -> Call'sendResultsTo
sendResultsTo :: Call'sendResultsTo
        ,Call -> Bool
allowThirdPartyTailCall :: Std_.Bool}
    deriving(Int -> Call -> ShowS
[Call] -> ShowS
Call -> String
(Int -> Call -> ShowS)
-> (Call -> String) -> ([Call] -> ShowS) -> Show Call
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Call] -> ShowS
$cshowList :: [Call] -> ShowS
show :: Call -> String
$cshow :: Call -> String
showsPrec :: Int -> Call -> ShowS
$cshowsPrec :: Int -> Call -> ShowS
Std_.Show
            ,Call -> Call -> Bool
(Call -> Call -> Bool) -> (Call -> Call -> Bool) -> Eq Call
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Call -> Call -> Bool
$c/= :: Call -> Call -> Bool
== :: Call -> Call -> Bool
$c== :: Call -> Call -> Bool
Std_.Eq
            ,(forall x. Call -> Rep Call x)
-> (forall x. Rep Call x -> Call) -> Generic Call
forall x. Rep Call x -> Call
forall x. Call -> Rep Call x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Call x -> Call
$cfrom :: forall x. Call -> Rep Call x
Generics.Generic)
instance (Default.Default Call) where
    def :: Call
def  = Call
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Call) where
    fromStruct :: Struct 'Const -> m Call
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Call 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Call 'Const) -> (Call 'Const -> m Call) -> m Call
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Call 'Const -> m Call
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Call) where
    type Cerial msg Call = (Capnp.Gen.ById.Xb312981b2552a250.Call msg)
    decerialize :: Cerial 'Const Call -> m Call
decerialize Cerial 'Const Call
raw = (Word32
-> MessageTarget
-> Word64
-> Word16
-> Payload
-> Call'sendResultsTo
-> Bool
-> Call
Call (Word32
 -> MessageTarget
 -> Word64
 -> Word16
 -> Payload
 -> Call'sendResultsTo
 -> Bool
 -> Call)
-> m Word32
-> m (MessageTarget
      -> Word64
      -> Word16
      -> Payload
      -> Call'sendResultsTo
      -> Bool
      -> Call)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Call 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Call msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Call'questionId Cerial 'Const Call
Call 'Const
raw)
                            m (MessageTarget
   -> Word64
   -> Word16
   -> Payload
   -> Call'sendResultsTo
   -> Bool
   -> Call)
-> m MessageTarget
-> m (Word64
      -> Word16 -> Payload -> Call'sendResultsTo -> Bool -> Call)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Call 'Const -> m (MessageTarget 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (MessageTarget msg)) =>
Call msg -> m (MessageTarget msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Call'target Cerial 'Const Call
Call 'Const
raw) m (MessageTarget 'Const)
-> (MessageTarget 'Const -> m MessageTarget) -> m MessageTarget
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= MessageTarget 'Const -> m MessageTarget
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                            m (Word64
   -> Word16 -> Payload -> Call'sendResultsTo -> Bool -> Call)
-> m Word64
-> m (Word16 -> Payload -> Call'sendResultsTo -> Bool -> Call)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Call 'Const -> m Word64
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Call msg -> m Word64
Capnp.Gen.ById.Xb312981b2552a250.get_Call'interfaceId Cerial 'Const Call
Call 'Const
raw)
                            m (Word16 -> Payload -> Call'sendResultsTo -> Bool -> Call)
-> m Word16 -> m (Payload -> Call'sendResultsTo -> Bool -> Call)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Call 'Const -> m Word16
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Call msg -> m Word16
Capnp.Gen.ById.Xb312981b2552a250.get_Call'methodId Cerial 'Const Call
Call 'Const
raw)
                            m (Payload -> Call'sendResultsTo -> Bool -> Call)
-> m Payload -> m (Call'sendResultsTo -> Bool -> Call)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Call 'Const -> m (Payload 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Payload msg)) =>
Call msg -> m (Payload msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Call'params Cerial 'Const Call
Call 'Const
raw) m (Payload 'Const) -> (Payload 'Const -> m Payload) -> m Payload
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Payload 'Const -> m Payload
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                            m (Call'sendResultsTo -> Bool -> Call)
-> m Call'sendResultsTo -> m (Bool -> Call)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Call 'Const -> m (Call'sendResultsTo 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (Call'sendResultsTo msg)) =>
Call msg -> m (Call'sendResultsTo msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Call'sendResultsTo Cerial 'Const Call
Call 'Const
raw) m (Call'sendResultsTo 'Const)
-> (Call'sendResultsTo 'Const -> m Call'sendResultsTo)
-> m Call'sendResultsTo
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Call'sendResultsTo 'Const -> m Call'sendResultsTo
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                            m (Bool -> Call) -> m Bool -> m Call
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Call 'Const -> m Bool
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Call msg -> m Bool
Capnp.Gen.ById.Xb312981b2552a250.get_Call'allowThirdPartyTailCall Cerial 'Const Call
Call 'Const
raw))
instance (Classes.Marshal s Call) where
    marshalInto :: Cerial ('Mut s) Call -> Call -> m ()
marshalInto Cerial ('Mut s) Call
raw_ Call
value_ = case Call
value_ of
        Call{Bool
Word16
Word32
Word64
Payload
MessageTarget
Call'sendResultsTo
allowThirdPartyTailCall :: Bool
sendResultsTo :: Call'sendResultsTo
params :: Payload
methodId :: Word16
interfaceId :: Word64
target :: MessageTarget
questionId :: Word32
$sel:allowThirdPartyTailCall:Call :: Call -> Bool
$sel:sendResultsTo:Call :: Call -> Call'sendResultsTo
$sel:params:Call :: Call -> Payload
$sel:methodId:Call :: Call -> Word16
$sel:interfaceId:Call :: Call -> Word64
$sel:target:Call :: Call -> MessageTarget
$sel:questionId:Call :: Call -> Word32
..} ->
            (do
                (Call ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'questionId Cerial ('Mut s) Call
Call ('Mut s)
raw_ Word32
questionId)
                ((Message ('Mut s)
-> MessageTarget -> m (Cerial ('Mut s) MessageTarget)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Call ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Call
Call ('Mut s)
raw_) MessageTarget
target) m (MessageTarget ('Mut s))
-> (MessageTarget ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Call ('Mut s) -> MessageTarget ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (MessageTarget ('Mut s))) =>
Call ('Mut s) -> MessageTarget ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'target Cerial ('Mut s) Call
Call ('Mut s)
raw_))
                (Call ('Mut s) -> Word64 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call ('Mut s) -> Word64 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'interfaceId Cerial ('Mut s) Call
Call ('Mut s)
raw_ Word64
interfaceId)
                (Call ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'methodId Cerial ('Mut s) Call
Call ('Mut s)
raw_ Word16
methodId)
                ((Message ('Mut s) -> Payload -> m (Cerial ('Mut s) Payload)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Call ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Call
Call ('Mut s)
raw_) Payload
params) m (Payload ('Mut s)) -> (Payload ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Call ('Mut s) -> Payload ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Payload ('Mut s))) =>
Call ('Mut s) -> Payload ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'params Cerial ('Mut s) Call
Call ('Mut s)
raw_))
                (do
                    Call'sendResultsTo ('Mut s)
raw_ <- (Call ('Mut s) -> m (Call'sendResultsTo ('Mut s))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (Call'sendResultsTo msg)) =>
Call msg -> m (Call'sendResultsTo msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Call'sendResultsTo Cerial ('Mut s) Call
Call ('Mut s)
raw_)
                    (Cerial ('Mut s) Call'sendResultsTo -> Call'sendResultsTo -> m ()
forall s a (m :: * -> *).
(Marshal s a, RWCtx m s) =>
Cerial ('Mut s) a -> a -> m ()
Classes.marshalInto Cerial ('Mut s) Call'sendResultsTo
Call'sendResultsTo ('Mut s)
raw_ Call'sendResultsTo
sendResultsTo)
                    )
                (Call ('Mut s) -> Bool -> m ()
forall (m :: * -> *) s. RWCtx m s => Call ('Mut s) -> Bool -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'allowThirdPartyTailCall Cerial ('Mut s) Call
Call ('Mut s)
raw_ Bool
allowThirdPartyTailCall)
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Call)
instance (Classes.Cerialize s (V.Vector Call)) where
    cerialize :: Message ('Mut s)
-> Vector Call -> m (Cerial ('Mut s) (Vector Call))
cerialize  = Message ('Mut s)
-> Vector Call -> m (Cerial ('Mut s) (Vector Call))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Call))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Call)
-> m (Cerial ('Mut s) (Vector (Vector Call)))
cerialize  = Message ('Mut s)
-> Vector (Vector Call)
-> m (Cerial ('Mut s) (Vector (Vector Call)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Call)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Call))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Call))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Call))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Call))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Call))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Call)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Call)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Call)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Call)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Call)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Call))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Call))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Call))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Call))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Call))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Call)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Call)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Call)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Call)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Call)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Call))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Call))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Call))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Call))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Call'sendResultsTo 
    = Call'sendResultsTo'caller 
    | Call'sendResultsTo'yourself 
    | Call'sendResultsTo'thirdParty (Std_.Maybe UntypedPure.Ptr)
    | Call'sendResultsTo'unknown' Std_.Word16
    deriving(Int -> Call'sendResultsTo -> ShowS
[Call'sendResultsTo] -> ShowS
Call'sendResultsTo -> String
(Int -> Call'sendResultsTo -> ShowS)
-> (Call'sendResultsTo -> String)
-> ([Call'sendResultsTo] -> ShowS)
-> Show Call'sendResultsTo
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Call'sendResultsTo] -> ShowS
$cshowList :: [Call'sendResultsTo] -> ShowS
show :: Call'sendResultsTo -> String
$cshow :: Call'sendResultsTo -> String
showsPrec :: Int -> Call'sendResultsTo -> ShowS
$cshowsPrec :: Int -> Call'sendResultsTo -> ShowS
Std_.Show
            ,Call'sendResultsTo -> Call'sendResultsTo -> Bool
(Call'sendResultsTo -> Call'sendResultsTo -> Bool)
-> (Call'sendResultsTo -> Call'sendResultsTo -> Bool)
-> Eq Call'sendResultsTo
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Call'sendResultsTo -> Call'sendResultsTo -> Bool
$c/= :: Call'sendResultsTo -> Call'sendResultsTo -> Bool
== :: Call'sendResultsTo -> Call'sendResultsTo -> Bool
$c== :: Call'sendResultsTo -> Call'sendResultsTo -> Bool
Std_.Eq
            ,(forall x. Call'sendResultsTo -> Rep Call'sendResultsTo x)
-> (forall x. Rep Call'sendResultsTo x -> Call'sendResultsTo)
-> Generic Call'sendResultsTo
forall x. Rep Call'sendResultsTo x -> Call'sendResultsTo
forall x. Call'sendResultsTo -> Rep Call'sendResultsTo x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Call'sendResultsTo x -> Call'sendResultsTo
$cfrom :: forall x. Call'sendResultsTo -> Rep Call'sendResultsTo x
Generics.Generic)
instance (Default.Default Call'sendResultsTo) where
    def :: Call'sendResultsTo
def  = Call'sendResultsTo
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Call'sendResultsTo) where
    fromStruct :: Struct 'Const -> m Call'sendResultsTo
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Call'sendResultsTo 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Call'sendResultsTo 'Const)
-> (Call'sendResultsTo 'Const -> m Call'sendResultsTo)
-> m Call'sendResultsTo
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Call'sendResultsTo 'Const -> m Call'sendResultsTo
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Call'sendResultsTo) where
    type Cerial msg Call'sendResultsTo = (Capnp.Gen.ById.Xb312981b2552a250.Call'sendResultsTo msg)
    decerialize :: Cerial 'Const Call'sendResultsTo -> m Call'sendResultsTo
decerialize Cerial 'Const Call'sendResultsTo
raw = (do
        Call'sendResultsTo' 'Const
raw <- (Call'sendResultsTo 'Const -> m (Call'sendResultsTo' 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (Call'sendResultsTo' msg)) =>
Call'sendResultsTo msg -> m (Call'sendResultsTo' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Call'sendResultsTo' Cerial 'Const Call'sendResultsTo
Call'sendResultsTo 'Const
raw)
        case Call'sendResultsTo' 'Const
raw of
            (Call'sendResultsTo' 'Const
Capnp.Gen.ById.Xb312981b2552a250.Call'sendResultsTo'caller) ->
                (Call'sendResultsTo -> m Call'sendResultsTo
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure Call'sendResultsTo
Call'sendResultsTo'caller)
            (Call'sendResultsTo' 'Const
Capnp.Gen.ById.Xb312981b2552a250.Call'sendResultsTo'yourself) ->
                (Call'sendResultsTo -> m Call'sendResultsTo
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure Call'sendResultsTo
Call'sendResultsTo'yourself)
            (Capnp.Gen.ById.Xb312981b2552a250.Call'sendResultsTo'thirdParty Maybe (Ptr 'Const)
raw) ->
                (Maybe Ptr -> Call'sendResultsTo
Call'sendResultsTo'thirdParty (Maybe Ptr -> Call'sendResultsTo)
-> m (Maybe Ptr) -> m Call'sendResultsTo
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const (Maybe Ptr) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Maybe (Ptr 'Const)
Cerial 'Const (Maybe Ptr)
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Call'sendResultsTo'unknown' Word16
tag) ->
                (Call'sendResultsTo -> m Call'sendResultsTo
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word16 -> Call'sendResultsTo
Call'sendResultsTo'unknown' Word16
tag))
        )
instance (Classes.Marshal s Call'sendResultsTo) where
    marshalInto :: Cerial ('Mut s) Call'sendResultsTo -> Call'sendResultsTo -> m ()
marshalInto Cerial ('Mut s) Call'sendResultsTo
raw_ Call'sendResultsTo
value_ = case Call'sendResultsTo
value_ of
        (Call'sendResultsTo
Call'sendResultsTo'caller) ->
            (Call'sendResultsTo ('Mut s) -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call'sendResultsTo ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'sendResultsTo'caller Cerial ('Mut s) Call'sendResultsTo
Call'sendResultsTo ('Mut s)
raw_)
        (Call'sendResultsTo
Call'sendResultsTo'yourself) ->
            (Call'sendResultsTo ('Mut s) -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call'sendResultsTo ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'sendResultsTo'yourself Cerial ('Mut s) Call'sendResultsTo
Call'sendResultsTo ('Mut s)
raw_)
        (Call'sendResultsTo'thirdParty Maybe Ptr
arg_) ->
            ((Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Call'sendResultsTo ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Call'sendResultsTo
Call'sendResultsTo ('Mut s)
raw_) Maybe Ptr
arg_) m (Maybe (Ptr ('Mut s))) -> (Maybe (Ptr ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Call'sendResultsTo ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr ('Mut s)))) =>
Call'sendResultsTo ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'sendResultsTo'thirdParty Cerial ('Mut s) Call'sendResultsTo
Call'sendResultsTo ('Mut s)
raw_))
        (Call'sendResultsTo'unknown' Word16
tag) ->
            (Call'sendResultsTo ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call'sendResultsTo ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'sendResultsTo'unknown' Cerial ('Mut s) Call'sendResultsTo
Call'sendResultsTo ('Mut s)
raw_ Word16
tag)
data Return 
    = Return 
        {Return -> Word32
answerId :: Std_.Word32
        ,Return -> Bool
releaseParamCaps :: Std_.Bool
        ,Return -> Return'
union' :: Return'}
    deriving(Int -> Return -> ShowS
[Return] -> ShowS
Return -> String
(Int -> Return -> ShowS)
-> (Return -> String) -> ([Return] -> ShowS) -> Show Return
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Return] -> ShowS
$cshowList :: [Return] -> ShowS
show :: Return -> String
$cshow :: Return -> String
showsPrec :: Int -> Return -> ShowS
$cshowsPrec :: Int -> Return -> ShowS
Std_.Show
            ,Return -> Return -> Bool
(Return -> Return -> Bool)
-> (Return -> Return -> Bool) -> Eq Return
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Return -> Return -> Bool
$c/= :: Return -> Return -> Bool
== :: Return -> Return -> Bool
$c== :: Return -> Return -> Bool
Std_.Eq
            ,(forall x. Return -> Rep Return x)
-> (forall x. Rep Return x -> Return) -> Generic Return
forall x. Rep Return x -> Return
forall x. Return -> Rep Return x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Return x -> Return
$cfrom :: forall x. Return -> Rep Return x
Generics.Generic)
instance (Default.Default Return) where
    def :: Return
def  = Return
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Return) where
    fromStruct :: Struct 'Const -> m Return
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Return 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Return 'Const) -> (Return 'Const -> m Return) -> m Return
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Return 'Const -> m Return
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Return) where
    type Cerial msg Return = (Capnp.Gen.ById.Xb312981b2552a250.Return msg)
    decerialize :: Cerial 'Const Return -> m Return
decerialize Cerial 'Const Return
raw = (Word32 -> Bool -> Return' -> Return
Return (Word32 -> Bool -> Return' -> Return)
-> m Word32 -> m (Bool -> Return' -> Return)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Return 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Return msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Return'answerId Cerial 'Const Return
Return 'Const
raw)
                              m (Bool -> Return' -> Return) -> m Bool -> m (Return' -> Return)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Return 'Const -> m Bool
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Return msg -> m Bool
Capnp.Gen.ById.Xb312981b2552a250.get_Return'releaseParamCaps Cerial 'Const Return
Return 'Const
raw)
                              m (Return' -> Return) -> m Return' -> m Return
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Cerial 'Const Return' -> m Return'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Return'
Cerial 'Const Return
raw))
instance (Classes.Marshal s Return) where
    marshalInto :: Cerial ('Mut s) Return -> Return -> m ()
marshalInto Cerial ('Mut s) Return
raw_ Return
value_ = case Return
value_ of
        Return{Bool
Word32
Return'
union' :: Return'
releaseParamCaps :: Bool
answerId :: Word32
$sel:union':Return :: Return -> Return'
$sel:releaseParamCaps:Return :: Return -> Bool
$sel:answerId:Return :: Return -> Word32
..} ->
            (do
                (Return ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Return ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'answerId Cerial ('Mut s) Return
Return ('Mut s)
raw_ Word32
answerId)
                (Return ('Mut s) -> Bool -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Return ('Mut s) -> Bool -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'releaseParamCaps Cerial ('Mut s) Return
Return ('Mut s)
raw_ Bool
releaseParamCaps)
                (do
                    (Cerial ('Mut s) Return' -> Return' -> m ()
forall s a (m :: * -> *).
(Marshal s a, RWCtx m s) =>
Cerial ('Mut s) a -> a -> m ()
Classes.marshalInto Cerial ('Mut s) Return'
Cerial ('Mut s) Return
raw_ Return'
union')
                    )
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Return)
instance (Classes.Cerialize s (V.Vector Return)) where
    cerialize :: Message ('Mut s)
-> Vector Return -> m (Cerial ('Mut s) (Vector Return))
cerialize  = Message ('Mut s)
-> Vector Return -> m (Cerial ('Mut s) (Vector Return))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Return))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Return)
-> m (Cerial ('Mut s) (Vector (Vector Return)))
cerialize  = Message ('Mut s)
-> Vector (Vector Return)
-> m (Cerial ('Mut s) (Vector (Vector Return)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Return)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Return))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Return))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Return))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Return))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Return))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Return)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Return)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Return)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Return)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Return)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Return))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Return))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Return))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Return))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Return))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Return)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Return)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Return)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Return)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Return)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Return))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Return))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Return))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Return))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Return' 
    = Return'results Payload
    | Return'exception Exception
    | Return'canceled 
    | Return'resultsSentElsewhere 
    | Return'takeFromOtherQuestion Std_.Word32
    | Return'acceptFromThirdParty (Std_.Maybe UntypedPure.Ptr)
    | Return'unknown' Std_.Word16
    deriving(Int -> Return' -> ShowS
[Return'] -> ShowS
Return' -> String
(Int -> Return' -> ShowS)
-> (Return' -> String) -> ([Return'] -> ShowS) -> Show Return'
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Return'] -> ShowS
$cshowList :: [Return'] -> ShowS
show :: Return' -> String
$cshow :: Return' -> String
showsPrec :: Int -> Return' -> ShowS
$cshowsPrec :: Int -> Return' -> ShowS
Std_.Show
            ,Return' -> Return' -> Bool
(Return' -> Return' -> Bool)
-> (Return' -> Return' -> Bool) -> Eq Return'
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Return' -> Return' -> Bool
$c/= :: Return' -> Return' -> Bool
== :: Return' -> Return' -> Bool
$c== :: Return' -> Return' -> Bool
Std_.Eq
            ,(forall x. Return' -> Rep Return' x)
-> (forall x. Rep Return' x -> Return') -> Generic Return'
forall x. Rep Return' x -> Return'
forall x. Return' -> Rep Return' x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Return' x -> Return'
$cfrom :: forall x. Return' -> Rep Return' x
Generics.Generic)
instance (Default.Default Return') where
    def :: Return'
def  = Return'
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Return') where
    fromStruct :: Struct 'Const -> m Return'
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Return 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Return 'Const) -> (Return 'Const -> m Return') -> m Return'
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Return 'Const -> m Return'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Return') where
    type Cerial msg Return' = (Capnp.Gen.ById.Xb312981b2552a250.Return msg)
    decerialize :: Cerial 'Const Return' -> m Return'
decerialize Cerial 'Const Return'
raw = (do
        Return' 'Const
raw <- (Return 'Const -> m (Return' 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (Return' msg)) =>
Return msg -> m (Return' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Return' Cerial 'Const Return'
Return 'Const
raw)
        case Return' 'Const
raw of
            (Capnp.Gen.ById.Xb312981b2552a250.Return'results Payload 'Const
raw) ->
                (Payload -> Return'
Return'results (Payload -> Return') -> m Payload -> m Return'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Payload -> m Payload
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Payload
Payload 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Return'exception Exception 'Const
raw) ->
                (Exception -> Return'
Return'exception (Exception -> Return') -> m Exception -> m Return'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Exception -> m Exception
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Exception
Exception 'Const
raw))
            (Return' 'Const
Capnp.Gen.ById.Xb312981b2552a250.Return'canceled) ->
                (Return' -> m Return'
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure Return'
Return'canceled)
            (Return' 'Const
Capnp.Gen.ById.Xb312981b2552a250.Return'resultsSentElsewhere) ->
                (Return' -> m Return'
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure Return'
Return'resultsSentElsewhere)
            (Capnp.Gen.ById.Xb312981b2552a250.Return'takeFromOtherQuestion Word32
raw) ->
                (Return' -> m Return'
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word32 -> Return'
Return'takeFromOtherQuestion Word32
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Return'acceptFromThirdParty Maybe (Ptr 'Const)
raw) ->
                (Maybe Ptr -> Return'
Return'acceptFromThirdParty (Maybe Ptr -> Return') -> m (Maybe Ptr) -> m Return'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const (Maybe Ptr) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Maybe (Ptr 'Const)
Cerial 'Const (Maybe Ptr)
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Return'unknown' Word16
tag) ->
                (Return' -> m Return'
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word16 -> Return'
Return'unknown' Word16
tag))
        )
instance (Classes.Marshal s Return') where
    marshalInto :: Cerial ('Mut s) Return' -> Return' -> m ()
marshalInto Cerial ('Mut s) Return'
raw_ Return'
value_ = case Return'
value_ of
        (Return'results Payload
arg_) ->
            ((Message ('Mut s) -> Payload -> m (Cerial ('Mut s) Payload)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Return ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Return'
Return ('Mut s)
raw_) Payload
arg_) m (Payload ('Mut s)) -> (Payload ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Return ('Mut s) -> Payload ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Payload ('Mut s))) =>
Return ('Mut s) -> Payload ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'results Cerial ('Mut s) Return'
Return ('Mut s)
raw_))
        (Return'exception Exception
arg_) ->
            ((Message ('Mut s) -> Exception -> m (Cerial ('Mut s) Exception)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Return ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Return'
Return ('Mut s)
raw_) Exception
arg_) m (Exception ('Mut s)) -> (Exception ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Return ('Mut s) -> Exception ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Exception ('Mut s))) =>
Return ('Mut s) -> Exception ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'exception Cerial ('Mut s) Return'
Return ('Mut s)
raw_))
        (Return'
Return'canceled) ->
            (Return ('Mut s) -> m ()
forall (m :: * -> *) s. RWCtx m s => Return ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'canceled Cerial ('Mut s) Return'
Return ('Mut s)
raw_)
        (Return'
Return'resultsSentElsewhere) ->
            (Return ('Mut s) -> m ()
forall (m :: * -> *) s. RWCtx m s => Return ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'resultsSentElsewhere Cerial ('Mut s) Return'
Return ('Mut s)
raw_)
        (Return'takeFromOtherQuestion Word32
arg_) ->
            (Return ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Return ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'takeFromOtherQuestion Cerial ('Mut s) Return'
Return ('Mut s)
raw_ Word32
arg_)
        (Return'acceptFromThirdParty Maybe Ptr
arg_) ->
            ((Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Return ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Return'
Return ('Mut s)
raw_) Maybe Ptr
arg_) m (Maybe (Ptr ('Mut s))) -> (Maybe (Ptr ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Return ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr ('Mut s)))) =>
Return ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'acceptFromThirdParty Cerial ('Mut s) Return'
Return ('Mut s)
raw_))
        (Return'unknown' Word16
tag) ->
            (Return ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Return ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'unknown' Cerial ('Mut s) Return'
Return ('Mut s)
raw_ Word16
tag)
data Finish 
    = Finish 
        {Finish -> Word32
questionId :: Std_.Word32
        ,Finish -> Bool
releaseResultCaps :: Std_.Bool}
    deriving(Int -> Finish -> ShowS
[Finish] -> ShowS
Finish -> String
(Int -> Finish -> ShowS)
-> (Finish -> String) -> ([Finish] -> ShowS) -> Show Finish
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Finish] -> ShowS
$cshowList :: [Finish] -> ShowS
show :: Finish -> String
$cshow :: Finish -> String
showsPrec :: Int -> Finish -> ShowS
$cshowsPrec :: Int -> Finish -> ShowS
Std_.Show
            ,Finish -> Finish -> Bool
(Finish -> Finish -> Bool)
-> (Finish -> Finish -> Bool) -> Eq Finish
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Finish -> Finish -> Bool
$c/= :: Finish -> Finish -> Bool
== :: Finish -> Finish -> Bool
$c== :: Finish -> Finish -> Bool
Std_.Eq
            ,(forall x. Finish -> Rep Finish x)
-> (forall x. Rep Finish x -> Finish) -> Generic Finish
forall x. Rep Finish x -> Finish
forall x. Finish -> Rep Finish x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Finish x -> Finish
$cfrom :: forall x. Finish -> Rep Finish x
Generics.Generic)
instance (Default.Default Finish) where
    def :: Finish
def  = Finish
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Finish) where
    fromStruct :: Struct 'Const -> m Finish
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Finish 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Finish 'Const) -> (Finish 'Const -> m Finish) -> m Finish
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Finish 'Const -> m Finish
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Finish) where
    type Cerial msg Finish = (Capnp.Gen.ById.Xb312981b2552a250.Finish msg)
    decerialize :: Cerial 'Const Finish -> m Finish
decerialize Cerial 'Const Finish
raw = (Word32 -> Bool -> Finish
Finish (Word32 -> Bool -> Finish) -> m Word32 -> m (Bool -> Finish)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Finish 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Finish msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Finish'questionId Cerial 'Const Finish
Finish 'Const
raw)
                              m (Bool -> Finish) -> m Bool -> m Finish
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Finish 'Const -> m Bool
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Finish msg -> m Bool
Capnp.Gen.ById.Xb312981b2552a250.get_Finish'releaseResultCaps Cerial 'Const Finish
Finish 'Const
raw))
instance (Classes.Marshal s Finish) where
    marshalInto :: Cerial ('Mut s) Finish -> Finish -> m ()
marshalInto Cerial ('Mut s) Finish
raw_ Finish
value_ = case Finish
value_ of
        Finish{Bool
Word32
releaseResultCaps :: Bool
questionId :: Word32
$sel:releaseResultCaps:Finish :: Finish -> Bool
$sel:questionId:Finish :: Finish -> Word32
..} ->
            (do
                (Finish ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Finish ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Finish'questionId Cerial ('Mut s) Finish
Finish ('Mut s)
raw_ Word32
questionId)
                (Finish ('Mut s) -> Bool -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Finish ('Mut s) -> Bool -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Finish'releaseResultCaps Cerial ('Mut s) Finish
Finish ('Mut s)
raw_ Bool
releaseResultCaps)
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Finish)
instance (Classes.Cerialize s (V.Vector Finish)) where
    cerialize :: Message ('Mut s)
-> Vector Finish -> m (Cerial ('Mut s) (Vector Finish))
cerialize  = Message ('Mut s)
-> Vector Finish -> m (Cerial ('Mut s) (Vector Finish))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Finish))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Finish)
-> m (Cerial ('Mut s) (Vector (Vector Finish)))
cerialize  = Message ('Mut s)
-> Vector (Vector Finish)
-> m (Cerial ('Mut s) (Vector (Vector Finish)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Finish)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Finish))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Finish))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Finish))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Finish))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Finish))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Finish)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Finish)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Finish)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Finish)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Finish)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Finish))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Finish))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Finish))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Finish))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Finish))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Finish)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Finish)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Finish)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Finish)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Finish)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Resolve 
    = Resolve 
        {Resolve -> Word32
promiseId :: Std_.Word32
        ,Resolve -> Resolve'
union' :: Resolve'}
    deriving(Int -> Resolve -> ShowS
[Resolve] -> ShowS
Resolve -> String
(Int -> Resolve -> ShowS)
-> (Resolve -> String) -> ([Resolve] -> ShowS) -> Show Resolve
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Resolve] -> ShowS
$cshowList :: [Resolve] -> ShowS
show :: Resolve -> String
$cshow :: Resolve -> String
showsPrec :: Int -> Resolve -> ShowS
$cshowsPrec :: Int -> Resolve -> ShowS
Std_.Show
            ,Resolve -> Resolve -> Bool
(Resolve -> Resolve -> Bool)
-> (Resolve -> Resolve -> Bool) -> Eq Resolve
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Resolve -> Resolve -> Bool
$c/= :: Resolve -> Resolve -> Bool
== :: Resolve -> Resolve -> Bool
$c== :: Resolve -> Resolve -> Bool
Std_.Eq
            ,(forall x. Resolve -> Rep Resolve x)
-> (forall x. Rep Resolve x -> Resolve) -> Generic Resolve
forall x. Rep Resolve x -> Resolve
forall x. Resolve -> Rep Resolve x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Resolve x -> Resolve
$cfrom :: forall x. Resolve -> Rep Resolve x
Generics.Generic)
instance (Default.Default Resolve) where
    def :: Resolve
def  = Resolve
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Resolve) where
    fromStruct :: Struct 'Const -> m Resolve
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Resolve 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Resolve 'Const) -> (Resolve 'Const -> m Resolve) -> m Resolve
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Resolve 'Const -> m Resolve
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Resolve) where
    type Cerial msg Resolve = (Capnp.Gen.ById.Xb312981b2552a250.Resolve msg)
    decerialize :: Cerial 'Const Resolve -> m Resolve
decerialize Cerial 'Const Resolve
raw = (Word32 -> Resolve' -> Resolve
Resolve (Word32 -> Resolve' -> Resolve)
-> m Word32 -> m (Resolve' -> Resolve)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Resolve 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Resolve msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Resolve'promiseId Cerial 'Const Resolve
Resolve 'Const
raw)
                               m (Resolve' -> Resolve) -> m Resolve' -> m Resolve
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Cerial 'Const Resolve' -> m Resolve'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Resolve'
Cerial 'Const Resolve
raw))
instance (Classes.Marshal s Resolve) where
    marshalInto :: Cerial ('Mut s) Resolve -> Resolve -> m ()
marshalInto Cerial ('Mut s) Resolve
raw_ Resolve
value_ = case Resolve
value_ of
        Resolve{Word32
Resolve'
union' :: Resolve'
promiseId :: Word32
$sel:union':Resolve :: Resolve -> Resolve'
$sel:promiseId:Resolve :: Resolve -> Word32
..} ->
            (do
                (Resolve ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Resolve ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Resolve'promiseId Cerial ('Mut s) Resolve
Resolve ('Mut s)
raw_ Word32
promiseId)
                (do
                    (Cerial ('Mut s) Resolve' -> Resolve' -> m ()
forall s a (m :: * -> *).
(Marshal s a, RWCtx m s) =>
Cerial ('Mut s) a -> a -> m ()
Classes.marshalInto Cerial ('Mut s) Resolve'
Cerial ('Mut s) Resolve
raw_ Resolve'
union')
                    )
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Resolve)
instance (Classes.Cerialize s (V.Vector Resolve)) where
    cerialize :: Message ('Mut s)
-> Vector Resolve -> m (Cerial ('Mut s) (Vector Resolve))
cerialize  = Message ('Mut s)
-> Vector Resolve -> m (Cerial ('Mut s) (Vector Resolve))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Resolve))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Resolve)
-> m (Cerial ('Mut s) (Vector (Vector Resolve)))
cerialize  = Message ('Mut s)
-> Vector (Vector Resolve)
-> m (Cerial ('Mut s) (Vector (Vector Resolve)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Resolve)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Resolve))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Resolve))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Resolve))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Resolve))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Resolve))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Resolve)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Resolve)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Resolve)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Resolve)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Resolve)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Resolve))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Resolve))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Resolve))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Resolve))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Resolve))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Resolve)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Resolve' 
    = Resolve'cap CapDescriptor
    | Resolve'exception Exception
    | Resolve'unknown' Std_.Word16
    deriving(Int -> Resolve' -> ShowS
[Resolve'] -> ShowS
Resolve' -> String
(Int -> Resolve' -> ShowS)
-> (Resolve' -> String) -> ([Resolve'] -> ShowS) -> Show Resolve'
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Resolve'] -> ShowS
$cshowList :: [Resolve'] -> ShowS
show :: Resolve' -> String
$cshow :: Resolve' -> String
showsPrec :: Int -> Resolve' -> ShowS
$cshowsPrec :: Int -> Resolve' -> ShowS
Std_.Show
            ,Resolve' -> Resolve' -> Bool
(Resolve' -> Resolve' -> Bool)
-> (Resolve' -> Resolve' -> Bool) -> Eq Resolve'
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Resolve' -> Resolve' -> Bool
$c/= :: Resolve' -> Resolve' -> Bool
== :: Resolve' -> Resolve' -> Bool
$c== :: Resolve' -> Resolve' -> Bool
Std_.Eq
            ,(forall x. Resolve' -> Rep Resolve' x)
-> (forall x. Rep Resolve' x -> Resolve') -> Generic Resolve'
forall x. Rep Resolve' x -> Resolve'
forall x. Resolve' -> Rep Resolve' x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Resolve' x -> Resolve'
$cfrom :: forall x. Resolve' -> Rep Resolve' x
Generics.Generic)
instance (Default.Default Resolve') where
    def :: Resolve'
def  = Resolve'
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Resolve') where
    fromStruct :: Struct 'Const -> m Resolve'
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Resolve 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Resolve 'Const) -> (Resolve 'Const -> m Resolve') -> m Resolve'
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Resolve 'Const -> m Resolve'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Resolve') where
    type Cerial msg Resolve' = (Capnp.Gen.ById.Xb312981b2552a250.Resolve msg)
    decerialize :: Cerial 'Const Resolve' -> m Resolve'
decerialize Cerial 'Const Resolve'
raw = (do
        Resolve' 'Const
raw <- (Resolve 'Const -> m (Resolve' 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (Resolve' msg)) =>
Resolve msg -> m (Resolve' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Resolve' Cerial 'Const Resolve'
Resolve 'Const
raw)
        case Resolve' 'Const
raw of
            (Capnp.Gen.ById.Xb312981b2552a250.Resolve'cap CapDescriptor 'Const
raw) ->
                (CapDescriptor -> Resolve'
Resolve'cap (CapDescriptor -> Resolve') -> m CapDescriptor -> m Resolve'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const CapDescriptor -> m CapDescriptor
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const CapDescriptor
CapDescriptor 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Resolve'exception Exception 'Const
raw) ->
                (Exception -> Resolve'
Resolve'exception (Exception -> Resolve') -> m Exception -> m Resolve'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Exception -> m Exception
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Exception
Exception 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Resolve'unknown' Word16
tag) ->
                (Resolve' -> m Resolve'
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word16 -> Resolve'
Resolve'unknown' Word16
tag))
        )
instance (Classes.Marshal s Resolve') where
    marshalInto :: Cerial ('Mut s) Resolve' -> Resolve' -> m ()
marshalInto Cerial ('Mut s) Resolve'
raw_ Resolve'
value_ = case Resolve'
value_ of
        (Resolve'cap CapDescriptor
arg_) ->
            ((Message ('Mut s)
-> CapDescriptor -> m (Cerial ('Mut s) CapDescriptor)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Resolve ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Resolve'
Resolve ('Mut s)
raw_) CapDescriptor
arg_) m (CapDescriptor ('Mut s))
-> (CapDescriptor ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Resolve ('Mut s) -> CapDescriptor ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (CapDescriptor ('Mut s))) =>
Resolve ('Mut s) -> CapDescriptor ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Resolve'cap Cerial ('Mut s) Resolve'
Resolve ('Mut s)
raw_))
        (Resolve'exception Exception
arg_) ->
            ((Message ('Mut s) -> Exception -> m (Cerial ('Mut s) Exception)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Resolve ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Resolve'
Resolve ('Mut s)
raw_) Exception
arg_) m (Exception ('Mut s)) -> (Exception ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Resolve ('Mut s) -> Exception ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Exception ('Mut s))) =>
Resolve ('Mut s) -> Exception ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Resolve'exception Cerial ('Mut s) Resolve'
Resolve ('Mut s)
raw_))
        (Resolve'unknown' Word16
tag) ->
            (Resolve ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Resolve ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Resolve'unknown' Cerial ('Mut s) Resolve'
Resolve ('Mut s)
raw_ Word16
tag)
data Release 
    = Release 
        {Release -> Word32
id :: Std_.Word32
        ,Release -> Word32
referenceCount :: Std_.Word32}
    deriving(Int -> Release -> ShowS
[Release] -> ShowS
Release -> String
(Int -> Release -> ShowS)
-> (Release -> String) -> ([Release] -> ShowS) -> Show Release
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Release] -> ShowS
$cshowList :: [Release] -> ShowS
show :: Release -> String
$cshow :: Release -> String
showsPrec :: Int -> Release -> ShowS
$cshowsPrec :: Int -> Release -> ShowS
Std_.Show
            ,Release -> Release -> Bool
(Release -> Release -> Bool)
-> (Release -> Release -> Bool) -> Eq Release
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Release -> Release -> Bool
$c/= :: Release -> Release -> Bool
== :: Release -> Release -> Bool
$c== :: Release -> Release -> Bool
Std_.Eq
            ,(forall x. Release -> Rep Release x)
-> (forall x. Rep Release x -> Release) -> Generic Release
forall x. Rep Release x -> Release
forall x. Release -> Rep Release x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Release x -> Release
$cfrom :: forall x. Release -> Rep Release x
Generics.Generic)
instance (Default.Default Release) where
    def :: Release
def  = Release
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Release) where
    fromStruct :: Struct 'Const -> m Release
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Release 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Release 'Const) -> (Release 'Const -> m Release) -> m Release
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Release 'Const -> m Release
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Release) where
    type Cerial msg Release = (Capnp.Gen.ById.Xb312981b2552a250.Release msg)
    decerialize :: Cerial 'Const Release -> m Release
decerialize Cerial 'Const Release
raw = (Word32 -> Word32 -> Release
Release (Word32 -> Word32 -> Release) -> m Word32 -> m (Word32 -> Release)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Release 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Release msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Release'id Cerial 'Const Release
Release 'Const
raw)
                               m (Word32 -> Release) -> m Word32 -> m Release
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Release 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Release msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Release'referenceCount Cerial 'Const Release
Release 'Const
raw))
instance (Classes.Marshal s Release) where
    marshalInto :: Cerial ('Mut s) Release -> Release -> m ()
marshalInto Cerial ('Mut s) Release
raw_ Release
value_ = case Release
value_ of
        Release{Word32
referenceCount :: Word32
id :: Word32
$sel:referenceCount:Release :: Release -> Word32
$sel:id:Release :: Release -> Word32
..} ->
            (do
                (Release ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Release ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Release'id Cerial ('Mut s) Release
Release ('Mut s)
raw_ Word32
id)
                (Release ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Release ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Release'referenceCount Cerial ('Mut s) Release
Release ('Mut s)
raw_ Word32
referenceCount)
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Release)
instance (Classes.Cerialize s (V.Vector Release)) where
    cerialize :: Message ('Mut s)
-> Vector Release -> m (Cerial ('Mut s) (Vector Release))
cerialize  = Message ('Mut s)
-> Vector Release -> m (Cerial ('Mut s) (Vector Release))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Release))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Release)
-> m (Cerial ('Mut s) (Vector (Vector Release)))
cerialize  = Message ('Mut s)
-> Vector (Vector Release)
-> m (Cerial ('Mut s) (Vector (Vector Release)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Release)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Release))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Release))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Release))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Release))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Release))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Release)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Release)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Release)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Release)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Release)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Release))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Release))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Release))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Release))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Release))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Release)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Release)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Release)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Release)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Release)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Release))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Release))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Release))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Release))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Disembargo 
    = Disembargo 
        {Disembargo -> MessageTarget
target :: MessageTarget
        ,Disembargo -> Disembargo'context
context :: Disembargo'context}
    deriving(Int -> Disembargo -> ShowS
[Disembargo] -> ShowS
Disembargo -> String
(Int -> Disembargo -> ShowS)
-> (Disembargo -> String)
-> ([Disembargo] -> ShowS)
-> Show Disembargo
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Disembargo] -> ShowS
$cshowList :: [Disembargo] -> ShowS
show :: Disembargo -> String
$cshow :: Disembargo -> String
showsPrec :: Int -> Disembargo -> ShowS
$cshowsPrec :: Int -> Disembargo -> ShowS
Std_.Show
            ,Disembargo -> Disembargo -> Bool
(Disembargo -> Disembargo -> Bool)
-> (Disembargo -> Disembargo -> Bool) -> Eq Disembargo
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Disembargo -> Disembargo -> Bool
$c/= :: Disembargo -> Disembargo -> Bool
== :: Disembargo -> Disembargo -> Bool
$c== :: Disembargo -> Disembargo -> Bool
Std_.Eq
            ,(forall x. Disembargo -> Rep Disembargo x)
-> (forall x. Rep Disembargo x -> Disembargo) -> Generic Disembargo
forall x. Rep Disembargo x -> Disembargo
forall x. Disembargo -> Rep Disembargo x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Disembargo x -> Disembargo
$cfrom :: forall x. Disembargo -> Rep Disembargo x
Generics.Generic)
instance (Default.Default Disembargo) where
    def :: Disembargo
def  = Disembargo
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Disembargo) where
    fromStruct :: Struct 'Const -> m Disembargo
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Disembargo 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Disembargo 'Const)
-> (Disembargo 'Const -> m Disembargo) -> m Disembargo
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Disembargo 'Const -> m Disembargo
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Disembargo) where
    type Cerial msg Disembargo = (Capnp.Gen.ById.Xb312981b2552a250.Disembargo msg)
    decerialize :: Cerial 'Const Disembargo -> m Disembargo
decerialize Cerial 'Const Disembargo
raw = (MessageTarget -> Disembargo'context -> Disembargo
Disembargo (MessageTarget -> Disembargo'context -> Disembargo)
-> m MessageTarget -> m (Disembargo'context -> Disembargo)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ((Disembargo 'Const -> m (MessageTarget 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (MessageTarget msg)) =>
Disembargo msg -> m (MessageTarget msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Disembargo'target Cerial 'Const Disembargo
Disembargo 'Const
raw) m (MessageTarget 'Const)
-> (MessageTarget 'Const -> m MessageTarget) -> m MessageTarget
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= MessageTarget 'Const -> m MessageTarget
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                                  m (Disembargo'context -> Disembargo)
-> m Disembargo'context -> m Disembargo
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Disembargo 'Const -> m (Disembargo'context 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (Disembargo'context msg)) =>
Disembargo msg -> m (Disembargo'context msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Disembargo'context Cerial 'Const Disembargo
Disembargo 'Const
raw) m (Disembargo'context 'Const)
-> (Disembargo'context 'Const -> m Disembargo'context)
-> m Disembargo'context
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Disembargo'context 'Const -> m Disembargo'context
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize))
instance (Classes.Marshal s Disembargo) where
    marshalInto :: Cerial ('Mut s) Disembargo -> Disembargo -> m ()
marshalInto Cerial ('Mut s) Disembargo
raw_ Disembargo
value_ = case Disembargo
value_ of
        Disembargo{MessageTarget
Disembargo'context
context :: Disembargo'context
target :: MessageTarget
$sel:context:Disembargo :: Disembargo -> Disembargo'context
$sel:target:Disembargo :: Disembargo -> MessageTarget
..} ->
            (do
                ((Message ('Mut s)
-> MessageTarget -> m (Cerial ('Mut s) MessageTarget)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Disembargo ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Disembargo
Disembargo ('Mut s)
raw_) MessageTarget
target) m (MessageTarget ('Mut s))
-> (MessageTarget ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Disembargo ('Mut s) -> MessageTarget ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (MessageTarget ('Mut s))) =>
Disembargo ('Mut s) -> MessageTarget ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'target Cerial ('Mut s) Disembargo
Disembargo ('Mut s)
raw_))
                (do
                    Disembargo'context ('Mut s)
raw_ <- (Disembargo ('Mut s) -> m (Disembargo'context ('Mut s))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (Disembargo'context msg)) =>
Disembargo msg -> m (Disembargo'context msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Disembargo'context Cerial ('Mut s) Disembargo
Disembargo ('Mut s)
raw_)
                    (Cerial ('Mut s) Disembargo'context -> Disembargo'context -> m ()
forall s a (m :: * -> *).
(Marshal s a, RWCtx m s) =>
Cerial ('Mut s) a -> a -> m ()
Classes.marshalInto Cerial ('Mut s) Disembargo'context
Disembargo'context ('Mut s)
raw_ Disembargo'context
context)
                    )
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Disembargo)
instance (Classes.Cerialize s (V.Vector Disembargo)) where
    cerialize :: Message ('Mut s)
-> Vector Disembargo -> m (Cerial ('Mut s) (Vector Disembargo))
cerialize  = Message ('Mut s)
-> Vector Disembargo -> m (Cerial ('Mut s) (Vector Disembargo))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Disembargo))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Disembargo)
-> m (Cerial ('Mut s) (Vector (Vector Disembargo)))
cerialize  = Message ('Mut s)
-> Vector (Vector Disembargo)
-> m (Cerial ('Mut s) (Vector (Vector Disembargo)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Disembargo)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Disembargo))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Disembargo))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Disembargo))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Disembargo))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Disembargo))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Disembargo)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Disembargo)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Disembargo)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Disembargo)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Disembargo)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Disembargo))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Disembargo))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Disembargo))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Disembargo))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Disembargo))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Disembargo)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Disembargo'context 
    = Disembargo'context'senderLoopback Std_.Word32
    | Disembargo'context'receiverLoopback Std_.Word32
    | Disembargo'context'accept 
    | Disembargo'context'provide Std_.Word32
    | Disembargo'context'unknown' Std_.Word16
    deriving(Int -> Disembargo'context -> ShowS
[Disembargo'context] -> ShowS
Disembargo'context -> String
(Int -> Disembargo'context -> ShowS)
-> (Disembargo'context -> String)
-> ([Disembargo'context] -> ShowS)
-> Show Disembargo'context
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Disembargo'context] -> ShowS
$cshowList :: [Disembargo'context] -> ShowS
show :: Disembargo'context -> String
$cshow :: Disembargo'context -> String
showsPrec :: Int -> Disembargo'context -> ShowS
$cshowsPrec :: Int -> Disembargo'context -> ShowS
Std_.Show
            ,Disembargo'context -> Disembargo'context -> Bool
(Disembargo'context -> Disembargo'context -> Bool)
-> (Disembargo'context -> Disembargo'context -> Bool)
-> Eq Disembargo'context
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Disembargo'context -> Disembargo'context -> Bool
$c/= :: Disembargo'context -> Disembargo'context -> Bool
== :: Disembargo'context -> Disembargo'context -> Bool
$c== :: Disembargo'context -> Disembargo'context -> Bool
Std_.Eq
            ,(forall x. Disembargo'context -> Rep Disembargo'context x)
-> (forall x. Rep Disembargo'context x -> Disembargo'context)
-> Generic Disembargo'context
forall x. Rep Disembargo'context x -> Disembargo'context
forall x. Disembargo'context -> Rep Disembargo'context x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Disembargo'context x -> Disembargo'context
$cfrom :: forall x. Disembargo'context -> Rep Disembargo'context x
Generics.Generic)
instance (Default.Default Disembargo'context) where
    def :: Disembargo'context
def  = Disembargo'context
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Disembargo'context) where
    fromStruct :: Struct 'Const -> m Disembargo'context
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Disembargo'context 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Disembargo'context 'Const)
-> (Disembargo'context 'Const -> m Disembargo'context)
-> m Disembargo'context
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Disembargo'context 'Const -> m Disembargo'context
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Disembargo'context) where
    type Cerial msg Disembargo'context = (Capnp.Gen.ById.Xb312981b2552a250.Disembargo'context msg)
    decerialize :: Cerial 'Const Disembargo'context -> m Disembargo'context
decerialize Cerial 'Const Disembargo'context
raw = (do
        Disembargo'context' 'Const
raw <- (Disembargo'context 'Const -> m (Disembargo'context' 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (Disembargo'context' msg)) =>
Disembargo'context msg -> m (Disembargo'context' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Disembargo'context' Cerial 'Const Disembargo'context
Disembargo'context 'Const
raw)
        case Disembargo'context' 'Const
raw of
            (Capnp.Gen.ById.Xb312981b2552a250.Disembargo'context'senderLoopback Word32
raw) ->
                (Disembargo'context -> m Disembargo'context
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word32 -> Disembargo'context
Disembargo'context'senderLoopback Word32
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Disembargo'context'receiverLoopback Word32
raw) ->
                (Disembargo'context -> m Disembargo'context
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word32 -> Disembargo'context
Disembargo'context'receiverLoopback Word32
raw))
            (Disembargo'context' 'Const
Capnp.Gen.ById.Xb312981b2552a250.Disembargo'context'accept) ->
                (Disembargo'context -> m Disembargo'context
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure Disembargo'context
Disembargo'context'accept)
            (Capnp.Gen.ById.Xb312981b2552a250.Disembargo'context'provide Word32
raw) ->
                (Disembargo'context -> m Disembargo'context
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word32 -> Disembargo'context
Disembargo'context'provide Word32
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Disembargo'context'unknown' Word16
tag) ->
                (Disembargo'context -> m Disembargo'context
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word16 -> Disembargo'context
Disembargo'context'unknown' Word16
tag))
        )
instance (Classes.Marshal s Disembargo'context) where
    marshalInto :: Cerial ('Mut s) Disembargo'context -> Disembargo'context -> m ()
marshalInto Cerial ('Mut s) Disembargo'context
raw_ Disembargo'context
value_ = case Disembargo'context
value_ of
        (Disembargo'context'senderLoopback Word32
arg_) ->
            (Disembargo'context ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Disembargo'context ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'context'senderLoopback Cerial ('Mut s) Disembargo'context
Disembargo'context ('Mut s)
raw_ Word32
arg_)
        (Disembargo'context'receiverLoopback Word32
arg_) ->
            (Disembargo'context ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Disembargo'context ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'context'receiverLoopback Cerial ('Mut s) Disembargo'context
Disembargo'context ('Mut s)
raw_ Word32
arg_)
        (Disembargo'context
Disembargo'context'accept) ->
            (Disembargo'context ('Mut s) -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Disembargo'context ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'context'accept Cerial ('Mut s) Disembargo'context
Disembargo'context ('Mut s)
raw_)
        (Disembargo'context'provide Word32
arg_) ->
            (Disembargo'context ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Disembargo'context ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'context'provide Cerial ('Mut s) Disembargo'context
Disembargo'context ('Mut s)
raw_ Word32
arg_)
        (Disembargo'context'unknown' Word16
tag) ->
            (Disembargo'context ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Disembargo'context ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'context'unknown' Cerial ('Mut s) Disembargo'context
Disembargo'context ('Mut s)
raw_ Word16
tag)
data Provide 
    = Provide 
        {Provide -> Word32
questionId :: Std_.Word32
        ,Provide -> MessageTarget
target :: MessageTarget
        ,Provide -> Maybe Ptr
recipient :: (Std_.Maybe UntypedPure.Ptr)}
    deriving(Int -> Provide -> ShowS
[Provide] -> ShowS
Provide -> String
(Int -> Provide -> ShowS)
-> (Provide -> String) -> ([Provide] -> ShowS) -> Show Provide
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Provide] -> ShowS
$cshowList :: [Provide] -> ShowS
show :: Provide -> String
$cshow :: Provide -> String
showsPrec :: Int -> Provide -> ShowS
$cshowsPrec :: Int -> Provide -> ShowS
Std_.Show
            ,Provide -> Provide -> Bool
(Provide -> Provide -> Bool)
-> (Provide -> Provide -> Bool) -> Eq Provide
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Provide -> Provide -> Bool
$c/= :: Provide -> Provide -> Bool
== :: Provide -> Provide -> Bool
$c== :: Provide -> Provide -> Bool
Std_.Eq
            ,(forall x. Provide -> Rep Provide x)
-> (forall x. Rep Provide x -> Provide) -> Generic Provide
forall x. Rep Provide x -> Provide
forall x. Provide -> Rep Provide x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Provide x -> Provide
$cfrom :: forall x. Provide -> Rep Provide x
Generics.Generic)
instance (Default.Default Provide) where
    def :: Provide
def  = Provide
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Provide) where
    fromStruct :: Struct 'Const -> m Provide
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Provide 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Provide 'Const) -> (Provide 'Const -> m Provide) -> m Provide
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Provide 'Const -> m Provide
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Provide) where
    type Cerial msg Provide = (Capnp.Gen.ById.Xb312981b2552a250.Provide msg)
    decerialize :: Cerial 'Const Provide -> m Provide
decerialize Cerial 'Const Provide
raw = (Word32 -> MessageTarget -> Maybe Ptr -> Provide
Provide (Word32 -> MessageTarget -> Maybe Ptr -> Provide)
-> m Word32 -> m (MessageTarget -> Maybe Ptr -> Provide)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Provide 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Provide msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Provide'questionId Cerial 'Const Provide
Provide 'Const
raw)
                               m (MessageTarget -> Maybe Ptr -> Provide)
-> m MessageTarget -> m (Maybe Ptr -> Provide)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Provide 'Const -> m (MessageTarget 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (MessageTarget msg)) =>
Provide msg -> m (MessageTarget msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Provide'target Cerial 'Const Provide
Provide 'Const
raw) m (MessageTarget 'Const)
-> (MessageTarget 'Const -> m MessageTarget) -> m MessageTarget
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= MessageTarget 'Const -> m MessageTarget
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                               m (Maybe Ptr -> Provide) -> m (Maybe Ptr) -> m Provide
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Provide 'Const -> m (Maybe (Ptr 'Const))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
Provide msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Provide'recipient Cerial 'Const Provide
Provide 'Const
raw) m (Maybe (Ptr 'Const))
-> (Maybe (Ptr 'Const) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr 'Const) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize))
instance (Classes.Marshal s Provide) where
    marshalInto :: Cerial ('Mut s) Provide -> Provide -> m ()
marshalInto Cerial ('Mut s) Provide
raw_ Provide
value_ = case Provide
value_ of
        Provide{Maybe Ptr
Word32
MessageTarget
recipient :: Maybe Ptr
target :: MessageTarget
questionId :: Word32
$sel:recipient:Provide :: Provide -> Maybe Ptr
$sel:target:Provide :: Provide -> MessageTarget
$sel:questionId:Provide :: Provide -> Word32
..} ->
            (do
                (Provide ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Provide ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Provide'questionId Cerial ('Mut s) Provide
Provide ('Mut s)
raw_ Word32
questionId)
                ((Message ('Mut s)
-> MessageTarget -> m (Cerial ('Mut s) MessageTarget)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Provide ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Provide
Provide ('Mut s)
raw_) MessageTarget
target) m (MessageTarget ('Mut s))
-> (MessageTarget ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Provide ('Mut s) -> MessageTarget ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (MessageTarget ('Mut s))) =>
Provide ('Mut s) -> MessageTarget ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Provide'target Cerial ('Mut s) Provide
Provide ('Mut s)
raw_))
                ((Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Provide ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Provide
Provide ('Mut s)
raw_) Maybe Ptr
recipient) m (Maybe (Ptr ('Mut s))) -> (Maybe (Ptr ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Provide ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr ('Mut s)))) =>
Provide ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Provide'recipient Cerial ('Mut s) Provide
Provide ('Mut s)
raw_))
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Provide)
instance (Classes.Cerialize s (V.Vector Provide)) where
    cerialize :: Message ('Mut s)
-> Vector Provide -> m (Cerial ('Mut s) (Vector Provide))
cerialize  = Message ('Mut s)
-> Vector Provide -> m (Cerial ('Mut s) (Vector Provide))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Provide))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Provide)
-> m (Cerial ('Mut s) (Vector (Vector Provide)))
cerialize  = Message ('Mut s)
-> Vector (Vector Provide)
-> m (Cerial ('Mut s) (Vector (Vector Provide)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Provide)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Provide))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Provide))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Provide))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Provide))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Provide))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Provide)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Provide)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Provide)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Provide)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Provide)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Provide))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Provide))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Provide))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Provide))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Provide))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Provide)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Provide)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Provide)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Provide)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Provide)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Accept 
    = Accept 
        {Accept -> Word32
questionId :: Std_.Word32
        ,Accept -> Maybe Ptr
provision :: (Std_.Maybe UntypedPure.Ptr)
        ,Accept -> Bool
embargo :: Std_.Bool}
    deriving(Int -> Accept -> ShowS
[Accept] -> ShowS
Accept -> String
(Int -> Accept -> ShowS)
-> (Accept -> String) -> ([Accept] -> ShowS) -> Show Accept
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Accept] -> ShowS
$cshowList :: [Accept] -> ShowS
show :: Accept -> String
$cshow :: Accept -> String
showsPrec :: Int -> Accept -> ShowS
$cshowsPrec :: Int -> Accept -> ShowS
Std_.Show
            ,Accept -> Accept -> Bool
(Accept -> Accept -> Bool)
-> (Accept -> Accept -> Bool) -> Eq Accept
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Accept -> Accept -> Bool
$c/= :: Accept -> Accept -> Bool
== :: Accept -> Accept -> Bool
$c== :: Accept -> Accept -> Bool
Std_.Eq
            ,(forall x. Accept -> Rep Accept x)
-> (forall x. Rep Accept x -> Accept) -> Generic Accept
forall x. Rep Accept x -> Accept
forall x. Accept -> Rep Accept x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Accept x -> Accept
$cfrom :: forall x. Accept -> Rep Accept x
Generics.Generic)
instance (Default.Default Accept) where
    def :: Accept
def  = Accept
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Accept) where
    fromStruct :: Struct 'Const -> m Accept
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Accept 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Accept 'Const) -> (Accept 'Const -> m Accept) -> m Accept
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Accept 'Const -> m Accept
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Accept) where
    type Cerial msg Accept = (Capnp.Gen.ById.Xb312981b2552a250.Accept msg)
    decerialize :: Cerial 'Const Accept -> m Accept
decerialize Cerial 'Const Accept
raw = (Word32 -> Maybe Ptr -> Bool -> Accept
Accept (Word32 -> Maybe Ptr -> Bool -> Accept)
-> m Word32 -> m (Maybe Ptr -> Bool -> Accept)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Accept 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Accept msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Accept'questionId Cerial 'Const Accept
Accept 'Const
raw)
                              m (Maybe Ptr -> Bool -> Accept)
-> m (Maybe Ptr) -> m (Bool -> Accept)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Accept 'Const -> m (Maybe (Ptr 'Const))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
Accept msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Accept'provision Cerial 'Const Accept
Accept 'Const
raw) m (Maybe (Ptr 'Const))
-> (Maybe (Ptr 'Const) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr 'Const) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                              m (Bool -> Accept) -> m Bool -> m Accept
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Accept 'Const -> m Bool
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Accept msg -> m Bool
Capnp.Gen.ById.Xb312981b2552a250.get_Accept'embargo Cerial 'Const Accept
Accept 'Const
raw))
instance (Classes.Marshal s Accept) where
    marshalInto :: Cerial ('Mut s) Accept -> Accept -> m ()
marshalInto Cerial ('Mut s) Accept
raw_ Accept
value_ = case Accept
value_ of
        Accept{Bool
Maybe Ptr
Word32
embargo :: Bool
provision :: Maybe Ptr
questionId :: Word32
$sel:embargo:Accept :: Accept -> Bool
$sel:provision:Accept :: Accept -> Maybe Ptr
$sel:questionId:Accept :: Accept -> Word32
..} ->
            (do
                (Accept ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Accept ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Accept'questionId Cerial ('Mut s) Accept
Accept ('Mut s)
raw_ Word32
questionId)
                ((Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Accept ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Accept
Accept ('Mut s)
raw_) Maybe Ptr
provision) m (Maybe (Ptr ('Mut s))) -> (Maybe (Ptr ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Accept ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr ('Mut s)))) =>
Accept ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Accept'provision Cerial ('Mut s) Accept
Accept ('Mut s)
raw_))
                (Accept ('Mut s) -> Bool -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Accept ('Mut s) -> Bool -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Accept'embargo Cerial ('Mut s) Accept
Accept ('Mut s)
raw_ Bool
embargo)
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Accept)
instance (Classes.Cerialize s (V.Vector Accept)) where
    cerialize :: Message ('Mut s)
-> Vector Accept -> m (Cerial ('Mut s) (Vector Accept))
cerialize  = Message ('Mut s)
-> Vector Accept -> m (Cerial ('Mut s) (Vector Accept))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Accept))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Accept)
-> m (Cerial ('Mut s) (Vector (Vector Accept)))
cerialize  = Message ('Mut s)
-> Vector (Vector Accept)
-> m (Cerial ('Mut s) (Vector (Vector Accept)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Accept)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Accept))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Accept))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Accept))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Accept))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Accept))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Accept)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Accept)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Accept)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Accept)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Accept)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Accept))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Accept))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Accept))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Accept))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Accept))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Accept)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Accept)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Accept)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Accept)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Accept)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Join 
    = Join 
        {Join -> Word32
questionId :: Std_.Word32
        ,Join -> MessageTarget
target :: MessageTarget
        ,Join -> Maybe Ptr
keyPart :: (Std_.Maybe UntypedPure.Ptr)}
    deriving(Int -> Join -> ShowS
[Join] -> ShowS
Join -> String
(Int -> Join -> ShowS)
-> (Join -> String) -> ([Join] -> ShowS) -> Show Join
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Join] -> ShowS
$cshowList :: [Join] -> ShowS
show :: Join -> String
$cshow :: Join -> String
showsPrec :: Int -> Join -> ShowS
$cshowsPrec :: Int -> Join -> ShowS
Std_.Show
            ,Join -> Join -> Bool
(Join -> Join -> Bool) -> (Join -> Join -> Bool) -> Eq Join
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Join -> Join -> Bool
$c/= :: Join -> Join -> Bool
== :: Join -> Join -> Bool
$c== :: Join -> Join -> Bool
Std_.Eq
            ,(forall x. Join -> Rep Join x)
-> (forall x. Rep Join x -> Join) -> Generic Join
forall x. Rep Join x -> Join
forall x. Join -> Rep Join x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Join x -> Join
$cfrom :: forall x. Join -> Rep Join x
Generics.Generic)
instance (Default.Default Join) where
    def :: Join
def  = Join
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Join) where
    fromStruct :: Struct 'Const -> m Join
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Join 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Join 'Const) -> (Join 'Const -> m Join) -> m Join
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Join 'Const -> m Join
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Join) where
    type Cerial msg Join = (Capnp.Gen.ById.Xb312981b2552a250.Join msg)
    decerialize :: Cerial 'Const Join -> m Join
decerialize Cerial 'Const Join
raw = (Word32 -> MessageTarget -> Maybe Ptr -> Join
Join (Word32 -> MessageTarget -> Maybe Ptr -> Join)
-> m Word32 -> m (MessageTarget -> Maybe Ptr -> Join)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Join 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Join msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Join'questionId Cerial 'Const Join
Join 'Const
raw)
                            m (MessageTarget -> Maybe Ptr -> Join)
-> m MessageTarget -> m (Maybe Ptr -> Join)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Join 'Const -> m (MessageTarget 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (MessageTarget msg)) =>
Join msg -> m (MessageTarget msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Join'target Cerial 'Const Join
Join 'Const
raw) m (MessageTarget 'Const)
-> (MessageTarget 'Const -> m MessageTarget) -> m MessageTarget
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= MessageTarget 'Const -> m MessageTarget
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                            m (Maybe Ptr -> Join) -> m (Maybe Ptr) -> m Join
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Join 'Const -> m (Maybe (Ptr 'Const))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
Join msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Join'keyPart Cerial 'Const Join
Join 'Const
raw) m (Maybe (Ptr 'Const))
-> (Maybe (Ptr 'Const) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr 'Const) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize))
instance (Classes.Marshal s Join) where
    marshalInto :: Cerial ('Mut s) Join -> Join -> m ()
marshalInto Cerial ('Mut s) Join
raw_ Join
value_ = case Join
value_ of
        Join{Maybe Ptr
Word32
MessageTarget
keyPart :: Maybe Ptr
target :: MessageTarget
questionId :: Word32
$sel:keyPart:Join :: Join -> Maybe Ptr
$sel:target:Join :: Join -> MessageTarget
$sel:questionId:Join :: Join -> Word32
..} ->
            (do
                (Join ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Join ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Join'questionId Cerial ('Mut s) Join
Join ('Mut s)
raw_ Word32
questionId)
                ((Message ('Mut s)
-> MessageTarget -> m (Cerial ('Mut s) MessageTarget)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Join ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Join
Join ('Mut s)
raw_) MessageTarget
target) m (MessageTarget ('Mut s))
-> (MessageTarget ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Join ('Mut s) -> MessageTarget ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (MessageTarget ('Mut s))) =>
Join ('Mut s) -> MessageTarget ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Join'target Cerial ('Mut s) Join
Join ('Mut s)
raw_))
                ((Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Join ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Join
Join ('Mut s)
raw_) Maybe Ptr
keyPart) m (Maybe (Ptr ('Mut s))) -> (Maybe (Ptr ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Join ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr ('Mut s)))) =>
Join ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Join'keyPart Cerial ('Mut s) Join
Join ('Mut s)
raw_))
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Join)
instance (Classes.Cerialize s (V.Vector Join)) where
    cerialize :: Message ('Mut s)
-> Vector Join -> m (Cerial ('Mut s) (Vector Join))
cerialize  = Message ('Mut s)
-> Vector Join -> m (Cerial ('Mut s) (Vector Join))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Join))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Join)
-> m (Cerial ('Mut s) (Vector (Vector Join)))
cerialize  = Message ('Mut s)
-> Vector (Vector Join)
-> m (Cerial ('Mut s) (Vector (Vector Join)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Join)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Join))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Join))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Join))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Join))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Join))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Join)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Join)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Join)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Join)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Join)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Join))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Join))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Join))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Join))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Join))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Join)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Join)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Join)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Join)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Join)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Join))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Join))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Join))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Join))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data MessageTarget 
    = MessageTarget'importedCap Std_.Word32
    | MessageTarget'promisedAnswer PromisedAnswer
    | MessageTarget'unknown' Std_.Word16
    deriving(Int -> MessageTarget -> ShowS
[MessageTarget] -> ShowS
MessageTarget -> String
(Int -> MessageTarget -> ShowS)
-> (MessageTarget -> String)
-> ([MessageTarget] -> ShowS)
-> Show MessageTarget
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MessageTarget] -> ShowS
$cshowList :: [MessageTarget] -> ShowS
show :: MessageTarget -> String
$cshow :: MessageTarget -> String
showsPrec :: Int -> MessageTarget -> ShowS
$cshowsPrec :: Int -> MessageTarget -> ShowS
Std_.Show
            ,MessageTarget -> MessageTarget -> Bool
(MessageTarget -> MessageTarget -> Bool)
-> (MessageTarget -> MessageTarget -> Bool) -> Eq MessageTarget
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: MessageTarget -> MessageTarget -> Bool
$c/= :: MessageTarget -> MessageTarget -> Bool
== :: MessageTarget -> MessageTarget -> Bool
$c== :: MessageTarget -> MessageTarget -> Bool
Std_.Eq
            ,(forall x. MessageTarget -> Rep MessageTarget x)
-> (forall x. Rep MessageTarget x -> MessageTarget)
-> Generic MessageTarget
forall x. Rep MessageTarget x -> MessageTarget
forall x. MessageTarget -> Rep MessageTarget x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep MessageTarget x -> MessageTarget
$cfrom :: forall x. MessageTarget -> Rep MessageTarget x
Generics.Generic)
instance (Default.Default MessageTarget) where
    def :: MessageTarget
def  = MessageTarget
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const MessageTarget) where
    fromStruct :: Struct 'Const -> m MessageTarget
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (MessageTarget 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (MessageTarget 'Const)
-> (MessageTarget 'Const -> m MessageTarget) -> m MessageTarget
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= MessageTarget 'Const -> m MessageTarget
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize MessageTarget) where
    type Cerial msg MessageTarget = (Capnp.Gen.ById.Xb312981b2552a250.MessageTarget msg)
    decerialize :: Cerial 'Const MessageTarget -> m MessageTarget
decerialize Cerial 'Const MessageTarget
raw = (do
        MessageTarget' 'Const
raw <- (MessageTarget 'Const -> m (MessageTarget' 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (MessageTarget' msg)) =>
MessageTarget msg -> m (MessageTarget' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_MessageTarget' Cerial 'Const MessageTarget
MessageTarget 'Const
raw)
        case MessageTarget' 'Const
raw of
            (Capnp.Gen.ById.Xb312981b2552a250.MessageTarget'importedCap Word32
raw) ->
                (MessageTarget -> m MessageTarget
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word32 -> MessageTarget
MessageTarget'importedCap Word32
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.MessageTarget'promisedAnswer PromisedAnswer 'Const
raw) ->
                (PromisedAnswer -> MessageTarget
MessageTarget'promisedAnswer (PromisedAnswer -> MessageTarget)
-> m PromisedAnswer -> m MessageTarget
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const PromisedAnswer -> m PromisedAnswer
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const PromisedAnswer
PromisedAnswer 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.MessageTarget'unknown' Word16
tag) ->
                (MessageTarget -> m MessageTarget
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word16 -> MessageTarget
MessageTarget'unknown' Word16
tag))
        )
instance (Classes.Marshal s MessageTarget) where
    marshalInto :: Cerial ('Mut s) MessageTarget -> MessageTarget -> m ()
marshalInto Cerial ('Mut s) MessageTarget
raw_ MessageTarget
value_ = case MessageTarget
value_ of
        (MessageTarget'importedCap Word32
arg_) ->
            (MessageTarget ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
MessageTarget ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_MessageTarget'importedCap Cerial ('Mut s) MessageTarget
MessageTarget ('Mut s)
raw_ Word32
arg_)
        (MessageTarget'promisedAnswer PromisedAnswer
arg_) ->
            ((Message ('Mut s)
-> PromisedAnswer -> m (Cerial ('Mut s) PromisedAnswer)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (MessageTarget ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) MessageTarget
MessageTarget ('Mut s)
raw_) PromisedAnswer
arg_) m (PromisedAnswer ('Mut s))
-> (PromisedAnswer ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (MessageTarget ('Mut s) -> PromisedAnswer ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (PromisedAnswer ('Mut s))) =>
MessageTarget ('Mut s) -> PromisedAnswer ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_MessageTarget'promisedAnswer Cerial ('Mut s) MessageTarget
MessageTarget ('Mut s)
raw_))
        (MessageTarget'unknown' Word16
tag) ->
            (MessageTarget ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
MessageTarget ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_MessageTarget'unknown' Cerial ('Mut s) MessageTarget
MessageTarget ('Mut s)
raw_ Word16
tag)
instance (Classes.Cerialize s MessageTarget)
instance (Classes.Cerialize s (V.Vector MessageTarget)) where
    cerialize :: Message ('Mut s)
-> Vector MessageTarget
-> m (Cerial ('Mut s) (Vector MessageTarget))
cerialize  = Message ('Mut s)
-> Vector MessageTarget
-> m (Cerial ('Mut s) (Vector MessageTarget))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector MessageTarget))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector MessageTarget)
-> m (Cerial ('Mut s) (Vector (Vector MessageTarget)))
cerialize  = Message ('Mut s)
-> Vector (Vector MessageTarget)
-> m (Cerial ('Mut s) (Vector (Vector MessageTarget)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector MessageTarget)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector MessageTarget))
-> m (Cerial ('Mut s) (Vector (Vector (Vector MessageTarget))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector MessageTarget))
-> m (Cerial ('Mut s) (Vector (Vector (Vector MessageTarget))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector MessageTarget))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector MessageTarget)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector MessageTarget)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector MessageTarget)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector MessageTarget)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector MessageTarget)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector MessageTarget))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector MessageTarget))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector MessageTarget))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector MessageTarget))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector MessageTarget))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector MessageTarget)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector MessageTarget)))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector MessageTarget)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector MessageTarget)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector MessageTarget)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector MessageTarget))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector MessageTarget))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Payload 
    = Payload 
        {Payload -> Maybe Ptr
content :: (Std_.Maybe UntypedPure.Ptr)
        ,Payload -> Vector CapDescriptor
capTable :: (V.Vector CapDescriptor)}
    deriving(Int -> Payload -> ShowS
[Payload] -> ShowS
Payload -> String
(Int -> Payload -> ShowS)
-> (Payload -> String) -> ([Payload] -> ShowS) -> Show Payload
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Payload] -> ShowS
$cshowList :: [Payload] -> ShowS
show :: Payload -> String
$cshow :: Payload -> String
showsPrec :: Int -> Payload -> ShowS
$cshowsPrec :: Int -> Payload -> ShowS
Std_.Show
            ,Payload -> Payload -> Bool
(Payload -> Payload -> Bool)
-> (Payload -> Payload -> Bool) -> Eq Payload
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Payload -> Payload -> Bool
$c/= :: Payload -> Payload -> Bool
== :: Payload -> Payload -> Bool
$c== :: Payload -> Payload -> Bool
Std_.Eq
            ,(forall x. Payload -> Rep Payload x)
-> (forall x. Rep Payload x -> Payload) -> Generic Payload
forall x. Rep Payload x -> Payload
forall x. Payload -> Rep Payload x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Payload x -> Payload
$cfrom :: forall x. Payload -> Rep Payload x
Generics.Generic)
instance (Default.Default Payload) where
    def :: Payload
def  = Payload
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Payload) where
    fromStruct :: Struct 'Const -> m Payload
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Payload 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Payload 'Const) -> (Payload 'Const -> m Payload) -> m Payload
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Payload 'Const -> m Payload
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Payload) where
    type Cerial msg Payload = (Capnp.Gen.ById.Xb312981b2552a250.Payload msg)
    decerialize :: Cerial 'Const Payload -> m Payload
decerialize Cerial 'Const Payload
raw = (Maybe Ptr -> Vector CapDescriptor -> Payload
Payload (Maybe Ptr -> Vector CapDescriptor -> Payload)
-> m (Maybe Ptr) -> m (Vector CapDescriptor -> Payload)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ((Payload 'Const -> m (Maybe (Ptr 'Const))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
Payload msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Payload'content Cerial 'Const Payload
Payload 'Const
raw) m (Maybe (Ptr 'Const))
-> (Maybe (Ptr 'Const) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr 'Const) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                               m (Vector CapDescriptor -> Payload)
-> m (Vector CapDescriptor) -> m Payload
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Payload 'Const -> m (List 'Const (CapDescriptor 'Const))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (List msg (CapDescriptor msg))) =>
Payload msg -> m (List msg (CapDescriptor msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Payload'capTable Cerial 'Const Payload
Payload 'Const
raw) m (List 'Const (CapDescriptor 'Const))
-> (List 'Const (CapDescriptor 'Const) -> m (Vector CapDescriptor))
-> m (Vector CapDescriptor)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= List 'Const (CapDescriptor 'Const) -> m (Vector CapDescriptor)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize))
instance (Classes.Marshal s Payload) where
    marshalInto :: Cerial ('Mut s) Payload -> Payload -> m ()
marshalInto Cerial ('Mut s) Payload
raw_ Payload
value_ = case Payload
value_ of
        Payload{Maybe Ptr
Vector CapDescriptor
capTable :: Vector CapDescriptor
content :: Maybe Ptr
$sel:capTable:Payload :: Payload -> Vector CapDescriptor
$sel:content:Payload :: Payload -> Maybe Ptr
..} ->
            (do
                ((Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Payload ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Payload
Payload ('Mut s)
raw_) Maybe Ptr
content) m (Maybe (Ptr ('Mut s))) -> (Maybe (Ptr ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Payload ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr ('Mut s)))) =>
Payload ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Payload'content Cerial ('Mut s) Payload
Payload ('Mut s)
raw_))
                ((Message ('Mut s)
-> Vector CapDescriptor
-> m (Cerial ('Mut s) (Vector CapDescriptor))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Payload ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Payload
Payload ('Mut s)
raw_) Vector CapDescriptor
capTable) m (List ('Mut s) (CapDescriptor ('Mut s)))
-> (List ('Mut s) (CapDescriptor ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Payload ('Mut s) -> List ('Mut s) (CapDescriptor ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (List ('Mut s) (CapDescriptor ('Mut s)))) =>
Payload ('Mut s) -> List ('Mut s) (CapDescriptor ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Payload'capTable Cerial ('Mut s) Payload
Payload ('Mut s)
raw_))
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Payload)
instance (Classes.Cerialize s (V.Vector Payload)) where
    cerialize :: Message ('Mut s)
-> Vector Payload -> m (Cerial ('Mut s) (Vector Payload))
cerialize  = Message ('Mut s)
-> Vector Payload -> m (Cerial ('Mut s) (Vector Payload))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Payload))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Payload)
-> m (Cerial ('Mut s) (Vector (Vector Payload)))
cerialize  = Message ('Mut s)
-> Vector (Vector Payload)
-> m (Cerial ('Mut s) (Vector (Vector Payload)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Payload)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Payload))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Payload))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Payload))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Payload))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Payload))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Payload)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Payload)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Payload)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Payload)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Payload)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Payload))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Payload))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Payload))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Payload))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Payload))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Payload)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Payload)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Payload)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Payload)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Payload)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data CapDescriptor 
    = CapDescriptor 
        {CapDescriptor -> Word8
attachedFd :: Std_.Word8
        ,CapDescriptor -> CapDescriptor'
union' :: CapDescriptor'}
    deriving(Int -> CapDescriptor -> ShowS
[CapDescriptor] -> ShowS
CapDescriptor -> String
(Int -> CapDescriptor -> ShowS)
-> (CapDescriptor -> String)
-> ([CapDescriptor] -> ShowS)
-> Show CapDescriptor
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [CapDescriptor] -> ShowS
$cshowList :: [CapDescriptor] -> ShowS
show :: CapDescriptor -> String
$cshow :: CapDescriptor -> String
showsPrec :: Int -> CapDescriptor -> ShowS
$cshowsPrec :: Int -> CapDescriptor -> ShowS
Std_.Show
            ,CapDescriptor -> CapDescriptor -> Bool
(CapDescriptor -> CapDescriptor -> Bool)
-> (CapDescriptor -> CapDescriptor -> Bool) -> Eq CapDescriptor
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CapDescriptor -> CapDescriptor -> Bool
$c/= :: CapDescriptor -> CapDescriptor -> Bool
== :: CapDescriptor -> CapDescriptor -> Bool
$c== :: CapDescriptor -> CapDescriptor -> Bool
Std_.Eq
            ,(forall x. CapDescriptor -> Rep CapDescriptor x)
-> (forall x. Rep CapDescriptor x -> CapDescriptor)
-> Generic CapDescriptor
forall x. Rep CapDescriptor x -> CapDescriptor
forall x. CapDescriptor -> Rep CapDescriptor x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep CapDescriptor x -> CapDescriptor
$cfrom :: forall x. CapDescriptor -> Rep CapDescriptor x
Generics.Generic)
instance (Default.Default CapDescriptor) where
    def :: CapDescriptor
def  = CapDescriptor
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const CapDescriptor) where
    fromStruct :: Struct 'Const -> m CapDescriptor
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (CapDescriptor 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (CapDescriptor 'Const)
-> (CapDescriptor 'Const -> m CapDescriptor) -> m CapDescriptor
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= CapDescriptor 'Const -> m CapDescriptor
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize CapDescriptor) where
    type Cerial msg CapDescriptor = (Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor msg)
    decerialize :: Cerial 'Const CapDescriptor -> m CapDescriptor
decerialize Cerial 'Const CapDescriptor
raw = (Word8 -> CapDescriptor' -> CapDescriptor
CapDescriptor (Word8 -> CapDescriptor' -> CapDescriptor)
-> m Word8 -> m (CapDescriptor' -> CapDescriptor)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (CapDescriptor 'Const -> m Word8
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
CapDescriptor msg -> m Word8
Capnp.Gen.ById.Xb312981b2552a250.get_CapDescriptor'attachedFd Cerial 'Const CapDescriptor
CapDescriptor 'Const
raw)
                                     m (CapDescriptor' -> CapDescriptor)
-> m CapDescriptor' -> m CapDescriptor
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Cerial 'Const CapDescriptor' -> m CapDescriptor'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const CapDescriptor'
Cerial 'Const CapDescriptor
raw))
instance (Classes.Marshal s CapDescriptor) where
    marshalInto :: Cerial ('Mut s) CapDescriptor -> CapDescriptor -> m ()
marshalInto Cerial ('Mut s) CapDescriptor
raw_ CapDescriptor
value_ = case CapDescriptor
value_ of
        CapDescriptor{Word8
CapDescriptor'
union' :: CapDescriptor'
attachedFd :: Word8
$sel:union':CapDescriptor :: CapDescriptor -> CapDescriptor'
$sel:attachedFd:CapDescriptor :: CapDescriptor -> Word8
..} ->
            (do
                (CapDescriptor ('Mut s) -> Word8 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
CapDescriptor ('Mut s) -> Word8 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'attachedFd Cerial ('Mut s) CapDescriptor
CapDescriptor ('Mut s)
raw_ Word8
attachedFd)
                (do
                    (Cerial ('Mut s) CapDescriptor' -> CapDescriptor' -> m ()
forall s a (m :: * -> *).
(Marshal s a, RWCtx m s) =>
Cerial ('Mut s) a -> a -> m ()
Classes.marshalInto Cerial ('Mut s) CapDescriptor'
Cerial ('Mut s) CapDescriptor
raw_ CapDescriptor'
union')
                    )
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s CapDescriptor)
instance (Classes.Cerialize s (V.Vector CapDescriptor)) where
    cerialize :: Message ('Mut s)
-> Vector CapDescriptor
-> m (Cerial ('Mut s) (Vector CapDescriptor))
cerialize  = Message ('Mut s)
-> Vector CapDescriptor
-> m (Cerial ('Mut s) (Vector CapDescriptor))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector CapDescriptor))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector CapDescriptor)
-> m (Cerial ('Mut s) (Vector (Vector CapDescriptor)))
cerialize  = Message ('Mut s)
-> Vector (Vector CapDescriptor)
-> m (Cerial ('Mut s) (Vector (Vector CapDescriptor)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector CapDescriptor)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector CapDescriptor))
-> m (Cerial ('Mut s) (Vector (Vector (Vector CapDescriptor))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector CapDescriptor))
-> m (Cerial ('Mut s) (Vector (Vector (Vector CapDescriptor))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector CapDescriptor))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector CapDescriptor)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector CapDescriptor)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector CapDescriptor)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector CapDescriptor)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector CapDescriptor)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector CapDescriptor))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector CapDescriptor))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector CapDescriptor))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector CapDescriptor)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data CapDescriptor' 
    = CapDescriptor'none 
    | CapDescriptor'senderHosted Std_.Word32
    | CapDescriptor'senderPromise Std_.Word32
    | CapDescriptor'receiverHosted Std_.Word32
    | CapDescriptor'receiverAnswer PromisedAnswer
    | CapDescriptor'thirdPartyHosted ThirdPartyCapDescriptor
    | CapDescriptor'unknown' Std_.Word16
    deriving(Int -> CapDescriptor' -> ShowS
[CapDescriptor'] -> ShowS
CapDescriptor' -> String
(Int -> CapDescriptor' -> ShowS)
-> (CapDescriptor' -> String)
-> ([CapDescriptor'] -> ShowS)
-> Show CapDescriptor'
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [CapDescriptor'] -> ShowS
$cshowList :: [CapDescriptor'] -> ShowS
show :: CapDescriptor' -> String
$cshow :: CapDescriptor' -> String
showsPrec :: Int -> CapDescriptor' -> ShowS
$cshowsPrec :: Int -> CapDescriptor' -> ShowS
Std_.Show
            ,CapDescriptor' -> CapDescriptor' -> Bool
(CapDescriptor' -> CapDescriptor' -> Bool)
-> (CapDescriptor' -> CapDescriptor' -> Bool) -> Eq CapDescriptor'
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CapDescriptor' -> CapDescriptor' -> Bool
$c/= :: CapDescriptor' -> CapDescriptor' -> Bool
== :: CapDescriptor' -> CapDescriptor' -> Bool
$c== :: CapDescriptor' -> CapDescriptor' -> Bool
Std_.Eq
            ,(forall x. CapDescriptor' -> Rep CapDescriptor' x)
-> (forall x. Rep CapDescriptor' x -> CapDescriptor')
-> Generic CapDescriptor'
forall x. Rep CapDescriptor' x -> CapDescriptor'
forall x. CapDescriptor' -> Rep CapDescriptor' x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep CapDescriptor' x -> CapDescriptor'
$cfrom :: forall x. CapDescriptor' -> Rep CapDescriptor' x
Generics.Generic)
instance (Default.Default CapDescriptor') where
    def :: CapDescriptor'
def  = CapDescriptor'
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const CapDescriptor') where
    fromStruct :: Struct 'Const -> m CapDescriptor'
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (CapDescriptor 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (CapDescriptor 'Const)
-> (CapDescriptor 'Const -> m CapDescriptor') -> m CapDescriptor'
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= CapDescriptor 'Const -> m CapDescriptor'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize CapDescriptor') where
    type Cerial msg CapDescriptor' = (Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor msg)
    decerialize :: Cerial 'Const CapDescriptor' -> m CapDescriptor'
decerialize Cerial 'Const CapDescriptor'
raw = (do
        CapDescriptor' 'Const
raw <- (CapDescriptor 'Const -> m (CapDescriptor' 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (CapDescriptor' msg)) =>
CapDescriptor msg -> m (CapDescriptor' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_CapDescriptor' Cerial 'Const CapDescriptor'
CapDescriptor 'Const
raw)
        case CapDescriptor' 'Const
raw of
            (CapDescriptor' 'Const
Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor'none) ->
                (CapDescriptor' -> m CapDescriptor'
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure CapDescriptor'
CapDescriptor'none)
            (Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor'senderHosted Word32
raw) ->
                (CapDescriptor' -> m CapDescriptor'
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word32 -> CapDescriptor'
CapDescriptor'senderHosted Word32
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor'senderPromise Word32
raw) ->
                (CapDescriptor' -> m CapDescriptor'
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word32 -> CapDescriptor'
CapDescriptor'senderPromise Word32
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor'receiverHosted Word32
raw) ->
                (CapDescriptor' -> m CapDescriptor'
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word32 -> CapDescriptor'
CapDescriptor'receiverHosted Word32
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor'receiverAnswer PromisedAnswer 'Const
raw) ->
                (PromisedAnswer -> CapDescriptor'
CapDescriptor'receiverAnswer (PromisedAnswer -> CapDescriptor')
-> m PromisedAnswer -> m CapDescriptor'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const PromisedAnswer -> m PromisedAnswer
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const PromisedAnswer
PromisedAnswer 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor'thirdPartyHosted ThirdPartyCapDescriptor 'Const
raw) ->
                (ThirdPartyCapDescriptor -> CapDescriptor'
CapDescriptor'thirdPartyHosted (ThirdPartyCapDescriptor -> CapDescriptor')
-> m ThirdPartyCapDescriptor -> m CapDescriptor'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const ThirdPartyCapDescriptor -> m ThirdPartyCapDescriptor
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const ThirdPartyCapDescriptor
ThirdPartyCapDescriptor 'Const
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor'unknown' Word16
tag) ->
                (CapDescriptor' -> m CapDescriptor'
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word16 -> CapDescriptor'
CapDescriptor'unknown' Word16
tag))
        )
instance (Classes.Marshal s CapDescriptor') where
    marshalInto :: Cerial ('Mut s) CapDescriptor' -> CapDescriptor' -> m ()
marshalInto Cerial ('Mut s) CapDescriptor'
raw_ CapDescriptor'
value_ = case CapDescriptor'
value_ of
        (CapDescriptor'
CapDescriptor'none) ->
            (CapDescriptor ('Mut s) -> m ()
forall (m :: * -> *) s. RWCtx m s => CapDescriptor ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'none Cerial ('Mut s) CapDescriptor'
CapDescriptor ('Mut s)
raw_)
        (CapDescriptor'senderHosted Word32
arg_) ->
            (CapDescriptor ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
CapDescriptor ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'senderHosted Cerial ('Mut s) CapDescriptor'
CapDescriptor ('Mut s)
raw_ Word32
arg_)
        (CapDescriptor'senderPromise Word32
arg_) ->
            (CapDescriptor ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
CapDescriptor ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'senderPromise Cerial ('Mut s) CapDescriptor'
CapDescriptor ('Mut s)
raw_ Word32
arg_)
        (CapDescriptor'receiverHosted Word32
arg_) ->
            (CapDescriptor ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
CapDescriptor ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'receiverHosted Cerial ('Mut s) CapDescriptor'
CapDescriptor ('Mut s)
raw_ Word32
arg_)
        (CapDescriptor'receiverAnswer PromisedAnswer
arg_) ->
            ((Message ('Mut s)
-> PromisedAnswer -> m (Cerial ('Mut s) PromisedAnswer)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (CapDescriptor ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) CapDescriptor'
CapDescriptor ('Mut s)
raw_) PromisedAnswer
arg_) m (PromisedAnswer ('Mut s))
-> (PromisedAnswer ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (CapDescriptor ('Mut s) -> PromisedAnswer ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (PromisedAnswer ('Mut s))) =>
CapDescriptor ('Mut s) -> PromisedAnswer ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'receiverAnswer Cerial ('Mut s) CapDescriptor'
CapDescriptor ('Mut s)
raw_))
        (CapDescriptor'thirdPartyHosted ThirdPartyCapDescriptor
arg_) ->
            ((Message ('Mut s)
-> ThirdPartyCapDescriptor
-> m (Cerial ('Mut s) ThirdPartyCapDescriptor)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (CapDescriptor ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) CapDescriptor'
CapDescriptor ('Mut s)
raw_) ThirdPartyCapDescriptor
arg_) m (ThirdPartyCapDescriptor ('Mut s))
-> (ThirdPartyCapDescriptor ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (CapDescriptor ('Mut s) -> ThirdPartyCapDescriptor ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (ThirdPartyCapDescriptor ('Mut s))) =>
CapDescriptor ('Mut s) -> ThirdPartyCapDescriptor ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'thirdPartyHosted Cerial ('Mut s) CapDescriptor'
CapDescriptor ('Mut s)
raw_))
        (CapDescriptor'unknown' Word16
tag) ->
            (CapDescriptor ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
CapDescriptor ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'unknown' Cerial ('Mut s) CapDescriptor'
CapDescriptor ('Mut s)
raw_ Word16
tag)
data PromisedAnswer 
    = PromisedAnswer 
        {PromisedAnswer -> Word32
questionId :: Std_.Word32
        ,PromisedAnswer -> Vector PromisedAnswer'Op
transform :: (V.Vector PromisedAnswer'Op)}
    deriving(Int -> PromisedAnswer -> ShowS
[PromisedAnswer] -> ShowS
PromisedAnswer -> String
(Int -> PromisedAnswer -> ShowS)
-> (PromisedAnswer -> String)
-> ([PromisedAnswer] -> ShowS)
-> Show PromisedAnswer
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [PromisedAnswer] -> ShowS
$cshowList :: [PromisedAnswer] -> ShowS
show :: PromisedAnswer -> String
$cshow :: PromisedAnswer -> String
showsPrec :: Int -> PromisedAnswer -> ShowS
$cshowsPrec :: Int -> PromisedAnswer -> ShowS
Std_.Show
            ,PromisedAnswer -> PromisedAnswer -> Bool
(PromisedAnswer -> PromisedAnswer -> Bool)
-> (PromisedAnswer -> PromisedAnswer -> Bool) -> Eq PromisedAnswer
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PromisedAnswer -> PromisedAnswer -> Bool
$c/= :: PromisedAnswer -> PromisedAnswer -> Bool
== :: PromisedAnswer -> PromisedAnswer -> Bool
$c== :: PromisedAnswer -> PromisedAnswer -> Bool
Std_.Eq
            ,(forall x. PromisedAnswer -> Rep PromisedAnswer x)
-> (forall x. Rep PromisedAnswer x -> PromisedAnswer)
-> Generic PromisedAnswer
forall x. Rep PromisedAnswer x -> PromisedAnswer
forall x. PromisedAnswer -> Rep PromisedAnswer x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep PromisedAnswer x -> PromisedAnswer
$cfrom :: forall x. PromisedAnswer -> Rep PromisedAnswer x
Generics.Generic)
instance (Default.Default PromisedAnswer) where
    def :: PromisedAnswer
def  = PromisedAnswer
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const PromisedAnswer) where
    fromStruct :: Struct 'Const -> m PromisedAnswer
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (PromisedAnswer 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (PromisedAnswer 'Const)
-> (PromisedAnswer 'Const -> m PromisedAnswer) -> m PromisedAnswer
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= PromisedAnswer 'Const -> m PromisedAnswer
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize PromisedAnswer) where
    type Cerial msg PromisedAnswer = (Capnp.Gen.ById.Xb312981b2552a250.PromisedAnswer msg)
    decerialize :: Cerial 'Const PromisedAnswer -> m PromisedAnswer
decerialize Cerial 'Const PromisedAnswer
raw = (Word32 -> Vector PromisedAnswer'Op -> PromisedAnswer
PromisedAnswer (Word32 -> Vector PromisedAnswer'Op -> PromisedAnswer)
-> m Word32 -> m (Vector PromisedAnswer'Op -> PromisedAnswer)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (PromisedAnswer 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
PromisedAnswer msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_PromisedAnswer'questionId Cerial 'Const PromisedAnswer
PromisedAnswer 'Const
raw)
                                      m (Vector PromisedAnswer'Op -> PromisedAnswer)
-> m (Vector PromisedAnswer'Op) -> m PromisedAnswer
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((PromisedAnswer 'Const -> m (List 'Const (PromisedAnswer'Op 'Const))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (List msg (PromisedAnswer'Op msg))) =>
PromisedAnswer msg -> m (List msg (PromisedAnswer'Op msg))
Capnp.Gen.ById.Xb312981b2552a250.get_PromisedAnswer'transform Cerial 'Const PromisedAnswer
PromisedAnswer 'Const
raw) m (List 'Const (PromisedAnswer'Op 'Const))
-> (List 'Const (PromisedAnswer'Op 'Const)
    -> m (Vector PromisedAnswer'Op))
-> m (Vector PromisedAnswer'Op)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= List 'Const (PromisedAnswer'Op 'Const)
-> m (Vector PromisedAnswer'Op)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize))
instance (Classes.Marshal s PromisedAnswer) where
    marshalInto :: Cerial ('Mut s) PromisedAnswer -> PromisedAnswer -> m ()
marshalInto Cerial ('Mut s) PromisedAnswer
raw_ PromisedAnswer
value_ = case PromisedAnswer
value_ of
        PromisedAnswer{Word32
Vector PromisedAnswer'Op
transform :: Vector PromisedAnswer'Op
questionId :: Word32
$sel:transform:PromisedAnswer :: PromisedAnswer -> Vector PromisedAnswer'Op
$sel:questionId:PromisedAnswer :: PromisedAnswer -> Word32
..} ->
            (do
                (PromisedAnswer ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
PromisedAnswer ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_PromisedAnswer'questionId Cerial ('Mut s) PromisedAnswer
PromisedAnswer ('Mut s)
raw_ Word32
questionId)
                ((Message ('Mut s)
-> Vector PromisedAnswer'Op
-> m (Cerial ('Mut s) (Vector PromisedAnswer'Op))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (PromisedAnswer ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) PromisedAnswer
PromisedAnswer ('Mut s)
raw_) Vector PromisedAnswer'Op
transform) m (List ('Mut s) (PromisedAnswer'Op ('Mut s)))
-> (List ('Mut s) (PromisedAnswer'Op ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (PromisedAnswer ('Mut s)
-> List ('Mut s) (PromisedAnswer'Op ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s,
 ToPtr s (List ('Mut s) (PromisedAnswer'Op ('Mut s)))) =>
PromisedAnswer ('Mut s)
-> List ('Mut s) (PromisedAnswer'Op ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_PromisedAnswer'transform Cerial ('Mut s) PromisedAnswer
PromisedAnswer ('Mut s)
raw_))
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s PromisedAnswer)
instance (Classes.Cerialize s (V.Vector PromisedAnswer)) where
    cerialize :: Message ('Mut s)
-> Vector PromisedAnswer
-> m (Cerial ('Mut s) (Vector PromisedAnswer))
cerialize  = Message ('Mut s)
-> Vector PromisedAnswer
-> m (Cerial ('Mut s) (Vector PromisedAnswer))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector PromisedAnswer))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector PromisedAnswer)
-> m (Cerial ('Mut s) (Vector (Vector PromisedAnswer)))
cerialize  = Message ('Mut s)
-> Vector (Vector PromisedAnswer)
-> m (Cerial ('Mut s) (Vector (Vector PromisedAnswer)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector PromisedAnswer)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector PromisedAnswer))
-> m (Cerial ('Mut s) (Vector (Vector (Vector PromisedAnswer))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector PromisedAnswer))
-> m (Cerial ('Mut s) (Vector (Vector (Vector PromisedAnswer))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector PromisedAnswer))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector PromisedAnswer)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector PromisedAnswer)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector PromisedAnswer)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector PromisedAnswer)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector PromisedAnswer)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector PromisedAnswer))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector PromisedAnswer))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector PromisedAnswer))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector PromisedAnswer)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data PromisedAnswer'Op 
    = PromisedAnswer'Op'noop 
    | PromisedAnswer'Op'getPointerField Std_.Word16
    | PromisedAnswer'Op'unknown' Std_.Word16
    deriving(Int -> PromisedAnswer'Op -> ShowS
[PromisedAnswer'Op] -> ShowS
PromisedAnswer'Op -> String
(Int -> PromisedAnswer'Op -> ShowS)
-> (PromisedAnswer'Op -> String)
-> ([PromisedAnswer'Op] -> ShowS)
-> Show PromisedAnswer'Op
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [PromisedAnswer'Op] -> ShowS
$cshowList :: [PromisedAnswer'Op] -> ShowS
show :: PromisedAnswer'Op -> String
$cshow :: PromisedAnswer'Op -> String
showsPrec :: Int -> PromisedAnswer'Op -> ShowS
$cshowsPrec :: Int -> PromisedAnswer'Op -> ShowS
Std_.Show
            ,PromisedAnswer'Op -> PromisedAnswer'Op -> Bool
(PromisedAnswer'Op -> PromisedAnswer'Op -> Bool)
-> (PromisedAnswer'Op -> PromisedAnswer'Op -> Bool)
-> Eq PromisedAnswer'Op
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PromisedAnswer'Op -> PromisedAnswer'Op -> Bool
$c/= :: PromisedAnswer'Op -> PromisedAnswer'Op -> Bool
== :: PromisedAnswer'Op -> PromisedAnswer'Op -> Bool
$c== :: PromisedAnswer'Op -> PromisedAnswer'Op -> Bool
Std_.Eq
            ,(forall x. PromisedAnswer'Op -> Rep PromisedAnswer'Op x)
-> (forall x. Rep PromisedAnswer'Op x -> PromisedAnswer'Op)
-> Generic PromisedAnswer'Op
forall x. Rep PromisedAnswer'Op x -> PromisedAnswer'Op
forall x. PromisedAnswer'Op -> Rep PromisedAnswer'Op x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep PromisedAnswer'Op x -> PromisedAnswer'Op
$cfrom :: forall x. PromisedAnswer'Op -> Rep PromisedAnswer'Op x
Generics.Generic)
instance (Default.Default PromisedAnswer'Op) where
    def :: PromisedAnswer'Op
def  = PromisedAnswer'Op
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const PromisedAnswer'Op) where
    fromStruct :: Struct 'Const -> m PromisedAnswer'Op
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (PromisedAnswer'Op 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (PromisedAnswer'Op 'Const)
-> (PromisedAnswer'Op 'Const -> m PromisedAnswer'Op)
-> m PromisedAnswer'Op
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= PromisedAnswer'Op 'Const -> m PromisedAnswer'Op
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize PromisedAnswer'Op) where
    type Cerial msg PromisedAnswer'Op = (Capnp.Gen.ById.Xb312981b2552a250.PromisedAnswer'Op msg)
    decerialize :: Cerial 'Const PromisedAnswer'Op -> m PromisedAnswer'Op
decerialize Cerial 'Const PromisedAnswer'Op
raw = (do
        PromisedAnswer'Op' 'Const
raw <- (PromisedAnswer'Op 'Const -> m (PromisedAnswer'Op' 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (PromisedAnswer'Op' msg)) =>
PromisedAnswer'Op msg -> m (PromisedAnswer'Op' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_PromisedAnswer'Op' Cerial 'Const PromisedAnswer'Op
PromisedAnswer'Op 'Const
raw)
        case PromisedAnswer'Op' 'Const
raw of
            (PromisedAnswer'Op' 'Const
Capnp.Gen.ById.Xb312981b2552a250.PromisedAnswer'Op'noop) ->
                (PromisedAnswer'Op -> m PromisedAnswer'Op
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure PromisedAnswer'Op
PromisedAnswer'Op'noop)
            (Capnp.Gen.ById.Xb312981b2552a250.PromisedAnswer'Op'getPointerField Word16
raw) ->
                (PromisedAnswer'Op -> m PromisedAnswer'Op
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word16 -> PromisedAnswer'Op
PromisedAnswer'Op'getPointerField Word16
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.PromisedAnswer'Op'unknown' Word16
tag) ->
                (PromisedAnswer'Op -> m PromisedAnswer'Op
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word16 -> PromisedAnswer'Op
PromisedAnswer'Op'unknown' Word16
tag))
        )
instance (Classes.Marshal s PromisedAnswer'Op) where
    marshalInto :: Cerial ('Mut s) PromisedAnswer'Op -> PromisedAnswer'Op -> m ()
marshalInto Cerial ('Mut s) PromisedAnswer'Op
raw_ PromisedAnswer'Op
value_ = case PromisedAnswer'Op
value_ of
        (PromisedAnswer'Op
PromisedAnswer'Op'noop) ->
            (PromisedAnswer'Op ('Mut s) -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
PromisedAnswer'Op ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_PromisedAnswer'Op'noop Cerial ('Mut s) PromisedAnswer'Op
PromisedAnswer'Op ('Mut s)
raw_)
        (PromisedAnswer'Op'getPointerField Word16
arg_) ->
            (PromisedAnswer'Op ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
PromisedAnswer'Op ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_PromisedAnswer'Op'getPointerField Cerial ('Mut s) PromisedAnswer'Op
PromisedAnswer'Op ('Mut s)
raw_ Word16
arg_)
        (PromisedAnswer'Op'unknown' Word16
tag) ->
            (PromisedAnswer'Op ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
PromisedAnswer'Op ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_PromisedAnswer'Op'unknown' Cerial ('Mut s) PromisedAnswer'Op
PromisedAnswer'Op ('Mut s)
raw_ Word16
tag)
instance (Classes.Cerialize s PromisedAnswer'Op)
instance (Classes.Cerialize s (V.Vector PromisedAnswer'Op)) where
    cerialize :: Message ('Mut s)
-> Vector PromisedAnswer'Op
-> m (Cerial ('Mut s) (Vector PromisedAnswer'Op))
cerialize  = Message ('Mut s)
-> Vector PromisedAnswer'Op
-> m (Cerial ('Mut s) (Vector PromisedAnswer'Op))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector PromisedAnswer'Op))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector PromisedAnswer'Op)
-> m (Cerial ('Mut s) (Vector (Vector PromisedAnswer'Op)))
cerialize  = Message ('Mut s)
-> Vector (Vector PromisedAnswer'Op)
-> m (Cerial ('Mut s) (Vector (Vector PromisedAnswer'Op)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector PromisedAnswer'Op)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector PromisedAnswer'Op))
-> m (Cerial ('Mut s) (Vector (Vector (Vector PromisedAnswer'Op))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector PromisedAnswer'Op))
-> m (Cerial ('Mut s) (Vector (Vector (Vector PromisedAnswer'Op))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector PromisedAnswer'Op))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector PromisedAnswer'Op)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector PromisedAnswer'Op)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector PromisedAnswer'Op)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector PromisedAnswer'Op))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector PromisedAnswer'Op)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data ThirdPartyCapDescriptor 
    = ThirdPartyCapDescriptor 
        {ThirdPartyCapDescriptor -> Maybe Ptr
id :: (Std_.Maybe UntypedPure.Ptr)
        ,ThirdPartyCapDescriptor -> Word32
vineId :: Std_.Word32}
    deriving(Int -> ThirdPartyCapDescriptor -> ShowS
[ThirdPartyCapDescriptor] -> ShowS
ThirdPartyCapDescriptor -> String
(Int -> ThirdPartyCapDescriptor -> ShowS)
-> (ThirdPartyCapDescriptor -> String)
-> ([ThirdPartyCapDescriptor] -> ShowS)
-> Show ThirdPartyCapDescriptor
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [ThirdPartyCapDescriptor] -> ShowS
$cshowList :: [ThirdPartyCapDescriptor] -> ShowS
show :: ThirdPartyCapDescriptor -> String
$cshow :: ThirdPartyCapDescriptor -> String
showsPrec :: Int -> ThirdPartyCapDescriptor -> ShowS
$cshowsPrec :: Int -> ThirdPartyCapDescriptor -> ShowS
Std_.Show
            ,ThirdPartyCapDescriptor -> ThirdPartyCapDescriptor -> Bool
(ThirdPartyCapDescriptor -> ThirdPartyCapDescriptor -> Bool)
-> (ThirdPartyCapDescriptor -> ThirdPartyCapDescriptor -> Bool)
-> Eq ThirdPartyCapDescriptor
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: ThirdPartyCapDescriptor -> ThirdPartyCapDescriptor -> Bool
$c/= :: ThirdPartyCapDescriptor -> ThirdPartyCapDescriptor -> Bool
== :: ThirdPartyCapDescriptor -> ThirdPartyCapDescriptor -> Bool
$c== :: ThirdPartyCapDescriptor -> ThirdPartyCapDescriptor -> Bool
Std_.Eq
            ,(forall x.
 ThirdPartyCapDescriptor -> Rep ThirdPartyCapDescriptor x)
-> (forall x.
    Rep ThirdPartyCapDescriptor x -> ThirdPartyCapDescriptor)
-> Generic ThirdPartyCapDescriptor
forall x. Rep ThirdPartyCapDescriptor x -> ThirdPartyCapDescriptor
forall x. ThirdPartyCapDescriptor -> Rep ThirdPartyCapDescriptor x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep ThirdPartyCapDescriptor x -> ThirdPartyCapDescriptor
$cfrom :: forall x. ThirdPartyCapDescriptor -> Rep ThirdPartyCapDescriptor x
Generics.Generic)
instance (Default.Default ThirdPartyCapDescriptor) where
    def :: ThirdPartyCapDescriptor
def  = ThirdPartyCapDescriptor
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const ThirdPartyCapDescriptor) where
    fromStruct :: Struct 'Const -> m ThirdPartyCapDescriptor
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (ThirdPartyCapDescriptor 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (ThirdPartyCapDescriptor 'Const)
-> (ThirdPartyCapDescriptor 'Const -> m ThirdPartyCapDescriptor)
-> m ThirdPartyCapDescriptor
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= ThirdPartyCapDescriptor 'Const -> m ThirdPartyCapDescriptor
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize ThirdPartyCapDescriptor) where
    type Cerial msg ThirdPartyCapDescriptor = (Capnp.Gen.ById.Xb312981b2552a250.ThirdPartyCapDescriptor msg)
    decerialize :: Cerial 'Const ThirdPartyCapDescriptor -> m ThirdPartyCapDescriptor
decerialize Cerial 'Const ThirdPartyCapDescriptor
raw = (Maybe Ptr -> Word32 -> ThirdPartyCapDescriptor
ThirdPartyCapDescriptor (Maybe Ptr -> Word32 -> ThirdPartyCapDescriptor)
-> m (Maybe Ptr) -> m (Word32 -> ThirdPartyCapDescriptor)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ((ThirdPartyCapDescriptor 'Const -> m (Maybe (Ptr 'Const))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
ThirdPartyCapDescriptor msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_ThirdPartyCapDescriptor'id Cerial 'Const ThirdPartyCapDescriptor
ThirdPartyCapDescriptor 'Const
raw) m (Maybe (Ptr 'Const))
-> (Maybe (Ptr 'Const) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr 'Const) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                                               m (Word32 -> ThirdPartyCapDescriptor)
-> m Word32 -> m ThirdPartyCapDescriptor
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (ThirdPartyCapDescriptor 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
ThirdPartyCapDescriptor msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_ThirdPartyCapDescriptor'vineId Cerial 'Const ThirdPartyCapDescriptor
ThirdPartyCapDescriptor 'Const
raw))
instance (Classes.Marshal s ThirdPartyCapDescriptor) where
    marshalInto :: Cerial ('Mut s) ThirdPartyCapDescriptor
-> ThirdPartyCapDescriptor -> m ()
marshalInto Cerial ('Mut s) ThirdPartyCapDescriptor
raw_ ThirdPartyCapDescriptor
value_ = case ThirdPartyCapDescriptor
value_ of
        ThirdPartyCapDescriptor{Maybe Ptr
Word32
vineId :: Word32
id :: Maybe Ptr
$sel:vineId:ThirdPartyCapDescriptor :: ThirdPartyCapDescriptor -> Word32
$sel:id:ThirdPartyCapDescriptor :: ThirdPartyCapDescriptor -> Maybe Ptr
..} ->
            (do
                ((Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (ThirdPartyCapDescriptor ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) ThirdPartyCapDescriptor
ThirdPartyCapDescriptor ('Mut s)
raw_) Maybe Ptr
id) m (Maybe (Ptr ('Mut s))) -> (Maybe (Ptr ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (ThirdPartyCapDescriptor ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr ('Mut s)))) =>
ThirdPartyCapDescriptor ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_ThirdPartyCapDescriptor'id Cerial ('Mut s) ThirdPartyCapDescriptor
ThirdPartyCapDescriptor ('Mut s)
raw_))
                (ThirdPartyCapDescriptor ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
ThirdPartyCapDescriptor ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_ThirdPartyCapDescriptor'vineId Cerial ('Mut s) ThirdPartyCapDescriptor
ThirdPartyCapDescriptor ('Mut s)
raw_ Word32
vineId)
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s ThirdPartyCapDescriptor)
instance (Classes.Cerialize s (V.Vector ThirdPartyCapDescriptor)) where
    cerialize :: Message ('Mut s)
-> Vector ThirdPartyCapDescriptor
-> m (Cerial ('Mut s) (Vector ThirdPartyCapDescriptor))
cerialize  = Message ('Mut s)
-> Vector ThirdPartyCapDescriptor
-> m (Cerial ('Mut s) (Vector ThirdPartyCapDescriptor))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector ThirdPartyCapDescriptor))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector ThirdPartyCapDescriptor)
-> m (Cerial ('Mut s) (Vector (Vector ThirdPartyCapDescriptor)))
cerialize  = Message ('Mut s)
-> Vector (Vector ThirdPartyCapDescriptor)
-> m (Cerial ('Mut s) (Vector (Vector ThirdPartyCapDescriptor)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector ThirdPartyCapDescriptor)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector ThirdPartyCapDescriptor))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector ThirdPartyCapDescriptor))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector ThirdPartyCapDescriptor))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector ThirdPartyCapDescriptor))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector ThirdPartyCapDescriptor))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector ThirdPartyCapDescriptor)))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector ThirdPartyCapDescriptor))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector ThirdPartyCapDescriptor)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector
        (Vector
           (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector
                 (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector
        (Vector
           (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector
                 (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data Exception 
    = Exception 
        {Exception -> Text
reason :: T.Text
        ,Exception -> Bool
obsoleteIsCallersFault :: Std_.Bool
        ,Exception -> Word16
obsoleteDurability :: Std_.Word16
        ,Exception -> Exception'Type
type_ :: Capnp.Gen.ById.Xb312981b2552a250.Exception'Type}
    deriving(Int -> Exception -> ShowS
[Exception] -> ShowS
Exception -> String
(Int -> Exception -> ShowS)
-> (Exception -> String)
-> ([Exception] -> ShowS)
-> Show Exception
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Exception] -> ShowS
$cshowList :: [Exception] -> ShowS
show :: Exception -> String
$cshow :: Exception -> String
showsPrec :: Int -> Exception -> ShowS
$cshowsPrec :: Int -> Exception -> ShowS
Std_.Show
            ,Exception -> Exception -> Bool
(Exception -> Exception -> Bool)
-> (Exception -> Exception -> Bool) -> Eq Exception
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Exception -> Exception -> Bool
$c/= :: Exception -> Exception -> Bool
== :: Exception -> Exception -> Bool
$c== :: Exception -> Exception -> Bool
Std_.Eq
            ,(forall x. Exception -> Rep Exception x)
-> (forall x. Rep Exception x -> Exception) -> Generic Exception
forall x. Rep Exception x -> Exception
forall x. Exception -> Rep Exception x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Exception x -> Exception
$cfrom :: forall x. Exception -> Rep Exception x
Generics.Generic)
instance (Default.Default Exception) where
    def :: Exception
def  = Exception
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Exception) where
    fromStruct :: Struct 'Const -> m Exception
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Exception 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Exception 'Const)
-> (Exception 'Const -> m Exception) -> m Exception
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Exception 'Const -> m Exception
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Exception) where
    type Cerial msg Exception = (Capnp.Gen.ById.Xb312981b2552a250.Exception msg)
    decerialize :: Cerial 'Const Exception -> m Exception
decerialize Cerial 'Const Exception
raw = (Text -> Bool -> Word16 -> Exception'Type -> Exception
Exception (Text -> Bool -> Word16 -> Exception'Type -> Exception)
-> m Text -> m (Bool -> Word16 -> Exception'Type -> Exception)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ((Exception 'Const -> m (Text 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Text msg)) =>
Exception msg -> m (Text msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Exception'reason Cerial 'Const Exception
Exception 'Const
raw) m (Text 'Const) -> (Text 'Const -> m Text) -> m Text
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Text 'Const -> m Text
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                                 m (Bool -> Word16 -> Exception'Type -> Exception)
-> m Bool -> m (Word16 -> Exception'Type -> Exception)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Exception 'Const -> m Bool
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Exception msg -> m Bool
Capnp.Gen.ById.Xb312981b2552a250.get_Exception'obsoleteIsCallersFault Cerial 'Const Exception
Exception 'Const
raw)
                                 m (Word16 -> Exception'Type -> Exception)
-> m Word16 -> m (Exception'Type -> Exception)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Exception 'Const -> m Word16
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Exception msg -> m Word16
Capnp.Gen.ById.Xb312981b2552a250.get_Exception'obsoleteDurability Cerial 'Const Exception
Exception 'Const
raw)
                                 m (Exception'Type -> Exception) -> m Exception'Type -> m Exception
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Exception 'Const -> m Exception'Type
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
Exception msg -> m Exception'Type
Capnp.Gen.ById.Xb312981b2552a250.get_Exception'type_ Cerial 'Const Exception
Exception 'Const
raw))
instance (Classes.Marshal s Exception) where
    marshalInto :: Cerial ('Mut s) Exception -> Exception -> m ()
marshalInto Cerial ('Mut s) Exception
raw_ Exception
value_ = case Exception
value_ of
        Exception{Bool
Word16
Text
Exception'Type
type_ :: Exception'Type
obsoleteDurability :: Word16
obsoleteIsCallersFault :: Bool
reason :: Text
$sel:type_:Exception :: Exception -> Exception'Type
$sel:obsoleteDurability:Exception :: Exception -> Word16
$sel:obsoleteIsCallersFault:Exception :: Exception -> Bool
$sel:reason:Exception :: Exception -> Text
..} ->
            (do
                ((Message ('Mut s) -> Text -> m (Cerial ('Mut s) Text)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Exception ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Exception
Exception ('Mut s)
raw_) Text
reason) m (Text ('Mut s)) -> (Text ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Exception ('Mut s) -> Text ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Text ('Mut s))) =>
Exception ('Mut s) -> Text ('Mut s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Exception'reason Cerial ('Mut s) Exception
Exception ('Mut s)
raw_))
                (Exception ('Mut s) -> Bool -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Exception ('Mut s) -> Bool -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Exception'obsoleteIsCallersFault Cerial ('Mut s) Exception
Exception ('Mut s)
raw_ Bool
obsoleteIsCallersFault)
                (Exception ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Exception ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Exception'obsoleteDurability Cerial ('Mut s) Exception
Exception ('Mut s)
raw_ Word16
obsoleteDurability)
                (Exception ('Mut s) -> Exception'Type -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Exception ('Mut s) -> Exception'Type -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Exception'type_ Cerial ('Mut s) Exception
Exception ('Mut s)
raw_ Exception'Type
type_)
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Exception)
instance (Classes.Cerialize s (V.Vector Exception)) where
    cerialize :: Message ('Mut s)
-> Vector Exception -> m (Cerial ('Mut s) (Vector Exception))
cerialize  = Message ('Mut s)
-> Vector Exception -> m (Cerial ('Mut s) (Vector Exception))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Exception))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Exception)
-> m (Cerial ('Mut s) (Vector (Vector Exception)))
cerialize  = Message ('Mut s)
-> Vector (Vector Exception)
-> m (Cerial ('Mut s) (Vector (Vector Exception)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Exception)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Exception))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Exception))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Exception))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Exception))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Exception))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Exception)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Exception)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Exception)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Exception)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Exception)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Exception))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Exception))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Exception))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Exception))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Exception))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Exception)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Exception)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Exception)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Exception)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Exception)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Decerialize Capnp.Gen.ById.Xb312981b2552a250.Exception'Type) where
    type Cerial msg Capnp.Gen.ById.Xb312981b2552a250.Exception'Type = Capnp.Gen.ById.Xb312981b2552a250.Exception'Type
    decerialize :: Cerial 'Const Exception'Type -> m Exception'Type
decerialize  = Cerial 'Const Exception'Type -> m Exception'Type
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure
instance (Classes.Cerialize s Capnp.Gen.ById.Xb312981b2552a250.Exception'Type) where
    cerialize :: Message ('Mut s)
-> Exception'Type -> m (Cerial ('Mut s) Exception'Type)
cerialize Message ('Mut s)
_ = Exception'Type -> m (Cerial ('Mut s) Exception'Type)
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure
instance (Classes.Cerialize s (V.Vector Capnp.Gen.ById.Xb312981b2552a250.Exception'Type)) where
    cerialize :: Message ('Mut s)
-> Vector Exception'Type
-> m (Cerial ('Mut s) (Vector Exception'Type))
cerialize  = Message ('Mut s)
-> Vector Exception'Type
-> m (Cerial ('Mut s) (Vector Exception'Type))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector Capnp.Gen.ById.Xb312981b2552a250.Exception'Type))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Exception'Type)
-> m (Cerial ('Mut s) (Vector (Vector Exception'Type)))
cerialize  = Message ('Mut s)
-> Vector (Vector Exception'Type)
-> m (Cerial ('Mut s) (Vector (Vector Exception'Type)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xb312981b2552a250.Exception'Type)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Exception'Type))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Exception'Type))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Exception'Type))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Exception'Type))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xb312981b2552a250.Exception'Type))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Exception'Type)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Exception'Type)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Exception'Type)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Exception'Type)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xb312981b2552a250.Exception'Type)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Exception'Type))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector Exception'Type))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Exception'Type))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector Exception'Type))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xb312981b2552a250.Exception'Type))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector Exception'Type)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector Exception'Type)))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector Exception'Type)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector Exception'Type)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec