{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-dodgy-exports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-orphans #-}
module Capnp.Gen.Capnp.RpcTwoparty.Pure(Capnp.Gen.ById.Xa184c7885cdaf2a1.Side(..)
                                       ,VatId(..)
                                       ,ProvisionId(..)
                                       ,RecipientId(..)
                                       ,ThirdPartyCapId(..)
                                       ,JoinKeyPart(..)
                                       ,JoinResult(..)) where
import qualified Capnp.GenHelpers.ReExports.Data.Vector as V
import qualified Capnp.GenHelpers.ReExports.Data.Text as T
import qualified Capnp.GenHelpers.ReExports.Data.ByteString as BS
import qualified Capnp.GenHelpers.ReExports.Data.Default as Default
import qualified GHC.Generics as Generics
import qualified Control.Monad.IO.Class as MonadIO
import qualified Capnp.Untyped.Pure as UntypedPure
import qualified Capnp.Untyped as Untyped
import qualified Capnp.Message as Message
import qualified Capnp.Classes as Classes
import qualified Capnp.Basics.Pure as BasicsPure
import qualified Capnp.GenHelpers.Pure as GenHelpersPure
import qualified Capnp.Gen.ById.Xa184c7885cdaf2a1
import qualified Prelude as Std_
import qualified Data.Word as Std_
import qualified Data.Int as Std_
import Prelude ((<$>), (<*>), (>>=))
data VatId 
    = VatId 
        {VatId -> Side
side :: Capnp.Gen.ById.Xa184c7885cdaf2a1.Side}
    deriving(Int -> VatId -> ShowS
[VatId] -> ShowS
VatId -> String
(Int -> VatId -> ShowS)
-> (VatId -> String) -> ([VatId] -> ShowS) -> Show VatId
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [VatId] -> ShowS
$cshowList :: [VatId] -> ShowS
show :: VatId -> String
$cshow :: VatId -> String
showsPrec :: Int -> VatId -> ShowS
$cshowsPrec :: Int -> VatId -> ShowS
Std_.Show
            ,VatId -> VatId -> Bool
(VatId -> VatId -> Bool) -> (VatId -> VatId -> Bool) -> Eq VatId
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: VatId -> VatId -> Bool
$c/= :: VatId -> VatId -> Bool
== :: VatId -> VatId -> Bool
$c== :: VatId -> VatId -> Bool
Std_.Eq
            ,(forall x. VatId -> Rep VatId x)
-> (forall x. Rep VatId x -> VatId) -> Generic VatId
forall x. Rep VatId x -> VatId
forall x. VatId -> Rep VatId x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep VatId x -> VatId
$cfrom :: forall x. VatId -> Rep VatId x
Generics.Generic)
instance (Default.Default (VatId)) where
    def :: VatId
def  = VatId
forall a.
(Decerialize a, FromStruct ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (VatId)) where
    fromStruct :: Struct ConstMsg -> m VatId
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (VatId ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (VatId ConstMsg) -> (VatId ConstMsg -> m VatId) -> m VatId
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= VatId ConstMsg -> m VatId
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (VatId)) where
    type Cerial msg (VatId) = (Capnp.Gen.ById.Xa184c7885cdaf2a1.VatId msg)
    decerialize :: Cerial ConstMsg VatId -> m VatId
decerialize Cerial ConstMsg VatId
raw = (Side -> VatId
VatId (Side -> VatId) -> m Side -> m VatId
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (VatId ConstMsg -> m Side
forall (m :: * -> *) msg. ReadCtx m msg => VatId msg -> m Side
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_VatId'side Cerial ConstMsg VatId
VatId ConstMsg
raw))
instance (Classes.Marshal s (VatId)) where
    marshalInto :: Cerial (MutMsg s) VatId -> VatId -> m ()
marshalInto Cerial (MutMsg s) VatId
raw_ VatId
value_ = case VatId
value_ of
        VatId{Side
side :: Side
$sel:side:VatId :: VatId -> Side
..} ->
            (do
                (VatId (MutMsg s) -> Side -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
VatId (MutMsg s) -> Side -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_VatId'side Cerial (MutMsg s) VatId
VatId (MutMsg s)
raw_ Side
side)
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s (VatId))
instance (Classes.Cerialize s (V.Vector (VatId))) where
    cerialize :: MutMsg s -> Vector VatId -> m (Cerial (MutMsg s) (Vector VatId))
cerialize  = MutMsg s -> Vector VatId -> m (Cerial (MutMsg s) (Vector VatId))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (VatId)))) where
    cerialize :: MutMsg s
