{-# 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 #-}
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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Message)) where
    fromStruct :: Struct ConstMsg -> m Message
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Message ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Message ConstMsg)
-> (Message ConstMsg -> m Message) -> m Message
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Message ConstMsg -> m Message
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Message)) where
    type Cerial msg (Message) = (Capnp.Gen.ById.Xb312981b2552a250.Message msg)
    decerialize :: Cerial ConstMsg Message -> m Message
decerialize Cerial ConstMsg Message
raw = (do
        Message' ConstMsg
raw <- (Message ConstMsg -> m (Message' ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (Message' msg)) =>
Message msg -> m (Message' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Message' Cerial ConstMsg Message
Message ConstMsg
raw)
        case Message' ConstMsg
raw of
            (Capnp.Gen.ById.Xb312981b2552a250.Message'unimplemented Message ConstMsg
raw) ->
                (Message -> Message
Message'unimplemented (Message -> Message) -> m Message -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Message -> m Message
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Message
Message ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'abort Exception ConstMsg
raw) ->
                (Exception -> Message
Message'abort (Exception -> Message) -> m Exception -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Exception -> m Exception
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Exception
Exception ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'call Call ConstMsg
raw) ->
                (Call -> Message
Message'call (Call -> Message) -> m Call -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Call -> m Call
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Call
Call ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'return Return ConstMsg
raw) ->
                (Return -> Message
Message'return (Return -> Message) -> m Return -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Return -> m Return
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Return
Return ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'finish Finish ConstMsg
raw) ->
                (Finish -> Message
Message'finish (Finish -> Message) -> m Finish -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Finish -> m Finish
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Finish
Finish ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'resolve Resolve ConstMsg
raw) ->
                (Resolve -> Message
Message'resolve (Resolve -> Message) -> m Resolve -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Resolve -> m Resolve
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Resolve
Resolve ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'release Release ConstMsg
raw) ->
                (Release -> Message
Message'release (Release -> Message) -> m Release -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Release -> m Release
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Release
Release ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'obsoleteSave Maybe (Ptr ConstMsg)
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 ConstMsg (Maybe Ptr) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Maybe (Ptr ConstMsg)
Cerial ConstMsg (Maybe Ptr)
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'bootstrap Bootstrap ConstMsg
raw) ->
                (Bootstrap -> Message
Message'bootstrap (Bootstrap -> Message) -> m Bootstrap -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Bootstrap -> m Bootstrap
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Bootstrap
Bootstrap ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'obsoleteDelete Maybe (Ptr ConstMsg)
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 ConstMsg (Maybe Ptr) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Maybe (Ptr ConstMsg)
Cerial ConstMsg (Maybe Ptr)
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'provide Provide ConstMsg
raw) ->
                (Provide -> Message
Message'provide (Provide -> Message) -> m Provide -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Provide -> m Provide
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Provide
Provide ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'accept Accept ConstMsg
raw) ->
                (Accept -> Message
Message'accept (Accept -> Message) -> m Accept -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Accept -> m Accept
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Accept
Accept ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'join Join ConstMsg
raw) ->
                (Join -> Message
Message'join (Join -> Message) -> m Join -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Join -> m Join
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Join
Join ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Message'disembargo Disembargo ConstMsg
raw) ->
                (Disembargo -> Message
Message'disembargo (Disembargo -> Message) -> m Disembargo -> m Message
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Disembargo -> m Disembargo
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Disembargo
Disembargo ConstMsg
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 (MutMsg s) Message -> Message -> m ()
marshalInto Cerial (MutMsg s) Message
raw_ Message
value_ = case Message
value_ of
        (Message'unimplemented Message
arg_) ->
            ((MutMsg s -> Message -> m (Cerial (MutMsg s) Message)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Message
arg_) m (Message (MutMsg s)) -> (Message (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Message (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Message (MutMsg s))) =>
Message (MutMsg s) -> Message (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'unimplemented Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'abort Exception
arg_) ->
            ((MutMsg s -> Exception -> m (Cerial (MutMsg s) Exception)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Exception
arg_) m (Exception (MutMsg s)) -> (Exception (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Exception (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Exception (MutMsg s))) =>
Message (MutMsg s) -> Exception (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'abort Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'call Call
arg_) ->
            ((MutMsg s -> Call -> m (Cerial (MutMsg s) Call)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Call
arg_) m (Call (MutMsg s)) -> (Call (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Call (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Call (MutMsg s))) =>
Message (MutMsg s) -> Call (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'call Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'return Return
arg_) ->
            ((MutMsg s -> Return -> m (Cerial (MutMsg s) Return)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Return
arg_) m (Return (MutMsg s)) -> (Return (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Return (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Return (MutMsg s))) =>
Message (MutMsg s) -> Return (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'return Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'finish Finish
arg_) ->
            ((MutMsg s -> Finish -> m (Cerial (MutMsg s) Finish)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Finish
arg_) m (Finish (MutMsg s)) -> (Finish (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Finish (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Finish (MutMsg s))) =>
Message (MutMsg s) -> Finish (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'finish Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'resolve Resolve
arg_) ->
            ((MutMsg s -> Resolve -> m (Cerial (MutMsg s) Resolve)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Resolve
arg_) m (Resolve (MutMsg s)) -> (Resolve (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Resolve (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Resolve (MutMsg s))) =>
Message (MutMsg s) -> Resolve (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'resolve Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'release Release
arg_) ->
            ((MutMsg s -> Release -> m (Cerial (MutMsg s) Release)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Release
arg_) m (Release (MutMsg s)) -> (Release (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Release (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Release (MutMsg s))) =>
Message (MutMsg s) -> Release (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'release Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'obsoleteSave Maybe Ptr
arg_) ->
            ((MutMsg s -> Maybe Ptr -> m (Cerial (MutMsg s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Maybe Ptr
arg_) m (Maybe (Ptr (MutMsg s)))
-> (Maybe (Ptr (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr (MutMsg s)))) =>
Message (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'obsoleteSave Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'bootstrap Bootstrap
arg_) ->
            ((MutMsg s -> Bootstrap -> m (Cerial (MutMsg s) Bootstrap)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Bootstrap
arg_) m (Bootstrap (MutMsg s)) -> (Bootstrap (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Bootstrap (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Bootstrap (MutMsg s))) =>
Message (MutMsg s) -> Bootstrap (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'bootstrap Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'obsoleteDelete Maybe Ptr
arg_) ->
            ((MutMsg s -> Maybe Ptr -> m (Cerial (MutMsg s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Maybe Ptr
arg_) m (Maybe (Ptr (MutMsg s)))
-> (Maybe (Ptr (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr (MutMsg s)))) =>
Message (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'obsoleteDelete Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'provide Provide
arg_) ->
            ((MutMsg s -> Provide -> m (Cerial (MutMsg s) Provide)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Provide
arg_) m (Provide (MutMsg s)) -> (Provide (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Provide (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Provide (MutMsg s))) =>
Message (MutMsg s) -> Provide (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'provide Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'accept Accept
arg_) ->
            ((MutMsg s -> Accept -> m (Cerial (MutMsg s) Accept)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Accept
arg_) m (Accept (MutMsg s)) -> (Accept (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Accept (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Accept (MutMsg s))) =>
Message (MutMsg s) -> Accept (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'accept Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'join Join
arg_) ->
            ((MutMsg s -> Join -> m (Cerial (MutMsg s) Join)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Join
arg_) m (Join (MutMsg s)) -> (Join (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Join (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Join (MutMsg s))) =>
Message (MutMsg s) -> Join (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'join Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'disembargo Disembargo
arg_) ->
            ((MutMsg s -> Disembargo -> m (Cerial (MutMsg s) Disembargo)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Message (MutMsg s) -> InMessage (Message (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Message
Message (MutMsg s)
raw_) Disembargo
arg_) m (Disembargo (MutMsg s))
-> (Disembargo (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Message (MutMsg s) -> Disembargo (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Disembargo (MutMsg s))) =>
Message (MutMsg s) -> Disembargo (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'disembargo Cerial (MutMsg s) Message
Message (MutMsg s)
raw_))
        (Message'unknown' Word16
tag) ->
            (Message (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Message (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Message'unknown' Cerial (MutMsg s) Message
Message (MutMsg s)
raw_ Word16
tag)
instance (Classes.Cerialize s (Message))
instance (Classes.Cerialize s (V.Vector (Message))) where
    cerialize :: MutMsg s
-> Vector Message -> m (Cerial (MutMsg s) (Vector Message))
cerialize  = MutMsg s
-> Vector Message -> m (Cerial (MutMsg s) (Vector Message))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Message)))) where
    cerialize :: MutMsg s
-> Vector (Vector Message)
-> m (Cerial (MutMsg s) (Vector (Vector Message)))
cerialize  = MutMsg s
-> Vector (Vector Message)
-> m (Cerial (MutMsg s) (Vector (Vector Message)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Message))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Message))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Message))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Message))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Message))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Message)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Message)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Message)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Message)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Message)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Message))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Message))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Message))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Message))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Message))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Message)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Message)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Message)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Message)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Message)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Message))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Message))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Message))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Message))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Bootstrap)) where
    fromStruct :: Struct ConstMsg -> m Bootstrap
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Bootstrap ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Bootstrap ConstMsg)
-> (Bootstrap ConstMsg -> m Bootstrap) -> m Bootstrap
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Bootstrap ConstMsg -> m Bootstrap
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Bootstrap)) where
    type Cerial msg (Bootstrap) = (Capnp.Gen.ById.Xb312981b2552a250.Bootstrap msg)
    decerialize :: Cerial ConstMsg Bootstrap -> m Bootstrap
decerialize Cerial ConstMsg 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 ConstMsg -> m Word32
forall (m :: * -> *) msg.
ReadCtx m msg =>
Bootstrap msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Bootstrap'questionId Cerial ConstMsg Bootstrap
Bootstrap ConstMsg
raw)
                                 m (Maybe Ptr -> Bootstrap) -> m (Maybe Ptr) -> m Bootstrap
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Bootstrap ConstMsg -> m (Maybe (Ptr ConstMsg))
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
Bootstrap msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Bootstrap'deprecatedObjectId Cerial ConstMsg Bootstrap
Bootstrap ConstMsg
raw) m (Maybe (Ptr ConstMsg))
-> (Maybe (Ptr ConstMsg) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr ConstMsg) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize))
instance (Classes.Marshal s (Bootstrap)) where
    marshalInto :: Cerial (MutMsg s) Bootstrap -> Bootstrap -> m ()
