{-# 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.Compat.Json.Pure(Value(..)
                                       ,Value'Field(..)
                                       ,Value'Call(..)
                                       ,FlattenOptions(..)
                                       ,DiscriminatorOptions(..)) 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.X8ef99297a43a5e34
import qualified Prelude as Std_
import qualified Data.Word as Std_
import qualified Data.Int as Std_
import Prelude ((<$>), (<*>), (>>=))
data Value 
    = Value'null 
    | Value'boolean Std_.Bool
    | Value'number Std_.Double
    | Value'string T.Text
    | Value'array (V.Vector Value)
    | Value'object (V.Vector Value'Field)
    | Value'call Value'Call
    | Value'unknown' Std_.Word16
    deriving(Int -> Value -> ShowS
[Value] -> ShowS
Value -> String
(Int -> Value -> ShowS)
-> (Value -> String) -> ([Value] -> ShowS) -> Show Value
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Value] -> ShowS
$cshowList :: [Value] -> ShowS
show :: Value -> String
$cshow :: Value -> String
showsPrec :: Int -> Value -> ShowS
$cshowsPrec :: Int -> Value -> ShowS
Std_.Show
            ,Value -> Value -> Bool
(Value -> Value -> Bool) -> (Value -> Value -> Bool) -> Eq Value
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Value -> Value -> Bool
$c/= :: Value -> Value -> Bool
== :: Value -> Value -> Bool
$c== :: Value -> Value -> Bool
Std_.Eq
            ,(forall x. Value -> Rep Value x)
-> (forall x. Rep Value x -> Value) -> Generic Value
forall x. Rep Value x -> Value
forall x. Value -> Rep Value x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Value x -> Value
$cfrom :: forall x. Value -> Rep Value x
Generics.Generic)
instance (Default.Default Value) where
    def :: Value
def  = Value
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Value) where
    fromStruct :: Struct 'Const -> m Value
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Value 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Value 'Const) -> (Value 'Const -> m Value) -> m Value
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Value 'Const -> m Value
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Value) where
    type Cerial msg Value = (Capnp.Gen.ById.X8ef99297a43a5e34.Value msg)
    decerialize :: Cerial 'Const Value -> m Value
decerialize Cerial 'Const Value
raw = (do
        Value' 'Const
raw <- (Value 'Const -> m (Value' 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromStruct msg (Value' msg)) =>
Value msg -> m (Value' msg)
Capnp.Gen.ById.X8ef99297a43a5e34.get_Value' Cerial 'Const Value
Value 'Const
raw)
        case Value' 'Const
raw of
            (Value' 'Const
Capnp.Gen.ById.X8ef99297a43a5e34.Value'null) ->
                (Value -> m Value
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure Value
Value'null)
            (Capnp.Gen.ById.X8ef99297a43a5e34.Value'boolean Bool
raw) ->
                (Value -> m Value
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Bool -> Value
Value'boolean Bool
raw))
            (Capnp.Gen.ById.X8ef99297a43a5e34.Value'number Double
raw) ->
                (Value -> m Value
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Double -> Value
Value'number Double
raw))
            (Capnp.Gen.ById.X8ef99297a43a5e34.Value'string Text 'Const
raw) ->
                (Text -> Value
Value'string (Text -> Value) -> m Text -> m Value
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Text -> m Text
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Text
Text 'Const
raw))
            (Capnp.Gen.ById.X8ef99297a43a5e34.Value'array List 'Const (Value 'Const)
raw) ->
                (Vector Value -> Value
Value'array (Vector Value -> Value) -> m (Vector Value) -> m Value
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const (Vector Value) -> m (Vector Value)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const (Vector Value)
List 'Const (Value 'Const)
raw))
            (Capnp.Gen.ById.X8ef99297a43a5e34.Value'object List 'Const (Value'Field 'Const)
raw) ->
                (Vector Value'Field -> Value
Value'object (Vector Value'Field -> Value) -> m (Vector Value'Field) -> m Value
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const (Vector Value'Field) -> m (Vector Value'Field)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const (Vector Value'Field)
List 'Const (Value'Field 'Const)
raw))
            (Capnp.Gen.ById.X8ef99297a43a5e34.Value'call Value'Call 'Const
raw) ->
                (Value'Call -> Value
Value'call (Value'Call -> Value) -> m Value'Call -> m Value
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Cerial 'Const Value'Call -> m Value'Call
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize Cerial 'Const Value'Call
Value'Call 'Const
raw))
            (Capnp.Gen.ById.X8ef99297a43a5e34.Value'unknown' Word16
tag) ->
                (Value -> m Value
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure (Word16 -> Value
Value'unknown' Word16
tag))
        )