-> Vector (Vector VatId)
-> m (Cerial (MutMsg s) (Vector (Vector VatId)))
cerialize  = MutMsg s
-> Vector (Vector VatId)
-> m (Cerial (MutMsg s) (Vector (Vector VatId)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (VatId))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector VatId))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector VatId))))
cerialize  = MutMsg s
-> Vector (Vector (Vector VatId))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector VatId))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (VatId)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector VatId)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector VatId)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector VatId)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector VatId)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (VatId))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector VatId))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector VatId))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector VatId))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector VatId))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (VatId)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector VatId)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector VatId)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (VatId))))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
data ProvisionId 
    = ProvisionId 
        {ProvisionId -> Word32
joinId :: Std_.Word32}
    deriving(Int -> ProvisionId -> ShowS
[ProvisionId] -> ShowS
ProvisionId -> String
(Int -> ProvisionId -> ShowS)
-> (ProvisionId -> String)
-> ([ProvisionId] -> ShowS)
-> Show ProvisionId
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [ProvisionId] -> ShowS
$cshowList :: [ProvisionId] -> ShowS
show :: ProvisionId -> String
$cshow :: ProvisionId -> String
showsPrec :: Int -> ProvisionId -> ShowS
$cshowsPrec :: Int -> ProvisionId -> ShowS
Std_.Show
            ,ProvisionId -> ProvisionId -> Bool
(ProvisionId -> ProvisionId -> Bool)
-> (ProvisionId -> ProvisionId -> Bool) -> Eq ProvisionId
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: ProvisionId -> ProvisionId -> Bool
$c/= :: ProvisionId -> ProvisionId -> Bool
== :: ProvisionId -> ProvisionId -> Bool
$c== :: ProvisionId -> ProvisionId -> Bool
Std_.Eq
            ,(forall x. ProvisionId -> Rep ProvisionId x)
-> (forall x. Rep ProvisionId x -> ProvisionId)
-> Generic ProvisionId
forall x. Rep ProvisionId x -> ProvisionId
forall x. ProvisionId -> Rep ProvisionId x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep ProvisionId x -> ProvisionId
$cfrom :: forall x. ProvisionId -> Rep ProvisionId x
Generics.Generic)
instance (Default.Default (ProvisionId)) where
    def :: ProvisionId
def  = ProvisionId
forall a.
(Decerialize a, FromStruct ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (ProvisionId)) where
    fromStruct :: Struct ConstMsg -> m ProvisionId
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (ProvisionId ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (ProvisionId ConstMsg)
-> (ProvisionId ConstMsg -> m ProvisionId) -> m ProvisionId
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= ProvisionId ConstMsg -> m ProvisionId
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (ProvisionId)) where
    type Cerial msg (ProvisionId) = (Capnp.Gen.ById.Xa184c7885cdaf2a1.ProvisionId msg)
    decerialize :: Cerial ConstMsg ProvisionId -> m ProvisionId
decerialize Cerial ConstMsg ProvisionId
raw = (Word32 -> ProvisionId
ProvisionId (Word32 -> ProvisionId) -> m Word32 -> m ProvisionId
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (ProvisionId ConstMsg -> m Word32
forall (m :: * -> *) msg.
ReadCtx m msg =>
ProvisionId msg -> m Word32
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_ProvisionId'joinId Cerial ConstMsg ProvisionId
ProvisionId ConstMsg
raw))
instance (Classes.Marshal s (ProvisionId)) where
    marshalInto :: Cerial (MutMsg s) ProvisionId -> ProvisionId -> m ()
marshalInto Cerial (MutMsg s) ProvisionId
raw_ ProvisionId
value_ = case ProvisionId
value_ of
        ProvisionId{Word32
joinId :: Word32
$sel:joinId:ProvisionId :: ProvisionId -> Word32
..} ->
            (do
                (ProvisionId (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
ProvisionId (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_ProvisionId'joinId Cerial (MutMsg s) ProvisionId
ProvisionId (MutMsg s)
raw_ Word32
joinId)
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s (ProvisionId))
instance (Classes.Cerialize s (V.Vector (ProvisionId))) where
    cerialize :: MutMsg s
-> Vector ProvisionId -> m (Cerial (MutMsg s) (Vector ProvisionId))
cerialize  = MutMsg s
-> Vector ProvisionId -> m (Cerial (MutMsg s) (Vector ProvisionId))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (ProvisionId)))) where
    cerialize :: MutMsg s