marshalInto Cerial (MutMsg 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 (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Bootstrap (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Bootstrap'questionId Cerial (MutMsg s) Bootstrap
Bootstrap (MutMsg s)
raw_ Word32
questionId)
                ((MutMsg s -> Maybe Ptr -> m (Cerial (MutMsg s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Bootstrap (MutMsg s) -> InMessage (Bootstrap (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Bootstrap
Bootstrap (MutMsg s)
raw_) Maybe Ptr
deprecatedObjectId) m (Maybe (Ptr (MutMsg s)))
-> (Maybe (Ptr (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Bootstrap (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr (MutMsg s)))) =>
Bootstrap (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Bootstrap'deprecatedObjectId Cerial (MutMsg s) Bootstrap
Bootstrap (MutMsg 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 :: MutMsg s
-> Vector Bootstrap -> m (Cerial (MutMsg s) (Vector Bootstrap))
cerialize  = MutMsg s
-> Vector Bootstrap -> m (Cerial (MutMsg s) (Vector Bootstrap))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Bootstrap)))) where
    cerialize :: MutMsg s
-> Vector (Vector Bootstrap)
-> m (Cerial (MutMsg s) (Vector (Vector Bootstrap)))
cerialize  = MutMsg s
-> Vector (Vector Bootstrap)
-> m (Cerial (MutMsg s) (Vector (Vector Bootstrap)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Bootstrap))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Bootstrap))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Bootstrap))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Bootstrap))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Bootstrap))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Bootstrap)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Bootstrap)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Bootstrap)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Bootstrap)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Bootstrap)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Bootstrap))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Bootstrap))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Bootstrap))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Bootstrap))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Bootstrap))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Bootstrap)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Bootstrap))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Call)) where
    fromStruct :: Struct ConstMsg -> m Call
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Call ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Call ConstMsg) -> (Call ConstMsg -> m Call) -> m Call
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Call ConstMsg -> m Call
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Call)) where
    type Cerial msg (Call) = (Capnp.Gen.ById.Xb312981b2552a250.Call msg)
    decerialize :: Cerial ConstMsg Call -> m Call
decerialize Cerial ConstMsg 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 ConstMsg -> m Word32
forall (m :: * -> *) msg. ReadCtx m msg => Call msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Call'questionId Cerial ConstMsg Call
Call ConstMsg
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 ConstMsg -> m (MessageTarget ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (MessageTarget msg)) =>
Call msg -> m (MessageTarget msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Call'target Cerial ConstMsg Call
Call ConstMsg
raw) m (MessageTarget ConstMsg)
-> (MessageTarget ConstMsg -> m MessageTarget) -> m MessageTarget
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= MessageTarget ConstMsg -> m MessageTarget
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg -> m Word64
forall (m :: * -> *) msg. ReadCtx m msg => Call msg -> m Word64
Capnp.Gen.ById.Xb312981b2552a250.get_Call'interfaceId Cerial ConstMsg Call
Call ConstMsg
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 ConstMsg -> m Word16
forall (m :: * -> *) msg. ReadCtx m msg => Call msg -> m Word16
Capnp.Gen.ById.Xb312981b2552a250.get_Call'methodId Cerial ConstMsg Call
Call ConstMsg
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 ConstMsg -> m (Payload ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (Payload msg)) =>
Call msg -> m (Payload msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Call'params Cerial ConstMsg Call
Call ConstMsg
raw) m (Payload ConstMsg)
-> (Payload ConstMsg -> m Payload) -> m Payload
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Payload ConstMsg -> m Payload
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg -> m (Call'sendResultsTo ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (Call'sendResultsTo msg)) =>
Call msg -> m (Call'sendResultsTo msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Call'sendResultsTo Cerial ConstMsg Call
Call ConstMsg
raw) m (Call'sendResultsTo ConstMsg)
-> (Call'sendResultsTo ConstMsg -> m Call'sendResultsTo)
-> m Call'sendResultsTo
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Call'sendResultsTo ConstMsg -> m Call'sendResultsTo
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg -> m Bool
forall (m :: * -> *) msg. ReadCtx m msg => Call msg -> m Bool
Capnp.Gen.ById.Xb312981b2552a250.get_Call'allowThirdPartyTailCall Cerial ConstMsg Call
Call ConstMsg
raw))
instance (Classes.Marshal s (Call)) where
    marshalInto :: Cerial (MutMsg s) Call -> Call -> m ()