instance (Classes.Marshal s Value) where
    marshalInto :: Cerial ('Mut s) Value -> Value -> m ()
marshalInto Cerial ('Mut s) Value
raw_ Value
value_ = case Value
value_ of
        (Value
Value'null) ->
            (Value ('Mut s) -> m ()
forall (m :: * -> *) s. RWCtx m s => Value ('Mut s) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'null Cerial ('Mut s) Value
Value ('Mut s)
raw_)
        (Value'boolean Bool
arg_) ->
            (Value ('Mut s) -> Bool -> m ()
forall (m :: * -> *) s. RWCtx m s => Value ('Mut s) -> Bool -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'boolean Cerial ('Mut s) Value
Value ('Mut s)
raw_ Bool
arg_)
        (Value'number Double
arg_) ->
            (Value ('Mut s) -> Double -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Value ('Mut s) -> Double -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'number Cerial ('Mut s) Value
Value ('Mut s)
raw_ Double
arg_)
        (Value'string Text
arg_) ->
            ((Message ('Mut s) -> Text -> m (Cerial ('Mut s) Text)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Value ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Value
Value ('Mut s)
raw_) Text
arg_) m (Text ('Mut s)) -> (Text ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Value ('Mut s) -> Text ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Text ('Mut s))) =>
Value ('Mut s) -> Text ('Mut s) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'string Cerial ('Mut s) Value
Value ('Mut s)
raw_))
        (Value'array Vector Value
arg_) ->
            ((Message ('Mut s)
-> Vector Value -> m (Cerial ('Mut s) (Vector Value))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Value ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Value
Value ('Mut s)
raw_) Vector Value
arg_) m (List ('Mut s) (Value ('Mut s)))
-> (List ('Mut s) (Value ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Value ('Mut s) -> List ('Mut s) (Value ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (List ('Mut s) (Value ('Mut s)))) =>
Value ('Mut s) -> List ('Mut s) (Value ('Mut s)) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'array Cerial ('Mut s) Value
Value ('Mut s)
raw_))
        (Value'object Vector Value'Field
arg_) ->
            ((Message ('Mut s)
-> Vector Value'Field -> m (Cerial ('Mut s) (Vector Value'Field))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Value ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Value
Value ('Mut s)
raw_) Vector Value'Field
arg_) m (List ('Mut s) (Value'Field ('Mut s)))
-> (List ('Mut s) (Value'Field ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Value ('Mut s) -> List ('Mut s) (Value'Field ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (List ('Mut s) (Value'Field ('Mut s)))) =>
Value ('Mut s) -> List ('Mut s) (Value'Field ('Mut s)) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'object Cerial ('Mut s) Value
Value ('Mut s)
raw_))
        (Value'call Value'Call
arg_) ->
            ((Message ('Mut s) -> Value'Call -> m (Cerial ('Mut s) Value'Call)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Value ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Value
Value ('Mut s)
raw_) Value'Call
arg_) m (Value'Call ('Mut s)) -> (Value'Call ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Value ('Mut s) -> Value'Call ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Value'Call ('Mut s))) =>
Value ('Mut s) -> Value'Call ('Mut s) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'call Cerial ('Mut s) Value
Value ('Mut s)
raw_))
        (Value'unknown' Word16
tag) ->
            (Value ('Mut s) -> Word16 -> m ()
forall (m :: * -> *) s.
RWCtx m s =>
Value ('Mut s) -> Word16 -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'unknown' Cerial ('Mut s) Value
Value ('Mut s)
raw_ Word16
tag)
instance (Classes.Cerialize s Value)
instance (Classes.Cerialize s (V.Vector Value)) where
    cerialize :: Message ('Mut s)
-> Vector Value -> m (Cerial ('Mut s) (Vector Value))
cerialize  = Message ('Mut s)
-> Vector Value -> m (Cerial ('Mut s) (Vector Value))
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 Value))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Value)
-> m (Cerial ('Mut s) (Vector (Vector Value)))
cerialize  = Message ('Mut s)
-> Vector (Vector Value)
-> m (Cerial ('Mut s) (Vector (Vector Value)))
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 Value)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Value))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Value))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Value))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Value))))
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 Value))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Value)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Value)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Value)))
-> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Value)))))
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 Value)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Value))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Value))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Value))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Value))))))
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 Value))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Value)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Value)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Value)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Value)))))))
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 Value)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Value))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Value))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Value))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Value))))))))
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 Value'Field 
    = Value'Field 
        {Value'Field -> Text
name :: T.Text
        ,Value'Field -> Value
value :: Value}
    deriving(Int -> Value'Field -> ShowS
[Value'Field] -> ShowS
Value'Field -> String
(Int -> Value'Field -> ShowS)
-> (Value'Field -> String)
-> ([Value'Field] -> ShowS)
-> Show Value'Field
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Value'Field] -> ShowS
$cshowList :: [Value'Field] -> ShowS
show :: Value'Field -> String
$cshow :: Value'Field -> String
showsPrec :: Int -> Value'Field -> ShowS
$cshowsPrec :: Int -> Value'Field -> ShowS
Std_.Show
            ,Value'Field -> Value'Field -> Bool
(Value'Field -> Value'Field -> Bool)
-> (Value'Field -> Value'Field -> Bool) -> Eq Value'Field
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Value'Field -> Value'Field -> Bool
$c/= :: Value'Field -> Value'Field -> Bool
== :: Value'Field -> Value'Field -> Bool
$c== :: Value'Field -> Value'Field -> Bool
Std_.Eq
            ,(forall x. Value'Field -> Rep Value'Field x)
-> (forall x. Rep Value'Field x -> Value'Field)
-> Generic Value'Field
forall x. Rep Value'Field x -> Value'Field
forall x. Value'Field -> Rep Value'Field x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Value'Field x -> Value'Field
$cfrom :: forall x. Value'Field -> Rep Value'Field x
Generics.Generic)
instance (Default.Default Value'Field) where
    def :: Value'Field
def  = Value'Field
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Value'Field) where
    fromStruct :: Struct 'Const -> m Value'Field
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Value'Field 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Value'Field 'Const)
-> (Value'Field 'Const -> m Value'Field) -> m Value'Field
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Value'Field 'Const -> m Value'Field
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Value'Field) where
    type Cerial msg Value'Field = (Capnp.Gen.ById.X8ef99297a43a5e34.Value'Field msg)
    decerialize :: Cerial 'Const Value'Field -> m Value'Field
decerialize Cerial 'Const Value'Field
raw = (Text -> Value -> Value'Field
Value'Field (Text -> Value -> Value'Field)
-> m Text -> m (Value -> Value'Field)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ((Value'Field 'Const -> m (Text 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Text msg)) =>
Value'Field msg -> m (Text msg)
Capnp.Gen.ById.X8ef99297a43a5e34.get_Value'Field'name Cerial 'Const Value'Field
Value'Field 'Const
raw) m (Text 'Const) -> (Text 'Const -> m Text) -> m Text
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Text 'Const -> m Text
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                                   m (Value -> Value'Field) -> m Value -> m Value'Field
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Value'Field 'Const -> m (Value 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Value msg)) =>
Value'Field msg -> m (Value msg)
Capnp.Gen.ById.X8ef99297a43a5e34.get_Value'Field'value Cerial 'Const Value'Field
Value'Field 'Const
raw) m (Value 'Const) -> (Value 'Const -> m Value) -> m Value
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Value 'Const -> m Value
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize))
instance (Classes.Marshal s Value'Field) where
    marshalInto :: Cerial ('Mut s) Value'Field -> Value'Field -> m ()
marshalInto Cerial ('Mut s) Value'Field
raw_ Value'Field
value_ = case Value'Field
value_ of
        Value'Field{Text
Value
value :: Value
name :: Text
$sel:value:Value'Field :: Value'Field -> Value
$sel:name:Value'Field :: Value'Field -> Text
..} ->
            (do
                ((Message ('Mut s) -> Text -> m (Cerial ('Mut s) Text)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Value'Field ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Value'Field
Value'Field ('Mut s)
raw_) Text
name) m (Text ('Mut s)) -> (Text ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Value'Field ('Mut s) -> Text ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Text ('Mut s))) =>
Value'Field ('Mut s) -> Text ('Mut s) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'Field'name Cerial ('Mut s) Value'Field
Value'Field ('Mut s)
raw_))
                ((Message ('Mut s) -> Value -> m (Cerial ('Mut s) Value)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Value'Field ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Value'Field
Value'Field ('Mut s)
raw_) Value
value) m (Value ('Mut s)) -> (Value ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Value'Field ('Mut s) -> Value ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Value ('Mut s))) =>
Value'Field ('Mut s) -> Value ('Mut s) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'Field'value Cerial ('Mut s) Value'Field
Value'Field ('Mut s)
raw_))
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Value'Field)
instance (Classes.Cerialize s (V.Vector Value'Field)) where
    cerialize :: Message ('Mut s)
-> Vector Value'Field -> m (Cerial ('Mut s) (Vector Value'Field))
cerialize  = Message ('Mut s)
-> Vector Value'Field -> m (Cerial ('Mut s) (Vector Value'Field))
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 Value'Field))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Value'Field)
-> m (Cerial ('Mut s) (Vector (Vector Value'Field)))
cerialize  = Message ('Mut s)
-> Vector (Vector Value'Field)
-> m (Cerial ('Mut s) (Vector (Vector Value'Field)))
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 Value'Field)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Value'Field))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Value'Field))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Value'Field))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Value'Field))))
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 Value'Field))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Value'Field)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Value'Field)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Value'Field)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Value'Field)))))
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 Value'Field)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Value'Field))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Value'Field))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Value'Field))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Value'Field))))))
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 Value'Field))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Value'Field)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Value'Field)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Value'Field)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Value'Field)))))))
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 Value'Field)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Value'Field))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Value'Field))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Value'Field))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Value'Field))))))))
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 Value'Call 
    = Value'Call 
        {Value'Call -> Text
function :: T.Text
        ,Value'Call -> Vector Value
params :: (V.Vector Value)}
    deriving(Int -> Value'Call -> ShowS
[Value'Call] -> ShowS
Value'Call -> String
(Int -> Value'Call -> ShowS)
-> (Value'Call -> String)
-> ([Value'Call] -> ShowS)
-> Show Value'Call
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Value'Call] -> ShowS
$cshowList :: [Value'Call] -> ShowS
show :: Value'Call -> String
$cshow :: Value'Call -> String
showsPrec :: Int -> Value'Call -> ShowS
$cshowsPrec :: Int -> Value'Call -> ShowS
Std_.Show
            ,Value'Call -> Value'Call -> Bool
(Value'Call -> Value'Call -> Bool)
-> (Value'Call -> Value'Call -> Bool) -> Eq Value'Call
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Value'Call -> Value'Call -> Bool
$c/= :: Value'Call -> Value'Call -> Bool
== :: Value'Call -> Value'Call -> Bool
$c== :: Value'Call -> Value'Call -> Bool
Std_.Eq
            ,(forall x. Value'Call -> Rep Value'Call x)
-> (forall x. Rep Value'Call x -> Value'Call) -> Generic Value'Call
forall x. Rep Value'Call x -> Value'Call
forall x. Value'Call -> Rep Value'Call x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Value'Call x -> Value'Call
$cfrom :: forall x. Value'Call -> Rep Value'Call x
Generics.Generic)
instance (Default.Default Value'Call) where
    def :: Value'Call
def  = Value'Call
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const Value'Call) where
    fromStruct :: Struct 'Const -> m Value'Call
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (Value'Call 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (Value'Call 'Const)
-> (Value'Call 'Const -> m Value'Call) -> m Value'Call
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Value'Call 'Const -> m Value'Call
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize Value'Call) where
    type Cerial msg Value'Call = (Capnp.Gen.ById.X8ef99297a43a5e34.Value'Call msg)
    decerialize :: Cerial 'Const Value'Call -> m Value'Call
decerialize Cerial 'Const Value'Call
raw = (Text -> Vector Value -> Value'Call
Value'Call (Text -> Vector Value -> Value'Call)
-> m Text -> m (Vector Value -> Value'Call)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ((Value'Call 'Const -> m (Text 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Text msg)) =>
Value'Call msg -> m (Text msg)
Capnp.Gen.ById.X8ef99297a43a5e34.get_Value'Call'function Cerial 'Const Value'Call
Value'Call 'Const
raw) m (Text 'Const) -> (Text 'Const -> m Text) -> m Text
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Text 'Const -> m Text
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                                  m (Vector Value -> Value'Call) -> m (Vector Value) -> m Value'Call
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((Value'Call 'Const -> m (List 'Const (Value 'Const))
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (List msg (Value msg))) =>
Value'Call msg -> m (List msg (Value msg))
Capnp.Gen.ById.X8ef99297a43a5e34.get_Value'Call'params Cerial 'Const Value'Call
Value'Call 'Const
raw) m (List 'Const (Value 'Const))
-> (List 'Const (Value 'Const) -> m (Vector Value))
-> m (Vector Value)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= List 'Const (Value 'Const) -> m (Vector Value)
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize))
instance (Classes.Marshal s Value'Call) where
    marshalInto :: Cerial ('Mut s) Value'Call -> Value'Call -> m ()
marshalInto Cerial ('Mut s) Value'Call
raw_ Value'Call
value_ = case Value'Call
value_ of
        Value'Call{Text
Vector Value
params :: Vector Value
function :: Text
$sel:params:Value'Call :: Value'Call -> Vector Value
$sel:function:Value'Call :: Value'Call -> Text
..} ->
            (do
                ((Message ('Mut s) -> Text -> m (Cerial ('Mut s) Text)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Value'Call ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Value'Call
Value'Call ('Mut s)
raw_) Text
function) m (Text ('Mut s)) -> (Text ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Value'Call ('Mut s) -> Text ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Text ('Mut s))) =>
Value'Call ('Mut s) -> Text ('Mut s) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'Call'function Cerial ('Mut s) Value'Call
Value'Call ('Mut s)
raw_))
                ((Message ('Mut s)
-> Vector Value -> m (Cerial ('Mut s) (Vector Value))
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (Value'Call ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) Value'Call
Value'Call ('Mut s)
raw_) Vector Value
params) m (List ('Mut s) (Value ('Mut s)))
-> (List ('Mut s) (Value ('Mut s)) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Value'Call ('Mut s) -> List ('Mut s) (Value ('Mut s)) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (List ('Mut s) (Value ('Mut s)))) =>
Value'Call ('Mut s) -> List ('Mut s) (Value ('Mut s)) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'Call'params Cerial ('Mut s) Value'Call
Value'Call ('Mut s)
raw_))
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s Value'Call)
instance (Classes.Cerialize s (V.Vector Value'Call)) where
    cerialize :: Message ('Mut s)
-> Vector Value'Call -> m (Cerial ('Mut s) (Vector Value'Call))
cerialize  = Message ('Mut s)
-> Vector Value'Call -> m (Cerial ('Mut s) (Vector Value'Call))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Marshal s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeCompositeVec
instance (Classes.Cerialize s (V.Vector (V.Vector Value'Call))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector Value'Call)
-> m (Cerial ('Mut s) (Vector (Vector Value'Call)))
cerialize  = Message ('Mut s)
-> Vector (Vector Value'Call)
-> m (Cerial ('Mut s) (Vector (Vector Value'Call)))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Value'Call)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector Value'Call))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Value'Call))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector Value'Call))
-> m (Cerial ('Mut s) (Vector (Vector (Vector Value'Call))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Value'Call))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector Value'Call)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Value'Call)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector Value'Call)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector Value'Call)))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'Call)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Value'Call))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Value'Call))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector Value'Call))))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector (Vector Value'Call))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'Call))))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Value'Call)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Value'Call)))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector (Vector Value'Call)))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector (Vector Value'Call)))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'Call)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Value'Call))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Value'Call))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector (Vector Value'Call))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector (Vector Value'Call))))))))
forall (m :: * -> *) s a.
(RWCtx m s, MutListElem s (Cerial ('Mut s) a), Cerialize s a) =>
Message ('Mut s)
-> Vector a -> m (List ('Mut s) (Cerial ('Mut s) a))
GenHelpersPure.cerializeBasicVec
data FlattenOptions 
    = FlattenOptions 
        {FlattenOptions -> Text
prefix :: T.Text}
    deriving(Int -> FlattenOptions -> ShowS
[FlattenOptions] -> ShowS
FlattenOptions -> String
(Int -> FlattenOptions -> ShowS)
-> (FlattenOptions -> String)
-> ([FlattenOptions] -> ShowS)
-> Show FlattenOptions
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [FlattenOptions] -> ShowS
$cshowList :: [FlattenOptions] -> ShowS
show :: FlattenOptions -> String
$cshow :: FlattenOptions -> String
showsPrec :: Int -> FlattenOptions -> ShowS
$cshowsPrec :: Int -> FlattenOptions -> ShowS
Std_.Show
            ,FlattenOptions -> FlattenOptions -> Bool
(FlattenOptions -> FlattenOptions -> Bool)
-> (FlattenOptions -> FlattenOptions -> Bool) -> Eq FlattenOptions
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: FlattenOptions -> FlattenOptions -> Bool
$c/= :: FlattenOptions -> FlattenOptions -> Bool
== :: FlattenOptions -> FlattenOptions -> Bool
$c== :: FlattenOptions -> FlattenOptions -> Bool
Std_.Eq
            ,(forall x. FlattenOptions -> Rep FlattenOptions x)
-> (forall x. Rep FlattenOptions x -> FlattenOptions)
-> Generic FlattenOptions
forall x. Rep FlattenOptions x -> FlattenOptions
forall x. FlattenOptions -> Rep FlattenOptions x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep FlattenOptions x -> FlattenOptions
$cfrom :: forall x. FlattenOptions -> Rep FlattenOptions x
Generics.Generic)
instance (Default.Default FlattenOptions) where
    def :: FlattenOptions
def  = FlattenOptions
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const FlattenOptions) where
    fromStruct :: Struct 'Const -> m FlattenOptions
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (FlattenOptions 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (FlattenOptions 'Const)
-> (FlattenOptions 'Const -> m FlattenOptions) -> m FlattenOptions
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= FlattenOptions 'Const -> m FlattenOptions
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize FlattenOptions) where
    type Cerial msg FlattenOptions = (Capnp.Gen.ById.X8ef99297a43a5e34.FlattenOptions msg)
    decerialize :: Cerial 'Const FlattenOptions -> m FlattenOptions
decerialize Cerial 'Const FlattenOptions
raw = (Text -> FlattenOptions
FlattenOptions (Text -> FlattenOptions) -> m Text -> m FlattenOptions
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ((FlattenOptions 'Const -> m (Text 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Text msg)) =>
FlattenOptions msg -> m (Text msg)
Capnp.Gen.ById.X8ef99297a43a5e34.get_FlattenOptions'prefix Cerial 'Const FlattenOptions
FlattenOptions 'Const
raw) m (Text 'Const) -> (Text 'Const -> m Text) -> m Text
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Text 'Const -> m Text
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize))
instance (Classes.Marshal s FlattenOptions) where
    marshalInto :: Cerial ('Mut s) FlattenOptions -> FlattenOptions -> m ()
marshalInto Cerial ('Mut s) FlattenOptions
raw_ FlattenOptions
value_ = case FlattenOptions
value_ of
        FlattenOptions{Text
prefix :: Text
$sel:prefix:FlattenOptions :: FlattenOptions -> Text
..} ->
            (do
                ((Message ('Mut s) -> Text -> m (Cerial ('Mut s) Text)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (FlattenOptions ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) FlattenOptions
FlattenOptions ('Mut s)
raw_) Text
prefix) m (Text ('Mut s)) -> (Text ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (FlattenOptions ('Mut s) -> Text ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Text ('Mut s))) =>
FlattenOptions ('Mut s) -> Text ('Mut s) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_FlattenOptions'prefix Cerial ('Mut s) FlattenOptions
FlattenOptions ('Mut s)
raw_))
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s FlattenOptions)
instance (Classes.Cerialize s (V.Vector FlattenOptions)) where
    cerialize :: Message ('Mut s)
-> Vector FlattenOptions
-> m (Cerial ('Mut s) (Vector FlattenOptions))
cerialize  = Message ('Mut s)
-> Vector FlattenOptions
-> m (Cerial ('Mut s) (Vector FlattenOptions))
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 FlattenOptions))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector FlattenOptions)
-> m (Cerial ('Mut s) (Vector (Vector FlattenOptions)))
cerialize  = Message ('Mut s)
-> Vector (Vector FlattenOptions)
-> m (Cerial ('Mut s) (Vector (Vector FlattenOptions)))
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 FlattenOptions)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector FlattenOptions))
-> m (Cerial ('Mut s) (Vector (Vector (Vector FlattenOptions))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector FlattenOptions))
-> m (Cerial ('Mut s) (Vector (Vector (Vector FlattenOptions))))
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 FlattenOptions))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector FlattenOptions)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector FlattenOptions)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector FlattenOptions)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector FlattenOptions)))))
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 FlattenOptions)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector FlattenOptions))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector FlattenOptions))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))
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 FlattenOptions))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector FlattenOptions)))))))
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 FlattenOptions)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector (Vector (Vector (Vector (Vector FlattenOptions))))))))
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 DiscriminatorOptions 
    = DiscriminatorOptions 
        {DiscriminatorOptions -> Text
name :: T.Text
        ,DiscriminatorOptions -> Text
valueName :: T.Text}
    deriving(Int -> DiscriminatorOptions -> ShowS
[DiscriminatorOptions] -> ShowS
DiscriminatorOptions -> String
(Int -> DiscriminatorOptions -> ShowS)
-> (DiscriminatorOptions -> String)
-> ([DiscriminatorOptions] -> ShowS)
-> Show DiscriminatorOptions
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [DiscriminatorOptions] -> ShowS
$cshowList :: [DiscriminatorOptions] -> ShowS
show :: DiscriminatorOptions -> String
$cshow :: DiscriminatorOptions -> String
showsPrec :: Int -> DiscriminatorOptions -> ShowS
$cshowsPrec :: Int -> DiscriminatorOptions -> ShowS
Std_.Show
            ,DiscriminatorOptions -> DiscriminatorOptions -> Bool
(DiscriminatorOptions -> DiscriminatorOptions -> Bool)
-> (DiscriminatorOptions -> DiscriminatorOptions -> Bool)
-> Eq DiscriminatorOptions
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: DiscriminatorOptions -> DiscriminatorOptions -> Bool
$c/= :: DiscriminatorOptions -> DiscriminatorOptions -> Bool
== :: DiscriminatorOptions -> DiscriminatorOptions -> Bool
$c== :: DiscriminatorOptions -> DiscriminatorOptions -> Bool
Std_.Eq
            ,(forall x. DiscriminatorOptions -> Rep DiscriminatorOptions x)
-> (forall x. Rep DiscriminatorOptions x -> DiscriminatorOptions)
-> Generic DiscriminatorOptions
forall x. Rep DiscriminatorOptions x -> DiscriminatorOptions
forall x. DiscriminatorOptions -> Rep DiscriminatorOptions x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep DiscriminatorOptions x -> DiscriminatorOptions
$cfrom :: forall x. DiscriminatorOptions -> Rep DiscriminatorOptions x
Generics.Generic)
instance (Default.Default DiscriminatorOptions) where
    def :: DiscriminatorOptions