-> Vector (Vector ProvisionId)
-> m (Cerial (MutMsg s) (Vector (Vector ProvisionId)))
cerialize  = MutMsg s
-> Vector (Vector ProvisionId)
-> m (Cerial (MutMsg s) (Vector (Vector ProvisionId)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (ProvisionId))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector ProvisionId))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector ProvisionId))))
cerialize  = MutMsg s
-> Vector (Vector (Vector ProvisionId))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector ProvisionId))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (ProvisionId)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector ProvisionId)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector ProvisionId)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector ProvisionId)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector ProvisionId)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (ProvisionId))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector ProvisionId))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector ProvisionId))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector ProvisionId))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector ProvisionId))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (ProvisionId)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (ProvisionId))))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
data RecipientId 
    = RecipientId 
        {}
    deriving(Int -> RecipientId -> ShowS
[RecipientId] -> ShowS
RecipientId -> String
(Int -> RecipientId -> ShowS)
-> (RecipientId -> String)
-> ([RecipientId] -> ShowS)
-> Show RecipientId
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [RecipientId] -> ShowS
$cshowList :: [RecipientId] -> ShowS
show :: RecipientId -> String
$cshow :: RecipientId -> String
showsPrec :: Int -> RecipientId -> ShowS
$cshowsPrec :: Int -> RecipientId -> ShowS
Std_.Show
            ,RecipientId -> RecipientId -> Bool
(RecipientId -> RecipientId -> Bool)
-> (RecipientId -> RecipientId -> Bool) -> Eq RecipientId
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: RecipientId -> RecipientId -> Bool
$c/= :: RecipientId -> RecipientId -> Bool
== :: RecipientId -> RecipientId -> Bool
$c== :: RecipientId -> RecipientId -> Bool
Std_.Eq
            ,(forall x. RecipientId -> Rep RecipientId x)
-> (forall x. Rep RecipientId x -> RecipientId)
-> Generic RecipientId
forall x. Rep RecipientId x -> RecipientId
forall x. RecipientId -> Rep RecipientId x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep RecipientId x -> RecipientId
$cfrom :: forall x. RecipientId -> Rep RecipientId x
Generics.Generic)
instance (Default.Default (RecipientId)) where
    def :: RecipientId
def  = RecipientId
forall a.
(Decerialize a, FromStruct ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (RecipientId)) where
    fromStruct :: Struct ConstMsg -> m RecipientId
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (RecipientId ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (RecipientId ConstMsg)
-> (RecipientId ConstMsg -> m RecipientId) -> m RecipientId
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= RecipientId ConstMsg -> m RecipientId
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (RecipientId)) where
    type Cerial msg (RecipientId) = (Capnp.Gen.ById.Xa184c7885cdaf2a1.RecipientId msg)
    decerialize :: Cerial ConstMsg RecipientId -> m RecipientId
decerialize Cerial ConstMsg RecipientId
raw = (RecipientId -> m RecipientId
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure RecipientId
RecipientId)
instance (Classes.Marshal s (RecipientId)) where
    marshalInto :: Cerial (MutMsg s) RecipientId -> RecipientId -> m ()
marshalInto Cerial (MutMsg s) RecipientId
raw_ RecipientId
value_ = case RecipientId
value_ of
        (RecipientId
RecipientId) ->
            (do
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s (RecipientId))
instance (Classes.Cerialize s (V.Vector (RecipientId))) where
    cerialize :: MutMsg s
-> Vector RecipientId -> m (Cerial (MutMsg s) (Vector RecipientId))
cerialize  = MutMsg s
-> Vector RecipientId -> m (Cerial (MutMsg s) (Vector RecipientId))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (RecipientId)))) where
    cerialize :: MutMsg s