marshalInto Cerial (MutMsg 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 (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'questionId Cerial (MutMsg s) Call
Call (MutMsg s)
raw_ Word32
questionId)
                ((MutMsg s -> MessageTarget -> m (Cerial (MutMsg s) MessageTarget)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Call (MutMsg s) -> InMessage (Call (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Call
Call (MutMsg s)
raw_) MessageTarget
target) m (MessageTarget (MutMsg s))
-> (MessageTarget (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Call (MutMsg s) -> MessageTarget (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (MessageTarget (MutMsg s))) =>
Call (MutMsg s) -> MessageTarget (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'target Cerial (MutMsg s) Call
Call (MutMsg s)
raw_))
                (Call (MutMsg s) -> Word64 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call (MutMsg s) -> Word64 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'interfaceId Cerial (MutMsg s) Call
Call (MutMsg s)
raw_ Word64
interfaceId)
                (Call (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'methodId Cerial (MutMsg s) Call
Call (MutMsg s)
raw_ Word16
methodId)
                ((MutMsg s -> Payload -> m (Cerial (MutMsg s) Payload)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Call (MutMsg s) -> InMessage (Call (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Call
Call (MutMsg s)
raw_) Payload
params) m (Payload (MutMsg s)) -> (Payload (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Call (MutMsg s) -> Payload (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Payload (MutMsg s))) =>
Call (MutMsg s) -> Payload (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'params Cerial (MutMsg s) Call
Call (MutMsg s)
raw_))
                (do
                    Call'sendResultsTo (MutMsg s)
raw_ <- (Call (MutMsg s) -> m (Call'sendResultsTo (MutMsg s))
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (Call'sendResultsTo msg)) =>
Call msg -> m (Call'sendResultsTo msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Call'sendResultsTo Cerial (MutMsg s) Call
Call (MutMsg s)
raw_)
                    (Cerial (MutMsg s) Call'sendResultsTo -> Call'sendResultsTo -> m ()
forall s a (m :: * -> *).
(Marshal s a, RWCtx m s) =>
Cerial (MutMsg s) a -> a -> m ()
Classes.marshalInto Cerial (MutMsg s) Call'sendResultsTo
Call'sendResultsTo (MutMsg s)
raw_ Call'sendResultsTo
sendResultsTo)
                    )
                (Call (MutMsg s) -> Bool -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call (MutMsg s) -> Bool -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'allowThirdPartyTailCall Cerial (MutMsg s) Call
Call (MutMsg 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 :: MutMsg s -> Vector Call -> m (Cerial (MutMsg s) (Vector Call))
cerialize  = MutMsg s -> Vector Call -> m (Cerial (MutMsg s) (Vector Call))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Call)))) where
    cerialize :: MutMsg s
-> Vector (Vector Call)
-> m (Cerial (MutMsg s) (Vector (Vector Call)))
cerialize  = MutMsg s
-> Vector (Vector Call)
-> m (Cerial (MutMsg s) (Vector (Vector Call)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Call))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Call))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Call))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Call))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Call))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Call)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Call)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Call)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Call)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Call)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Call))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Call))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Call))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Call))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Call))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Call)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Call)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Call)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Call)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Call)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Call))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Call))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Call))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Call))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Call'sendResultsTo)) where
    fromStruct :: Struct ConstMsg -> m Call'sendResultsTo
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Call'sendResultsTo ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Call'sendResultsTo ConstMsg)
-> (Call'sendResultsTo ConstMsg -> m Call'sendResultsTo)
-> m Call'sendResultsTo
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Call'sendResultsTo ConstMsg -> m Call'sendResultsTo
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg Call'sendResultsTo -> m Call'sendResultsTo
decerialize Cerial ConstMsg Call'sendResultsTo
raw = (do
        Call'sendResultsTo' ConstMsg
raw <- (Call'sendResultsTo ConstMsg -> m (Call'sendResultsTo' ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (Call'sendResultsTo' msg)) =>
Call'sendResultsTo msg -> m (Call'sendResultsTo' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Call'sendResultsTo' Cerial ConstMsg Call'sendResultsTo
Call'sendResultsTo ConstMsg
raw)
        case Call'sendResultsTo' ConstMsg
raw of
            (Call'sendResultsTo' ConstMsg
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' ConstMsg
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 ConstMsg)
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 ConstMsg (Maybe Ptr) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Maybe (Ptr ConstMsg)
Cerial ConstMsg (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 (MutMsg s) Call'sendResultsTo -> Call'sendResultsTo -> m ()
marshalInto Cerial (MutMsg s) Call'sendResultsTo
raw_ Call'sendResultsTo
value_ = case Call'sendResultsTo
value_ of
        (Call'sendResultsTo
Call'sendResultsTo'caller) ->
            (Call'sendResultsTo (MutMsg s) -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call'sendResultsTo (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'sendResultsTo'caller Cerial (MutMsg s) Call'sendResultsTo
Call'sendResultsTo (MutMsg s)
raw_)
        (Call'sendResultsTo
Call'sendResultsTo'yourself) ->
            (Call'sendResultsTo (MutMsg s) -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call'sendResultsTo (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'sendResultsTo'yourself Cerial (MutMsg s) Call'sendResultsTo
Call'sendResultsTo (MutMsg s)
raw_)
        (Call'sendResultsTo'thirdParty Maybe Ptr
arg_) ->
            ((MutMsg s -> Maybe Ptr -> m (Cerial (MutMsg s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Call'sendResultsTo (MutMsg s)
-> InMessage (Call'sendResultsTo (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Call'sendResultsTo
Call'sendResultsTo (MutMsg s)
raw_) Maybe Ptr
arg_) m (Maybe (Ptr (MutMsg s)))
-> (Maybe (Ptr (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Call'sendResultsTo (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr (MutMsg s)))) =>
Call'sendResultsTo (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'sendResultsTo'thirdParty Cerial (MutMsg s) Call'sendResultsTo
Call'sendResultsTo (MutMsg s)
raw_))
        (Call'sendResultsTo'unknown' Word16
tag) ->
            (Call'sendResultsTo (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Call'sendResultsTo (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Call'sendResultsTo'unknown' Cerial (MutMsg s) Call'sendResultsTo
Call'sendResultsTo (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Return)) where
    fromStruct :: Struct ConstMsg -> m Return
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Return ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Return ConstMsg) -> (Return ConstMsg -> m Return) -> m Return
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Return ConstMsg -> m Return
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Return)) where
    type Cerial msg (Return) = (Capnp.Gen.ById.Xb312981b2552a250.Return msg)
    decerialize :: Cerial ConstMsg Return -> m Return
decerialize Cerial ConstMsg 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 ConstMsg -> m Word32
forall (m :: * -> *) msg. ReadCtx m msg => Return msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Return'answerId Cerial ConstMsg Return
Return ConstMsg
raw)
                              m (Bool -> Return' -> Return) -> m Bool -> m (Return' -> Return)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Return ConstMsg -> m Bool
forall (m :: * -> *) msg. ReadCtx m msg => Return msg -> m Bool
Capnp.Gen.ById.Xb312981b2552a250.get_Return'releaseParamCaps Cerial ConstMsg Return
Return ConstMsg
raw)
                              m (Return' -> Return) -> m Return' -> m Return
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Cerial ConstMsg Return' -> m Return'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Return'
Cerial ConstMsg Return
raw))
instance (Classes.Marshal s (Return)) where
    marshalInto :: Cerial (MutMsg s) Return -> Return -> m ()
marshalInto Cerial (MutMsg 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 (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Return (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'answerId Cerial (MutMsg s) Return
Return (MutMsg s)
raw_ Word32
answerId)
                (Return (MutMsg s) -> Bool -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Return (MutMsg s) -> Bool -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'releaseParamCaps Cerial (MutMsg s) Return
Return (MutMsg s)
raw_ Bool
releaseParamCaps)
                (do
                    (Cerial (MutMsg s) Return' -> Return' -> m ()
forall s a (m :: * -> *).
(Marshal s a, RWCtx m s) =>
Cerial (MutMsg s) a -> a -> m ()
Classes.marshalInto Cerial (MutMsg s) Return'
Cerial (MutMsg 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 :: MutMsg s -> Vector Return -> m (Cerial (MutMsg s) (Vector Return))
cerialize  = MutMsg s -> Vector Return -> m (Cerial (MutMsg s) (Vector Return))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Return)))) where
    cerialize :: MutMsg s
-> Vector (Vector Return)
-> m (Cerial (MutMsg s) (Vector (Vector Return)))
cerialize  = MutMsg s
-> Vector (Vector Return)
-> m (Cerial (MutMsg s) (Vector (Vector Return)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Return))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Return))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Return))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Return))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Return))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Return)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Return)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Return)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Return)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Return)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Return))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Return))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Return))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Return))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Return))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Return)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Return)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Return)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Return)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Return)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Return))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Return))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Return))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Return))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Return')) where
    fromStruct :: Struct ConstMsg -> m Return'
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Return ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Return ConstMsg) -> (Return ConstMsg -> m Return') -> m Return'
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Return ConstMsg -> m Return'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Return')) where
    type Cerial msg (Return') = (Capnp.Gen.ById.Xb312981b2552a250.Return msg)
    decerialize :: Cerial ConstMsg Return' -> m Return'
decerialize Cerial ConstMsg Return'
raw = (do
        Return' ConstMsg
raw <- (Return ConstMsg -> m (Return' ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (Return' msg)) =>
Return msg -> m (Return' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Return' Cerial ConstMsg Return'
Return ConstMsg
raw)
        case Return' ConstMsg
raw of
            (Capnp.Gen.ById.Xb312981b2552a250.Return'results Payload ConstMsg
raw) ->
                (Payload -> Return'
Return'results (Payload -> Return') -> m Payload -> m Return'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Payload -> m Payload
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Payload
Payload ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Return'exception Exception ConstMsg
raw) ->
                (Exception -> Return'
Return'exception (Exception -> Return') -> m Exception -> m Return'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Exception -> m Exception
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Exception
Exception ConstMsg
raw))
            (Return' ConstMsg
Capnp.Gen.ById.Xb312981b2552a250.Return'canceled) ->
                (Return' -> m Return'
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure Return'
Return'canceled)
            (Return' ConstMsg
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 ConstMsg)
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 ConstMsg (Maybe Ptr) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Maybe (Ptr ConstMsg)
Cerial ConstMsg (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 (MutMsg s) Return' -> Return' -> m ()
marshalInto Cerial (MutMsg s) Return'
raw_ Return'
value_ = case Return'
value_ of
        (Return'results Payload
arg_) ->
            ((MutMsg s -> Payload -> m (Cerial (MutMsg s) Payload)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Return (MutMsg s) -> InMessage (Return (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Return'
Return (MutMsg s)
raw_) Payload
arg_) m (Payload (MutMsg s)) -> (Payload (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Return (MutMsg s) -> Payload (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Payload (MutMsg s))) =>
Return (MutMsg s) -> Payload (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'results Cerial (MutMsg s) Return'
Return (MutMsg s)
raw_))
        (Return'exception Exception
arg_) ->
            ((MutMsg s -> Exception -> m (Cerial (MutMsg s) Exception)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Return (MutMsg s) -> InMessage (Return (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Return'
Return (MutMsg s)
raw_) Exception
arg_) m (Exception (MutMsg s)) -> (Exception (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Return (MutMsg s) -> Exception (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Exception (MutMsg s))) =>
Return (MutMsg s) -> Exception (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'exception Cerial (MutMsg s) Return'
Return (MutMsg s)
raw_))
        (Return'
Return'canceled) ->
            (Return (MutMsg s) -> m ()
forall (m :: * -> *) s. RWCtx m s => Return (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'canceled Cerial (MutMsg s) Return'
Return (MutMsg s)
raw_)
        (Return'
Return'resultsSentElsewhere) ->
            (Return (MutMsg s) -> m ()
forall (m :: * -> *) s. RWCtx m s => Return (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'resultsSentElsewhere Cerial (MutMsg s) Return'
Return (MutMsg s)
raw_)
        (Return'takeFromOtherQuestion Word32
arg_) ->
            (Return (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Return (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'takeFromOtherQuestion Cerial (MutMsg s) Return'
Return (MutMsg s)
raw_ Word32
arg_)
        (Return'acceptFromThirdParty Maybe Ptr
arg_) ->
            ((MutMsg s -> Maybe Ptr -> m (Cerial (MutMsg s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Return (MutMsg s) -> InMessage (Return (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Return'
Return (MutMsg s)
raw_) Maybe Ptr
arg_) m (Maybe (Ptr (MutMsg s)))
-> (Maybe (Ptr (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Return (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr (MutMsg s)))) =>
Return (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'acceptFromThirdParty Cerial (MutMsg s) Return'
Return (MutMsg s)
raw_))
        (Return'unknown' Word16
tag) ->
            (Return (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Return (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Return'unknown' Cerial (MutMsg s) Return'
Return (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Finish)) where
    fromStruct :: Struct ConstMsg -> m Finish
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Finish ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Finish ConstMsg) -> (Finish ConstMsg -> m Finish) -> m Finish
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Finish ConstMsg -> m Finish
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Finish)) where
    type Cerial msg (Finish) = (Capnp.Gen.ById.Xb312981b2552a250.Finish msg)
    decerialize :: Cerial ConstMsg Finish -> m Finish
decerialize Cerial ConstMsg 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 ConstMsg -> m Word32
forall (m :: * -> *) msg. ReadCtx m msg => Finish msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Finish'questionId Cerial ConstMsg Finish
Finish ConstMsg
raw)
                              m (Bool -> Finish) -> m Bool -> m Finish
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Finish ConstMsg -> m Bool
forall (m :: * -> *) msg. ReadCtx m msg => Finish msg -> m Bool
Capnp.Gen.ById.Xb312981b2552a250.get_Finish'releaseResultCaps Cerial ConstMsg Finish
Finish ConstMsg
raw))
instance (Classes.Marshal s (Finish)) where
    marshalInto :: Cerial (MutMsg s) Finish -> Finish -> m ()
marshalInto Cerial (MutMsg 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 (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Finish (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Finish'questionId Cerial (MutMsg s) Finish
Finish (MutMsg s)
raw_ Word32
questionId)
                (Finish (MutMsg s) -> Bool -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Finish (MutMsg s) -> Bool -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Finish'releaseResultCaps Cerial (MutMsg s) Finish
Finish (MutMsg 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 :: MutMsg s -> Vector Finish -> m (Cerial (MutMsg s) (Vector Finish))
cerialize  = MutMsg s -> Vector Finish -> m (Cerial (MutMsg s) (Vector Finish))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Finish)))) where
    cerialize :: MutMsg s
-> Vector (Vector Finish)
-> m (Cerial (MutMsg s) (Vector (Vector Finish)))
cerialize  = MutMsg s
-> Vector (Vector Finish)
-> m (Cerial (MutMsg s) (Vector (Vector Finish)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Finish))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Finish))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Finish))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Finish))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Finish))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Finish)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Finish)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Finish)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Finish)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Finish)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Finish))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Finish))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Finish))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Finish))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Finish))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Finish)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Finish)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Finish)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Finish)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Finish)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Finish))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Resolve)) where
    fromStruct :: Struct ConstMsg -> m Resolve
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Resolve ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Resolve ConstMsg)
-> (Resolve ConstMsg -> m Resolve) -> m Resolve
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Resolve ConstMsg -> m Resolve
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Resolve)) where
    type Cerial msg (Resolve) = (Capnp.Gen.ById.Xb312981b2552a250.Resolve msg)
    decerialize :: Cerial ConstMsg Resolve -> m Resolve
decerialize Cerial ConstMsg 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 ConstMsg -> m Word32
forall (m :: * -> *) msg. ReadCtx m msg => Resolve msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Resolve'promiseId Cerial ConstMsg Resolve
Resolve ConstMsg
raw)
                               m (Resolve' -> Resolve) -> m Resolve' -> m Resolve
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Cerial ConstMsg Resolve' -> m Resolve'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Resolve'
Cerial ConstMsg Resolve
raw))
instance (Classes.Marshal s (Resolve)) where
    marshalInto :: Cerial (MutMsg s) Resolve -> Resolve -> m ()