def  = DiscriminatorOptions
forall a. (Decerialize a, FromStruct 'Const (Cerial 'Const a)) => a
GenHelpersPure.defaultStruct
instance (Classes.FromStruct Message.Const DiscriminatorOptions) where
    fromStruct :: Struct 'Const -> m DiscriminatorOptions
fromStruct Struct 'Const
struct = ((Struct 'Const -> m (DiscriminatorOptions 'Const)
forall (mut :: Mutability) a (m :: * -> *).
(FromStruct mut a, ReadCtx m mut) =>
Struct mut -> m a
Classes.fromStruct Struct 'Const
struct) m (DiscriminatorOptions 'Const)
-> (DiscriminatorOptions 'Const -> m DiscriminatorOptions)
-> m DiscriminatorOptions
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= DiscriminatorOptions 'Const -> m DiscriminatorOptions
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
instance (Classes.Decerialize DiscriminatorOptions) where
    type Cerial msg DiscriminatorOptions = (Capnp.Gen.ById.X8ef99297a43a5e34.DiscriminatorOptions msg)
    decerialize :: Cerial 'Const DiscriminatorOptions -> m DiscriminatorOptions
decerialize Cerial 'Const DiscriminatorOptions
raw = (Text -> Text -> DiscriminatorOptions
DiscriminatorOptions (Text -> Text -> DiscriminatorOptions)
-> m Text -> m (Text -> DiscriminatorOptions)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ((DiscriminatorOptions 'Const -> m (Text 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Text msg)) =>
DiscriminatorOptions msg -> m (Text msg)
Capnp.Gen.ById.X8ef99297a43a5e34.get_DiscriminatorOptions'name Cerial 'Const DiscriminatorOptions
DiscriminatorOptions 'Const
raw) m (Text 'Const) -> (Text 'Const -> m Text) -> m Text
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Text 'Const -> m Text
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize)
                                            m (Text -> DiscriminatorOptions)
-> m Text -> m DiscriminatorOptions
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((DiscriminatorOptions 'Const -> m (Text 'Const)
forall (m :: * -> *) (msg :: Mutability).
(ReadCtx m msg, FromPtr msg (Text msg)) =>
DiscriminatorOptions msg -> m (Text msg)
Capnp.Gen.ById.X8ef99297a43a5e34.get_DiscriminatorOptions'valueName Cerial 'Const DiscriminatorOptions
DiscriminatorOptions 'Const
raw) m (Text 'Const) -> (Text 'Const -> m Text) -> m Text
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Text 'Const -> m Text
forall a (m :: * -> *).
(Decerialize a, ReadCtx m 'Const) =>
Cerial 'Const a -> m a
Classes.decerialize))
instance (Classes.Marshal s DiscriminatorOptions) where
    marshalInto :: Cerial ('Mut s) DiscriminatorOptions
-> DiscriminatorOptions -> m ()
marshalInto Cerial ('Mut s) DiscriminatorOptions
raw_ DiscriminatorOptions
value_ = case DiscriminatorOptions
value_ of
        DiscriminatorOptions{Text
valueName :: Text
name :: Text
$sel:valueName:DiscriminatorOptions :: DiscriminatorOptions -> Text
$sel:name:DiscriminatorOptions :: DiscriminatorOptions -> Text
..} ->
            (do
                ((Message ('Mut s) -> Text -> m (Cerial ('Mut s) Text)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (DiscriminatorOptions ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) DiscriminatorOptions
DiscriminatorOptions ('Mut s)
raw_) Text
name) m (Text ('Mut s)) -> (Text ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (DiscriminatorOptions ('Mut s) -> Text ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Text ('Mut s))) =>
DiscriminatorOptions ('Mut s) -> Text ('Mut s) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_DiscriminatorOptions'name Cerial ('Mut s) DiscriminatorOptions
DiscriminatorOptions ('Mut s)
raw_))
                ((Message ('Mut s) -> Text -> m (Cerial ('Mut s) Text)
forall s a (m :: * -> *).
(Cerialize s a, RWCtx m s) =>
Message ('Mut s) -> a -> m (Cerial ('Mut s) a)
Classes.cerialize (DiscriminatorOptions ('Mut s) -> Message ('Mut s)
forall a (mut :: Mutability). HasMessage a mut => a -> Message mut
Untyped.message Cerial ('Mut s) DiscriminatorOptions
DiscriminatorOptions ('Mut s)
raw_) Text
valueName) m (Text ('Mut s)) -> (Text ('Mut s) -> m ()) -> m ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (DiscriminatorOptions ('Mut s) -> Text ('Mut s) -> m ()
forall (m :: * -> *) s.
(RWCtx m s, ToPtr s (Text ('Mut s))) =>
DiscriminatorOptions ('Mut s) -> Text ('Mut s) -> m ()
Capnp.Gen.ById.X8ef99297a43a5e34.set_DiscriminatorOptions'valueName Cerial ('Mut s) DiscriminatorOptions
DiscriminatorOptions ('Mut s)
raw_))
                (() -> m ()
forall (f :: * -> *) a. Applicative f => a -> f a
Std_.pure ())
                )
instance (Classes.Cerialize s DiscriminatorOptions)
instance (Classes.Cerialize s (V.Vector DiscriminatorOptions)) where
    cerialize :: Message ('Mut s)
-> Vector DiscriminatorOptions
-> m (Cerial ('Mut s) (Vector DiscriminatorOptions))
cerialize  = Message ('Mut s)
-> Vector DiscriminatorOptions
-> m (Cerial ('Mut s) (Vector DiscriminatorOptions))
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 DiscriminatorOptions))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector DiscriminatorOptions)
-> m (Cerial ('Mut s) (Vector (Vector DiscriminatorOptions)))
cerialize  = Message ('Mut s)
-> Vector (Vector DiscriminatorOptions)
-> m (Cerial ('Mut s) (Vector (Vector DiscriminatorOptions)))
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 DiscriminatorOptions)))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector DiscriminatorOptions))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector DiscriminatorOptions))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector DiscriminatorOptions))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector DiscriminatorOptions))))
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 DiscriminatorOptions))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector DiscriminatorOptions)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector DiscriminatorOptions)))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector DiscriminatorOptions)))
-> m (Cerial
        ('Mut s) (Vector (Vector (Vector (Vector DiscriminatorOptions)))))
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 DiscriminatorOptions)))))) where
    cerialize :: Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))))
cerialize  = Message ('Mut s)
-> Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))
-> m (Cerial
        ('Mut s)
        (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))))
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 DiscriminatorOptions))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions)))))))
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 DiscriminatorOptions)))))))) where
    cerialize :: Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector
                 (Vector (Vector (Vector (Vector DiscriminatorOptions))))))))
cerialize  = Message ('Mut s)
-> Vector
     (Vector
        (Vector (Vector (Vector (Vector (Vector DiscriminatorOptions))))))
-> m (Cerial
        ('Mut s)
        (Vector
           (Vector
              (Vector
                 (Vector (Vector (Vector (Vector DiscriminatorOptions))))))))
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