-> Vector (Vector RecipientId)
-> m (Cerial (MutMsg s) (Vector (Vector RecipientId)))
cerialize  = MutMsg s
-> Vector (Vector RecipientId)
-> m (Cerial (MutMsg s) (Vector (Vector RecipientId)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (RecipientId))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector RecipientId))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector RecipientId))))
cerialize  = MutMsg s
-> Vector (Vector (Vector RecipientId))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector RecipientId))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (RecipientId)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector RecipientId)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector RecipientId)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector RecipientId)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector RecipientId)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (RecipientId))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector RecipientId))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector RecipientId))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector RecipientId))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector RecipientId))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (RecipientId)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (RecipientId))))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
data ThirdPartyCapId 
    = ThirdPartyCapId 
        {}
    deriving(Int -> ThirdPartyCapId -> ShowS
[ThirdPartyCapId] -> ShowS
ThirdPartyCapId -> String
(Int -> ThirdPartyCapId -> ShowS)
-> (ThirdPartyCapId -> String)
-> ([ThirdPartyCapId] -> ShowS)
-> Show ThirdPartyCapId
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [ThirdPartyCapId] -> ShowS
$cshowList :: [ThirdPartyCapId] -> ShowS
show :: ThirdPartyCapId -> String
$cshow :: ThirdPartyCapId -> String
showsPrec :: Int -> ThirdPartyCapId -> ShowS
$cshowsPrec :: Int -> ThirdPartyCapId -> ShowS
Std_.Show
            ,ThirdPartyCapId -> ThirdPartyCapId -> Bool
(ThirdPartyCapId -> ThirdPartyCapId -> Bool)
-> (ThirdPartyCapId -> ThirdPartyCapId -> Bool)
-> Eq ThirdPartyCapId
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: ThirdPartyCapId -> ThirdPartyCapId -> Bool
$c/= :: ThirdPartyCapId -> ThirdPartyCapId -> Bool
== :: ThirdPartyCapId -> ThirdPartyCapId -> Bool
$c== :: ThirdPartyCapId -> ThirdPartyCapId -> Bool
Std_.Eq
            ,(forall x. ThirdPartyCapId -> Rep ThirdPartyCapId x)
-> (forall x. Rep ThirdPartyCapId x -> ThirdPartyCapId)
-> Generic ThirdPartyCapId
forall x. Rep ThirdPartyCapId x -> ThirdPartyCapId
forall x. ThirdPartyCapId -> Rep ThirdPartyCapId x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep ThirdPartyCapId x -> ThirdPartyCapId
$cfrom :: forall x. ThirdPartyCapId -> Rep ThirdPartyCapId x
Generics.Generic)
instance (Default.Default (ThirdPartyCapId)) where
    def :: ThirdPartyCapId
def  = ThirdPartyCapId
forall a.
(Decerialize a, FromStruct ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (ThirdPartyCapId)) where
    fromStruct :: Struct ConstMsg -> m ThirdPartyCapId
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (ThirdPartyCapId ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (ThirdPartyCapId ConstMsg)
-> (ThirdPartyCapId ConstMsg -> m ThirdPartyCapId)
-> m ThirdPartyCapId
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= ThirdPartyCapId ConstMsg -> m ThirdPartyCapId
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (ThirdPartyCapId)) where
    type Cerial msg (ThirdPartyCapId) = (Capnp.Gen.ById.Xa184c7885cdaf2a1.ThirdPartyCapId msg)
    decerialize :: Cerial ConstMsg ThirdPartyCapId -> m ThirdPartyCapId
decerialize Cerial ConstMsg ThirdPartyCapId
raw = (ThirdPartyCapId -> m ThirdPartyCapId
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ThirdPartyCapId
ThirdPartyCapId)
instance (Classes.Marshal s (ThirdPartyCapId)) where
    marshalInto :: Cerial (MutMsg s) ThirdPartyCapId -> ThirdPartyCapId -> m ()
marshalInto Cerial (MutMsg s) ThirdPartyCapId
raw_ ThirdPartyCapId
value_ = case ThirdPartyCapId
value_ of
        (ThirdPartyCapId
ThirdPartyCapId) ->
            (do
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s (ThirdPartyCapId))
instance (Classes.Cerialize s (V.Vector (ThirdPartyCapId))) where
    cerialize :: MutMsg s
-> Vector ThirdPartyCapId
-> m (Cerial (MutMsg s) (Vector ThirdPartyCapId))
cerialize  = MutMsg s
-> Vector ThirdPartyCapId
-> m (Cerial (MutMsg s) (Vector ThirdPartyCapId))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (ThirdPartyCapId)))) where
    cerialize :: MutMsg s