marshalInto Cerial (MutMsg 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 (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Resolve (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Resolve'promiseId Cerial (MutMsg s) Resolve
Resolve (MutMsg s)
raw_ Word32
promiseId)
                (do
                    (Cerial (MutMsg s) Resolve' -> Resolve' -> m ()
forall s a (m :: * -> *).
(Marshal s a, RWCtx m s) =>
Cerial (MutMsg s) a -> a -> m ()
Classes.marshalInto Cerial (MutMsg s) Resolve'
Cerial (MutMsg 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 :: MutMsg s
-> Vector Resolve -> m (Cerial (MutMsg s) (Vector Resolve))
cerialize  = MutMsg s
-> Vector Resolve -> m (Cerial (MutMsg s) (Vector Resolve))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Resolve)))) where
    cerialize :: MutMsg s
-> Vector (Vector Resolve)
-> m (Cerial (MutMsg s) (Vector (Vector Resolve)))
cerialize  = MutMsg s
-> Vector (Vector Resolve)
-> m (Cerial (MutMsg s) (Vector (Vector Resolve)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Resolve))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Resolve))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Resolve))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Resolve))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Resolve))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Resolve)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Resolve)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Resolve)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Resolve)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Resolve)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Resolve))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Resolve))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Resolve))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Resolve))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Resolve))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Resolve)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Resolve)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Resolve))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Resolve')) where
    fromStruct :: Struct ConstMsg -> m Resolve'
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Resolve ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Resolve ConstMsg)
-> (Resolve ConstMsg -> m Resolve') -> m Resolve'
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Resolve ConstMsg -> m Resolve'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Resolve')) where
    type Cerial msg (Resolve') = (Capnp.Gen.ById.Xb312981b2552a250.Resolve msg)
    decerialize :: Cerial ConstMsg Resolve' -> m Resolve'
decerialize Cerial ConstMsg Resolve'
raw = (do
        Resolve' ConstMsg
raw <- (Resolve ConstMsg -> m (Resolve' ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (Resolve' msg)) =>
Resolve msg -> m (Resolve' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Resolve' Cerial ConstMsg Resolve'
Resolve ConstMsg
raw)
        case Resolve' ConstMsg
raw of
            (Capnp.Gen.ById.Xb312981b2552a250.Resolve'cap CapDescriptor ConstMsg
raw) ->
                (CapDescriptor -> Resolve'
Resolve'cap (CapDescriptor -> Resolve') -> m CapDescriptor -> m Resolve'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg CapDescriptor -> m CapDescriptor
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg CapDescriptor
CapDescriptor ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.Resolve'exception Exception ConstMsg
raw) ->
                (Exception -> Resolve'
Resolve'exception (Exception -> Resolve') -> m Exception -> m Resolve'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg Exception -> m Exception
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg Exception
Exception ConstMsg
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 (MutMsg s) Resolve' -> Resolve' -> m ()
marshalInto Cerial (MutMsg s) Resolve'
raw_ Resolve'
value_ = case Resolve'
value_ of
        (Resolve'cap CapDescriptor
arg_) ->
            ((MutMsg s -> CapDescriptor -> m (Cerial (MutMsg s) CapDescriptor)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Resolve (MutMsg s) -> InMessage (Resolve (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Resolve'
Resolve (MutMsg s)
raw_) CapDescriptor
arg_) m (CapDescriptor (MutMsg s))
-> (CapDescriptor (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Resolve (MutMsg s) -> CapDescriptor (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (CapDescriptor (MutMsg s))) =>
Resolve (MutMsg s) -> CapDescriptor (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Resolve'cap Cerial (MutMsg s) Resolve'
Resolve (MutMsg s)
raw_))
        (Resolve'exception Exception
arg_) ->
            ((MutMsg s -> Exception -> m (Cerial (MutMsg s) Exception)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Resolve (MutMsg s) -> InMessage (Resolve (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Resolve'
Resolve (MutMsg s)
raw_) Exception
arg_) m (Exception (MutMsg s)) -> (Exception (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Resolve (MutMsg s) -> Exception (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Exception (MutMsg s))) =>
Resolve (MutMsg s) -> Exception (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Resolve'exception Cerial (MutMsg s) Resolve'
Resolve (MutMsg s)
raw_))
        (Resolve'unknown' Word16
tag) ->
            (Resolve (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Resolve (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Resolve'unknown' Cerial (MutMsg s) Resolve'
Resolve (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Release)) where
    fromStruct :: Struct ConstMsg -> m Release
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Release ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Release ConstMsg)
-> (Release ConstMsg -> m Release) -> m Release
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Release ConstMsg -> m Release
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Release)) where
    type Cerial msg (Release) = (Capnp.Gen.ById.Xb312981b2552a250.Release msg)
    decerialize :: Cerial ConstMsg Release -> m Release
decerialize Cerial ConstMsg 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 ConstMsg -> m Word32
forall (m :: * -> *) msg. ReadCtx m msg => Release msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Release'id Cerial ConstMsg Release
Release ConstMsg
raw)
                               m (Word32 -> Release) -> m Word32 -> m Release
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Release ConstMsg -> m Word32
forall (m :: * -> *) msg. ReadCtx m msg => Release msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Release'referenceCount Cerial ConstMsg Release
Release ConstMsg
raw))
instance (Classes.Marshal s (Release)) where
    marshalInto :: Cerial (MutMsg s) Release -> Release -> m ()
marshalInto Cerial (MutMsg 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 (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Release (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Release'id Cerial (MutMsg s) Release
Release (MutMsg s)
raw_ Word32
id)
                (Release (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Release (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Release'referenceCount Cerial (MutMsg s) Release
Release (MutMsg 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 :: MutMsg s
-> Vector Release -> m (Cerial (MutMsg s) (Vector Release))
cerialize  = MutMsg s
-> Vector Release -> m (Cerial (MutMsg s) (Vector Release))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Release)))) where
    cerialize :: MutMsg s
-> Vector (Vector Release)
-> m (Cerial (MutMsg s) (Vector (Vector Release)))
cerialize  = MutMsg s
-> Vector (Vector Release)
-> m (Cerial (MutMsg s) (Vector (Vector Release)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Release))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Release))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Release))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Release))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Release))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Release)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Release)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Release)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Release)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Release)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Release))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Release))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Release))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Release))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Release))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Release)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Release)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Release)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Release)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Release)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Release))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Release))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Release))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Release))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Disembargo)) where
    fromStruct :: Struct ConstMsg -> m Disembargo
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Disembargo ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Disembargo ConstMsg)
-> (Disembargo ConstMsg -> m Disembargo) -> m Disembargo
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Disembargo ConstMsg -> m Disembargo
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Disembargo)) where
    type Cerial msg (Disembargo) = (Capnp.Gen.ById.Xb312981b2552a250.Disembargo msg)
    decerialize :: Cerial ConstMsg Disembargo -> m Disembargo
decerialize Cerial ConstMsg 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 ConstMsg -> m (MessageTarget ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (MessageTarget msg)) =>
Disembargo msg -> m (MessageTarget msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Disembargo'target Cerial ConstMsg Disembargo
Disembargo ConstMsg
raw) m (MessageTarget ConstMsg)
-> (MessageTarget ConstMsg -> m MessageTarget) -> m MessageTarget
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= MessageTarget ConstMsg -> m MessageTarget
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg -> m (Disembargo'context ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (Disembargo'context msg)) =>
Disembargo msg -> m (Disembargo'context msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Disembargo'context Cerial ConstMsg Disembargo
Disembargo ConstMsg
raw) m (Disembargo'context ConstMsg)
-> (Disembargo'context ConstMsg -> m Disembargo'context)
-> m Disembargo'context
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Disembargo'context ConstMsg -> m Disembargo'context
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize))
instance (Classes.Marshal s (Disembargo)) where
    marshalInto :: Cerial (MutMsg s) Disembargo -> Disembargo -> m ()
marshalInto Cerial (MutMsg 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
                ((MutMsg s -> MessageTarget -> m (Cerial (MutMsg s) MessageTarget)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Disembargo (MutMsg s) -> InMessage (Disembargo (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Disembargo
Disembargo (MutMsg s)
raw_) MessageTarget
target) m (MessageTarget (MutMsg s))
-> (MessageTarget (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Disembargo (MutMsg s) -> MessageTarget (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (MessageTarget (MutMsg s))) =>
Disembargo (MutMsg s) -> MessageTarget (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'target Cerial (MutMsg s) Disembargo
Disembargo (MutMsg s)
raw_))
                (do
                    Disembargo'context (MutMsg s)
raw_ <- (Disembargo (MutMsg s) -> m (Disembargo'context (MutMsg s))
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (Disembargo'context msg)) =>
Disembargo msg -> m (Disembargo'context msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Disembargo'context Cerial (MutMsg s) Disembargo
Disembargo (MutMsg s)
raw_)
                    (Cerial (MutMsg s) Disembargo'context -> Disembargo'context -> m ()
forall s a (m :: * -> *).
(Marshal s a, RWCtx m s) =>
Cerial (MutMsg s) a -> a -> m ()
Classes.marshalInto Cerial (MutMsg s) Disembargo'context
Disembargo'context (MutMsg 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 :: MutMsg s
-> Vector Disembargo -> m (Cerial (MutMsg s) (Vector Disembargo))
cerialize  = MutMsg s
-> Vector Disembargo -> m (Cerial (MutMsg s) (Vector Disembargo))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Disembargo)))) where
    cerialize :: MutMsg s
-> Vector (Vector Disembargo)
-> m (Cerial (MutMsg s) (Vector (Vector Disembargo)))
cerialize  = MutMsg s
-> Vector (Vector Disembargo)
-> m (Cerial (MutMsg s) (Vector (Vector Disembargo)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Disembargo))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Disembargo))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Disembargo))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Disembargo))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Disembargo))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Disembargo)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Disembargo)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Disembargo)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Disembargo)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Disembargo)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Disembargo))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Disembargo))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Disembargo))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Disembargo))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Disembargo))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Disembargo)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Disembargo)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Disembargo))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Disembargo'context)) where
    fromStruct :: Struct ConstMsg -> m Disembargo'context
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Disembargo'context ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Disembargo'context ConstMsg)
-> (Disembargo'context ConstMsg -> m Disembargo'context)
-> m Disembargo'context
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Disembargo'context ConstMsg -> m Disembargo'context
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg Disembargo'context -> m Disembargo'context
decerialize Cerial ConstMsg Disembargo'context
raw = (do
        Disembargo'context' ConstMsg
raw <- (Disembargo'context ConstMsg -> m (Disembargo'context' ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (Disembargo'context' msg)) =>
Disembargo'context msg -> m (Disembargo'context' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Disembargo'context' Cerial ConstMsg Disembargo'context
Disembargo'context ConstMsg
raw)
        case Disembargo'context' ConstMsg
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' ConstMsg
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 (MutMsg s) Disembargo'context -> Disembargo'context -> m ()
marshalInto Cerial (MutMsg s) Disembargo'context
raw_ Disembargo'context
value_ = case Disembargo'context
value_ of
        (Disembargo'context'senderLoopback Word32
arg_) ->
            (Disembargo'context (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Disembargo'context (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'context'senderLoopback Cerial (MutMsg s) Disembargo'context
Disembargo'context (MutMsg s)
raw_ Word32
arg_)
        (Disembargo'context'receiverLoopback Word32
arg_) ->
            (Disembargo'context (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Disembargo'context (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'context'receiverLoopback Cerial (MutMsg s) Disembargo'context
Disembargo'context (MutMsg s)
raw_ Word32
arg_)
        (Disembargo'context
Disembargo'context'accept) ->
            (Disembargo'context (MutMsg s) -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Disembargo'context (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'context'accept Cerial (MutMsg s) Disembargo'context
Disembargo'context (MutMsg s)
raw_)
        (Disembargo'context'provide Word32
arg_) ->
            (Disembargo'context (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Disembargo'context (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'context'provide Cerial (MutMsg s) Disembargo'context
Disembargo'context (MutMsg s)
raw_ Word32
arg_)
        (Disembargo'context'unknown' Word16
tag) ->
            (Disembargo'context (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Disembargo'context (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Disembargo'context'unknown' Cerial (MutMsg s) Disembargo'context
Disembargo'context (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Provide)) where
    fromStruct :: Struct ConstMsg -> m Provide
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Provide ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Provide ConstMsg)
-> (Provide ConstMsg -> m Provide) -> m Provide
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Provide ConstMsg -> m Provide
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Provide)) where
    type Cerial msg (Provide) = (Capnp.Gen.ById.Xb312981b2552a250.Provide msg)
    decerialize :: Cerial ConstMsg Provide -> m Provide
decerialize Cerial ConstMsg 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 ConstMsg -> m Word32
forall (m :: * -> *) msg. ReadCtx m msg => Provide msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Provide'questionId Cerial ConstMsg Provide
Provide ConstMsg
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 ConstMsg -> m (MessageTarget ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (MessageTarget msg)) =>
Provide msg -> m (MessageTarget msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Provide'target Cerial ConstMsg Provide
Provide ConstMsg
raw) m (MessageTarget ConstMsg)
-> (MessageTarget ConstMsg -> m MessageTarget) -> m MessageTarget
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= MessageTarget ConstMsg -> m MessageTarget
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg -> m (Maybe (Ptr ConstMsg))
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
Provide msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Provide'recipient Cerial ConstMsg Provide
Provide ConstMsg
raw) m (Maybe (Ptr ConstMsg))
-> (Maybe (Ptr ConstMsg) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr ConstMsg) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize))
instance (Classes.Marshal s (Provide)) where
    marshalInto :: Cerial (MutMsg s) Provide -> Provide -> m ()
marshalInto Cerial (MutMsg 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 (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Provide (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Provide'questionId Cerial (MutMsg s) Provide
Provide (MutMsg s)
raw_ Word32
questionId)
                ((MutMsg s -> MessageTarget -> m (Cerial (MutMsg s) MessageTarget)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Provide (MutMsg s) -> InMessage (Provide (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Provide
Provide (MutMsg s)
raw_) MessageTarget
target) m (MessageTarget (MutMsg s))
-> (MessageTarget (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Provide (MutMsg s) -> MessageTarget (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (MessageTarget (MutMsg s))) =>
Provide (MutMsg s) -> MessageTarget (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Provide'target Cerial (MutMsg s) Provide
Provide (MutMsg s)
raw_))
                ((MutMsg s -> Maybe Ptr -> m (Cerial (MutMsg s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Provide (MutMsg s) -> InMessage (Provide (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Provide
Provide (MutMsg s)
raw_) Maybe Ptr
recipient) m (Maybe (Ptr (MutMsg s)))
-> (Maybe (Ptr (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Provide (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr (MutMsg s)))) =>
Provide (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Provide'recipient Cerial (MutMsg s) Provide
Provide (MutMsg 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 :: MutMsg s
-> Vector Provide -> m (Cerial (MutMsg s) (Vector Provide))
cerialize  = MutMsg s
-> Vector Provide -> m (Cerial (MutMsg s) (Vector Provide))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Provide)))) where
    cerialize :: MutMsg s
-> Vector (Vector Provide)
-> m (Cerial (MutMsg s) (Vector (Vector Provide)))
cerialize  = MutMsg s
-> Vector (Vector Provide)
-> m (Cerial (MutMsg s) (Vector (Vector Provide)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Provide))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Provide))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Provide))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Provide))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Provide))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Provide)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Provide)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Provide)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Provide)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Provide)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Provide))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Provide))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Provide))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Provide))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Provide))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Provide)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Provide)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Provide)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Provide)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Provide)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Provide))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Accept)) where
    fromStruct :: Struct ConstMsg -> m Accept
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Accept ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Accept ConstMsg) -> (Accept ConstMsg -> m Accept) -> m Accept
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Accept ConstMsg -> m Accept
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Accept)) where
    type Cerial msg (Accept) = (Capnp.Gen.ById.Xb312981b2552a250.Accept msg)
    decerialize :: Cerial ConstMsg Accept -> m Accept
