{-# LANGUAGE DataKinds #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE RecordWildCards #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} {-# OPTIONS_GHC -Wno-unused-imports #-} {-# OPTIONS_GHC -Wno-dodgy-exports #-} {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-} {-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.Capnp.Persistent.Pure(Persistent(..) ,Persistent'server_(..) ,export_Persistent ,Persistent'SaveParams(..) ,Persistent'SaveResults(..) ,RealmGateway(..) ,RealmGateway'server_(..) ,export_RealmGateway ,RealmGateway'import'params(..) ,RealmGateway'export'params(..)) 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.Rpc.Untyped as Rpc import qualified Capnp.Rpc.Server as Server import qualified Capnp.GenHelpers.Rpc as RpcHelpers import qualified Capnp.GenHelpers.ReExports.Control.Concurrent.STM as STM import qualified Capnp.GenHelpers.ReExports.Control.Monad.STM.Class as STM import qualified Capnp.GenHelpers.ReExports.Supervisors as Supervisors import qualified Capnp.Gen.ById.Xb8630836983feed7 import qualified Prelude as Std_ import qualified Data.Word as Std_ import qualified Data.Int as Std_ import Prelude ((<$>), (<*>), (>>=)) newtype Persistent sturdyRef owner = Persistent Message.Client deriving(Int -> Persistent sturdyRef owner -> ShowS [Persistent sturdyRef owner] -> ShowS Persistent sturdyRef owner -> String (Int -> Persistent sturdyRef owner -> ShowS) -> (Persistent sturdyRef owner -> String) -> ([Persistent sturdyRef owner] -> ShowS) -> Show (Persistent sturdyRef owner) forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a forall sturdyRef owner. Int -> Persistent sturdyRef owner -> ShowS forall sturdyRef owner. [Persistent sturdyRef owner] -> ShowS forall sturdyRef owner. Persistent sturdyRef owner -> String showList :: [Persistent sturdyRef owner] -> ShowS $cshowList :: forall sturdyRef owner. [Persistent sturdyRef owner] -> ShowS show :: Persistent sturdyRef owner -> String $cshow :: forall sturdyRef owner. Persistent sturdyRef owner -> String showsPrec :: Int -> Persistent sturdyRef owner -> ShowS $cshowsPrec :: forall sturdyRef owner. Int -> Persistent sturdyRef owner -> ShowS Std_.Show ,Persistent sturdyRef owner -> Persistent sturdyRef owner -> Bool (Persistent sturdyRef owner -> Persistent sturdyRef owner -> Bool) -> (Persistent sturdyRef owner -> Persistent sturdyRef owner -> Bool) -> Eq (Persistent sturdyRef owner) forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a forall sturdyRef owner. Persistent sturdyRef owner -> Persistent sturdyRef owner -> Bool /= :: Persistent sturdyRef owner -> Persistent sturdyRef owner -> Bool $c/= :: forall sturdyRef owner. Persistent sturdyRef owner -> Persistent sturdyRef owner -> Bool == :: Persistent sturdyRef owner -> Persistent sturdyRef owner -> Bool $c== :: forall sturdyRef owner. Persistent sturdyRef owner -> Persistent sturdyRef owner -> Bool Std_.Eq ,(forall x. Persistent sturdyRef owner -> Rep (Persistent sturdyRef owner) x) -> (forall x. Rep (Persistent sturdyRef owner) x -> Persistent sturdyRef owner) -> Generic (Persistent sturdyRef owner) forall x. Rep (Persistent sturdyRef owner) x -> Persistent sturdyRef owner forall x. Persistent sturdyRef owner -> Rep (Persistent sturdyRef owner) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a forall sturdyRef owner x. Rep (Persistent sturdyRef owner) x -> Persistent sturdyRef owner forall sturdyRef owner x. Persistent sturdyRef owner -> Rep (Persistent sturdyRef owner) x $cto :: forall sturdyRef owner x. Rep (Persistent sturdyRef owner) x -> Persistent sturdyRef owner $cfrom :: forall sturdyRef owner x. Persistent sturdyRef owner -> Rep (Persistent sturdyRef owner) x Generics.Generic) class ((MonadIO.MonadIO m) ,(Server.Server m cap)) => (Persistent'server_ m cap sturdyRef owner) | cap -> sturdyRef, cap -> owner where {-# MINIMAL persistent'save #-} persistent'save :: cap -> (Server.MethodHandler m (Persistent'SaveParams sturdyRef owner) (Persistent'SaveResults sturdyRef owner)) persistent'save cap _ = MethodHandler m (Persistent'SaveParams sturdyRef owner) (Persistent'SaveResults sturdyRef owner) forall (m :: * -> *) p r. MonadIO m => MethodHandler m p r Server.methodUnimplemented export_Persistent :: ((STM.MonadSTM m) ,(Persistent'server_ Std_.IO cap sturdyRef owner)) => Supervisors.Supervisor -> cap -> (m (Persistent sturdyRef owner)) export_Persistent :: Supervisor -> cap -> m (Persistent sturdyRef owner) export_Persistent Supervisor sup_ cap server_ = (STM (Persistent sturdyRef owner) -> m (Persistent sturdyRef owner) forall (m :: * -> *) a. MonadSTM m => STM a -> m a STM.liftSTM (Client -> Persistent sturdyRef owner forall sturdyRef owner. Client -> Persistent sturdyRef owner Persistent (Client -> Persistent sturdyRef owner) -> STM Client -> STM (Persistent sturdyRef owner) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Supervisor -> ServerOps IO -> STM Client forall (m :: * -> *). MonadSTM m => Supervisor -> ServerOps IO -> m Client Rpc.export Supervisor sup_ ServerOps :: forall (m :: * -> *). (Word64 -> Word16 -> MethodHandler m (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const))) -> m () -> (forall a. Typeable a => Maybe a) -> ServerOps m Server.ServerOps{handleCast :: forall a. Typeable a => Maybe a handleCast = (cap -> Maybe a forall (m :: * -> *) a b. (Server m a, Typeable b) => a -> Maybe b Server.unwrap cap server_) ,handleStop :: IO () handleStop = (cap -> IO () forall (m :: * -> *) a. Server m a => a -> m () Server.shutdown cap server_) ,handleCall :: Word64 -> Word16 -> MethodHandler IO (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) handleCall = (\Word64 interfaceId_ Word16 methodId_ -> case Word64 interfaceId_ of Word64 14468694717054801553 -> case Word16 methodId_ of Word16 0 -> (MethodHandler IO (Persistent'SaveParams sturdyRef owner) (Persistent'SaveResults sturdyRef owner) -> MethodHandler IO (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) forall (m :: * -> *) p r. MethodHandler m p r -> MethodHandler m (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) Server.toUntypedHandler (cap -> MethodHandler IO (Persistent'SaveParams sturdyRef owner) (Persistent'SaveResults sturdyRef owner) forall (m :: * -> *) cap sturdyRef owner. Persistent'server_ m cap sturdyRef owner => cap -> MethodHandler m (Persistent'SaveParams sturdyRef owner) (Persistent'SaveResults sturdyRef owner) persistent'save cap server_)) Word16 _ -> MethodHandler IO (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) forall (m :: * -> *) p r. MonadIO m => MethodHandler m p r Server.methodUnimplemented Word64 _ -> MethodHandler IO (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) forall (m :: * -> *) p r. MonadIO m => MethodHandler m p r Server.methodUnimplemented)}))) instance (Rpc.IsClient (Persistent sturdyRef owner)) where fromClient :: Client -> Persistent sturdyRef owner fromClient = Client -> Persistent sturdyRef owner forall sturdyRef owner. Client -> Persistent sturdyRef owner Persistent toClient :: Persistent sturdyRef owner -> Client toClient (Persistent Client client) = Client client instance (Classes.FromPtr msg (Persistent sturdyRef owner)) where fromPtr :: Message msg -> Maybe (Ptr msg) -> m (Persistent sturdyRef owner) fromPtr = Message msg -> Maybe (Ptr msg) -> m (Persistent sturdyRef owner) forall a (m :: * -> *) (mut :: Mutability). (IsClient a, ReadCtx m mut) => Message mut -> Maybe (Ptr mut) -> m a RpcHelpers.isClientFromPtr instance (Classes.ToPtr s (Persistent sturdyRef owner)) where toPtr :: Message ('Mut s) -> Persistent sturdyRef owner -> m (Maybe (Ptr ('Mut s))) toPtr = Message ('Mut s) -> Persistent sturdyRef owner -> m (Maybe (Ptr ('Mut s))) forall a (m :: * -> *) s. (IsClient a, WriteCtx m s) => Message ('Mut s) -> a -> m (Maybe (Ptr ('Mut s))) RpcHelpers.isClientToPtr instance (Classes.Decerialize (Persistent sturdyRef owner)) where type Cerial msg (Persistent sturdyRef owner) = (Capnp.Gen.ById.Xb8630836983feed7.Persistent (Classes.Cerial msg sturdyRef) (Classes.Cerial msg owner) msg) decerialize :: Cerial 'Const (Persistent sturdyRef owner) -> m (Persistent sturdyRef owner) decerialize (Capnp.Gen.ById.Xb8630836983feed7.Persistent'newtype_ maybeCap) = case Maybe (Cap 'Const) maybeCap of (Maybe (Cap 'Const) Std_.Nothing) -> (Persistent sturdyRef owner -> m (Persistent sturdyRef owner) forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure (Client -> Persistent sturdyRef owner forall sturdyRef owner. Client -> Persistent sturdyRef owner Persistent Client Message.nullClient)) (Std_.Just Cap 'Const cap) -> (Client -> Persistent sturdyRef owner forall sturdyRef owner. Client -> Persistent sturdyRef owner Persistent (Client -> Persistent sturdyRef owner) -> m Client -> m (Persistent sturdyRef owner) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Cap 'Const -> m Client forall (m :: * -> *) (mut :: Mutability). ReadCtx m mut => Cap mut -> m Client Untyped.getClient Cap 'Const cap)) instance (Classes.Cerialize s (Persistent sturdyRef owner)) where cerialize :: Message ('Mut s) -> Persistent sturdyRef owner -> m (Cerial ('Mut s) (Persistent sturdyRef owner)) cerialize Message ('Mut s) msg (Persistent Client client) = (Maybe (Cap ('Mut s)) -> Persistent (Cerial ('Mut s) sturdyRef) (Cerial ('Mut s) owner) ('Mut s) forall sturdyRef owner (msg :: Mutability). Maybe (Cap msg) -> Persistent sturdyRef owner msg Capnp.Gen.ById.Xb8630836983feed7.Persistent'newtype_ (Maybe (Cap ('Mut s)) -> Persistent (Cerial ('Mut s) sturdyRef) (Cerial ('Mut s) owner) ('Mut s)) -> m (Maybe (Cap ('Mut s))) -> m (Persistent (Cerial ('Mut s) sturdyRef) (Cerial ('Mut s) owner) ('Mut s)) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Cap ('Mut s) -> Maybe (Cap ('Mut s)) forall a. a -> Maybe a Std_.Just (Cap ('Mut s) -> Maybe (Cap ('Mut s))) -> m (Cap ('Mut s)) -> m (Maybe (Cap ('Mut s))) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Message ('Mut s) -> Client -> m (Cap ('Mut s)) forall (m :: * -> *) s. WriteCtx m s => Message ('Mut s) -> Client -> m (Cap ('Mut s)) Untyped.appendCap Message ('Mut s) msg Client client))) instance (Server.Server Std_.IO (Persistent sturdyRef owner)) instance (Persistent'server_ Std_.IO (Persistent sturdyRef owner) sturdyRef owner) where persistent'save :: Persistent sturdyRef owner -> MethodHandler IO (Persistent'SaveParams sturdyRef owner) (Persistent'SaveResults sturdyRef owner) persistent'save (Persistent Client client) = (Word64 -> Word16 -> Client -> MethodHandler IO (Persistent'SaveParams sturdyRef owner) (Persistent'SaveResults sturdyRef owner) forall p r. Word64 -> Word16 -> Client -> MethodHandler IO p r Rpc.clientMethodHandler Word64 14468694717054801553 Word16 0 Client client) data Persistent'SaveParams sturdyRef owner = Persistent'SaveParams {Persistent'SaveParams sturdyRef owner -> owner sealFor :: owner} deriving(Int -> Persistent'SaveParams sturdyRef owner -> ShowS [Persistent'SaveParams sturdyRef owner] -> ShowS Persistent'SaveParams sturdyRef owner -> String (Int -> Persistent'SaveParams sturdyRef owner -> ShowS) -> (Persistent'SaveParams sturdyRef owner -> String) -> ([Persistent'SaveParams sturdyRef owner] -> ShowS) -> Show (Persistent'SaveParams sturdyRef owner) forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a forall sturdyRef owner. Show owner => Int -> Persistent'SaveParams sturdyRef owner -> ShowS forall sturdyRef owner. Show owner => [Persistent'SaveParams sturdyRef owner] -> ShowS forall sturdyRef owner. Show owner => Persistent'SaveParams sturdyRef owner -> String showList :: [Persistent'SaveParams sturdyRef owner] -> ShowS $cshowList :: forall sturdyRef owner. Show owner => [Persistent'SaveParams sturdyRef owner] -> ShowS show :: Persistent'SaveParams sturdyRef owner -> String $cshow :: forall sturdyRef owner. Show owner => Persistent'SaveParams sturdyRef owner -> String showsPrec :: Int -> Persistent'SaveParams sturdyRef owner -> ShowS $cshowsPrec :: forall sturdyRef owner. Show owner => Int -> Persistent'SaveParams sturdyRef owner -> ShowS Std_.Show ,Persistent'SaveParams sturdyRef owner -> Persistent'SaveParams sturdyRef owner -> Bool (Persistent'SaveParams sturdyRef owner -> Persistent'SaveParams sturdyRef owner -> Bool) -> (Persistent'SaveParams sturdyRef owner -> Persistent'SaveParams sturdyRef owner -> Bool) -> Eq (Persistent'SaveParams sturdyRef owner) forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a forall sturdyRef owner. Eq owner => Persistent'SaveParams sturdyRef owner -> Persistent'SaveParams sturdyRef owner -> Bool /= :: Persistent'SaveParams sturdyRef owner -> Persistent'SaveParams sturdyRef owner -> Bool $c/= :: forall sturdyRef owner. Eq owner => Persistent'SaveParams sturdyRef owner -> Persistent'SaveParams sturdyRef owner -> Bool == :: Persistent'SaveParams sturdyRef owner -> Persistent'SaveParams sturdyRef owner -> Bool $c== :: forall sturdyRef owner. Eq owner => Persistent'SaveParams sturdyRef owner -> Persistent'SaveParams sturdyRef owner -> Bool Std_.Eq ,(forall x. Persistent'SaveParams sturdyRef owner -> Rep (Persistent'SaveParams sturdyRef owner) x) -> (forall x. Rep (Persistent'SaveParams sturdyRef owner) x -> Persistent'SaveParams sturdyRef owner) -> Generic (Persistent'SaveParams sturdyRef owner) forall x. Rep (Persistent'SaveParams sturdyRef owner) x -> Persistent'SaveParams sturdyRef owner forall x. Persistent'SaveParams sturdyRef owner -> Rep (Persistent'SaveParams sturdyRef owner) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a forall sturdyRef owner x. Rep (Persistent'SaveParams sturdyRef owner) x -> Persistent'SaveParams sturdyRef owner forall sturdyRef owner x. Persistent'SaveParams sturdyRef owner -> Rep (Persistent'SaveParams sturdyRef owner) x $cto :: forall sturdyRef owner x. Rep (Persistent'SaveParams sturdyRef owner) x -> Persistent'SaveParams sturdyRef owner $cfrom :: forall sturdyRef owner x. Persistent'SaveParams sturdyRef owner -> Rep (Persistent'SaveParams sturdyRef owner) x Generics.Generic) instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner))) => (Default.Default (Persistent'SaveParams sturdyRef owner)) where def :: Persistent'SaveParams sturdyRef owner def = Persistent'SaveParams sturdyRef owner forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a GenHelpersPure.defaultStruct instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner))) => (Classes.FromStruct Message.Const (Persistent'SaveParams sturdyRef owner)) where fromStruct :: Struct 'Const -> m (Persistent'SaveParams sturdyRef owner) fromStruct Struct 'Const struct = ((Struct 'Const -> m (Persistent'SaveParams (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const) forall (mut :: Mutability) a (m :: * -> *). (FromStruct mut a, ReadCtx m mut) => Struct mut -> m a Classes.fromStruct Struct 'Const struct) m (Persistent'SaveParams (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const) -> (Persistent'SaveParams (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const -> m (Persistent'SaveParams sturdyRef owner)) -> m (Persistent'SaveParams sturdyRef owner) forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= Persistent'SaveParams (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const -> m (Persistent'SaveParams sturdyRef owner) forall a (m :: * -> *). (Decerialize a, ReadCtx m 'Const) => Cerial 'Const a -> m a Classes.decerialize) instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner))) => (Classes.Decerialize (Persistent'SaveParams sturdyRef owner)) where type Cerial msg (Persistent'SaveParams sturdyRef owner) = (Capnp.Gen.ById.Xb8630836983feed7.Persistent'SaveParams (Classes.Cerial msg sturdyRef) (Classes.Cerial msg owner) msg) decerialize :: Cerial 'Const (Persistent'SaveParams sturdyRef owner) -> m (Persistent'SaveParams sturdyRef owner) decerialize Cerial 'Const (Persistent'SaveParams sturdyRef owner) raw = (owner -> Persistent'SaveParams sturdyRef owner forall sturdyRef owner. owner -> Persistent'SaveParams sturdyRef owner Persistent'SaveParams (owner -> Persistent'SaveParams sturdyRef owner) -> m owner -> m (Persistent'SaveParams sturdyRef owner) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> ((Persistent'SaveParams (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const -> m (Cerial 'Const owner) forall (m :: * -> *) (msg :: Mutability) owner sturdyRef. (ReadCtx m msg, FromPtr msg owner) => Persistent'SaveParams sturdyRef owner msg -> m owner Capnp.Gen.ById.Xb8630836983feed7.get_Persistent'SaveParams'sealFor Cerial 'Const (Persistent'SaveParams sturdyRef owner) Persistent'SaveParams (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const raw) m (Cerial 'Const owner) -> (Cerial 'Const owner -> m owner) -> m owner forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= Cerial 'Const owner -> m owner forall a (m :: * -> *). (Decerialize a, ReadCtx m 'Const) => Cerial 'Const a -> m a Classes.decerialize)) instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Marshal s (Persistent'SaveParams sturdyRef owner)) where marshalInto :: Cerial ('Mut s) (Persistent'SaveParams sturdyRef owner) -> Persistent'SaveParams sturdyRef owner -> m () marshalInto Cerial ('Mut s) (Persistent'SaveParams sturdyRef owner) raw_ Persistent'SaveParams sturdyRef owner value_ = case Persistent'SaveParams sturdyRef owner value_ of Persistent'SaveParams{owner sealFor :: owner $sel:sealFor:Persistent'SaveParams :: forall sturdyRef owner. Persistent'SaveParams sturdyRef owner -> owner ..} -> (do ((Message ('Mut s) -> owner -> m (Cerial ('Mut s) owner) forall s a (m :: * -> *). (Cerialize s a, RWCtx m s) => Message ('Mut s) -> a -> m (Cerial ('Mut s) a) Classes.cerialize (Persistent'SaveParams (Cerial ('Mut s) sturdyRef) (Cerial ('Mut s) owner) ('Mut s) -> Message ('Mut s) forall a (mut :: Mutability). HasMessage a mut => a -> Message mut Untyped.message Cerial ('Mut s) (Persistent'SaveParams sturdyRef owner) Persistent'SaveParams (Cerial ('Mut s) sturdyRef) (Cerial ('Mut s) owner) ('Mut s) raw_) owner sealFor) m (Cerial ('Mut s) owner) -> (Cerial ('Mut s) owner -> m ()) -> m () forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= (Persistent'SaveParams (Cerial ('Mut s) sturdyRef) (Cerial ('Mut s) owner) ('Mut s) -> Cerial ('Mut s) owner -> m () forall (m :: * -> *) s owner sturdyRef. (RWCtx m s, ToPtr s owner) => Persistent'SaveParams sturdyRef owner ('Mut s) -> owner -> m () Capnp.Gen.ById.Xb8630836983feed7.set_Persistent'SaveParams'sealFor Cerial ('Mut s) (Persistent'SaveParams sturdyRef owner) Persistent'SaveParams (Cerial ('Mut s) sturdyRef) (Cerial ('Mut s) owner) ('Mut s) raw_)) (() -> m () forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure ()) ) instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (Persistent'SaveParams sturdyRef owner)) instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (Persistent'SaveParams sturdyRef owner))) where cerialize :: Message ('Mut s) -> Vector (Persistent'SaveParams sturdyRef owner) -> m (Cerial ('Mut s) (Vector (Persistent'SaveParams sturdyRef owner))) cerialize = Message ('Mut s) -> Vector (Persistent'SaveParams sturdyRef owner) -> m (Cerial ('Mut s) (Vector (Persistent'SaveParams sturdyRef owner))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeCompositeVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (Persistent'SaveParams sturdyRef owner)))) where cerialize :: Message ('Mut s) -> Vector (Vector (Persistent'SaveParams sturdyRef owner)) -> m (Cerial ('Mut s) (Vector (Vector (Persistent'SaveParams sturdyRef owner)))) cerialize = Message ('Mut s) -> Vector (Vector (Persistent'SaveParams sturdyRef owner)) -> m (Cerial ('Mut s) (Vector (Vector (Persistent'SaveParams sturdyRef owner)))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Persistent'SaveParams sturdyRef owner))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Persistent'SaveParams sturdyRef owner)))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Persistent'SaveParams sturdyRef owner))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Persistent'SaveParams sturdyRef owner)))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner)))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Persistent'SaveParams sturdyRef owner))))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveParams sturdyRef owner))))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec data Persistent'SaveResults sturdyRef owner = Persistent'SaveResults {Persistent'SaveResults sturdyRef owner -> sturdyRef sturdyRef :: sturdyRef} deriving(Int -> Persistent'SaveResults sturdyRef owner -> ShowS [Persistent'SaveResults sturdyRef owner] -> ShowS Persistent'SaveResults sturdyRef owner -> String (Int -> Persistent'SaveResults sturdyRef owner -> ShowS) -> (Persistent'SaveResults sturdyRef owner -> String) -> ([Persistent'SaveResults sturdyRef owner] -> ShowS) -> Show (Persistent'SaveResults sturdyRef owner) forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a forall sturdyRef owner. Show sturdyRef => Int -> Persistent'SaveResults sturdyRef owner -> ShowS forall sturdyRef owner. Show sturdyRef => [Persistent'SaveResults sturdyRef owner] -> ShowS forall sturdyRef owner. Show sturdyRef => Persistent'SaveResults sturdyRef owner -> String showList :: [Persistent'SaveResults sturdyRef owner] -> ShowS $cshowList :: forall sturdyRef owner. Show sturdyRef => [Persistent'SaveResults sturdyRef owner] -> ShowS show :: Persistent'SaveResults sturdyRef owner -> String $cshow :: forall sturdyRef owner. Show sturdyRef => Persistent'SaveResults sturdyRef owner -> String showsPrec :: Int -> Persistent'SaveResults sturdyRef owner -> ShowS $cshowsPrec :: forall sturdyRef owner. Show sturdyRef => Int -> Persistent'SaveResults sturdyRef owner -> ShowS Std_.Show ,Persistent'SaveResults sturdyRef owner -> Persistent'SaveResults sturdyRef owner -> Bool (Persistent'SaveResults sturdyRef owner -> Persistent'SaveResults sturdyRef owner -> Bool) -> (Persistent'SaveResults sturdyRef owner -> Persistent'SaveResults sturdyRef owner -> Bool) -> Eq (Persistent'SaveResults sturdyRef owner) forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a forall sturdyRef owner. Eq sturdyRef => Persistent'SaveResults sturdyRef owner -> Persistent'SaveResults sturdyRef owner -> Bool /= :: Persistent'SaveResults sturdyRef owner -> Persistent'SaveResults sturdyRef owner -> Bool $c/= :: forall sturdyRef owner. Eq sturdyRef => Persistent'SaveResults sturdyRef owner -> Persistent'SaveResults sturdyRef owner -> Bool == :: Persistent'SaveResults sturdyRef owner -> Persistent'SaveResults sturdyRef owner -> Bool $c== :: forall sturdyRef owner. Eq sturdyRef => Persistent'SaveResults sturdyRef owner -> Persistent'SaveResults sturdyRef owner -> Bool Std_.Eq ,(forall x. Persistent'SaveResults sturdyRef owner -> Rep (Persistent'SaveResults sturdyRef owner) x) -> (forall x. Rep (Persistent'SaveResults sturdyRef owner) x -> Persistent'SaveResults sturdyRef owner) -> Generic (Persistent'SaveResults sturdyRef owner) forall x. Rep (Persistent'SaveResults sturdyRef owner) x -> Persistent'SaveResults sturdyRef owner forall x. Persistent'SaveResults sturdyRef owner -> Rep (Persistent'SaveResults sturdyRef owner) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a forall sturdyRef owner x. Rep (Persistent'SaveResults sturdyRef owner) x -> Persistent'SaveResults sturdyRef owner forall sturdyRef owner x. Persistent'SaveResults sturdyRef owner -> Rep (Persistent'SaveResults sturdyRef owner) x $cto :: forall sturdyRef owner x. Rep (Persistent'SaveResults sturdyRef owner) x -> Persistent'SaveResults sturdyRef owner $cfrom :: forall sturdyRef owner x. Persistent'SaveResults sturdyRef owner -> Rep (Persistent'SaveResults sturdyRef owner) x Generics.Generic) instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner))) => (Default.Default (Persistent'SaveResults sturdyRef owner)) where def :: Persistent'SaveResults sturdyRef owner def = Persistent'SaveResults sturdyRef owner forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a GenHelpersPure.defaultStruct instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner))) => (Classes.FromStruct Message.Const (Persistent'SaveResults sturdyRef owner)) where fromStruct :: Struct 'Const -> m (Persistent'SaveResults sturdyRef owner) fromStruct Struct 'Const struct = ((Struct 'Const -> m (Persistent'SaveResults (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const) forall (mut :: Mutability) a (m :: * -> *). (FromStruct mut a, ReadCtx m mut) => Struct mut -> m a Classes.fromStruct Struct 'Const struct) m (Persistent'SaveResults (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const) -> (Persistent'SaveResults (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const -> m (Persistent'SaveResults sturdyRef owner)) -> m (Persistent'SaveResults sturdyRef owner) forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= Persistent'SaveResults (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const -> m (Persistent'SaveResults sturdyRef owner) forall a (m :: * -> *). (Decerialize a, ReadCtx m 'Const) => Cerial 'Const a -> m a Classes.decerialize) instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner))) => (Classes.Decerialize (Persistent'SaveResults sturdyRef owner)) where type Cerial msg (Persistent'SaveResults sturdyRef owner) = (Capnp.Gen.ById.Xb8630836983feed7.Persistent'SaveResults (Classes.Cerial msg sturdyRef) (Classes.Cerial msg owner) msg) decerialize :: Cerial 'Const (Persistent'SaveResults sturdyRef owner) -> m (Persistent'SaveResults sturdyRef owner) decerialize Cerial 'Const (Persistent'SaveResults sturdyRef owner) raw = (sturdyRef -> Persistent'SaveResults sturdyRef owner forall sturdyRef owner. sturdyRef -> Persistent'SaveResults sturdyRef owner Persistent'SaveResults (sturdyRef -> Persistent'SaveResults sturdyRef owner) -> m sturdyRef -> m (Persistent'SaveResults sturdyRef owner) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> ((Persistent'SaveResults (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const -> m (Cerial 'Const sturdyRef) forall (m :: * -> *) (msg :: Mutability) sturdyRef owner. (ReadCtx m msg, FromPtr msg sturdyRef) => Persistent'SaveResults sturdyRef owner msg -> m sturdyRef Capnp.Gen.ById.Xb8630836983feed7.get_Persistent'SaveResults'sturdyRef Cerial 'Const (Persistent'SaveResults sturdyRef owner) Persistent'SaveResults (Cerial 'Const sturdyRef) (Cerial 'Const owner) 'Const raw) m (Cerial 'Const sturdyRef) -> (Cerial 'Const sturdyRef -> m sturdyRef) -> m sturdyRef forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= Cerial 'Const sturdyRef -> m sturdyRef forall a (m :: * -> *). (Decerialize a, ReadCtx m 'Const) => Cerial 'Const a -> m a Classes.decerialize)) instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Marshal s (Persistent'SaveResults sturdyRef owner)) where marshalInto :: Cerial ('Mut s) (Persistent'SaveResults sturdyRef owner) -> Persistent'SaveResults sturdyRef owner -> m () marshalInto Cerial ('Mut s) (Persistent'SaveResults sturdyRef owner) raw_ Persistent'SaveResults sturdyRef owner value_ = case Persistent'SaveResults sturdyRef owner value_ of Persistent'SaveResults{sturdyRef sturdyRef :: sturdyRef $sel:sturdyRef:Persistent'SaveResults :: forall sturdyRef owner. Persistent'SaveResults sturdyRef owner -> sturdyRef ..} -> (do ((Message ('Mut s) -> sturdyRef -> m (Cerial ('Mut s) sturdyRef) forall s a (m :: * -> *). (Cerialize s a, RWCtx m s) => Message ('Mut s) -> a -> m (Cerial ('Mut s) a) Classes.cerialize (Persistent'SaveResults (Cerial ('Mut s) sturdyRef) (Cerial ('Mut s) owner) ('Mut s) -> Message ('Mut s) forall a (mut :: Mutability). HasMessage a mut => a -> Message mut Untyped.message Cerial ('Mut s) (Persistent'SaveResults sturdyRef owner) Persistent'SaveResults (Cerial ('Mut s) sturdyRef) (Cerial ('Mut s) owner) ('Mut s) raw_) sturdyRef sturdyRef) m (Cerial ('Mut s) sturdyRef) -> (Cerial ('Mut s) sturdyRef -> m ()) -> m () forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= (Persistent'SaveResults (Cerial ('Mut s) sturdyRef) (Cerial ('Mut s) owner) ('Mut s) -> Cerial ('Mut s) sturdyRef -> m () forall (m :: * -> *) s sturdyRef owner. (RWCtx m s, ToPtr s sturdyRef) => Persistent'SaveResults sturdyRef owner ('Mut s) -> sturdyRef -> m () Capnp.Gen.ById.Xb8630836983feed7.set_Persistent'SaveResults'sturdyRef Cerial ('Mut s) (Persistent'SaveResults sturdyRef owner) Persistent'SaveResults (Cerial ('Mut s) sturdyRef) (Cerial ('Mut s) owner) ('Mut s) raw_)) (() -> m () forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure ()) ) instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (Persistent'SaveResults sturdyRef owner)) instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (Persistent'SaveResults sturdyRef owner))) where cerialize :: Message ('Mut s) -> Vector (Persistent'SaveResults sturdyRef owner) -> m (Cerial ('Mut s) (Vector (Persistent'SaveResults sturdyRef owner))) cerialize = Message ('Mut s) -> Vector (Persistent'SaveResults sturdyRef owner) -> m (Cerial ('Mut s) (Vector (Persistent'SaveResults sturdyRef owner))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeCompositeVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (Persistent'SaveResults sturdyRef owner)))) where cerialize :: Message ('Mut s) -> Vector (Vector (Persistent'SaveResults sturdyRef owner)) -> m (Cerial ('Mut s) (Vector (Vector (Persistent'SaveResults sturdyRef owner)))) cerialize = Message ('Mut s) -> Vector (Vector (Persistent'SaveResults sturdyRef owner)) -> m (Cerial ('Mut s) (Vector (Vector (Persistent'SaveResults sturdyRef owner)))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Persistent'SaveResults sturdyRef owner))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Persistent'SaveResults sturdyRef owner)))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Persistent'SaveResults sturdyRef owner))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Persistent'SaveResults sturdyRef owner)))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner)))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize sturdyRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const sturdyRef)) ,(Classes.Decerialize owner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const owner)) ,(Classes.Cerialize s sturdyRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) sturdyRef)) ,(Classes.Cerialize s owner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) owner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Persistent'SaveResults sturdyRef owner))))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (Persistent'SaveResults sturdyRef owner))))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec newtype RealmGateway internalRef externalRef internalOwner externalOwner = RealmGateway Message.Client deriving(Int -> RealmGateway internalRef externalRef internalOwner externalOwner -> ShowS [RealmGateway internalRef externalRef internalOwner externalOwner] -> ShowS RealmGateway internalRef externalRef internalOwner externalOwner -> String (Int -> RealmGateway internalRef externalRef internalOwner externalOwner -> ShowS) -> (RealmGateway internalRef externalRef internalOwner externalOwner -> String) -> ([RealmGateway internalRef externalRef internalOwner externalOwner] -> ShowS) -> Show (RealmGateway internalRef externalRef internalOwner externalOwner) forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a forall internalRef externalRef internalOwner externalOwner. Int -> RealmGateway internalRef externalRef internalOwner externalOwner -> ShowS forall internalRef externalRef internalOwner externalOwner. [RealmGateway internalRef externalRef internalOwner externalOwner] -> ShowS forall internalRef externalRef internalOwner externalOwner. RealmGateway internalRef externalRef internalOwner externalOwner -> String showList :: [RealmGateway internalRef externalRef internalOwner externalOwner] -> ShowS $cshowList :: forall internalRef externalRef internalOwner externalOwner. [RealmGateway internalRef externalRef internalOwner externalOwner] -> ShowS show :: RealmGateway internalRef externalRef internalOwner externalOwner -> String $cshow :: forall internalRef externalRef internalOwner externalOwner. RealmGateway internalRef externalRef internalOwner externalOwner -> String showsPrec :: Int -> RealmGateway internalRef externalRef internalOwner externalOwner -> ShowS $cshowsPrec :: forall internalRef externalRef internalOwner externalOwner. Int -> RealmGateway internalRef externalRef internalOwner externalOwner -> ShowS Std_.Show ,RealmGateway internalRef externalRef internalOwner externalOwner -> RealmGateway internalRef externalRef internalOwner externalOwner -> Bool (RealmGateway internalRef externalRef internalOwner externalOwner -> RealmGateway internalRef externalRef internalOwner externalOwner -> Bool) -> (RealmGateway internalRef externalRef internalOwner externalOwner -> RealmGateway internalRef externalRef internalOwner externalOwner -> Bool) -> Eq (RealmGateway internalRef externalRef internalOwner externalOwner) forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a forall internalRef externalRef internalOwner externalOwner. RealmGateway internalRef externalRef internalOwner externalOwner -> RealmGateway internalRef externalRef internalOwner externalOwner -> Bool /= :: RealmGateway internalRef externalRef internalOwner externalOwner -> RealmGateway internalRef externalRef internalOwner externalOwner -> Bool $c/= :: forall internalRef externalRef internalOwner externalOwner. RealmGateway internalRef externalRef internalOwner externalOwner -> RealmGateway internalRef externalRef internalOwner externalOwner -> Bool == :: RealmGateway internalRef externalRef internalOwner externalOwner -> RealmGateway internalRef externalRef internalOwner externalOwner -> Bool $c== :: forall internalRef externalRef internalOwner externalOwner. RealmGateway internalRef externalRef internalOwner externalOwner -> RealmGateway internalRef externalRef internalOwner externalOwner -> Bool Std_.Eq ,(forall x. RealmGateway internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway internalRef externalRef internalOwner externalOwner) x) -> (forall x. Rep (RealmGateway internalRef externalRef internalOwner externalOwner) x -> RealmGateway internalRef externalRef internalOwner externalOwner) -> Generic (RealmGateway internalRef externalRef internalOwner externalOwner) forall x. Rep (RealmGateway internalRef externalRef internalOwner externalOwner) x -> RealmGateway internalRef externalRef internalOwner externalOwner forall x. RealmGateway internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway internalRef externalRef internalOwner externalOwner) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a forall internalRef externalRef internalOwner externalOwner x. Rep (RealmGateway internalRef externalRef internalOwner externalOwner) x -> RealmGateway internalRef externalRef internalOwner externalOwner forall internalRef externalRef internalOwner externalOwner x. RealmGateway internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway internalRef externalRef internalOwner externalOwner) x $cto :: forall internalRef externalRef internalOwner externalOwner x. Rep (RealmGateway internalRef externalRef internalOwner externalOwner) x -> RealmGateway internalRef externalRef internalOwner externalOwner $cfrom :: forall internalRef externalRef internalOwner externalOwner x. RealmGateway internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway internalRef externalRef internalOwner externalOwner) x Generics.Generic) class ((MonadIO.MonadIO m) ,(Server.Server m cap)) => (RealmGateway'server_ m cap internalRef externalRef internalOwner externalOwner) | cap -> internalRef, cap -> externalRef, cap -> internalOwner, cap -> externalOwner where {-# MINIMAL realmGateway'import_,realmGateway'export #-} realmGateway'import_ :: cap -> (Server.MethodHandler m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults internalRef internalOwner)) realmGateway'import_ cap _ = MethodHandler m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults internalRef internalOwner) forall (m :: * -> *) p r. MonadIO m => MethodHandler m p r Server.methodUnimplemented realmGateway'export :: cap -> (Server.MethodHandler m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults externalRef externalOwner)) realmGateway'export cap _ = MethodHandler m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults externalRef externalOwner) forall (m :: * -> *) p r. MonadIO m => MethodHandler m p r Server.methodUnimplemented export_RealmGateway :: ((STM.MonadSTM m) ,(RealmGateway'server_ Std_.IO cap internalRef externalRef internalOwner externalOwner)) => Supervisors.Supervisor -> cap -> (m (RealmGateway internalRef externalRef internalOwner externalOwner)) export_RealmGateway :: Supervisor -> cap -> m (RealmGateway internalRef externalRef internalOwner externalOwner) export_RealmGateway Supervisor sup_ cap server_ = (STM (RealmGateway internalRef externalRef internalOwner externalOwner) -> m (RealmGateway internalRef externalRef internalOwner externalOwner) forall (m :: * -> *) a. MonadSTM m => STM a -> m a STM.liftSTM (Client -> RealmGateway internalRef externalRef internalOwner externalOwner forall internalRef externalRef internalOwner externalOwner. Client -> RealmGateway internalRef externalRef internalOwner externalOwner RealmGateway (Client -> RealmGateway internalRef externalRef internalOwner externalOwner) -> STM Client -> STM (RealmGateway internalRef externalRef internalOwner externalOwner) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Supervisor -> ServerOps IO -> STM Client forall (m :: * -> *). MonadSTM m => Supervisor -> ServerOps IO -> m Client Rpc.export Supervisor sup_ ServerOps :: forall (m :: * -> *). (Word64 -> Word16 -> MethodHandler m (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const))) -> m () -> (forall a. Typeable a => Maybe a) -> ServerOps m Server.ServerOps{handleCast :: forall a. Typeable a => Maybe a handleCast = (cap -> Maybe a forall (m :: * -> *) a b. (Server m a, Typeable b) => a -> Maybe b Server.unwrap cap server_) ,handleStop :: IO () handleStop = (cap -> IO () forall (m :: * -> *) a. Server m a => a -> m () Server.shutdown cap server_) ,handleCall :: Word64 -> Word16 -> MethodHandler IO (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) handleCall = (\Word64 interfaceId_ Word16 methodId_ -> case Word64 interfaceId_ of Word64 9583422979879616212 -> case Word16 methodId_ of Word16 0 -> (MethodHandler IO (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults internalRef internalOwner) -> MethodHandler IO (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) forall (m :: * -> *) p r. MethodHandler m p r -> MethodHandler m (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) Server.toUntypedHandler (cap -> MethodHandler IO (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults internalRef internalOwner) forall (m :: * -> *) cap internalRef externalRef internalOwner externalOwner. RealmGateway'server_ m cap internalRef externalRef internalOwner externalOwner => cap -> MethodHandler m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults internalRef internalOwner) realmGateway'import_ cap server_)) Word16 1 -> (MethodHandler IO (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults externalRef externalOwner) -> MethodHandler IO (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) forall (m :: * -> *) p r. MethodHandler m p r -> MethodHandler m (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) Server.toUntypedHandler (cap -> MethodHandler IO (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults externalRef externalOwner) forall (m :: * -> *) cap internalRef externalRef internalOwner externalOwner. RealmGateway'server_ m cap internalRef externalRef internalOwner externalOwner => cap -> MethodHandler m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults externalRef externalOwner) realmGateway'export cap server_)) Word16 _ -> MethodHandler IO (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) forall (m :: * -> *) p r. MonadIO m => MethodHandler m p r Server.methodUnimplemented Word64 _ -> MethodHandler IO (Maybe (Ptr 'Const)) (Maybe (Ptr 'Const)) forall (m :: * -> *) p r. MonadIO m => MethodHandler m p r Server.methodUnimplemented)}))) instance (Rpc.IsClient (RealmGateway internalRef externalRef internalOwner externalOwner)) where fromClient :: Client -> RealmGateway internalRef externalRef internalOwner externalOwner fromClient = Client -> RealmGateway internalRef externalRef internalOwner externalOwner forall internalRef externalRef internalOwner externalOwner. Client -> RealmGateway internalRef externalRef internalOwner externalOwner RealmGateway toClient :: RealmGateway internalRef externalRef internalOwner externalOwner -> Client toClient (RealmGateway Client client) = Client client instance (Classes.FromPtr msg (RealmGateway internalRef externalRef internalOwner externalOwner)) where fromPtr :: Message msg -> Maybe (Ptr msg) -> m (RealmGateway internalRef externalRef internalOwner externalOwner) fromPtr = Message msg -> Maybe (Ptr msg) -> m (RealmGateway internalRef externalRef internalOwner externalOwner) forall a (m :: * -> *) (mut :: Mutability). (IsClient a, ReadCtx m mut) => Message mut -> Maybe (Ptr mut) -> m a RpcHelpers.isClientFromPtr instance (Classes.ToPtr s (RealmGateway internalRef externalRef internalOwner externalOwner)) where toPtr :: Message ('Mut s) -> RealmGateway internalRef externalRef internalOwner externalOwner -> m (Maybe (Ptr ('Mut s))) toPtr = Message ('Mut s) -> RealmGateway internalRef externalRef internalOwner externalOwner -> m (Maybe (Ptr ('Mut s))) forall a (m :: * -> *) s. (IsClient a, WriteCtx m s) => Message ('Mut s) -> a -> m (Maybe (Ptr ('Mut s))) RpcHelpers.isClientToPtr instance (Classes.Decerialize (RealmGateway internalRef externalRef internalOwner externalOwner)) where type Cerial msg (RealmGateway internalRef externalRef internalOwner externalOwner) = (Capnp.Gen.ById.Xb8630836983feed7.RealmGateway (Classes.Cerial msg internalRef) (Classes.Cerial msg externalRef) (Classes.Cerial msg internalOwner) (Classes.Cerial msg externalOwner) msg) decerialize :: Cerial 'Const (RealmGateway internalRef externalRef internalOwner externalOwner) -> m (RealmGateway internalRef externalRef internalOwner externalOwner) decerialize (Capnp.Gen.ById.Xb8630836983feed7.RealmGateway'newtype_ maybeCap) = case Maybe (Cap 'Const) maybeCap of (Maybe (Cap 'Const) Std_.Nothing) -> (RealmGateway internalRef externalRef internalOwner externalOwner -> m (RealmGateway internalRef externalRef internalOwner externalOwner) forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure (Client -> RealmGateway internalRef externalRef internalOwner externalOwner forall internalRef externalRef internalOwner externalOwner. Client -> RealmGateway internalRef externalRef internalOwner externalOwner RealmGateway Client Message.nullClient)) (Std_.Just Cap 'Const cap) -> (Client -> RealmGateway internalRef externalRef internalOwner externalOwner forall internalRef externalRef internalOwner externalOwner. Client -> RealmGateway internalRef externalRef internalOwner externalOwner RealmGateway (Client -> RealmGateway internalRef externalRef internalOwner externalOwner) -> m Client -> m (RealmGateway internalRef externalRef internalOwner externalOwner) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Cap 'Const -> m Client forall (m :: * -> *) (mut :: Mutability). ReadCtx m mut => Cap mut -> m Client Untyped.getClient Cap 'Const cap)) instance (Classes.Cerialize s (RealmGateway internalRef externalRef internalOwner externalOwner)) where cerialize :: Message ('Mut s) -> RealmGateway internalRef externalRef internalOwner externalOwner -> m (Cerial ('Mut s) (RealmGateway internalRef externalRef internalOwner externalOwner)) cerialize Message ('Mut s) msg (RealmGateway Client client) = (Maybe (Cap ('Mut s)) -> RealmGateway (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) forall internalRef externalRef internalOwner externalOwner (msg :: Mutability). Maybe (Cap msg) -> RealmGateway internalRef externalRef internalOwner externalOwner msg Capnp.Gen.ById.Xb8630836983feed7.RealmGateway'newtype_ (Maybe (Cap ('Mut s)) -> RealmGateway (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s)) -> m (Maybe (Cap ('Mut s))) -> m (RealmGateway (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s)) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Cap ('Mut s) -> Maybe (Cap ('Mut s)) forall a. a -> Maybe a Std_.Just (Cap ('Mut s) -> Maybe (Cap ('Mut s))) -> m (Cap ('Mut s)) -> m (Maybe (Cap ('Mut s))) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Message ('Mut s) -> Client -> m (Cap ('Mut s)) forall (m :: * -> *) s. WriteCtx m s => Message ('Mut s) -> Client -> m (Cap ('Mut s)) Untyped.appendCap Message ('Mut s) msg Client client))) instance (Server.Server Std_.IO (RealmGateway internalRef externalRef internalOwner externalOwner)) instance (RealmGateway'server_ Std_.IO (RealmGateway internalRef externalRef internalOwner externalOwner) internalRef externalRef internalOwner externalOwner) where realmGateway'import_ :: RealmGateway internalRef externalRef internalOwner externalOwner -> MethodHandler IO (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults internalRef internalOwner) realmGateway'import_ (RealmGateway Client client) = (Word64 -> Word16 -> Client -> MethodHandler IO (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults internalRef internalOwner) forall p r. Word64 -> Word16 -> Client -> MethodHandler IO p r Rpc.clientMethodHandler Word64 9583422979879616212 Word16 0 Client client) realmGateway'export :: RealmGateway internalRef externalRef internalOwner externalOwner -> MethodHandler IO (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults externalRef externalOwner) realmGateway'export (RealmGateway Client client) = (Word64 -> Word16 -> Client -> MethodHandler IO (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults externalRef externalOwner) forall p r. Word64 -> Word16 -> Client -> MethodHandler IO p r Rpc.clientMethodHandler Word64 9583422979879616212 Word16 1 Client client) data RealmGateway'import'params internalRef externalRef internalOwner externalOwner = RealmGateway'import'params {RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Persistent externalRef externalOwner cap :: (Persistent externalRef externalOwner) ,RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Persistent'SaveParams internalRef internalOwner params :: (Persistent'SaveParams internalRef internalOwner)} deriving(Int -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> ShowS [RealmGateway'import'params internalRef externalRef internalOwner externalOwner] -> ShowS RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> String (Int -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> ShowS) -> (RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> String) -> ([RealmGateway'import'params internalRef externalRef internalOwner externalOwner] -> ShowS) -> Show (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a forall internalRef externalRef internalOwner externalOwner. Show internalOwner => Int -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> ShowS forall internalRef externalRef internalOwner externalOwner. Show internalOwner => [RealmGateway'import'params internalRef externalRef internalOwner externalOwner] -> ShowS forall internalRef externalRef internalOwner externalOwner. Show internalOwner => RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> String showList :: [RealmGateway'import'params internalRef externalRef internalOwner externalOwner] -> ShowS $cshowList :: forall internalRef externalRef internalOwner externalOwner. Show internalOwner => [RealmGateway'import'params internalRef externalRef internalOwner externalOwner] -> ShowS show :: RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> String $cshow :: forall internalRef externalRef internalOwner externalOwner. Show internalOwner => RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> String showsPrec :: Int -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> ShowS $cshowsPrec :: forall internalRef externalRef internalOwner externalOwner. Show internalOwner => Int -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> ShowS Std_.Show ,RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Bool (RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Bool) -> (RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Bool) -> Eq (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a forall internalRef externalRef internalOwner externalOwner. Eq internalOwner => RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Bool /= :: RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Bool $c/= :: forall internalRef externalRef internalOwner externalOwner. Eq internalOwner => RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Bool == :: RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Bool $c== :: forall internalRef externalRef internalOwner externalOwner. Eq internalOwner => RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Bool Std_.Eq ,(forall x. RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) x) -> (forall x. Rep (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) x -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner) -> Generic (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) forall x. Rep (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) x -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner forall x. RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a forall internalRef externalRef internalOwner externalOwner x. Rep (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) x -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner forall internalRef externalRef internalOwner externalOwner x. RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) x $cto :: forall internalRef externalRef internalOwner externalOwner x. Rep (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) x -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner $cfrom :: forall internalRef externalRef internalOwner externalOwner x. RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) x Generics.Generic) instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner))) => (Default.Default (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) where def :: RealmGateway'import'params internalRef externalRef internalOwner externalOwner def = RealmGateway'import'params internalRef externalRef internalOwner externalOwner forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a GenHelpersPure.defaultStruct instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner))) => (Classes.FromStruct Message.Const (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) where fromStruct :: Struct 'Const -> m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) fromStruct Struct 'Const struct = ((Struct 'Const -> m (RealmGateway'import'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const) forall (mut :: Mutability) a (m :: * -> *). (FromStruct mut a, ReadCtx m mut) => Struct mut -> m a Classes.fromStruct Struct 'Const struct) m (RealmGateway'import'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const) -> (RealmGateway'import'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const -> m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) -> m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= RealmGateway'import'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const -> m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) forall a (m :: * -> *). (Decerialize a, ReadCtx m 'Const) => Cerial 'Const a -> m a Classes.decerialize) instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner))) => (Classes.Decerialize (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) where type Cerial msg (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) = (Capnp.Gen.ById.Xb8630836983feed7.RealmGateway'import'params (Classes.Cerial msg internalRef) (Classes.Cerial msg externalRef) (Classes.Cerial msg internalOwner) (Classes.Cerial msg externalOwner) msg) decerialize :: Cerial 'Const (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) -> m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) decerialize Cerial 'Const (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) raw = (Persistent externalRef externalOwner -> Persistent'SaveParams internalRef internalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner forall internalRef externalRef internalOwner externalOwner. Persistent externalRef externalOwner -> Persistent'SaveParams internalRef internalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner RealmGateway'import'params (Persistent externalRef externalOwner -> Persistent'SaveParams internalRef internalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner) -> m (Persistent externalRef externalOwner) -> m (Persistent'SaveParams internalRef internalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> ((RealmGateway'import'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const -> m (Persistent (Cerial 'Const externalRef) (Cerial 'Const externalOwner) 'Const) forall (m :: * -> *) (msg :: Mutability) externalRef externalOwner internalRef internalOwner. (ReadCtx m msg, FromPtr msg (Persistent externalRef externalOwner msg)) => RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg -> m (Persistent externalRef externalOwner msg) Capnp.Gen.ById.Xb8630836983feed7.get_RealmGateway'import'params'cap Cerial 'Const (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) RealmGateway'import'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const raw) m (Persistent (Cerial 'Const externalRef) (Cerial 'Const externalOwner) 'Const) -> (Persistent (Cerial 'Const externalRef) (Cerial 'Const externalOwner) 'Const -> m (Persistent externalRef externalOwner)) -> m (Persistent externalRef externalOwner) forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= Persistent (Cerial 'Const externalRef) (Cerial 'Const externalOwner) 'Const -> m (Persistent externalRef externalOwner) forall a (m :: * -> *). (Decerialize a, ReadCtx m 'Const) => Cerial 'Const a -> m a Classes.decerialize) m (Persistent'SaveParams internalRef internalOwner -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner) -> m (Persistent'SaveParams internalRef internalOwner) -> m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b <*> ((RealmGateway'import'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const -> m (Persistent'SaveParams (Cerial 'Const internalRef) (Cerial 'Const internalOwner) 'Const) forall (m :: * -> *) (msg :: Mutability) internalRef internalOwner externalRef externalOwner. (ReadCtx m msg, FromPtr msg (Persistent'SaveParams internalRef internalOwner msg)) => RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg -> m (Persistent'SaveParams internalRef internalOwner msg) Capnp.Gen.ById.Xb8630836983feed7.get_RealmGateway'import'params'params Cerial 'Const (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) RealmGateway'import'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const raw) m (Persistent'SaveParams (Cerial 'Const internalRef) (Cerial 'Const internalOwner) 'Const) -> (Persistent'SaveParams (Cerial 'Const internalRef) (Cerial 'Const internalOwner) 'Const -> m (Persistent'SaveParams internalRef internalOwner)) -> m (Persistent'SaveParams internalRef internalOwner) forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= Persistent'SaveParams (Cerial 'Const internalRef) (Cerial 'Const internalOwner) 'Const -> m (Persistent'SaveParams internalRef internalOwner) forall a (m :: * -> *). (Decerialize a, ReadCtx m 'Const) => Cerial 'Const a -> m a Classes.decerialize)) instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Marshal s (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) where marshalInto :: Cerial ('Mut s) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) -> RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> m () marshalInto Cerial ('Mut s) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) raw_ RealmGateway'import'params internalRef externalRef internalOwner externalOwner value_ = case RealmGateway'import'params internalRef externalRef internalOwner externalOwner value_ of RealmGateway'import'params{Persistent'SaveParams internalRef internalOwner Persistent externalRef externalOwner params :: Persistent'SaveParams internalRef internalOwner cap :: Persistent externalRef externalOwner $sel:params:RealmGateway'import'params :: forall internalRef externalRef internalOwner externalOwner. RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Persistent'SaveParams internalRef internalOwner $sel:cap:RealmGateway'import'params :: forall internalRef externalRef internalOwner externalOwner. RealmGateway'import'params internalRef externalRef internalOwner externalOwner -> Persistent externalRef externalOwner ..} -> (do ((Message ('Mut s) -> Persistent externalRef externalOwner -> m (Cerial ('Mut s) (Persistent externalRef externalOwner)) forall s a (m :: * -> *). (Cerialize s a, RWCtx m s) => Message ('Mut s) -> a -> m (Cerial ('Mut s) a) Classes.cerialize (RealmGateway'import'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) -> Message ('Mut s) forall a (mut :: Mutability). HasMessage a mut => a -> Message mut Untyped.message Cerial ('Mut s) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) RealmGateway'import'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) raw_) Persistent externalRef externalOwner cap) m (Persistent (Cerial ('Mut s) externalRef) (Cerial ('Mut s) externalOwner) ('Mut s)) -> (Persistent (Cerial ('Mut s) externalRef) (Cerial ('Mut s) externalOwner) ('Mut s) -> m ()) -> m () forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= (RealmGateway'import'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) -> Persistent (Cerial ('Mut s) externalRef) (Cerial ('Mut s) externalOwner) ('Mut s) -> m () forall (m :: * -> *) s externalRef externalOwner internalRef internalOwner. (RWCtx m s, ToPtr s (Persistent externalRef externalOwner ('Mut s))) => RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s) -> Persistent externalRef externalOwner ('Mut s) -> m () Capnp.Gen.ById.Xb8630836983feed7.set_RealmGateway'import'params'cap Cerial ('Mut s) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) RealmGateway'import'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) raw_)) ((Message ('Mut s) -> Persistent'SaveParams internalRef internalOwner -> m (Cerial ('Mut s) (Persistent'SaveParams internalRef internalOwner)) forall s a (m :: * -> *). (Cerialize s a, RWCtx m s) => Message ('Mut s) -> a -> m (Cerial ('Mut s) a) Classes.cerialize (RealmGateway'import'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) -> Message ('Mut s) forall a (mut :: Mutability). HasMessage a mut => a -> Message mut Untyped.message Cerial ('Mut s) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) RealmGateway'import'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) raw_) Persistent'SaveParams internalRef internalOwner params) m (Persistent'SaveParams (Cerial ('Mut s) internalRef) (Cerial ('Mut s) internalOwner) ('Mut s)) -> (Persistent'SaveParams (Cerial ('Mut s) internalRef) (Cerial ('Mut s) internalOwner) ('Mut s) -> m ()) -> m () forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= (RealmGateway'import'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) -> Persistent'SaveParams (Cerial ('Mut s) internalRef) (Cerial ('Mut s) internalOwner) ('Mut s) -> m () forall (m :: * -> *) s internalRef internalOwner externalRef externalOwner. (RWCtx m s, ToPtr s (Persistent'SaveParams internalRef internalOwner ('Mut s))) => RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s) -> Persistent'SaveParams internalRef internalOwner ('Mut s) -> m () Capnp.Gen.ById.Xb8630836983feed7.set_RealmGateway'import'params'params Cerial ('Mut s) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) RealmGateway'import'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) raw_)) (() -> m () forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure ()) ) instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))) where cerialize :: Message ('Mut s) -> Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) -> m (Cerial ('Mut s) (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))) cerialize = Message ('Mut s) -> Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) -> m (Cerial ('Mut s) (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeCompositeVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))) where cerialize :: Message ('Mut s) -> Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) -> m (Cerial ('Mut s) (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))) cerialize = Message ('Mut s) -> Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) -> m (Cerial ('Mut s) (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec data RealmGateway'export'params internalRef externalRef internalOwner externalOwner = RealmGateway'export'params {RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Persistent internalRef internalOwner cap :: (Persistent internalRef internalOwner) ,RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Persistent'SaveParams externalRef externalOwner params :: (Persistent'SaveParams externalRef externalOwner)} deriving(Int -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> ShowS [RealmGateway'export'params internalRef externalRef internalOwner externalOwner] -> ShowS RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> String (Int -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> ShowS) -> (RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> String) -> ([RealmGateway'export'params internalRef externalRef internalOwner externalOwner] -> ShowS) -> Show (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a forall internalRef externalRef internalOwner externalOwner. Show externalOwner => Int -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> ShowS forall internalRef externalRef internalOwner externalOwner. Show externalOwner => [RealmGateway'export'params internalRef externalRef internalOwner externalOwner] -> ShowS forall internalRef externalRef internalOwner externalOwner. Show externalOwner => RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> String showList :: [RealmGateway'export'params internalRef externalRef internalOwner externalOwner] -> ShowS $cshowList :: forall internalRef externalRef internalOwner externalOwner. Show externalOwner => [RealmGateway'export'params internalRef externalRef internalOwner externalOwner] -> ShowS show :: RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> String $cshow :: forall internalRef externalRef internalOwner externalOwner. Show externalOwner => RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> String showsPrec :: Int -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> ShowS $cshowsPrec :: forall internalRef externalRef internalOwner externalOwner. Show externalOwner => Int -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> ShowS Std_.Show ,RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Bool (RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Bool) -> (RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Bool) -> Eq (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a forall internalRef externalRef internalOwner externalOwner. Eq externalOwner => RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Bool /= :: RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Bool $c/= :: forall internalRef externalRef internalOwner externalOwner. Eq externalOwner => RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Bool == :: RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Bool $c== :: forall internalRef externalRef internalOwner externalOwner. Eq externalOwner => RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Bool Std_.Eq ,(forall x. RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) x) -> (forall x. Rep (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) x -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner) -> Generic (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) forall x. Rep (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) x -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner forall x. RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a forall internalRef externalRef internalOwner externalOwner x. Rep (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) x -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner forall internalRef externalRef internalOwner externalOwner x. RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) x $cto :: forall internalRef externalRef internalOwner externalOwner x. Rep (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) x -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner $cfrom :: forall internalRef externalRef internalOwner externalOwner x. RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Rep (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) x Generics.Generic) instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner))) => (Default.Default (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) where def :: RealmGateway'export'params internalRef externalRef internalOwner externalOwner def = RealmGateway'export'params internalRef externalRef internalOwner externalOwner forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a GenHelpersPure.defaultStruct instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner))) => (Classes.FromStruct Message.Const (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) where fromStruct :: Struct 'Const -> m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) fromStruct Struct 'Const struct = ((Struct 'Const -> m (RealmGateway'export'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const) forall (mut :: Mutability) a (m :: * -> *). (FromStruct mut a, ReadCtx m mut) => Struct mut -> m a Classes.fromStruct Struct 'Const struct) m (RealmGateway'export'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const) -> (RealmGateway'export'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const -> m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) -> m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= RealmGateway'export'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const -> m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) forall a (m :: * -> *). (Decerialize a, ReadCtx m 'Const) => Cerial 'Const a -> m a Classes.decerialize) instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner))) => (Classes.Decerialize (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) where type Cerial msg (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) = (Capnp.Gen.ById.Xb8630836983feed7.RealmGateway'export'params (Classes.Cerial msg internalRef) (Classes.Cerial msg externalRef) (Classes.Cerial msg internalOwner) (Classes.Cerial msg externalOwner) msg) decerialize :: Cerial 'Const (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) -> m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) decerialize Cerial 'Const (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) raw = (Persistent internalRef internalOwner -> Persistent'SaveParams externalRef externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner forall internalRef externalRef internalOwner externalOwner. Persistent internalRef internalOwner -> Persistent'SaveParams externalRef externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner RealmGateway'export'params (Persistent internalRef internalOwner -> Persistent'SaveParams externalRef externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner) -> m (Persistent internalRef internalOwner) -> m (Persistent'SaveParams externalRef externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> ((RealmGateway'export'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const -> m (Persistent (Cerial 'Const internalRef) (Cerial 'Const internalOwner) 'Const) forall (m :: * -> *) (msg :: Mutability) internalRef internalOwner externalRef externalOwner. (ReadCtx m msg, FromPtr msg (Persistent internalRef internalOwner msg)) => RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg -> m (Persistent internalRef internalOwner msg) Capnp.Gen.ById.Xb8630836983feed7.get_RealmGateway'export'params'cap Cerial 'Const (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) RealmGateway'export'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const raw) m (Persistent (Cerial 'Const internalRef) (Cerial 'Const internalOwner) 'Const) -> (Persistent (Cerial 'Const internalRef) (Cerial 'Const internalOwner) 'Const -> m (Persistent internalRef internalOwner)) -> m (Persistent internalRef internalOwner) forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= Persistent (Cerial 'Const internalRef) (Cerial 'Const internalOwner) 'Const -> m (Persistent internalRef internalOwner) forall a (m :: * -> *). (Decerialize a, ReadCtx m 'Const) => Cerial 'Const a -> m a Classes.decerialize) m (Persistent'SaveParams externalRef externalOwner -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner) -> m (Persistent'SaveParams externalRef externalOwner) -> m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b <*> ((RealmGateway'export'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const -> m (Persistent'SaveParams (Cerial 'Const externalRef) (Cerial 'Const externalOwner) 'Const) forall (m :: * -> *) (msg :: Mutability) externalRef externalOwner internalRef internalOwner. (ReadCtx m msg, FromPtr msg (Persistent'SaveParams externalRef externalOwner msg)) => RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg -> m (Persistent'SaveParams externalRef externalOwner msg) Capnp.Gen.ById.Xb8630836983feed7.get_RealmGateway'export'params'params Cerial 'Const (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) RealmGateway'export'params (Cerial 'Const internalRef) (Cerial 'Const externalRef) (Cerial 'Const internalOwner) (Cerial 'Const externalOwner) 'Const raw) m (Persistent'SaveParams (Cerial 'Const externalRef) (Cerial 'Const externalOwner) 'Const) -> (Persistent'SaveParams (Cerial 'Const externalRef) (Cerial 'Const externalOwner) 'Const -> m (Persistent'SaveParams externalRef externalOwner)) -> m (Persistent'SaveParams externalRef externalOwner) forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= Persistent'SaveParams (Cerial 'Const externalRef) (Cerial 'Const externalOwner) 'Const -> m (Persistent'SaveParams externalRef externalOwner) forall a (m :: * -> *). (Decerialize a, ReadCtx m 'Const) => Cerial 'Const a -> m a Classes.decerialize)) instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Marshal s (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) where marshalInto :: Cerial ('Mut s) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) -> RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> m () marshalInto Cerial ('Mut s) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) raw_ RealmGateway'export'params internalRef externalRef internalOwner externalOwner value_ = case RealmGateway'export'params internalRef externalRef internalOwner externalOwner value_ of RealmGateway'export'params{Persistent'SaveParams externalRef externalOwner Persistent internalRef internalOwner params :: Persistent'SaveParams externalRef externalOwner cap :: Persistent internalRef internalOwner $sel:params:RealmGateway'export'params :: forall internalRef externalRef internalOwner externalOwner. RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Persistent'SaveParams externalRef externalOwner $sel:cap:RealmGateway'export'params :: forall internalRef externalRef internalOwner externalOwner. RealmGateway'export'params internalRef externalRef internalOwner externalOwner -> Persistent internalRef internalOwner ..} -> (do ((Message ('Mut s) -> Persistent internalRef internalOwner -> m (Cerial ('Mut s) (Persistent internalRef internalOwner)) forall s a (m :: * -> *). (Cerialize s a, RWCtx m s) => Message ('Mut s) -> a -> m (Cerial ('Mut s) a) Classes.cerialize (RealmGateway'export'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) -> Message ('Mut s) forall a (mut :: Mutability). HasMessage a mut => a -> Message mut Untyped.message Cerial ('Mut s) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) RealmGateway'export'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) raw_) Persistent internalRef internalOwner cap) m (Persistent (Cerial ('Mut s) internalRef) (Cerial ('Mut s) internalOwner) ('Mut s)) -> (Persistent (Cerial ('Mut s) internalRef) (Cerial ('Mut s) internalOwner) ('Mut s) -> m ()) -> m () forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= (RealmGateway'export'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) -> Persistent (Cerial ('Mut s) internalRef) (Cerial ('Mut s) internalOwner) ('Mut s) -> m () forall (m :: * -> *) s internalRef internalOwner externalRef externalOwner. (RWCtx m s, ToPtr s (Persistent internalRef internalOwner ('Mut s))) => RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s) -> Persistent internalRef internalOwner ('Mut s) -> m () Capnp.Gen.ById.Xb8630836983feed7.set_RealmGateway'export'params'cap Cerial ('Mut s) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) RealmGateway'export'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) raw_)) ((Message ('Mut s) -> Persistent'SaveParams externalRef externalOwner -> m (Cerial ('Mut s) (Persistent'SaveParams externalRef externalOwner)) forall s a (m :: * -> *). (Cerialize s a, RWCtx m s) => Message ('Mut s) -> a -> m (Cerial ('Mut s) a) Classes.cerialize (RealmGateway'export'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) -> Message ('Mut s) forall a (mut :: Mutability). HasMessage a mut => a -> Message mut Untyped.message Cerial ('Mut s) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) RealmGateway'export'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) raw_) Persistent'SaveParams externalRef externalOwner params) m (Persistent'SaveParams (Cerial ('Mut s) externalRef) (Cerial ('Mut s) externalOwner) ('Mut s)) -> (Persistent'SaveParams (Cerial ('Mut s) externalRef) (Cerial ('Mut s) externalOwner) ('Mut s) -> m ()) -> m () forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b >>= (RealmGateway'export'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) -> Persistent'SaveParams (Cerial ('Mut s) externalRef) (Cerial ('Mut s) externalOwner) ('Mut s) -> m () forall (m :: * -> *) s externalRef externalOwner internalRef internalOwner. (RWCtx m s, ToPtr s (Persistent'SaveParams externalRef externalOwner ('Mut s))) => RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s) -> Persistent'SaveParams externalRef externalOwner ('Mut s) -> m () Capnp.Gen.ById.Xb8630836983feed7.set_RealmGateway'export'params'params Cerial ('Mut s) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) RealmGateway'export'params (Cerial ('Mut s) internalRef) (Cerial ('Mut s) externalRef) (Cerial ('Mut s) internalOwner) (Cerial ('Mut s) externalOwner) ('Mut s) raw_)) (() -> m () forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure ()) ) instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))) where cerialize :: Message ('Mut s) -> Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) -> m (Cerial ('Mut s) (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))) cerialize = Message ('Mut s) -> Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) -> m (Cerial ('Mut s) (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeCompositeVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))) where cerialize :: Message ('Mut s) -> Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) -> m (Cerial ('Mut s) (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))) cerialize = Message ('Mut s) -> Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) -> m (Cerial ('Mut s) (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec instance ((Classes.Decerialize internalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalRef)) ,(Classes.Decerialize externalRef) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalRef)) ,(Classes.Decerialize internalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const internalOwner)) ,(Classes.Decerialize externalOwner) ,(Classes.FromPtr Message.Const (Classes.Cerial Message.Const externalOwner)) ,(Classes.Cerialize s internalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalRef)) ,(Classes.Cerialize s externalRef) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalRef)) ,(Classes.Cerialize s internalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) internalOwner)) ,(Classes.Cerialize s externalOwner) ,(Classes.ToPtr s (Classes.Cerial (Message.Mut s) externalOwner))) => (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))))) where cerialize :: Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))))) cerialize = Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector (Vector (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))))))))) forall (m :: * -> *) s a. (RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) => Message ('Mut s) -> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a)) GenHelpersPure.cerializeBasicVec