-> Vector (Vector ThirdPartyCapId)
-> m (Cerial (MutMsg s) (Vector (Vector ThirdPartyCapId)))
cerialize  = MutMsg s
-> Vector (Vector ThirdPartyCapId)
-> m (Cerial (MutMsg s) (Vector (Vector ThirdPartyCapId)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (ThirdPartyCapId))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector ThirdPartyCapId))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector ThirdPartyCapId))))
cerialize  = MutMsg s
-> Vector (Vector (Vector ThirdPartyCapId))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector ThirdPartyCapId))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (ThirdPartyCapId)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector ThirdPartyCapId)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector ThirdPartyCapId)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector ThirdPartyCapId)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector ThirdPartyCapId)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (ThirdPartyCapId))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (ThirdPartyCapId)))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (ThirdPartyCapId))))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))))
cerialize  = MutMsg s
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
data JoinKeyPart 
    = JoinKeyPart 
        {JoinKeyPart -> Word32
joinId :: Std_.Word32
        ,JoinKeyPart -> Word16
partCount :: Std_.Word16
        ,JoinKeyPart -> Word16
partNum :: Std_.Word16}
    deriving(Int -> JoinKeyPart -> ShowS
[JoinKeyPart] -> ShowS
JoinKeyPart -> String
(Int -> JoinKeyPart -> ShowS)
-> (JoinKeyPart -> String)
-> ([JoinKeyPart] -> ShowS)
-> Show JoinKeyPart
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [JoinKeyPart] -> ShowS
$cshowList :: [JoinKeyPart] -> ShowS
show :: JoinKeyPart -> String
$cshow :: JoinKeyPart -> String
showsPrec :: Int -> JoinKeyPart -> ShowS
$cshowsPrec :: Int -> JoinKeyPart -> ShowS
Std_.Show
            ,JoinKeyPart -> JoinKeyPart -> Bool
(JoinKeyPart -> JoinKeyPart -> Bool)
-> (JoinKeyPart -> JoinKeyPart -> Bool) -> Eq JoinKeyPart
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: JoinKeyPart -> JoinKeyPart -> Bool
$c/= :: JoinKeyPart -> JoinKeyPart -> Bool
== :: JoinKeyPart -> JoinKeyPart -> Bool
$c== :: JoinKeyPart -> JoinKeyPart -> Bool
Std_.Eq
            ,(forall x. JoinKeyPart -> Rep JoinKeyPart x)
-> (forall x. Rep JoinKeyPart x -> JoinKeyPart)
-> Generic JoinKeyPart
forall x. Rep JoinKeyPart x -> JoinKeyPart
forall x. JoinKeyPart -> Rep JoinKeyPart x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep JoinKeyPart x -> JoinKeyPart
$cfrom :: forall x. JoinKeyPart -> Rep JoinKeyPart x
Generics.Generic)
instance (Default.Default (JoinKeyPart)) where
    def :: JoinKeyPart
def  = JoinKeyPart
forall a.
(Decerialize a, FromStruct ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (JoinKeyPart)) where
    fromStruct :: Struct ConstMsg -> m JoinKeyPart
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (JoinKeyPart ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (JoinKeyPart ConstMsg)
-> (JoinKeyPart ConstMsg -> m JoinKeyPart) -> m JoinKeyPart
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= JoinKeyPart ConstMsg -> m JoinKeyPart
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (JoinKeyPart)) where
    type Cerial msg (JoinKeyPart) = (Capnp.Gen.ById.Xa184c7885cdaf2a1.JoinKeyPart msg)
    decerialize :: Cerial ConstMsg JoinKeyPart -> m JoinKeyPart