decerialize Cerial ConstMsg 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 ConstMsg -> m Word32
forall (m :: * -> *) msg. ReadCtx m msg => Accept msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Accept'questionId Cerial ConstMsg Accept
Accept ConstMsg
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 ConstMsg -> m (Maybe (Ptr ConstMsg))
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
Accept msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Accept'provision Cerial ConstMsg Accept
Accept ConstMsg
raw) m (Maybe (Ptr ConstMsg))
-> (Maybe (Ptr ConstMsg) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr ConstMsg) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg -> m Bool
forall (m :: * -> *) msg. ReadCtx m msg => Accept msg -> m Bool
Capnp.Gen.ById.Xb312981b2552a250.get_Accept'embargo Cerial ConstMsg Accept
Accept ConstMsg
raw))
instance (Classes.Marshal s (Accept)) where
    marshalInto :: Cerial (MutMsg s) Accept -> Accept -> m ()
marshalInto Cerial (MutMsg 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 (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Accept (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Accept'questionId Cerial (MutMsg s) Accept
Accept (MutMsg s)
raw_ Word32
questionId)
                ((MutMsg s -> Maybe Ptr -> m (Cerial (MutMsg s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Accept (MutMsg s) -> InMessage (Accept (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Accept
Accept (MutMsg s)
raw_) Maybe Ptr
provision) m (Maybe (Ptr (MutMsg s)))
-> (Maybe (Ptr (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Accept (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr (MutMsg s)))) =>
Accept (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Accept'provision Cerial (MutMsg s) Accept
Accept (MutMsg s)
raw_))
                (Accept (MutMsg s) -> Bool -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Accept (MutMsg s) -> Bool -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Accept'embargo Cerial (MutMsg s) Accept
Accept (MutMsg 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 :: MutMsg s -> Vector Accept -> m (Cerial (MutMsg s) (Vector Accept))
cerialize  = MutMsg s -> Vector Accept -> m (Cerial (MutMsg s) (Vector Accept))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Accept)))) where
    cerialize :: MutMsg s
-> Vector (Vector Accept)
-> m (Cerial (MutMsg s) (Vector (Vector Accept)))
cerialize  = MutMsg s
-> Vector (Vector Accept)
-> m (Cerial (MutMsg s) (Vector (Vector Accept)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Accept))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Accept))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Accept))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Accept))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Accept))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Accept)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Accept)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Accept)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Accept)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Accept)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Accept))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Accept))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Accept))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Accept))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Accept))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Accept)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Accept)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Accept)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Accept)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Accept)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Accept))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Join)) where
    fromStruct :: Struct ConstMsg -> m Join
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Join ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Join ConstMsg) -> (Join ConstMsg -> m Join) -> m Join
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Join ConstMsg -> m Join
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Join)) where
    type Cerial msg (Join) = (Capnp.Gen.ById.Xb312981b2552a250.Join msg)
    decerialize :: Cerial ConstMsg Join -> m Join
decerialize Cerial ConstMsg 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 ConstMsg -> m Word32
forall (m :: * -> *) msg. ReadCtx m msg => Join msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_Join'questionId Cerial ConstMsg Join
Join ConstMsg
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 ConstMsg -> m (MessageTarget ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (MessageTarget msg)) =>
Join msg -> m (MessageTarget msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Join'target Cerial ConstMsg Join
Join ConstMsg
raw) m (MessageTarget ConstMsg)
-> (MessageTarget ConstMsg -> m MessageTarget) -> m MessageTarget
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= MessageTarget ConstMsg -> m MessageTarget
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg -> m (Maybe (Ptr ConstMsg))
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
Join msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Join'keyPart Cerial ConstMsg Join
Join ConstMsg
raw) m (Maybe (Ptr ConstMsg))
-> (Maybe (Ptr ConstMsg) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr ConstMsg) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize))
instance (Classes.Marshal s (Join)) where
    marshalInto :: Cerial (MutMsg s) Join -> Join -> m ()
marshalInto Cerial (MutMsg 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 (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Join (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Join'questionId Cerial (MutMsg s) Join
Join (MutMsg s)
raw_ Word32
questionId)
                ((MutMsg s -> MessageTarget -> m (Cerial (MutMsg s) MessageTarget)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Join (MutMsg s) -> InMessage (Join (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Join
Join (MutMsg s)
raw_) MessageTarget
target) m (MessageTarget (MutMsg s))
-> (MessageTarget (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Join (MutMsg s) -> MessageTarget (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (MessageTarget (MutMsg s))) =>
Join (MutMsg s) -> MessageTarget (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Join'target Cerial (MutMsg s) Join
Join (MutMsg s)
raw_))
                ((MutMsg s -> Maybe Ptr -> m (Cerial (MutMsg s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Join (MutMsg s) -> InMessage (Join (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Join
Join (MutMsg s)
raw_) Maybe Ptr
keyPart) m (Maybe (Ptr (MutMsg s)))
-> (Maybe (Ptr (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Join (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr (MutMsg s)))) =>
Join (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Join'keyPart Cerial (MutMsg s) Join
Join (MutMsg 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 :: MutMsg s -> Vector Join -> m (Cerial (MutMsg s) (Vector Join))
cerialize  = MutMsg s -> Vector Join -> m (Cerial (MutMsg s) (Vector Join))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Join)))) where
    cerialize :: MutMsg s
-> Vector (Vector Join)
-> m (Cerial (MutMsg s) (Vector (Vector Join)))
cerialize  = MutMsg s
-> Vector (Vector Join)
-> m (Cerial (MutMsg s) (Vector (Vector Join)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Join))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Join))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Join))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Join))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Join))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Join)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Join)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Join)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Join)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Join)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Join))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Join))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Join))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Join))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Join))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Join)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Join)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Join)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Join)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Join)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Join))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Join))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Join))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Join))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (MessageTarget)) where
    fromStruct :: Struct ConstMsg -> m MessageTarget
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (MessageTarget ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (MessageTarget ConstMsg)
-> (MessageTarget ConstMsg -> m MessageTarget) -> m MessageTarget
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= MessageTarget ConstMsg -> m MessageTarget
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (MessageTarget)) where
    type Cerial msg (MessageTarget) = (Capnp.Gen.ById.Xb312981b2552a250.MessageTarget msg)
    decerialize :: Cerial ConstMsg MessageTarget -> m MessageTarget
