{-# 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.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 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const VatId) where
    fromStruct :: Struct 'Const -> m VatId
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (VatId 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (VatId 'Const) -> (VatId 'Const -> m VatId) -> m VatId
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= VatId 'Const -> m VatId
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize VatId) where
    type Cerial msg VatId = (Capnp.Gen.ById.Xa184c7885cdaf2a1.VatId msg)
    decerialize :: Cerial 'Const VatId -> m VatId
decerialize Cerial 'Const VatId
raw = (Side -> VatId
VatId (Side -> VatId) -> m Side -> m VatId
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (VatId 'Const -> m Side
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
VatId msg -> m Side
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_VatId'side Cerial 'Const VatId
VatId 'Const
raw))
instance (Classes.Marshal s VatId) where
    marshalInto :: Cerial ('Mut s) VatId -> VatId -> m ()
marshalInto Cerial ('Mut s) VatId
raw_ VatId
value_ = case VatId
value_ of
        VatId{Side
side :: Side
$sel:side:VatId :: VatId -> Side
..} ->
            (do
                (VatId ('Mut s) -> Side -> m ()
forall (m :: * -> *) s. RWCtx m s => VatId ('Mut s) -> Side -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_VatId'side Cerial ('Mut s) VatId
VatId ('Mut 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 :: Message ('Mut s)
-> Vector VatId -> m (Cerial ('Mut s) (Vector VatId))
cerialize  = Message ('Mut s)
-> Vector VatId -> m (Cerial ('Mut s) (Vector VatId))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector VatId))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector VatId)
-> m (Cerial ('Mut s) (Vector (Vector VatId)))
cerialize  = Message ('Mut s)
-> Vector (Vector VatId)
-> m (Cerial ('Mut s) (Vector (Vector VatId)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector VatId)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector VatId))
-> m (Cerial ('Mut s) (Vector (Vector (Vector VatId))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector VatId))
-> m (Cerial ('Mut s) (Vector (Vector (Vector VatId))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector VatId))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector VatId)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector VatId)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector VatId)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector VatId)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector VatId)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector VatId))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector VatId))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector VatId))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector VatId))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector VatId))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector VatId)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector VatId)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector VatId)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector VatId)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector VatId))))))))
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 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 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const ProvisionId) where
    fromStruct :: Struct 'Const -> m ProvisionId
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (ProvisionId 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (ProvisionId 'Const)
-> (ProvisionId 'Const -> m ProvisionId) -> m ProvisionId
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= ProvisionId 'Const -> m ProvisionId
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize ProvisionId) where
    type Cerial msg ProvisionId = (Capnp.Gen.ById.Xa184c7885cdaf2a1.ProvisionId msg)
    decerialize :: Cerial 'Const ProvisionId -> m ProvisionId
decerialize Cerial 'Const ProvisionId
raw = (Word32 -> ProvisionId
ProvisionId (Word32 -> ProvisionId) -> m Word32 -> m ProvisionId
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (ProvisionId 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
ProvisionId msg -> m Word32
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_ProvisionId'joinId Cerial 'Const ProvisionId
ProvisionId 'Const
raw))
instance (Classes.Marshal s ProvisionId) where
    marshalInto :: Cerial ('Mut s) ProvisionId -> ProvisionId -> m ()
marshalInto Cerial ('Mut s) ProvisionId
raw_ ProvisionId
value_ = case ProvisionId
value_ of
        ProvisionId{Word32
joinId :: Word32
$sel:joinId:ProvisionId :: ProvisionId -> Word32
..} ->
            (do
                (ProvisionId ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
ProvisionId ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_ProvisionId'joinId Cerial ('Mut s) ProvisionId
ProvisionId ('Mut 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 :: Message ('Mut s)
-> Vector ProvisionId -> m (Cerial ('Mut s) (Vector ProvisionId))
cerialize  = Message ('Mut s)
-> Vector ProvisionId -> m (Cerial ('Mut s) (Vector ProvisionId))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector ProvisionId))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector ProvisionId)
-> m (Cerial ('Mut s) (Vector (Vector ProvisionId)))
cerialize  = Message ('Mut s)
-> Vector (Vector ProvisionId)
-> m (Cerial ('Mut s) (Vector (Vector ProvisionId)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector ProvisionId)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector ProvisionId))
-> m (Cerial ('Mut s) (Vector (Vector (Vector ProvisionId))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector ProvisionId))
-> m (Cerial ('Mut s) (Vector (Vector (Vector ProvisionId))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector ProvisionId))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector ProvisionId)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector ProvisionId)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector ProvisionId)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector ProvisionId)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector ProvisionId)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector ProvisionId))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector ProvisionId))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector ProvisionId))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector ProvisionId))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector ProvisionId))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector ProvisionId)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector ProvisionId))))))))
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 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 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const RecipientId) where
    fromStruct :: Struct 'Const -> m RecipientId
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (RecipientId 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (RecipientId 'Const)
-> (RecipientId 'Const -> m RecipientId) -> m RecipientId
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= RecipientId 'Const -> m RecipientId
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize RecipientId) where
    type Cerial msg RecipientId = (Capnp.Gen.ById.Xa184c7885cdaf2a1.RecipientId msg)
    decerialize :: Cerial 'Const RecipientId -> m RecipientId
decerialize Cerial 'Const 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 ('Mut s) RecipientId -> RecipientId -> m ()
marshalInto Cerial ('Mut 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 :: Message ('Mut s)
-> Vector RecipientId -> m (Cerial ('Mut s) (Vector RecipientId))
cerialize  = Message ('Mut s)
-> Vector RecipientId -> m (Cerial ('Mut s) (Vector RecipientId))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector RecipientId))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector RecipientId)
-> m (Cerial ('Mut s) (Vector (Vector RecipientId)))
cerialize  = Message ('Mut s)
-> Vector (Vector RecipientId)
-> m (Cerial ('Mut s) (Vector (Vector RecipientId)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector RecipientId)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector RecipientId))
-> m (Cerial ('Mut s) (Vector (Vector (Vector RecipientId))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector RecipientId))
-> m (Cerial ('Mut s) (Vector (Vector (Vector RecipientId))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector RecipientId))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector RecipientId)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector RecipientId)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector RecipientId)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector RecipientId)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector RecipientId)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector RecipientId))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector RecipientId))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector RecipientId))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector RecipientId))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector RecipientId))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector RecipientId)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector RecipientId)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector RecipientId))))))))
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 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 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const ThirdPartyCapId) where
    fromStruct :: Struct 'Const -> m ThirdPartyCapId
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (ThirdPartyCapId 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (ThirdPartyCapId 'Const)
-> (ThirdPartyCapId 'Const -> m ThirdPartyCapId)
-> m ThirdPartyCapId
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= ThirdPartyCapId 'Const -> m ThirdPartyCapId
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize ThirdPartyCapId) where
    type Cerial msg ThirdPartyCapId = (Capnp.Gen.ById.Xa184c7885cdaf2a1.ThirdPartyCapId msg)
    decerialize :: Cerial 'Const ThirdPartyCapId -> m ThirdPartyCapId
decerialize Cerial 'Const 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 ('Mut s) ThirdPartyCapId -> ThirdPartyCapId -> m ()
marshalInto Cerial ('Mut 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 :: Message ('Mut s)
-> Vector ThirdPartyCapId
-> m (Cerial ('Mut s) (Vector ThirdPartyCapId))
cerialize  = Message ('Mut s)
-> Vector ThirdPartyCapId
-> m (Cerial ('Mut s) (Vector ThirdPartyCapId))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector ThirdPartyCapId))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector ThirdPartyCapId)
-> m (Cerial ('Mut s) (Vector (Vector ThirdPartyCapId)))
cerialize  = Message ('Mut s)
-> Vector (Vector ThirdPartyCapId)
-> m (Cerial ('Mut s) (Vector (Vector ThirdPartyCapId)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector ThirdPartyCapId)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector ThirdPartyCapId))
-> m (Cerial ('Mut s) (Vector (Vector (Vector ThirdPartyCapId))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector ThirdPartyCapId))
-> m (Cerial ('Mut s) (Vector (Vector (Vector ThirdPartyCapId))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector ThirdPartyCapId))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector ThirdPartyCapId)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector ThirdPartyCapId)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector ThirdPartyCapId)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector ThirdPartyCapId)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector ThirdPartyCapId)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector ThirdPartyCapId))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector ThirdPartyCapId)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector ThirdPartyCapId))))))))
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 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 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const JoinKeyPart) where
    fromStruct :: Struct 'Const -> m JoinKeyPart
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (JoinKeyPart 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (JoinKeyPart 'Const)
-> (JoinKeyPart 'Const -> m JoinKeyPart) -> m JoinKeyPart
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= JoinKeyPart 'Const -> m JoinKeyPart
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize JoinKeyPart) where
    type Cerial msg JoinKeyPart = (Capnp.Gen.ById.Xa184c7885cdaf2a1.JoinKeyPart msg)
    decerialize :: Cerial 'Const JoinKeyPart -> m JoinKeyPart
decerialize Cerial 'Const 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 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
JoinKeyPart msg -> m Word32
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinKeyPart'joinId Cerial 'Const JoinKeyPart
JoinKeyPart 'Const
raw)
                                   m (Word16 -> Word16 -> JoinKeyPart)
-> m Word16 -> m (Word16 -> JoinKeyPart)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (JoinKeyPart 'Const -> m Word16
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
JoinKeyPart msg -> m Word16
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinKeyPart'partCount Cerial 'Const JoinKeyPart
JoinKeyPart 'Const
raw)
                                   m (Word16 -> JoinKeyPart) -> m Word16 -> m JoinKeyPart
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (JoinKeyPart 'Const -> m Word16
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
JoinKeyPart msg -> m Word16
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinKeyPart'partNum Cerial 'Const JoinKeyPart
JoinKeyPart 'Const
raw))
instance (Classes.Marshal s JoinKeyPart) where
    marshalInto :: Cerial ('Mut s) JoinKeyPart -> JoinKeyPart -> m ()
marshalInto Cerial ('Mut 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 ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
JoinKeyPart ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinKeyPart'joinId Cerial ('Mut s) JoinKeyPart
JoinKeyPart ('Mut s)
raw_ Word32
joinId)
                (JoinKeyPart ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
JoinKeyPart ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinKeyPart'partCount Cerial ('Mut s) JoinKeyPart
JoinKeyPart ('Mut s)
raw_ Word16
partCount)
                (JoinKeyPart ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
JoinKeyPart ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinKeyPart'partNum Cerial ('Mut s) JoinKeyPart
JoinKeyPart ('Mut 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 :: Message ('Mut s)
-> Vector JoinKeyPart -> m (Cerial ('Mut s) (Vector JoinKeyPart))
cerialize  = Message ('Mut s)
-> Vector JoinKeyPart -> m (Cerial ('Mut s) (Vector JoinKeyPart))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector JoinKeyPart))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector JoinKeyPart)
-> m (Cerial ('Mut s) (Vector (Vector JoinKeyPart)))
cerialize  = Message ('Mut s)
-> Vector (Vector JoinKeyPart)
-> m (Cerial ('Mut s) (Vector (Vector JoinKeyPart)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector JoinKeyPart)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector JoinKeyPart))
-> m (Cerial ('Mut s) (Vector (Vector (Vector JoinKeyPart))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector JoinKeyPart))
-> m (Cerial ('Mut s) (Vector (Vector (Vector JoinKeyPart))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector JoinKeyPart))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector JoinKeyPart)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector JoinKeyPart)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector JoinKeyPart)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector JoinKeyPart)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector JoinKeyPart)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector JoinKeyPart))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector JoinKeyPart))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector JoinKeyPart))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector JoinKeyPart)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector JoinKeyPart))))))))
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 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 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const JoinResult) where
    fromStruct :: Struct 'Const -> m JoinResult
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (JoinResult 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (JoinResult 'Const)
-> (JoinResult 'Const -> m JoinResult) -> m JoinResult
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= JoinResult 'Const -> m JoinResult
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize JoinResult) where
    type Cerial msg JoinResult = (Capnp.Gen.ById.Xa184c7885cdaf2a1.JoinResult msg)
    decerialize :: Cerial 'Const JoinResult -> m JoinResult
decerialize Cerial 'Const 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 'Const -> m Word32
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
JoinResult msg -> m Word32
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinResult'joinId Cerial 'Const JoinResult
JoinResult 'Const
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 'Const -> m Bool
forall (m :: * -> *) (msg :: Mutability).
ReadCtx m msg =>
JoinResult msg -> m Bool
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinResult'succeeded Cerial 'Const JoinResult
JoinResult 'Const
raw)
                                  m (Maybe Ptr -> JoinResult) -> m (Maybe Ptr) -> m JoinResult
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((JoinResult 'Const -> m (Maybe (Ptr 'Const))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Maybe (Ptr msg))) =>
JoinResult msg -> m (Maybe (Ptr msg))
Capnp.Gen.ById.Xa184c7885cdaf2a1.get_JoinResult'cap Cerial 'Const JoinResult
JoinResult 'Const
raw) m (Maybe (Ptr 'Const))
-> (Maybe (Ptr 'Const) -> m (Maybe Ptr)) -> m (Maybe Ptr)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Ptr 'Const) -> m (Maybe Ptr)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize))
instance (Classes.Marshal s JoinResult) where
    marshalInto :: Cerial ('Mut s) JoinResult -> JoinResult -> m ()
marshalInto Cerial ('Mut 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 ('Mut s) -> Word32 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
JoinResult ('Mut s) -> Word32 -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinResult'joinId Cerial ('Mut s) JoinResult
JoinResult ('Mut s)
raw_ Word32
joinId)
                (JoinResult ('Mut s) -> Bool -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
JoinResult ('Mut s) -> Bool -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinResult'succeeded Cerial ('Mut s) JoinResult
JoinResult ('Mut s)
raw_ Bool
succeeded)
                ((Message ('Mut s) -> Maybe Ptr -> m (Cerial ('Mut s) (Maybe Ptr))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (JoinResult ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) JoinResult
JoinResult ('Mut s)
raw_) Maybe Ptr
cap) m (Maybe (Ptr ('Mut s))) -> (Maybe (Ptr ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (JoinResult ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Maybe (Ptr ('Mut s)))) =>
JoinResult ('Mut s) -> Maybe (Ptr ('Mut s)) -> m ()
Capnp.Gen.ById.Xa184c7885cdaf2a1.set_JoinResult'cap Cerial ('Mut s) JoinResult
JoinResult ('Mut 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 :: Message ('Mut s)
-> Vector JoinResult -> m (Cerial ('Mut s) (Vector JoinResult))
cerialize  = Message ('Mut s)
-> Vector JoinResult -> m (Cerial ('Mut s) (Vector JoinResult))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector JoinResult))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector JoinResult)
-> m (Cerial ('Mut s) (Vector (Vector JoinResult)))
cerialize  = Message ('Mut s)
-> Vector (Vector JoinResult)
-> m (Cerial ('Mut s) (Vector (Vector JoinResult)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector JoinResult)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector JoinResult))
-> m (Cerial ('Mut s) (Vector (Vector (Vector JoinResult))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector JoinResult))
-> m (Cerial ('Mut s) (Vector (Vector (Vector JoinResult))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector JoinResult))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector JoinResult)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector JoinResult)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector JoinResult)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector JoinResult)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector JoinResult)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector JoinResult))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector JoinResult))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector JoinResult))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector JoinResult))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector JoinResult))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector JoinResult)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector JoinResult)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector JoinResult))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Decerialize Capnp.Gen.ById.Xa184c7885cdaf2a1.Side) where
    type Cerial msg Capnp.Gen.ById.Xa184c7885cdaf2a1.Side = Capnp.Gen.ById.Xa184c7885cdaf2a1.Side
    decerialize :: Cerial 'Const Side -> m Side
decerialize  = Cerial 'Const Side -> m Side
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure
instance (Classes.Cerialize s Capnp.Gen.ById.Xa184c7885cdaf2a1.Side) where
    cerialize :: Message ('Mut s) -> Side -> m (Cerial ('Mut s) Side)
cerialize Message ('Mut s)
_ = Side -> m (Cerial ('Mut 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 :: Message ('Mut s)
-> Vector Side -> m (Cerial ('Mut s) (Vector Side))
cerialize  = Message ('Mut s)
-> Vector Side -> m (Cerial ('Mut s) (Vector Side))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector Capnp.Gen.ById.Xa184c7885cdaf2a1.Side))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Side)
-> m (Cerial ('Mut s) (Vector (Vector Side)))
cerialize  = Message ('Mut s)
-> Vector (Vector Side)
-> m (Cerial ('Mut s) (Vector (Vector Side)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xa184c7885cdaf2a1.Side)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Side))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Side))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Side))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Side))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xa184c7885cdaf2a1.Side))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Side)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Side)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Side)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Side)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xa184c7885cdaf2a1.Side)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Side))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Side))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Side))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Side))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.Xa184c7885cdaf2a1.Side))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Side)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Side)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Side)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Side)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
Classes.cerializeBasicVec