decerialize Cerial ConstMsg JoinKeyPart
raw = (Word32 -> Word16 -> Word16 -> JoinKeyPart
JoinKeyPart (Word32 -> Word16 -> Word16 -> JoinKeyPart)
-> m Word32 -> m (Word16 -> Word16 -> JoinKeyPart)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (JoinKeyPart ConstMsg -> m Word32
forall (m :: * -> *) msg.
ReadCtx m msg =>
JoinKeyPart msg -> m Word32
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinKeyPart'joinId Cerial ConstMsg JoinKeyPart
JoinKeyPart ConstMsg
raw)
                                   m (Word16 -> Word16 -> JoinKeyPart)
-> m Word16 -> m (Word16 -> JoinKeyPart)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (JoinKeyPart ConstMsg -> m Word16
forall (m :: * -> *) msg.
ReadCtx m msg =>
JoinKeyPart msg -> m Word16
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinKeyPart'partCount Cerial ConstMsg JoinKeyPart
JoinKeyPart ConstMsg
raw)
                                   m (Word16 -> JoinKeyPart) -> m Word16 -> m JoinKeyPart
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (JoinKeyPart ConstMsg -> m Word16
forall (m :: * -> *) msg.
ReadCtx m msg =>
JoinKeyPart msg -> m Word16
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinKeyPart'partNum Cerial ConstMsg JoinKeyPart
JoinKeyPart ConstMsg
raw))
instance (Classes.Marshal s (JoinKeyPart)) where
    marshalInto :: Cerial (MutMsg s) JoinKeyPart -> JoinKeyPart -> m ()
marshalInto Cerial (MutMsg s) JoinKeyPart
raw_ JoinKeyPart
value_ = case JoinKeyPart
value_ of
        JoinKeyPart{Word16
Word32
partNum :: Word16
partCount :: Word16
joinId :: Word32
$sel:partNum:JoinKeyPart :: JoinKeyPart -> Word16
$sel:partCount:JoinKeyPart :: JoinKeyPart -> Word16
$sel:joinId:JoinKeyPart :: JoinKeyPart -> Word32
..} ->
            (do
                (JoinKeyPart (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
JoinKeyPart (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinKeyPart'joinId Cerial (MutMsg s) JoinKeyPart
JoinKeyPart (MutMsg s)
raw_ Word32
joinId)
                (JoinKeyPart (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
JoinKeyPart (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinKeyPart'partCount Cerial (MutMsg s) JoinKeyPart
JoinKeyPart (MutMsg s)
raw_ Word16
partCount)
                (JoinKeyPart (MutMsg s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
JoinKeyPart (MutMsg s) -> Word16 -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinKeyPart'partNum Cerial (MutMsg s) JoinKeyPart
JoinKeyPart (MutMsg s)
raw_ Word16
partNum)
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s (JoinKeyPart))
instance (Classes.Cerialize s (V.Vector (JoinKeyPart))) where
    cerialize :: MutMsg s
-> Vector JoinKeyPart -> m (Cerial (MutMsg s) (Vector JoinKeyPart))
cerialize  = MutMsg s
-> Vector JoinKeyPart -> m (Cerial (MutMsg s) (Vector JoinKeyPart))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (JoinKeyPart)))) where
    cerialize :: MutMsg s
-> Vector (Vector JoinKeyPart)
-> m (Cerial (MutMsg s) (Vector (Vector JoinKeyPart)))
cerialize  = MutMsg s
-> Vector (Vector JoinKeyPart)
-> m (Cerial (MutMsg s) (Vector (Vector JoinKeyPart)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (JoinKeyPart))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector JoinKeyPart))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector JoinKeyPart))))
cerialize  = MutMsg s
-> Vector (Vector (Vector JoinKeyPart))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector JoinKeyPart))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (JoinKeyPart)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector JoinKeyPart)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector JoinKeyPart)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector JoinKeyPart)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector JoinKeyPart)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (JoinKeyPart))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector JoinKeyPart))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector JoinKeyPart))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (JoinKeyPart)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (JoinKeyPart))))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
data JoinResult 
    = JoinResult 
        {JoinResult -> Word32
joinId :: Std_.Word32
        ,JoinResult -> Bool
succeeded :: Std_.Bool
        ,JoinResult -> Maybe Ptr
cap :: (Std_.Maybe UntypedPure.Ptr)}
    deriving(Int -> JoinResult -> ShowS
[JoinResult] -> ShowS
JoinResult -> String
(Int -> JoinResult -> ShowS)
-> (JoinResult -> String)
-> ([JoinResult] -> ShowS)
-> Show JoinResult
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [JoinResult] -> ShowS
$cshowList :: [JoinResult] -> ShowS
show :: JoinResult -> String
$cshow :: JoinResult -> String
showsPrec :: Int -> JoinResult -> ShowS
$cshowsPrec :: Int -> JoinResult -> ShowS
Std_.Show
            ,JoinResult -> JoinResult -> Bool
(JoinResult -> JoinResult -> Bool)
-> (JoinResult -> JoinResult -> Bool) -> Eq JoinResult
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: JoinResult -> JoinResult -> Bool
$c/= :: JoinResult -> JoinResult -> Bool
== :: JoinResult -> JoinResult -> Bool
$c== :: JoinResult -> JoinResult -> Bool
Std_.Eq
            ,(forall x. JoinResult -> Rep JoinResult x)
-> (forall x. Rep JoinResult x -> JoinResult) -> Generic JoinResult
forall x. Rep JoinResult x -> JoinResult
forall x. JoinResult -> Rep JoinResult x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep JoinResult x -> JoinResult
$cfrom :: forall x. JoinResult -> Rep JoinResult x
Generics.Generic)
instance (Default.Default (JoinResult)) where
    def :: JoinResult