decerialize Cerial ConstMsg MessageTarget
raw = (do
        MessageTarget' ConstMsg
raw <- (MessageTarget ConstMsg -> m (MessageTarget' ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (MessageTarget' msg)) =>
MessageTarget msg -> m (MessageTarget' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_MessageTarget' Cerial ConstMsg MessageTarget
MessageTarget ConstMsg
raw)
        case MessageTarget' ConstMsg
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 ConstMsg
raw) ->
                (PromisedAnswer -> MessageTarget
MessageTarget'promisedAnswer (PromisedAnswer -> MessageTarget)
-> m PromisedAnswer -> m MessageTarget
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg PromisedAnswer -> m PromisedAnswer
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg PromisedAnswer
PromisedAnswer ConstMsg
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 (MutMsg s) MessageTarget -> MessageTarget -> m ()
marshalInto Cerial (MutMsg s) MessageTarget
raw_ MessageTarget
value_ = case MessageTarget
value_ of
        (MessageTarget'importedCap Word32
arg_) ->
            (MessageTarget (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
MessageTarget (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_MessageTarget'importedCap Cerial (MutMsg s) MessageTarget
MessageTarget (MutMsg s)
raw_ Word32
arg_)
        (MessageTarget'promisedAnswer PromisedAnswer
arg_) ->
            ((MutMsg s -> PromisedAnswer -> m (Cerial (MutMsg s) PromisedAnswer)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (MessageTarget (MutMsg s) -> InMessage (MessageTarget (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) MessageTarget
MessageTarget (MutMsg s)
raw_) PromisedAnswer
arg_) m (PromisedAnswer (MutMsg s))
-> (PromisedAnswer (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (MessageTarget (MutMsg s) -> PromisedAnswer (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (PromisedAnswer (MutMsg s))) =>
MessageTarget (MutMsg s) -> PromisedAnswer (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_MessageTarget'promisedAnswer Cerial (MutMsg s) MessageTarget
MessageTarget (MutMsg s)
raw_))
        (MessageTarget'unknown' Word16
tag) ->
            (MessageTarget (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
MessageTarget (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_MessageTarget'unknown' Cerial (MutMsg s) MessageTarget
MessageTarget (MutMsg s)
raw_ Word16
tag)
instance (Classes.Cerialize s (MessageTarget))
instance (Classes.Cerialize s (V.Vector (MessageTarget))) where
    cerialize :: MutMsg s
-> Vector MessageTarget
-> m (Cerial (MutMsg s) (Vector MessageTarget))
cerialize  = MutMsg s
-> Vector MessageTarget
-> m (Cerial (MutMsg s) (Vector MessageTarget))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (MessageTarget)))) where
    cerialize :: MutMsg s
-> Vector (Vector MessageTarget)
-> m (Cerial (MutMsg s) (Vector (Vector MessageTarget)))
cerialize  = MutMsg s
-> Vector (Vector MessageTarget)
-> m (Cerial (MutMsg s) (Vector (Vector MessageTarget)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (MessageTarget))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector MessageTarget))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector MessageTarget))))
cerialize  = MutMsg s
-> Vector (Vector (Vector MessageTarget))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector MessageTarget))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (MessageTarget)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector MessageTarget)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector MessageTarget)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector MessageTarget)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector MessageTarget)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (MessageTarget))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector MessageTarget))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector MessageTarget))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector MessageTarget))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector MessageTarget))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (MessageTarget)))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector MessageTarget)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector MessageTarget)))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector MessageTarget)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector MessageTarget)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector MessageTarget))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector MessageTarget))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector MessageTarget))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Payload)) where
    fromStruct :: Struct ConstMsg -> m Payload
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Payload ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Payload ConstMsg)
-> (Payload ConstMsg -> m Payload) -> m Payload
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Payload ConstMsg -> m Payload
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Payload)) where
    type Cerial msg (Payload) = (Capnp.Gen.ById.Xb312981b2552a250.Payload msg)
    decerialize :: Cerial ConstMsg Payload -> m Payload
decerialize Cerial ConstMsg 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 ConstMsg -> m (Maybe (Ptr ConstMsg))
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
Payload msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Payload'content Cerial ConstMsg Payload
Payload ConstMsg
raw) m (Maybe (Ptr ConstMsg))
-> (Maybe (Ptr ConstMsg) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr ConstMsg) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg -> m (List ConstMsg (CapDescriptor ConstMsg))
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (List msg (CapDescriptor msg))) =>
Payload msg -> m (List msg (CapDescriptor msg))
Capnp.Gen.ById.Xb312981b2552a250.get_Payload'capTable Cerial ConstMsg Payload
Payload ConstMsg
raw) m (List ConstMsg (CapDescriptor ConstMsg))
-> (List ConstMsg (CapDescriptor ConstMsg)
    -> m (Vector CapDescriptor))
-> m (Vector CapDescriptor)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= List ConstMsg (CapDescriptor ConstMsg) -> m (Vector CapDescriptor)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize))
instance (Classes.Marshal s (Payload)) where
    marshalInto :: Cerial (MutMsg s) Payload -> Payload -> m ()
marshalInto Cerial (MutMsg 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
                ((MutMsg s -> Maybe Ptr -> m (Cerial (MutMsg s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Payload (MutMsg s) -> InMessage (Payload (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Payload
Payload (MutMsg s)
raw_) Maybe Ptr
content) m (Maybe (Ptr (MutMsg s)))
-> (Maybe (Ptr (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Payload (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr (MutMsg s)))) =>
Payload (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Payload'content Cerial (MutMsg s) Payload
Payload (MutMsg s)
raw_))
                ((MutMsg s
-> Vector CapDescriptor
-> m (Cerial (MutMsg s) (Vector CapDescriptor))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Payload (MutMsg s) -> InMessage (Payload (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Payload
Payload (MutMsg s)
raw_) Vector CapDescriptor
capTable) m (List (MutMsg s) (CapDescriptor (MutMsg s)))
-> (List (MutMsg s) (CapDescriptor (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Payload (MutMsg s)
-> List (MutMsg s) (CapDescriptor (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s,
 ToPtr s (List (MutMsg s) (CapDescriptor (MutMsg s)))) =>
Payload (MutMsg s)
-> List (MutMsg s) (CapDescriptor (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Payload'capTable Cerial (MutMsg s) Payload
Payload (MutMsg 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 :: MutMsg s
-> Vector Payload -> m (Cerial (MutMsg s) (Vector Payload))
cerialize  = MutMsg s
-> Vector Payload -> m (Cerial (MutMsg s) (Vector Payload))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Payload)))) where
    cerialize :: MutMsg s
-> Vector (Vector Payload)
-> m (Cerial (MutMsg s) (Vector (Vector Payload)))
cerialize  = MutMsg s
-> Vector (Vector Payload)
-> m (Cerial (MutMsg s) (Vector (Vector Payload)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Payload))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Payload))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Payload))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Payload))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Payload))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Payload)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Payload)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Payload)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Payload)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Payload)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Payload))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Payload))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Payload))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Payload))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Payload))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Payload)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Payload)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Payload)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Payload)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Payload)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Payload))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (CapDescriptor)) where
    fromStruct :: Struct ConstMsg -> m CapDescriptor
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (CapDescriptor ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (CapDescriptor ConstMsg)
-> (CapDescriptor ConstMsg -> m CapDescriptor) -> m CapDescriptor
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= CapDescriptor ConstMsg -> m CapDescriptor
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (CapDescriptor)) where
    type Cerial msg (CapDescriptor) = (Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor msg)
    decerialize :: Cerial ConstMsg CapDescriptor -> m CapDescriptor
decerialize Cerial ConstMsg 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 ConstMsg -> m Word8
forall (m :: * -> *) msg.
ReadCtx m msg =>
CapDescriptor msg -> m Word8
Capnp.Gen.ById.Xb312981b2552a250.get_CapDescriptor'attachedFd Cerial ConstMsg CapDescriptor
CapDescriptor ConstMsg
raw)
                                     m (CapDescriptor' -> CapDescriptor)
-> m CapDescriptor' -> m CapDescriptor
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Cerial ConstMsg CapDescriptor' -> m CapDescriptor'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg CapDescriptor'
Cerial ConstMsg CapDescriptor
raw))
instance (Classes.Marshal s (CapDescriptor)) where
    marshalInto :: Cerial (MutMsg s) CapDescriptor -> CapDescriptor -> m ()
marshalInto Cerial (MutMsg 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 (MutMsg s) -> Word8 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
CapDescriptor (MutMsg s) -> Word8 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'attachedFd Cerial (MutMsg s) CapDescriptor
CapDescriptor (MutMsg s)
raw_ Word8
attachedFd)
                (do
                    (Cerial (MutMsg s) CapDescriptor' -> CapDescriptor' -> m ()
forall s a (m :: * -> *).
(Marshal s a, RWCtx m s) =>
Cerial (MutMsg s) a -> a -> m ()
Classes.marshalInto Cerial (MutMsg s) CapDescriptor'
Cerial (MutMsg 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 :: MutMsg s
-> Vector CapDescriptor
-> m (Cerial (MutMsg s) (Vector CapDescriptor))
cerialize  = MutMsg s
-> Vector CapDescriptor
-> m (Cerial (MutMsg s) (Vector CapDescriptor))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (CapDescriptor)))) where
    cerialize :: MutMsg s