def  = JoinResult
forall a.
(Decerialize a, FromStruct ConstMsg (Cerial ConstMsg a)) =>
a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.ConstMsg (JoinResult)) where
    fromStruct :: Struct ConstMsg -> m JoinResult
fromStruct Struct ConstMsg
struct = ((Struct ConstMsg -> m (JoinResult ConstMsg)
forall msg a (m :: * -> *).
(FromStruct msg a, ReadCtx m msg) =>
Struct msg -> m a
Classes.fromStruct Struct ConstMsg
struct) m (JoinResult ConstMsg)
-> (JoinResult ConstMsg -> m JoinResult) -> m JoinResult
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= JoinResult ConstMsg -> m JoinResult
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize)
instance (Classes.Decerialize (JoinResult)) where
    type Cerial msg (JoinResult) = (Capnp.Gen.ById.Xa184c7885cdaf2a1.JoinResult msg)
    decerialize :: Cerial ConstMsg JoinResult -> m JoinResult
decerialize Cerial ConstMsg JoinResult
raw = (Word32 -> Bool -> Maybe Ptr -> JoinResult
JoinResult (Word32 -> Bool -> Maybe Ptr -> JoinResult)
-> m Word32 -> m (Bool -> Maybe Ptr -> JoinResult)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (JoinResult ConstMsg -> m Word32
forall (m :: * -> *) msg.
ReadCtx m msg =>
JoinResult msg -> m Word32
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinResult'joinId Cerial ConstMsg JoinResult
JoinResult ConstMsg
raw)
                                  m (Bool -> Maybe Ptr -> JoinResult)
-> m Bool -> m (Maybe Ptr -> JoinResult)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (JoinResult ConstMsg -> m Bool
forall (m :: * -> *) msg. ReadCtx m msg => JoinResult msg -> m Bool
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinResult'succeeded Cerial ConstMsg JoinResult
JoinResult ConstMsg
raw)
                                  m (Maybe Ptr -> JoinResult) -> m (Maybe Ptr) -> m JoinResult
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((JoinResult ConstMsg -> m (Maybe (Ptr ConstMsg))
forall (m :: * -> *) msg.
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
JoinResult msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinResult'cap Cerial ConstMsg JoinResult
JoinResult ConstMsg
raw) m (Maybe (Ptr ConstMsg))
-> (Maybe (Ptr ConstMsg) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr ConstMsg) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m ConstMsg) =>
Cerial ConstMsg a -> m a
Classes.decerialize))
instance (Classes.Marshal s (JoinResult)) where
    marshalInto :: Cerial (MutMsg s) JoinResult -> JoinResult -> m ()
marshalInto Cerial (MutMsg s) JoinResult
raw_ JoinResult
value_ = case JoinResult
value_ of
        JoinResult{Bool
Maybe Ptr
Word32
cap :: Maybe Ptr
succeeded :: Bool
joinId :: Word32
$sel:cap:JoinResult :: JoinResult -> Maybe Ptr
$sel:succeeded:JoinResult :: JoinResult -> Bool
$sel:joinId:JoinResult :: JoinResult -> Word32
..} ->
            (do
                (JoinResult (MutMsg s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
JoinResult (MutMsg s) -> Word32 -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinResult'joinId Cerial (MutMsg s) JoinResult
JoinResult (MutMsg s)
raw_ Word32
joinId)
                (JoinResult (MutMsg s) -> Bool -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
JoinResult (MutMsg s) -> Bool -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinResult'succeeded Cerial (MutMsg s) JoinResult
JoinResult (MutMsg s)
raw_ Bool
succeeded)
                ((MutMsg s -> Maybe Ptr -> m (Cerial (MutMsg s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
MutMsg s -> a -> m (Cerial (MutMsg s) a)
Classes.cerialize (JoinResult (MutMsg s) -> InMessage (JoinResult (MutMsg s))
forall a. HasMessage a => a -> InMessage a
Untyped.message Cerial (MutMsg s) JoinResult
JoinResult (MutMsg s)
raw_) Maybe Ptr
cap) m (Maybe (Ptr (MutMsg s)))
-> (Maybe (Ptr (MutMsg s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (JoinResult (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr (MutMsg s)))) =>
JoinResult (MutMsg s) -> Maybe (Ptr (MutMsg s)) -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinResult'cap Cerial (MutMsg s) JoinResult
JoinResult (MutMsg s)
raw_))
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s (JoinResult))
instance (Classes.Cerialize s (V.Vector (JoinResult))) where
    cerialize :: MutMsg s
-> Vector JoinResult -> m (Cerial (MutMsg s) (Vector JoinResult))
cerialize  = MutMsg s
-> Vector JoinResult -> m (Cerial (MutMsg s) (Vector JoinResult))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Marshal s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector (JoinResult)))) where
    cerialize :: MutMsg s
-> Vector (Vector JoinResult)
-> m (Cerial (MutMsg s) (Vector (Vector JoinResult)))
cerialize  = MutMsg s
-> Vector (Vector JoinResult)
-> m (Cerial (MutMsg s) (Vector (Vector JoinResult)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (JoinResult))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector JoinResult))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector JoinResult))))
cerialize  = MutMsg s
-> Vector (Vector (Vector JoinResult))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector JoinResult))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (JoinResult)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector JoinResult)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector JoinResult)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector JoinResult)))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector JoinResult)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (JoinResult))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector JoinResult))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector JoinResult))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector JoinResult))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector JoinResult))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (JoinResult)))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (JoinResult))))))))) where
    cerialize :: MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))))
cerialize  = MutMsg s
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))
-> m (Cerial
        (MutMsg s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Decerialize Capnp.Gen.ById.Xa184c7885cdaf2a1.Side) where
    type Cerial msg Capnp.Gen.ById.Xa184c7885cdaf2a1.Side = Capnp.Gen.ById.Xa184c7885cdaf2a1.Side
    decerialize :: Cerial ConstMsg Side -> m Side
decerialize  = Cerial ConstMsg Side -> m Side
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure
instance (Classes.Cerialize s Capnp.Gen.ById.Xa184c7885cdaf2a1.Side) where
    cerialize :: MutMsg s -> Side -> m (Cerial (MutMsg s) Side)
cerialize MutMsg s
_ = Side -> m (Cerial (MutMsg s) Side)
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure
instance (Classes.Cerialize s (V.Vector Capnp.Gen.ById.Xa184c7885cdaf2a1.Side)) where
    cerialize :: MutMsg s -> Vector Side -> m (Cerial (MutMsg s) (Vector Side))
cerialize  = MutMsg s -> Vector Side -> m (Cerial (MutMsg s) (Vector Side))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector Capnp.Gen.ById.Xa184c7885cdaf2a1.Side))) where
    cerialize :: MutMsg s
-> Vector (Vector Side)
-> m (Cerial (MutMsg s) (Vector (Vector Side)))
cerialize  = MutMsg s
-> Vector (Vector Side)
-> m (Cerial (MutMsg s) (Vector (Vector Side)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xa184c7885cdaf2a1.Side)))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector Side))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Side))))
cerialize  = MutMsg s
-> Vector (Vector (Vector Side))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector Side))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xa184c7885cdaf2a1.Side))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector Side)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Side)))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector Side)))
-> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Side)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xa184c7885cdaf2a1.Side)))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector Side))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Side))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector Side))))
-> m (Cerial
        (MutMsg s) (Vector (Vector (Vector (Vector (Vector Side))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xa184c7885cdaf2a1.Side))))))) where
    cerialize :: MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Side)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Side)))))))
cerialize  = MutMsg s
-> Vector (Vector (Vector (Vector (Vector (Vector Side)))))
-> m (Cerial
        (MutMsg s)
        (Vector (Vector (Vector (Vector (Vector (Vector Side)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial (MutMsg s) a), Cerialize s a) =>
MutMsg s -> Vector a -> m (List (MutMsg s) (Cerial (MutMsg s) a))
Classes.cerializeBasicVec