-> Vector (Vector CapDescriptor)
-> m (Cerial (MutMsg s) (Vector (Vector CapDescriptor)))
cerialize  = MutMsg s
-> Vector (Vector CapDescriptor)
-> m (Cerial (MutMsg s) (Vector (Vector CapDescriptor)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (CapDescriptor))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector CapDescriptor))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector CapDescriptor))))
cerialize  = MutMsg s
-> Vector (Vector (Vector CapDescriptor))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector CapDescriptor))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (CapDescriptor)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector CapDescriptor)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector CapDescriptor)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector CapDescriptor)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector CapDescriptor)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (CapDescriptor))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector CapDescriptor))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector CapDescriptor))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (CapDescriptor)))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector CapDescriptor)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector CapDescriptor))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (CapDescriptor')) where
    fromStruct :: Struct ConstMsg -> m CapDescriptor'
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (CapDescriptor ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (CapDescriptor ConstMsg)
-> (CapDescriptor ConstMsg -> m CapDescriptor') -> m CapDescriptor'
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= CapDescriptor ConstMsg -> m CapDescriptor'
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (CapDescriptor')) where
    type Cerial msg (CapDescriptor') = (Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor msg)
    decerialize :: Cerial ConstMsg CapDescriptor' -> m CapDescriptor'
decerialize Cerial ConstMsg CapDescriptor'
raw = (do
        CapDescriptor' ConstMsg
raw <- (CapDescriptor ConstMsg -> m (CapDescriptor' ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (CapDescriptor' msg)) =>
CapDescriptor msg -> m (CapDescriptor' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_CapDescriptor' Cerial ConstMsg CapDescriptor'
CapDescriptor ConstMsg
raw)
        case CapDescriptor' ConstMsg
raw of
            (CapDescriptor' ConstMsg
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 ConstMsg
raw) ->
                (PromisedAnswer -> CapDescriptor'
CapDescriptor'receiverAnswer (PromisedAnswer -> CapDescriptor')
-> m PromisedAnswer -> m CapDescriptor'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg PromisedAnswer -> m PromisedAnswer
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg PromisedAnswer
PromisedAnswer ConstMsg
raw))
            (Capnp.Gen.ById.Xb312981b2552a250.CapDescriptor'thirdPartyHosted ThirdPartyCapDescriptor ConstMsg
raw) ->
                (ThirdPartyCapDescriptor -> CapDescriptor'
CapDescriptor'thirdPartyHosted (ThirdPartyCapDescriptor -> CapDescriptor')
-> m ThirdPartyCapDescriptor -> m CapDescriptor'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial ConstMsg ThirdPartyCapDescriptor
-> m ThirdPartyCapDescriptor
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize Cerial ConstMsg ThirdPartyCapDescriptor
ThirdPartyCapDescriptor ConstMsg
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 (MutMsg s) CapDescriptor' -> CapDescriptor' -> m ()
marshalInto Cerial (MutMsg s) CapDescriptor'
raw_ CapDescriptor'
value_ = case CapDescriptor'
value_ of
        (CapDescriptor'
CapDescriptor'none) ->
            (CapDescriptor (MutMsg s) -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
CapDescriptor (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'none Cerial (MutMsg s) CapDescriptor'
CapDescriptor (MutMsg s)
raw_)
        (CapDescriptor'senderHosted Word32
arg_) ->
            (CapDescriptor (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
CapDescriptor (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'senderHosted Cerial (MutMsg s) CapDescriptor'
CapDescriptor (MutMsg s)
raw_ Word32
arg_)
        (CapDescriptor'senderPromise Word32
arg_) ->
            (CapDescriptor (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
CapDescriptor (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'senderPromise Cerial (MutMsg s) CapDescriptor'
CapDescriptor (MutMsg s)
raw_ Word32
arg_)
        (CapDescriptor'receiverHosted Word32
arg_) ->
            (CapDescriptor (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
CapDescriptor (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'receiverHosted Cerial (MutMsg s) CapDescriptor'
CapDescriptor (MutMsg s)
raw_ Word32
arg_)
        (CapDescriptor'receiverAnswer PromisedAnswer
arg_) ->
            ((MutMsg s -> PromisedAnswer -> m (Cerial (MutMsg s) PromisedAnswer)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (CapDescriptor (MutMsg s) -> InMessage (CapDescriptor (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) CapDescriptor'
CapDescriptor (MutMsg s)
raw_) PromisedAnswer
arg_) m (PromisedAnswer (MutMsg s))
-> (PromisedAnswer (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (CapDescriptor (MutMsg s) -> PromisedAnswer (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (PromisedAnswer (MutMsg s))) =>
CapDescriptor (MutMsg s) -> PromisedAnswer (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'receiverAnswer Cerial (MutMsg s) CapDescriptor'
CapDescriptor (MutMsg s)
raw_))
        (CapDescriptor'thirdPartyHosted ThirdPartyCapDescriptor
arg_) ->
            ((MutMsg s
-> ThirdPartyCapDescriptor
-> m (Cerial (MutMsg s) ThirdPartyCapDescriptor)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (CapDescriptor (MutMsg s) -> InMessage (CapDescriptor (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) CapDescriptor'
CapDescriptor (MutMsg s)
raw_) ThirdPartyCapDescriptor
arg_) m (ThirdPartyCapDescriptor (MutMsg s))
-> (ThirdPartyCapDescriptor (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (CapDescriptor (MutMsg s)
-> ThirdPartyCapDescriptor (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (ThirdPartyCapDescriptor (MutMsg s))) =>
CapDescriptor (MutMsg s)
-> ThirdPartyCapDescriptor (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'thirdPartyHosted Cerial (MutMsg s) CapDescriptor'
CapDescriptor (MutMsg s)
raw_))
        (CapDescriptor'unknown' Word16
tag) ->
            (CapDescriptor (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
CapDescriptor (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_CapDescriptor'unknown' Cerial (MutMsg s) CapDescriptor'
CapDescriptor (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (PromisedAnswer)) where
    fromStruct :: Struct ConstMsg -> m PromisedAnswer
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (PromisedAnswer ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (PromisedAnswer ConstMsg)
-> (PromisedAnswer ConstMsg -> m PromisedAnswer)
-> m PromisedAnswer
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= PromisedAnswer ConstMsg -> m PromisedAnswer
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (PromisedAnswer)) where
    type Cerial msg (PromisedAnswer) = (Capnp.Gen.ById.Xb312981b2552a250.PromisedAnswer msg)
    decerialize :: Cerial ConstMsg PromisedAnswer -> m PromisedAnswer
decerialize Cerial ConstMsg 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 ConstMsg -> m Word32
forall (m :: * -> *) msg.
ReadCtx m msg =>
PromisedAnswer msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_PromisedAnswer'questionId Cerial ConstMsg PromisedAnswer
PromisedAnswer ConstMsg
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 ConstMsg
-> m (List ConstMsg (PromisedAnswer'Op ConstMsg))
forall (m :: * -> *) msg.
(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 ConstMsg PromisedAnswer
PromisedAnswer ConstMsg
raw) m (List ConstMsg (PromisedAnswer'Op ConstMsg))
-> (List ConstMsg (PromisedAnswer'Op ConstMsg)
    -> m (Vector PromisedAnswer'Op))
-> m (Vector PromisedAnswer'Op)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= List ConstMsg (PromisedAnswer'Op ConstMsg)
-> m (Vector PromisedAnswer'Op)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize))
instance (Classes.Marshal s (PromisedAnswer)) where
    marshalInto :: Cerial (MutMsg s) PromisedAnswer -> PromisedAnswer -> m ()
marshalInto Cerial (MutMsg 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 (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
PromisedAnswer (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_PromisedAnswer'questionId Cerial (MutMsg s) PromisedAnswer
PromisedAnswer (MutMsg s)
raw_ Word32
questionId)
                ((MutMsg s
-> Vector PromisedAnswer'Op
-> m (Cerial (MutMsg s) (Vector PromisedAnswer'Op))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (PromisedAnswer (MutMsg s) -> InMessage (PromisedAnswer (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) PromisedAnswer
PromisedAnswer (MutMsg s)
raw_) Vector PromisedAnswer'Op
transform) m (List (MutMsg s) (PromisedAnswer'Op (MutMsg s)))
-> (List (MutMsg s) (PromisedAnswer'Op (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (PromisedAnswer (MutMsg s)
-> List (MutMsg s) (PromisedAnswer'Op (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s,
 ToPtr s (List (MutMsg s) (PromisedAnswer'Op (MutMsg s)))) =>
PromisedAnswer (MutMsg s)
-> List (MutMsg s) (PromisedAnswer'Op (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_PromisedAnswer'transform Cerial (MutMsg s) PromisedAnswer
PromisedAnswer (MutMsg 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 :: MutMsg s
-> Vector PromisedAnswer
-> m (Cerial (MutMsg s) (Vector PromisedAnswer))
cerialize  = MutMsg s
-> Vector PromisedAnswer
-> m (Cerial (MutMsg s) (Vector PromisedAnswer))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (PromisedAnswer)))) where
    cerialize :: MutMsg s
-> Vector (Vector PromisedAnswer)
-> m (Cerial (MutMsg s) (Vector (Vector PromisedAnswer)))
cerialize  = MutMsg s
-> Vector (Vector PromisedAnswer)
-> m (Cerial (MutMsg s) (Vector (Vector PromisedAnswer)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (PromisedAnswer))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector PromisedAnswer))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector PromisedAnswer))))
cerialize  = MutMsg s
-> Vector (Vector (Vector PromisedAnswer))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector PromisedAnswer))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (PromisedAnswer)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector PromisedAnswer)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector PromisedAnswer)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector PromisedAnswer)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector PromisedAnswer)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (PromisedAnswer))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector PromisedAnswer))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector PromisedAnswer))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (PromisedAnswer)))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector PromisedAnswer)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))))
cerialize  = MutMsg s
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector PromisedAnswer))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (PromisedAnswer'Op)) where
    fromStruct :: Struct ConstMsg -> m PromisedAnswer'Op
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (PromisedAnswer'Op ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (PromisedAnswer'Op ConstMsg)
-> (PromisedAnswer'Op ConstMsg -> m PromisedAnswer'Op)
-> m PromisedAnswer'Op
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= PromisedAnswer'Op ConstMsg -> m PromisedAnswer'Op
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg PromisedAnswer'Op -> m PromisedAnswer'Op
decerialize Cerial ConstMsg PromisedAnswer'Op
raw = (do
        PromisedAnswer'Op' ConstMsg
raw <- (PromisedAnswer'Op ConstMsg -> m (PromisedAnswer'Op' ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromStruct msg (PromisedAnswer'Op' msg)) =>
PromisedAnswer'Op msg -> m (PromisedAnswer'Op' msg)
Capnp.Gen.ById.Xb312981b2552a250.get_PromisedAnswer'Op' Cerial ConstMsg PromisedAnswer'Op
PromisedAnswer'Op ConstMsg
raw)
        case PromisedAnswer'Op' ConstMsg
raw of
            (PromisedAnswer'Op' ConstMsg
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 (MutMsg s) PromisedAnswer'Op -> PromisedAnswer'Op -> m ()
marshalInto Cerial (MutMsg s) PromisedAnswer'Op
raw_ PromisedAnswer'Op
value_ = case PromisedAnswer'Op
value_ of
        (PromisedAnswer'Op
PromisedAnswer'Op'noop) ->
            (PromisedAnswer'Op (MutMsg s) -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
PromisedAnswer'Op (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_PromisedAnswer'Op'noop Cerial (MutMsg s) PromisedAnswer'Op
PromisedAnswer'Op (MutMsg s)
raw_)
        (PromisedAnswer'Op'getPointerField Word16
arg_) ->
            (PromisedAnswer'Op (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
PromisedAnswer'Op (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_PromisedAnswer'Op'getPointerField Cerial (MutMsg s) PromisedAnswer'Op
PromisedAnswer'Op (MutMsg s)
raw_ Word16
arg_)
        (PromisedAnswer'Op'unknown' Word16
tag) ->
            (PromisedAnswer'Op (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
PromisedAnswer'Op (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_PromisedAnswer'Op'unknown' Cerial (MutMsg s) PromisedAnswer'Op
PromisedAnswer'Op (MutMsg s)
raw_ Word16
tag)
instance (Classes.Cerialize s (PromisedAnswer'Op))
instance (Classes.Cerialize s (V.Vector (PromisedAnswer'Op))) where
    cerialize :: MutMsg s
-> Vector PromisedAnswer'Op
-> m (Cerial (MutMsg s) (Vector PromisedAnswer'Op))
cerialize  = MutMsg s
-> Vector PromisedAnswer'Op
-> m (Cerial (MutMsg s) (Vector PromisedAnswer'Op))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (PromisedAnswer'Op)))) where
    cerialize :: MutMsg s
-> Vector (Vector PromisedAnswer'Op)
-> m (Cerial (MutMsg s) (Vector (Vector PromisedAnswer'Op)))
cerialize  = MutMsg s
-> Vector (Vector PromisedAnswer'Op)
-> m (Cerial (MutMsg s) (Vector (Vector PromisedAnswer'Op)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (PromisedAnswer'Op))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector PromisedAnswer'Op))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector PromisedAnswer'Op))))
cerialize  = MutMsg s
-> Vector (Vector (Vector PromisedAnswer'Op))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector PromisedAnswer'Op))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (PromisedAnswer'Op)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector PromisedAnswer'Op)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector PromisedAnswer'Op)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (PromisedAnswer'Op))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (PromisedAnswer'Op)))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))))
cerialize  = MutMsg s
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector PromisedAnswer'Op))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (ThirdPartyCapDescriptor)) where
    fromStruct :: Struct ConstMsg -> m ThirdPartyCapDescriptor
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (ThirdPartyCapDescriptor ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (ThirdPartyCapDescriptor ConstMsg)
-> (ThirdPartyCapDescriptor ConstMsg -> m ThirdPartyCapDescriptor)
-> m ThirdPartyCapDescriptor
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= ThirdPartyCapDescriptor ConstMsg -> m ThirdPartyCapDescriptor
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (ThirdPartyCapDescriptor)) where
    type Cerial msg (ThirdPartyCapDescriptor) = (Capnp.Gen.ById.Xb312981b2552a250.ThirdPartyCapDescriptor msg)
    decerialize :: Cerial ConstMsg ThirdPartyCapDescriptor
-> m ThirdPartyCapDescriptor
decerialize Cerial ConstMsg 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 ConstMsg -> m (Maybe (Ptr ConstMsg))
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
ThirdPartyCapDescriptor msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xb312981b2552a250.get_ThirdPartyCapDescriptor'id Cerial ConstMsg ThirdPartyCapDescriptor
ThirdPartyCapDescriptor ConstMsg
raw) m (Maybe (Ptr ConstMsg))
-> (Maybe (Ptr ConstMsg) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr ConstMsg) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg -> m Word32
forall (m :: * -> *) msg.
ReadCtx m msg =>
ThirdPartyCapDescriptor msg -> m Word32
Capnp.Gen.ById.Xb312981b2552a250.get_ThirdPartyCapDescriptor'vineId Cerial ConstMsg ThirdPartyCapDescriptor
ThirdPartyCapDescriptor ConstMsg
raw))
instance (Classes.Marshal s (ThirdPartyCapDescriptor)) where
    marshalInto :: Cerial (MutMsg s) ThirdPartyCapDescriptor
-> ThirdPartyCapDescriptor -> m ()
marshalInto Cerial (MutMsg 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
                ((MutMsg s -> Maybe Ptr -> m (Cerial (MutMsg s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (ThirdPartyCapDescriptor (MutMsg s)
-> InMessage (ThirdPartyCapDescriptor (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) ThirdPartyCapDescriptor
ThirdPartyCapDescriptor (MutMsg s)
raw_) Maybe Ptr
id) m (Maybe (Ptr (MutMsg s)))
-> (Maybe (Ptr (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (ThirdPartyCapDescriptor (MutMsg s)
-> Maybe (Ptr (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr (MutMsg s)))) =>
ThirdPartyCapDescriptor (MutMsg s)
-> Maybe (Ptr (MutMsg s)) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_ThirdPartyCapDescriptor'id Cerial (MutMsg s) ThirdPartyCapDescriptor
ThirdPartyCapDescriptor (MutMsg s)
raw_))
                (ThirdPartyCapDescriptor (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
ThirdPartyCapDescriptor (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_ThirdPartyCapDescriptor'vineId Cerial (MutMsg s) ThirdPartyCapDescriptor
ThirdPartyCapDescriptor (MutMsg 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 :: MutMsg s
-> Vector ThirdPartyCapDescriptor
-> m (Cerial (MutMsg s) (Vector ThirdPartyCapDescriptor))
cerialize  = MutMsg s
-> Vector ThirdPartyCapDescriptor
-> m (Cerial (MutMsg s) (Vector ThirdPartyCapDescriptor))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (ThirdPartyCapDescriptor)))) where
    cerialize :: MutMsg s
-> Vector (Vector ThirdPartyCapDescriptor)
-> m (Cerial (MutMsg s) (Vector (Vector ThirdPartyCapDescriptor)))
cerialize  = MutMsg s
-> Vector (Vector ThirdPartyCapDescriptor)
-> m (Cerial (MutMsg s) (Vector (Vector ThirdPartyCapDescriptor)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (ThirdPartyCapDescriptor))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector ThirdPartyCapDescriptor))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector ThirdPartyCapDescriptor))))
cerialize  = MutMsg s
-> Vector (Vector (Vector ThirdPartyCapDescriptor))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector ThirdPartyCapDescriptor))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (ThirdPartyCapDescriptor)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (ThirdPartyCapDescriptor))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (ThirdPartyCapDescriptor)))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))))
cerialize  = MutMsg s
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector
        (Vector
           (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector
                 (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))))
cerialize  = MutMsg s
-> Vector
     (Vector
        (Vector
           (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector
                 (Vector (Vector (Vector (Vector ThirdPartyCapDescriptor))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (Exception)) where
    fromStruct :: Struct ConstMsg -> m Exception
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (Exception ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (Exception ConstMsg)
-> (Exception ConstMsg -> m Exception) -> m Exception
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Exception ConstMsg -> m Exception
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (Exception)) where
    type Cerial msg (Exception) = (Capnp.Gen.ById.Xb312981b2552a250.Exception msg)
    decerialize :: Cerial ConstMsg Exception -> m Exception
decerialize Cerial ConstMsg 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 ConstMsg -> m (Text ConstMsg)
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (Text msg)) =>
Exception msg -> m (Text msg)
Capnp.Gen.ById.Xb312981b2552a250.get_Exception'reason Cerial ConstMsg Exception
Exception ConstMsg
raw) m (Text ConstMsg) -> (Text ConstMsg -> m Text) -> m Text
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Text ConstMsg -> m Text
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg 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 ConstMsg -> m Bool
forall (m :: * -> *) msg. ReadCtx m msg => Exception msg -> m Bool
Capnp.Gen.ById.Xb312981b2552a250.get_Exception'obsoleteIsCallersFault Cerial ConstMsg Exception
Exception ConstMsg
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 ConstMsg -> m Word16
forall (m :: * -> *) msg.
ReadCtx m msg =>
Exception msg -> m Word16
Capnp.Gen.ById.Xb312981b2552a250.get_Exception'obsoleteDurability Cerial ConstMsg Exception
Exception ConstMsg
raw)
                                 m (Exception'Type -> Exception) -> m Exception'Type -> m Exception
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Exception ConstMsg -> m Exception'Type
forall (m :: * -> *) msg.
ReadCtx m msg =>
Exception msg -> m Exception'Type
Capnp.Gen.ById.Xb312981b2552a250.get_Exception'type_ Cerial ConstMsg Exception
Exception ConstMsg
raw))
instance (Classes.Marshal s (Exception)) where
    marshalInto :: Cerial (MutMsg s) Exception -> Exception -> m ()
marshalInto Cerial (MutMsg 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
                ((MutMsg s -> Text -> m (Cerial (MutMsg s) Text)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (Exception (MutMsg s) -> InMessage (Exception (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) Exception
Exception (MutMsg s)
raw_) Text
reason) m (Text (MutMsg s)) -> (Text (MutMsg s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Exception (MutMsg s) -> Text (MutMsg s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Text (MutMsg s))) =>
Exception (MutMsg s) -> Text (MutMsg s) -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Exception'reason Cerial (MutMsg s) Exception
Exception (MutMsg s)
raw_))
                (Exception (MutMsg s) -> Bool -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Exception (MutMsg s) -> Bool -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Exception'obsoleteIsCallersFault Cerial (MutMsg s) Exception
Exception (MutMsg s)
raw_ Bool
obsoleteIsCallersFault)
                (Exception (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Exception (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Exception'obsoleteDurability Cerial (MutMsg s) Exception
Exception (MutMsg s)
raw_ Word16
obsoleteDurability)
                (Exception (MutMsg s) -> Exception'Type -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Exception (MutMsg s) -> Exception'Type -> m ()
Capnp.Gen.ById.Xb312981b2552a250.set_Exception'type_ Cerial (MutMsg s) Exception
Exception (MutMsg 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 :: MutMsg s
-> Vector Exception -> m (Cerial (MutMsg s) (Vector Exception))
cerialize  = MutMsg s
-> Vector Exception -> m (Cerial (MutMsg s) (Vector Exception))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (Exception)))) where
    cerialize :: MutMsg s
-> Vector (Vector Exception)
-> m (Cerial (MutMsg s) (Vector (Vector Exception)))
cerialize  = MutMsg s
-> Vector (Vector Exception)
-> m (Cerial (MutMsg s) (Vector (Vector Exception)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Exception))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Exception))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Exception))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Exception))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Exception))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Exception)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Exception)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Exception)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Exception)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Exception)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Exception))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Exception))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Exception))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Exception))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Exception))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Exception)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Exception)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Exception)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Exception)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Exception)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Exception))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 ConstMsg Exception'Type -> m Exception'Type
decerialize  = Cerial ConstMsg 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 :: MutMsg s -> Exception'Type -> m (Cerial (MutMsg s) Exception'Type)
cerialize MutMsg s
_ = Exception'Type -> m (Cerial (MutMsg 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 :: MutMsg s
-> Vector Exception'Type
-> m (Cerial (MutMsg s) (Vector Exception'Type))
cerialize  = MutMsg s
-> Vector Exception'Type
-> m (Cerial (MutMsg s) (Vector Exception'Type))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector Capnp.Gen.ById.Xb312981b2552a250.Exception'Type))) where
    cerialize :: MutMsg s
-> Vector (Vector Exception'Type)
-> m (Cerial (MutMsg s) (Vector (Vector Exception'Type)))
cerialize  = MutMsg s
-> Vector (Vector Exception'Type)
-> m (Cerial (MutMsg s) (Vector (Vector Exception'Type)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xb312981b2552a250.Exception'Type)))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Exception'Type))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Exception'Type))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Exception'Type))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Exception'Type))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xb312981b2552a250.Exception'Type))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Exception'Type)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Exception'Type)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Exception'Type)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector Exception'Type)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Exception'Type))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector Exception'Type))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Exception'Type))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector Exception'Type))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg 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 :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector Exception'Type)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector Exception'Type)))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector Exception'Type)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector Exception'Type)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
Classes.cerializeBasicVec