capnp 0.10.0.1 → 0.11.0.0

raw patch · 107 files changed

+16022/−4474 lines, 107 filesdep +criteriondep +ghc-primdep +lifetimesdep −cpudep ~basedep ~networkdep ~supervisorsPVP ok

version bump matches the API change (PVP)

Dependencies added: criterion, ghc-prim, lifetimes

Dependencies removed: cpu

Dependency ranges changed: base, network, supervisors

API changes (from Hackage documentation)

Files

• .gitignore +6/−0
• CHANGELOG.md +39/−1
• README.md +1/−6
• bench/Main.hs +57/−0
• capnp.cabal +59/−9
• cmd/capnpc-haskell/Check.hs +4/−5
• cmd/capnpc-haskell/IR/Common.hs +7/−6
• cmd/capnpc-haskell/IR/Haskell.hs +12/−1
• cmd/capnpc-haskell/IR/Name.hs +1/−1
• cmd/capnpc-haskell/IR/New.hs +81/−0
• cmd/capnpc-haskell/Main.hs +17/−6
• cmd/capnpc-haskell/Trans/CgrToStage1.hs +44/−35
• cmd/capnpc-haskell/Trans/FlatToNew.hs +131/−0
• cmd/capnpc-haskell/Trans/HaskellToText.hs +22/−2
• cmd/capnpc-haskell/Trans/NewToHaskell.hs +906/−0
• cmd/capnpc-haskell/Trans/PureToHaskell.hs +2/−0
• cmd/capnpc-haskell/Trans/RawToHaskell.hs +5/−14
• cmd/capnpc-haskell/Trans/ToHaskellCommon.hs +31/−4
• examples/gen/lib/Capnp/Gen/ById/X85150b117366d14b/New.hs +12/−0
• examples/gen/lib/Capnp/Gen/ById/Xd0a87f36fa0182f5/New.hs +12/−0
• examples/gen/lib/Capnp/Gen/Calculator/New.hs +501/−0
• examples/gen/lib/Capnp/Gen/Calculator/Pure.hs +175/−175
• examples/gen/lib/Capnp/Gen/Echo/New.hs +94/−0
• examples/gen/lib/Capnp/Gen/Echo/Pure.hs +35/−35
• examples/lib/Examples/Rpc/CalculatorClient.hs +48/−37
• gen/lib/Capnp/Gen/ById/X86c366a91393f3f8.hs +1/−0
• gen/lib/Capnp/Gen/ById/X86c366a91393f3f8/New.hs +12/−0
• gen/lib/Capnp/Gen/ById/X86c366a91393f3f8/Pure.hs +1/−0
• gen/lib/Capnp/Gen/ById/X8ef99297a43a5e34.hs +1/−0
• gen/lib/Capnp/Gen/ById/X8ef99297a43a5e34/New.hs +12/−0
• gen/lib/Capnp/Gen/ById/X8ef99297a43a5e34/Pure.hs +1/−0
• gen/lib/Capnp/Gen/ById/Xa184c7885cdaf2a1.hs +1/−0
• gen/lib/Capnp/Gen/ById/Xa184c7885cdaf2a1/New.hs +12/−0
• gen/lib/Capnp/Gen/ById/Xa184c7885cdaf2a1/Pure.hs +1/−0
• gen/lib/Capnp/Gen/ById/Xa93fc509624c72d9.hs +1/−0
• gen/lib/Capnp/Gen/ById/Xa93fc509624c72d9/New.hs +12/−0
• gen/lib/Capnp/Gen/ById/Xa93fc509624c72d9/Pure.hs +1/−0
• gen/lib/Capnp/Gen/ById/Xb312981b2552a250.hs +1/−0
• gen/lib/Capnp/Gen/ById/Xb312981b2552a250/New.hs +12/−0
• gen/lib/Capnp/Gen/ById/Xb312981b2552a250/Pure.hs +1/−0
• gen/lib/Capnp/Gen/ById/Xb8630836983feed7.hs +1/−0
• gen/lib/Capnp/Gen/ById/Xb8630836983feed7/New.hs +12/−0
• gen/lib/Capnp/Gen/ById/Xb8630836983feed7/Pure.hs +1/−0
• gen/lib/Capnp/Gen/ById/Xbdf87d7bb8304e81.hs +1/−0
• gen/lib/Capnp/Gen/ById/Xbdf87d7bb8304e81/New.hs +12/−0
• gen/lib/Capnp/Gen/ById/Xbdf87d7bb8304e81/Pure.hs +1/−0
• gen/lib/Capnp/Gen/Capnp/Compat/Json.hs +1/−0
• gen/lib/Capnp/Gen/Capnp/Compat/Json/New.hs +277/−0
• gen/lib/Capnp/Gen/Capnp/Compat/Json/Pure.hs +66/−65
• gen/lib/Capnp/Gen/Capnp/Cxx.hs +1/−0
• gen/lib/Capnp/Gen/Capnp/Cxx/New.hs +31/−0
• gen/lib/Capnp/Gen/Capnp/Cxx/Pure.hs +1/−0
• gen/lib/Capnp/Gen/Capnp/Persistent.hs +1/−0
• gen/lib/Capnp/Gen/Capnp/Persistent/New.hs +266/−0
• gen/lib/Capnp/Gen/Capnp/Persistent/Pure.hs +1/−0
• gen/lib/Capnp/Gen/Capnp/Rpc.hs +1/−0
• gen/lib/Capnp/Gen/Capnp/Rpc/New.hs +1325/−0
• gen/lib/Capnp/Gen/Capnp/Rpc/Pure.hs +260/−259
• gen/lib/Capnp/Gen/Capnp/RpcTwoparty.hs +1/−0
• gen/lib/Capnp/Gen/Capnp/RpcTwoparty/New.hs +239/−0
• gen/lib/Capnp/Gen/Capnp/RpcTwoparty/Pure.hs +79/−78
• gen/lib/Capnp/Gen/Capnp/Schema.hs +1/−0
• gen/lib/Capnp/Gen/Capnp/Schema/New.hs +2220/−0
• gen/lib/Capnp/Gen/Capnp/Schema/Pure.hs +343/−342
• gen/lib/Capnp/Gen/Capnp/Stream.hs +1/−0
• gen/lib/Capnp/Gen/Capnp/Stream/New.hs +54/−0
• gen/lib/Capnp/Gen/Capnp/Stream/Pure.hs +14/−13
• gen/tests/Capnp/Gen/Aircraft/New.hs +2544/−0
• gen/tests/Capnp/Gen/Aircraft/Pure.hs +2820/−2820
• gen/tests/Capnp/Gen/ById/X832bcc6686a26d56/New.hs +12/−0
• gen/tests/Capnp/Gen/ById/Xb6421fb8e478d144/New.hs +12/−0
• gen/tests/Capnp/Gen/Generics/New.hs +435/−0
• lib/Capnp/Basics/Pure.hs +1/−1
• lib/Capnp/Bits.hs +1/−0
• lib/Capnp/Canonicalize.hs +136/−7
• lib/Capnp/Classes.hs +3/−3
• lib/Capnp/Convert.hs +50/−1
• lib/Capnp/Fields.hs +128/−0
• lib/Capnp/GenHelpers/New.hs +108/−0
• lib/Capnp/GenHelpers/Pure.hs +1/−1
• lib/Capnp/GenHelpers/Rpc.hs +3/−3
• lib/Capnp/IO.hs +79/−8
• lib/Capnp/Message.hs +32/−19
• lib/Capnp/New.hs +55/−0
• lib/Capnp/New/Accessors.hs +223/−0
• lib/Capnp/New/Basics.hs +224/−0
• lib/Capnp/New/Classes.hs +313/−0
• lib/Capnp/New/Constraints.hs +17/−0
• lib/Capnp/Repr.hs +430/−0
• lib/Capnp/Repr/Methods.hs +160/−0
• lib/Capnp/Repr/Parsed.hs +30/−0
• lib/Capnp/Rpc.hs +6/−6
• lib/Capnp/Rpc/Errors.hs +1/−1
• lib/Capnp/Rpc/Invoke.hs +2/−2
• lib/Capnp/Rpc/Promise.hs +5/−0
• lib/Capnp/Rpc/Server.hs +3/−3
• lib/Capnp/Rpc/Untyped.hs +49/−41
• lib/Capnp/TraversalLimit.hs +8/−2
• lib/Capnp/Tutorial.hs +272/−322
• lib/Capnp/Untyped.hs +169/−45
• lib/Internal/Finalizer.hs +0/−78
• tests/Main.hs +2/−0
• tests/Module/Capnp/Gen/Capnp/Schema.hs +30/−5
• tests/Module/Capnp/Untyped.hs +1/−1
• tests/Module/Capnp/Untyped/Pure.hs +1/−1
• tests/PointerOOB.hs +68/−0
• tests/WalkSchemaCodeGenRequest.hs +5/−10

@@ -27,3 +27,9 @@ # dependencies between it and the rest of the library. /examples/Capnp /tests/Capnp++# I sometimes leave notes for myself in my working directory:+/NOTES++# Benchmark outputs:+*.html

@@ -1,7 +1,45 @@++# 0.11.0.0++* This release introduces some experimental new APIs; see the blog post+  for details: <https://zenhack.net/2021/07/30/new-haskell-capnp-release-reworked-apis.html>+  * The new APIs include support for RPC pipelining, which is not+    possible with the old APIs.+* The traversal limit is tracked at a coarser granularity. This results+  in a modest performance improvement, and may result in slightly+  different (but similar) amounts of the limit being used for a given+  computation than with the old implementation.+* Bounds on pointers are checked a bit earlier (when the pointer is+  read, rather than when its referent is accessed). As a result, some+  malformed messages may trigger bounds check errors which did not+  previously, because the offending portion of the message was not+  read.+* The limit on how many capabilities can be attached to a single message+  has been increased.+* `LimitT m` now has an instance of `MonadCatch` if `m` has an instance.+* Some harmless warnings triggered by the generated code are now+  silenced.+* `Capnp.Rpc.Promise` exposes a new function `newReadyPromise`, which+  can be used to create an already-fulfilled promise.+* Fixed a race condition where if the supervisor for a client is killed+  before the server has finished spawning, the shutdown method might+  not be run.+* `Capnp.Rpc.Server.runServer` no longer calls handleStop on exit.+  Most users of the library will not be affected, as this function is+  mostly a low-level implementation detail that is called by higher+  level functionality.+* In `Capnp.Message` some uses of the type `Int` in the API have been+  strengthened to type `WordCount`.++# 0.10.0.1++* Fix a bug causing spurious exceptions when creating very large+  messages.+ # 0.10.0.0  * The parametrization of messages has been reworked. Most things that-  per parametrized over a message type are now parametrized over a+  were parametrized over a message type are now parametrized over a   type parameter of kind `Mutability` (defined in `Capnp.Message`).   * The Message type class has been replaced with a type `Message` of     kind `Mutability -> *`, and a type class `MonadReadMessage` for

@@ -29,11 +29,6 @@ * The implementation is *not* robust against resource exhaustion   attacks; for now users are strongly discouraged from using it to do   RPC with untrusted peers.-* While most of the machinery for it is in place, the API does not-  currently expose a way to do field projection on remote promises.-  As a consequence, actually pipelining method calls is not currently-  possible, so the library is currently best suited to environments-  which are already low-latency.  The API is considered unstable. It will likely see changes, for the sake of polish, consistency, etc. as well as to improve performance and@@ -45,7 +40,7 @@ [issue27]: https://github.com/zenhack/haskell-capnp/issues/27 [issue28]: https://github.com/zenhack/haskell-capnp/issues/28 -[ci-img]: https://gitlab.com/isd/haskell-capnp/badges/master/build.svg+[ci-img]: https://gitlab.com/isd/haskell-capnp/badges/master/pipeline.svg [ci]: https://gitlab.com/isd/haskell-capnp/pipelines  [hackage-img]: https://img.shields.io/hackage/v/capnp.svg

@@ -0,0 +1,57 @@+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE QuasiQuotes       #-}+module Main (main) where+++import qualified Capnp                     as C+import qualified Capnp.Untyped             as U+import           Control.DeepSeq           (NFData(..))+import           Control.Monad             (unless)+import           Criterion.Main+import qualified Data.ByteString           as BS+import           System.Exit               (ExitCode(..))+import qualified System.Process.ByteString as PB++-- Get the raw bytes of a CodeGeneratorRequest for all of the bundled+-- capnproto core schema. Useful as a source of generic test data.+getCGRBytes :: IO BS.ByteString+getCGRBytes = do+    (exit, cgrBytes, _) <- PB.readProcessWithExitCode "capnp"+        [ "compile", "-o-"+        , "-I", "core-schema/"+        , "--src-prefix=core-schema/"+        , "core-schema/capnp/schema.capnp"+        , "core-schema/capnp/stream.capnp"+        , "core-schema/capnp/rpc-twoparty.capnp"+        , "core-schema/capnp/persistent.capnp"+        , "core-schema/capnp/rpc.capnp"+        , "core-schema/capnp/compat/json.capnp"+        , "core-schema/capnp/c++.capnp"+        ]+        ""+    unless (exit == ExitSuccess) $ error "capnp compile failed"+    pure cgrBytes++instance NFData (C.Message mut) where+    rnf = (`seq` ())++main :: IO ()+main = do+    cgrBytes <- getCGRBytes+    msg <- C.bsToMsg cgrBytes+    let whnfLTIO = whnfIO . C.evalLimitT maxBound+    defaultMain+        [ bench "canonicalize" $ whnfLTIO $ do+            root <- U.rootPtr msg+            C.canonicalize root+        , env+            (C.evalLimitT maxBound $ do+                mutMsg <- C.thaw msg+                newMsg <- C.newMessage Nothing+                pure (mutMsg, newMsg)+            )+            (\ ~(mutMsg, newMsg) -> bench "copy" $ whnfLTIO $ do+                root <- U.rootPtr mutMsg+                U.copyPtr newMsg (Just (U.PtrStruct root))+            )+        ]

@@ -1,8 +1,8 @@ cabal-version:            2.2 name:                     capnp-version:                  0.10.0.1+version:                  0.11.0.0 category:                 Data, Serialization, Network, Rpc-copyright:                2016-2020 haskell-capnp contributors (see CONTRIBUTORS file).+copyright:                2016-2021 haskell-capnp contributors (see CONTRIBUTORS file). author:                   Ian Denhardt maintainer:               ian@zenhack.net license:                  MIT@@ -65,6 +65,7 @@       , containers                        >= 0.5.9 && <0.7       , data-default                      ^>= 0.7.1       , exceptions                        ^>= 0.10.0+      , ghc-prim                          ^>= 0.6.1       , mtl                               ^>= 2.2.2       , primitive                         >= 0.6.3 && <0.8       , safe-exceptions                   ^>= 0.1.7@@ -104,16 +105,26 @@       , Capnp.Bits       , Capnp.Canonicalize       , Capnp.Classes+      , Capnp.New+      , Capnp.New.Accessors+      , Capnp.New.Basics+      , Capnp.New.Classes+      , Capnp.New.Constraints       , Capnp.Convert       , Capnp.Errors+      , Capnp.Fields       , Capnp.GenHelpers       , Capnp.GenHelpers.Pure       , Capnp.GenHelpers.Rpc+      , Capnp.GenHelpers.New       , Capnp.IO       , Capnp.Message       , Capnp.Pointer       , Capnp.Untyped       , Capnp.Untyped.Pure+      , Capnp.Repr+      , Capnp.Repr.Methods+      , Capnp.Repr.Parsed       , Capnp.TraversalLimit       , Capnp.Rpc       , Capnp.Rpc.Promise@@ -153,6 +164,15 @@       , Capnp.Gen.Capnp.RpcTwoparty       , Capnp.Gen.Capnp.Schema       , Capnp.Gen.Capnp.Stream++      , Capnp.Gen.Capnp.Cxx.New+      , Capnp.Gen.Capnp.Compat.Json.New+      , Capnp.Gen.Capnp.Persistent.New+      , Capnp.Gen.Capnp.Rpc.New+      , Capnp.Gen.Capnp.RpcTwoparty.New+      , Capnp.Gen.Capnp.Schema.New+      , Capnp.Gen.Capnp.Stream.New+       , Capnp.Gen.ById.Xbdf87d7bb8304e81.Pure       , Capnp.Gen.ById.X8ef99297a43a5e34.Pure       , Capnp.Gen.ById.Xb8630836983feed7.Pure@@ -160,6 +180,13 @@       , Capnp.Gen.ById.Xa184c7885cdaf2a1.Pure       , Capnp.Gen.ById.Xa93fc509624c72d9.Pure       , Capnp.Gen.ById.X86c366a91393f3f8.Pure+      , Capnp.Gen.ById.Xbdf87d7bb8304e81.New+      , Capnp.Gen.ById.X8ef99297a43a5e34.New+      , Capnp.Gen.ById.Xb8630836983feed7.New+      , Capnp.Gen.ById.Xb312981b2552a250.New+      , Capnp.Gen.ById.Xa184c7885cdaf2a1.New+      , Capnp.Gen.ById.Xa93fc509624c72d9.New+      , Capnp.Gen.ById.X86c366a91393f3f8.New       , Capnp.Gen.ById.Xbdf87d7bb8304e81       , Capnp.Gen.ById.X8ef99297a43a5e34       , Capnp.Gen.ById.Xb8630836983feed7@@ -170,7 +197,6 @@       -- END GENERATED SCHEMA MODULES     other-modules:         Internal.AppendVec-      , Internal.Finalizer       , Internal.SnocList       , Internal.Rc       , Internal.TCloseQ@@ -179,8 +205,7 @@       , Codec.Capnp     -- other-extensions:     build-depends:-        cpu                               ^>= 0.1.2-      , hashable                          >= 1.2.7 && <1.4+        hashable                          >= 1.2.7 && <1.4       , data-default-instances-vector     ^>= 0.0.1       , stm                               ^>= 2.5.0       , stm-containers                    >= 1.1.0 && <1.3@@ -188,8 +213,9 @@       , focus                             ^>= 1.0.1       , async                             ^>= 2.2.1       , network-simple                    ^>= 0.4-      , network                           ^>= 3.1-      , supervisors                       ^>= 0.2.0+      , network                           >= 3 && <3.2+      , supervisors                       ^>= 0.2.1+      , lifetimes                         ^>= 0.1       , pretty-show                       >= 1.9.5 && <1.11       , template-haskell                  ^>=2.16.0 @@ -202,6 +228,7 @@   main-is: Main.hs   other-modules:       IR.Name+      IR.New     , IR.Common     , IR.Stage1     , IR.Flat@@ -212,9 +239,11 @@     , Trans.Stage1ToFlat     , Trans.FlatToRaw     , Trans.FlatToPure+    , Trans.FlatToNew     , Trans.ToHaskellCommon     , Trans.PureToHaskell     , Trans.RawToHaskell+    , Trans.NewToHaskell     , Trans.HaskellToText     , Check   build-depends:@@ -247,28 +276,36 @@       , Examples.Rpc.CalculatorServer        -- Generated code for examples/calculator.capnp-      , Capnp.Gen.ById.X85150b117366d14b-      , Capnp.Gen.ById.X85150b117366d14b.Pure       , Capnp.Gen.Calculator       , Capnp.Gen.Calculator.Pure+      , Capnp.Gen.Calculator.New+      , Capnp.Gen.ById.X85150b117366d14b+      , Capnp.Gen.ById.X85150b117366d14b.Pure+      , Capnp.Gen.ById.X85150b117366d14b.New        -- Generated code for examples/echo.capnp       , Capnp.Gen.Echo       , Capnp.Gen.Echo.Pure+      , Capnp.Gen.Echo.New       , Capnp.Gen.ById.Xd0a87f36fa0182f5       , Capnp.Gen.ById.Xd0a87f36fa0182f5.Pure+      , Capnp.Gen.ById.Xd0a87f36fa0182f5.New        -- generated from tests/data/aircraft.capnp       , Capnp.Gen.Aircraft       , Capnp.Gen.Aircraft.Pure+      , Capnp.Gen.Aircraft.New       , Capnp.Gen.ById.X832bcc6686a26d56       , Capnp.Gen.ById.X832bcc6686a26d56.Pure+      , Capnp.Gen.ById.X832bcc6686a26d56.New        -- generated from tests/data/generics.capnp       , Capnp.Gen.Generics       , Capnp.Gen.Generics.Pure+      , Capnp.Gen.Generics.New       , Capnp.Gen.ById.Xb6421fb8e478d144       , Capnp.Gen.ById.Xb6421fb8e478d144.Pure+      , Capnp.Gen.ById.Xb6421fb8e478d144.New        -- Actual tests:       , Module.Capnp.Gen.Capnp.Schema@@ -280,6 +317,7 @@       , Module.Capnp.Bits       , Module.Capnp.Basics       , Module.Capnp.Canonicalize+      , PointerOOB       , Regression       , WalkSchemaCodeGenRequest       , SchemaQuickCheck@@ -303,3 +341,15 @@       , deepseq       , pretty-show       , supervisors+++benchmark bench+  import: shared-opts+  type: exitcode-stdio-1.0+  main-is: Main.hs+  hs-source-dirs: bench+  build-depends:+      capnp+    , criterion ^>=1.5.9+    , deepseq+    , process-extras

@@ -1,5 +1,4 @@ {-# LANGUAGE DuplicateRecordFields #-}-{-# LANGUAGE LambdaCase            #-} {-# LANGUAGE NamedFieldPuns        #-} module Check (reportIssues) where @@ -8,14 +7,14 @@  import qualified Data.Vector as V -import Capnp.Gen.Capnp.Schema.Pure+import Capnp.Gen.Capnp.Schema.New  -- | Scan the code generator request for certain issues, and warn the user -- if found. -- -- We still assume the input is *valid*, so these are issues regarding things -- that our implementation can't handle.-reportIssues :: CodeGeneratorRequest -> IO ()+reportIssues :: Parsed CodeGeneratorRequest -> IO () reportIssues CodeGeneratorRequest{nodes} =     let problemFields =             [ (displayName, name)@@ -39,8 +38,8 @@             , "for more information.\n"             ] -isPtrValue :: Value -> Bool-isPtrValue = \case+isPtrValue :: Parsed Value -> Bool+isPtrValue (Value v) = case v of     Value'void      -> False     Value'bool _    -> False     Value'int8 _    -> False

@@ -7,11 +7,12 @@  import Data.Word -import qualified Capnp.Untyped.Pure as U-import           Data.Bifunctor     (Bifunctor (..))-import qualified Data.Map.Strict    as M-import qualified Data.Vector        as V-import qualified IR.Name            as Name+import qualified Capnp.New.Basics  as B+import           Capnp.Repr.Parsed (Parsed)+import           Data.Bifunctor    (Bifunctor(..))+import qualified Data.Map.Strict   as M+import qualified Data.Vector       as V+import qualified IR.Name           as Name  newtype TypeId = TypeId Word64     deriving(Show, Read, Eq, Ord)@@ -195,7 +196,7 @@ data Value b r     = VoidValue     | WordValue (WordType r) !Word64-    | PtrValue (PtrType b r) (Maybe U.Ptr)+    | PtrValue (PtrType b r) (Parsed B.AnyPointer)     deriving(Show, Eq, Functor)  instance Bifunctor Value where

@@ -89,6 +89,11 @@         , typ  :: Type         , defs :: [InstanceDef]         }+    | DcTypeInstance Type Type+    | DcDeriveInstance+        { ctx :: [Type]+        , typ :: Type+        }     | DcClass         { ctx     :: [Type]         , name    :: Name.LocalQ@@ -108,6 +113,9 @@     -- ^ A list of type classes to include in the deriving clause.     , dataNewtype  :: !Bool     -- ^ Whether the declarationis a "newtype" or "data" declaration.+    , dataInstance :: !Bool+    -- ^ If true, this is actually an instance of a data family, rather+    -- than a stand-alone type.     }     deriving(Show, Read, Eq) @@ -158,10 +166,12 @@     | TPrim Common.PrimWord     | TUnit     | TKindAnnotated Type Type+    | TString T.Text -- type-level string literal     deriving(Show, Read, Eq)  data Exp-    = EApp Exp [Exp]+    = EVar T.Text+    | EApp Exp [Exp]     | EFApp Exp [Exp]     -- ^ "Functorial" application, i.e. f <$> x <*> y <*> z.     | EGName Name.GlobalQ@@ -176,6 +186,7 @@     | ETypeAnno Exp Type     | ELambda [Pattern] Exp     | ERecord Exp [(Name.UnQ, Exp)]+    | ELabel Name.UnQ     deriving(Show, Read, Eq)  data Do

@@ -28,7 +28,7 @@     getUnQ GlobalQ{local} = getUnQ local  newtype UnQ = UnQ T.Text-    deriving(Show, Read, Eq, Ord, IsString)+    deriving(Show, Read, Eq, Ord, IsString, Semigroup)  newtype NS = NS [T.Text]     deriving(Show, Read, Eq, Ord)

@@ -0,0 +1,81 @@+{-# LANGUAGE DuplicateRecordFields #-}+module IR.New where++import qualified Capnp.Repr as R+import           Data.Word+import qualified IR.Common  as C+import qualified IR.Name    as Name++type Brand = C.ListBrand Name.CapnpQ++data File+    = File+        { fileId   :: !Word64+        , decls    :: [Decl]+        , fileName :: FilePath+        }++data Decl+    = TypeDecl+        { name          :: Name.LocalQ+        , nodeId        :: !Word64+        , params        :: [Name.UnQ]+        , repr          :: R.Repr+        , extraTypeInfo :: Maybe ExtraTypeInfo+        }+    | FieldDecl+        { containerType :: Name.LocalQ+        , typeParams    :: [Name.UnQ]+        , fieldName     :: Name.UnQ+        , fieldLocType  :: C.FieldLocType Brand Name.CapnpQ+        }+    | UnionDecl+        { name       :: Name.LocalQ+        , typeParams :: [Name.UnQ]+        , tagLoc     :: C.DataLoc+        , variants   :: [UnionVariant]+        }+    | MethodDecl+        { interfaceName :: Name.LocalQ+        , typeParams    :: [Name.UnQ]+        , interfaceId   :: !Word64+        , methodName    :: Name.UnQ+        , methodId      :: !Word16+        , paramType     :: C.CompositeType Brand Name.CapnpQ+        , resultType    :: C.CompositeType Brand Name.CapnpQ+        }+    | ParsedInstanceDecl+        { typeName        :: Name.LocalQ+        , typeParams      :: [Name.UnQ]+        , parsedInstances :: ParsedInstances+        }+    | ConstDecl+        { name  :: Name.LocalQ+        , value :: C.Value Brand Name.CapnpQ+        }++-- | Data needed for declaring a Parsed instance, and instances+-- of related classes.+data ParsedInstances+    = ParsedStruct+        { fields       :: [(Name.UnQ, C.FieldLocType Brand Name.CapnpQ)]+        , hasUnion     :: !Bool+        , dataCtorName :: Name.LocalQ+        }+    | ParsedUnion+        { variants :: [(Name.UnQ, C.FieldLocType Brand Name.CapnpQ)]+        }++data ExtraTypeInfo+    = StructTypeInfo+        { nWords :: !Word16+        , nPtrs  :: !Word16+        }+    | EnumTypeInfo [Name.UnQ]+    | InterfaceTypeInfo++data UnionVariant = UnionVariant+    { variantName  :: Name.UnQ+    , tagValue     :: !Word16+    , fieldLocType :: C.FieldLocType Brand Name.CapnpQ+    }

@@ -10,23 +10,26 @@ import qualified Data.Text.Lazy    as LT import qualified Data.Text.Lazy.IO as TIO -import Capnp                       (defaultLimit, getValue)-import Capnp.Gen.Capnp.Schema.Pure (CodeGeneratorRequest)+import Capnp                      (defaultLimit, getParsed)+import Capnp.Gen.Capnp.Schema.New (CodeGeneratorRequest)+import Capnp.Repr.Parsed          (Parsed)  import qualified Check import qualified IR.Flat             as Flat import qualified IR.Haskell          as Haskell import qualified Trans.CgrToStage1+import qualified Trans.FlatToNew import qualified Trans.FlatToPure import qualified Trans.FlatToRaw import qualified Trans.HaskellToText+import qualified Trans.NewToHaskell import qualified Trans.PureToHaskell import qualified Trans.RawToHaskell import qualified Trans.Stage1ToFlat  main :: IO () main = do-    cgr <- getValue defaultLimit+    cgr <- getParsed defaultLimit     Check.reportIssues cgr     for_ (handleCGR cgr) $ \(path, contents) -> do         createDirectoryIfMissing True (takeDirectory path)@@ -34,13 +37,17 @@             TIO.hPutStr h contents  -- | Convert a 'CodeGeneratorRequest' to a list of files to create.-handleCGR :: CodeGeneratorRequest -> [(FilePath, LT.Text)]+handleCGR :: Parsed CodeGeneratorRequest -> [(FilePath, LT.Text)] handleCGR cgr =     let flat =             Trans.Stage1ToFlat.cgrToCgr $             Trans.CgrToStage1.cgrToCgr cgr         modules =-            handleFlatRaw flat ++ handleFlatPure flat+            concatMap ($ flat)+                [ handleFlatRaw+                , handleFlatPure+                , handleFlatNew+                ]     in     map         (\mod ->@@ -50,7 +57,7 @@         )         modules -handleFlatPure, handleFlatRaw :: Flat.CodeGenReq -> [Haskell.Module]+handleFlatPure, handleFlatRaw, handleFlatNew :: Flat.CodeGenReq -> [Haskell.Module]  handleFlatPure =     concatMap Trans.PureToHaskell.fileToModules@@ -59,3 +66,7 @@ handleFlatRaw =     concatMap Trans.RawToHaskell.fileToModules     . Trans.FlatToRaw.cgrToFiles++handleFlatNew =+    concatMap Trans.NewToHaskell.fileToModules+    . Trans.FlatToNew.cgrToFiles

@@ -17,17 +17,19 @@ import qualified Data.Text       as T import qualified Data.Vector     as V -import Capnp.Classes (toWord)+import Capnp.Classes     (toWord)+import Capnp.Fields      (HasUnion(..))+import Capnp.Repr.Parsed (Parsed) -import qualified Capnp.Gen.Capnp.Schema.Pure as Schema-import qualified Capnp.Untyped.Pure          as U-import qualified IR.Common                   as C-import qualified IR.Name                     as Name-import qualified IR.Stage1                   as Stage1+import qualified Capnp.Gen.Capnp.Schema.New as Schema+import qualified Capnp.New.Basics           as B+import qualified IR.Common                  as C+import qualified IR.Name                    as Name+import qualified IR.Stage1                  as Stage1  type NodeMap v = M.Map Word64 v -nodesToNodes :: NodeMap Schema.Node -> NodeMap Stage1.Node+nodesToNodes :: NodeMap (Parsed Schema.Node) -> NodeMap Stage1.Node nodesToNodes inMap = outMap   where     outMap = M.map translate inMap@@ -75,7 +77,8 @@                         | Schema.Superclass{id, brand} <- V.toList superclasses                         ]                     }-            Schema.Node'const Schema.Node'const'{ type_, value } -> Stage1.NodeConstant $+            Schema.Node'const Schema.Node'const'{ type_ = Schema.Type type_, value = Schema.Value value } ->+              Stage1.NodeConstant $                 let mismatch = error "ERROR: Constant's type and value do not agree"                 in case value of                     Schema.Value'void ->@@ -108,19 +111,19 @@                         C.WordValue (C.PrimWord C.PrimFloat64) (toWord v)                      Schema.Value'text v ->-                        C.PtrValue (C.PrimPtr C.PrimText) $ Just $ U.PtrList $ U.List8 $+                        C.PtrValue (C.PrimPtr C.PrimText) $ B.PtrList $ B.List8 $                             encodeUtf8 v                             & BS.unpack                             & (++ [0])                             & V.fromList                     Schema.Value'data_ v ->-                        C.PtrValue (C.PrimPtr C.PrimText) $ Just $ U.PtrList $ U.List8 $+                        C.PtrValue (C.PrimPtr C.PrimText) $ B.PtrList $ B.List8 $                             BS.unpack v                             & V.fromList                      Schema.Value'list v ->                         case type_ of-                            Schema.Type'list Schema.Type'list'{ elementType } ->+                            Schema.Type'list (Schema.Type'list' (Schema.Type elementType)) ->                                 C.PtrValue                                     (C.ListOf (typeToType outMap elementType))                                     v@@ -152,7 +155,7 @@                             Schema.Type'interface Schema.Type'interface'{ typeId, brand } ->                                 C.PtrValue                                     (C.PtrInterface (C.InterfaceType (outMap M.! typeId) (brandToBrand outMap brand)))-                                    Nothing+                                    B.PtrNull                             _ ->                                 mismatch @@ -165,7 +168,7 @@                 Stage1.NodeOther         } -brandToBrand :: NodeMap Stage1.Node -> Schema.Brand -> Stage1.Brand+brandToBrand :: NodeMap Stage1.Node -> Parsed Schema.Brand -> Stage1.Brand brandToBrand nodeMap Schema.Brand{scopes} =     C.MapBrand $ M.fromList $ mapMaybe scopeToScope (V.toList scopes)   where@@ -175,21 +178,22 @@         Schema.Brand'Scope'bind bindings -> Just             ( scopeId             , C.Bind $ bindings-                & V.map (\case-                    Schema.Brand'Binding'type_ typ -> case typeToType nodeMap typ of-                        C.PtrType t ->-                            C.BoundType t-                        C.CompositeType t ->-                            C.BoundType (C.PtrComposite t)-                        _ -> error-                            "Invalid schema: a type parameter was set to a non-pointer type."+                & V.map (\(Schema.Brand'Binding b) -> case b of+                    Schema.Brand'Binding'type_ (Schema.Type typ) ->+                        case typeToType nodeMap typ of+                            C.PtrType t ->+                                C.BoundType t+                            C.CompositeType t ->+                                C.BoundType (C.PtrComposite t)+                            _ -> error+                                "Invalid schema: a type parameter was set to a non-pointer type."                      Schema.Brand'Binding'unbound -> C.Unbound                     Schema.Brand'Binding'unknown' _ -> C.Unbound                 )             ) -methodToMethod :: NodeMap Stage1.Node -> Schema.Method -> Stage1.Method+methodToMethod :: NodeMap Stage1.Node -> Parsed Schema.Method -> Stage1.Method methodToMethod nodeMap Schema.Method     { name     , paramStructType, paramBrand@@ -201,10 +205,10 @@         , resultType = structTypeToType nodeMap resultStructType resultBrand         } -enumerantToName :: Schema.Enumerant -> Name.UnQ+enumerantToName :: Parsed Schema.Enumerant -> Name.UnQ enumerantToName Schema.Enumerant{name} = Name.UnQ name -fieldToField :: NodeMap Stage1.Node -> Schema.Field -> Stage1.Field+fieldToField :: NodeMap Stage1.Node -> Parsed Schema.Field -> Stage1.Field fieldToField nodeMap Schema.Field{name, discriminantValue, union'} =     Stage1.Field         { name = Name.UnQ name@@ -216,9 +220,13 @@         , locType = getFieldLocType nodeMap union'         } -getFieldLocType :: NodeMap Stage1.Node -> Schema.Field' -> C.FieldLocType Stage1.Brand Stage1.Node+getFieldLocType :: NodeMap Stage1.Node -> Parsed (Which Schema.Field) -> C.FieldLocType Stage1.Brand Stage1.Node getFieldLocType nodeMap = \case-    Schema.Field'slot Schema.Field'slot'{type_, defaultValue, offset} ->+    Schema.Field'slot Schema.Field'slot'+      { type_ = Schema.Type type_+      , defaultValue = Schema.Value defaultValue+      , offset+      } ->         case typeToType nodeMap type_ of             C.VoidType ->                 C.VoidField@@ -259,7 +267,7 @@ -- in a struct's data section. -- -- returns Nothing if the value is a non-word type.-valueBits :: Schema.Value -> Maybe Word64+valueBits :: Parsed (Which Schema.Value) -> Maybe Word64 valueBits = \case     Schema.Value'bool b    -> Just $ fromIntegral $ fromEnum b     Schema.Value'int8 n    -> Just $ fromIntegral n@@ -275,7 +283,7 @@     Schema.Value'enum n    -> Just $ fromIntegral n     _                      -> Nothing -- some non-word type. -reqFileToReqFile :: NodeMap Stage1.Node -> Schema.CodeGeneratorRequest'RequestedFile -> Stage1.ReqFile+reqFileToReqFile :: NodeMap Stage1.Node -> Parsed Schema.CodeGeneratorRequest'RequestedFile -> Stage1.ReqFile reqFileToReqFile nodeMap Schema.CodeGeneratorRequest'RequestedFile{id, filename} =     let Stage1.Node{nodeCommon=Stage1.NodeCommon{nodeNested}} = nodeMap M.! id     in Stage1.ReqFile@@ -286,7 +294,7 @@             }         } -cgrToCgr :: Schema.CodeGeneratorRequest -> Stage1.CodeGenReq+cgrToCgr :: Parsed Schema.CodeGeneratorRequest -> Stage1.CodeGenReq cgrToCgr Schema.CodeGeneratorRequest{nodes, requestedFiles} =     Stage1.CodeGenReq{allFiles, reqFiles}   where@@ -311,12 +319,12 @@ structTypeToType     :: NodeMap Stage1.Node     -> Word64-    -> Schema.Brand+    -> Parsed Schema.Brand     -> C.CompositeType Stage1.Brand Stage1.Node structTypeToType nodeMap typeId brand =     C.StructType (nodeMap M.! typeId) (brandToBrand nodeMap brand) -typeToType :: NodeMap Stage1.Node -> Schema.Type -> C.Type Stage1.Brand Stage1.Node+typeToType :: NodeMap Stage1.Node -> Parsed (Which Schema.Type) -> C.Type Stage1.Brand Stage1.Node typeToType nodeMap = \case     Schema.Type'void       -> C.VoidType     Schema.Type'bool       -> C.WordType $ C.PrimWord C.PrimBool@@ -332,8 +340,8 @@     Schema.Type'float64    -> C.WordType $ C.PrimWord C.PrimFloat64     Schema.Type'text       -> C.PtrType $ C.PrimPtr C.PrimText     Schema.Type'data_      -> C.PtrType $ C.PrimPtr C.PrimData-    Schema.Type'list Schema.Type'list'{elementType} ->-        C.PtrType $ C.ListOf (typeToType nodeMap elementType)+    Schema.Type'list Schema.Type'list'{elementType = Schema.Type t} ->+        C.PtrType $ C.ListOf (typeToType nodeMap t)     -- nb. enum has a brand field, but it's not actually use for anything.     Schema.Type'enum Schema.Type'enum'{typeId, brand = _ } ->         C.WordType $ C.EnumType $ nodeMap M.! typeId@@ -342,7 +350,7 @@         C.CompositeType $ structTypeToType nodeMap typeId brand     Schema.Type'interface Schema.Type'interface'{typeId, brand} ->         C.PtrType $ C.PtrInterface (C.InterfaceType (nodeMap M.! typeId) (brandToBrand nodeMap brand))-    Schema.Type'anyPointer p ->+    Schema.Type'anyPointer (Schema.Type'anyPointer' p) ->         case p of             Schema.Type'anyPointer'parameter Schema.Type'anyPointer'parameter'{scopeId, parameterIndex} ->                 let paramScope = nodeMap M.! scopeId in@@ -351,7 +359,8 @@                     , paramIndex = fromIntegral parameterIndex                     , paramName = Stage1.nodeParams (Stage1.nodeCommon paramScope) V.! fromIntegral parameterIndex                     }-            Schema.Type'anyPointer'unconstrained unconstrained  ->+            Schema.Type'anyPointer'unconstrained+              (Schema.Type'anyPointer'unconstrained' unconstrained) ->                 C.PtrType $ C.PrimPtr $ C.PrimAnyPtr $ case unconstrained of                     Schema.Type'anyPointer'unconstrained'anyKind    -> C.Ptr                     Schema.Type'anyPointer'unconstrained'struct     -> C.Struct

@@ -0,0 +1,131 @@+{-# LANGUAGE DuplicateRecordFields #-}+{-# LANGUAGE NamedFieldPuns        #-}+{-# LANGUAGE OverloadedStrings     #-}+module Trans.FlatToNew (cgrToFiles) where++import Data.Bifunctor (Bifunctor(..))++import qualified Capnp.Repr as R+import           Data.Maybe (isJust)+import qualified IR.Common  as C+import qualified IR.Flat    as Flat+import qualified IR.Name    as Name+import qualified IR.New     as New++cgrToFiles :: Flat.CodeGenReq -> [New.File]+cgrToFiles = map fileToFile . Flat.reqFiles++fileToFile :: Flat.File -> New.File+fileToFile Flat.File{fileId, fileName, nodes} =+    New.File+        { fileId+        , fileName+        , decls = concatMap nodeToDecls nodes+        }++mapTypes :: (Bifunctor p, Functor f) => p (f Flat.Node) Flat.Node -> p (f Name.CapnpQ) Name.CapnpQ+mapTypes = C.bothMap (\Flat.Node{name} -> name)++nodeToDecls :: Flat.Node -> [New.Decl]+nodeToDecls Flat.Node{nodeId, name=Name.CapnpQ{local}, typeParams, union_} =+    let mkType repr extraTypeInfo =+            New.TypeDecl+                { name = local+                , nodeId+                , params = map C.paramName typeParams+                , repr+                , extraTypeInfo+                }+        mkField field =+            fieldToDecl local typeParams field++        mkMethod methodId Flat.Method{name, paramType, resultType} =+            New.MethodDecl+                { interfaceName = local+                , interfaceId = nodeId+                , typeParams = map C.paramName typeParams+                , methodName = name+                , methodId+                , paramType = mapTypes paramType+                , resultType = mapTypes resultType+                }++        parsedStructNode fields hasUnion isGroup =+            New.ParsedInstanceDecl+                { typeName = local+                , typeParams = map C.paramName typeParams+                , parsedInstances = New.ParsedStruct+                    { fields =+                        [ ( Name.getUnQ fieldName+                          , mapTypes fieldLocType+                          )+                        | Flat.Field{fieldName, fieldLocType} <- fields+                        ]+                    , hasUnion+                    , dataCtorName = dataCtorName isGroup+                    }+                }++        parsedUnionNode Flat.Union{variants} =+            New.ParsedInstanceDecl+                { typeName = local+                , typeParams = map C.paramName typeParams+                , parsedInstances = New.ParsedUnion+                    { variants =+                        [ ( Name.getUnQ fieldName+                          , mapTypes fieldLocType+                          )+                        | Flat.Variant{field=Flat.Field{fieldName, fieldLocType}} <- variants+                        ]+                    }+                }++        dataCtorName isGroup+            | isGroup = Name.mkSub local ""+            | otherwise = local++        structUnionNodes Nothing = []+        structUnionNodes (Just union@Flat.Union{tagOffset, variants}) =+            [ New.UnionDecl+                { name = local+                , typeParams = map C.paramName typeParams+                , tagLoc = C.DataLoc+                    { dataIdx = fromIntegral $ tagOffset `div` 4+                    , dataOff = fromIntegral $ (tagOffset `mod` 4) * 16+                    , dataDef = 0+                    }+                , variants = map variantToVariant variants+                }+            , parsedUnionNode union+            ]+    in+    case union_ of+        Flat.Other       -> []+        Flat.Constant { value } ->+            [ New.ConstDecl { name = local, value = mapTypes value } ]+        Flat.Enum enumerants ->+            [ mkType (R.Data R.Sz16) $ Just $ New.EnumTypeInfo enumerants ]+        Flat.Interface{methods} ->+            mkType (R.Ptr (Just R.Cap)) (Just New.InterfaceTypeInfo)+            : zipWith mkMethod [0..] methods+        Flat.Struct{isGroup, fields, union, dataWordCount = nWords, pointerCount = nPtrs} ->+            mkType (R.Ptr (Just R.Struct)) (Just New.StructTypeInfo { nWords, nPtrs })+            : parsedStructNode fields (isJust union) isGroup+            : (structUnionNodes union ++ map mkField fields)++fieldToDecl :: Name.LocalQ -> [C.TypeParamRef Flat.Node] -> Flat.Field -> New.Decl+fieldToDecl containerType typeParams Flat.Field{fieldName, fieldLocType} =+    New.FieldDecl+        { containerType+        , typeParams = map C.paramName typeParams+        , fieldName = Name.getUnQ fieldName+        , fieldLocType = mapTypes fieldLocType+        }++variantToVariant :: Flat.Variant -> New.UnionVariant+variantToVariant Flat.Variant{tagValue, field = Flat.Field{fieldName, fieldLocType}} =+    New.UnionVariant+        { variantName = Name.getUnQ fieldName+        , tagValue+        , fieldLocType = mapTypes fieldLocType+        }

@@ -6,6 +6,7 @@ import Data.List                    (intersperse) import Data.String                  (fromString) import Text.PrettyPrint.Leijen.Text (hcat, vcat)+import Trans.ToHaskellCommon        (eStd_)  import qualified Data.Text                    as T import qualified Data.Text.Lazy               as LT@@ -46,6 +47,7 @@         , "{-# OPTIONS_GHC -Wno-unused-matches #-}"         , "{-# OPTIONS_GHC -Wno-orphans #-}"         , "{-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}"+        , "{-# OPTIONS_GHC -Wno-name-shadowing #-}"         , hcat             [ "module "             , PP.textStrict $ mconcat $ intersperse "." $ map Name.renderUnQ modName@@ -88,6 +90,16 @@         , format (TCtx ctx typ)         , whereBlock defs         ]+    format (DcTypeInstance alias orig) = hcat+        [ "type instance "+        , format alias+        , " = "+        , format orig+        ]+    format (DcDeriveInstance ctx typ) = hcat+        [ "deriving instance "+        , format $ TCtx ctx typ+        ]     format DcClass{ctx, name, params, funDeps, decls} = hcat         [ "class "         , format $@@ -141,11 +153,14 @@         ]  instance Format DataDecl where-    format Data{dataName, typeArgs, dataVariants, dataNewtype, derives} = vcat+    format Data{dataName, typeArgs, dataVariants, dataInstance, dataNewtype, derives} = vcat         [ hcat             [ if dataNewtype                 then "newtype "                 else "data "+            , if dataInstance+                then "instance "+                else ""             , format dataName             , " "             , mconcat $ intersperse " " $ map format typeArgs@@ -168,12 +183,13 @@         ]  instance Format Exp where+    format (EApp e []) = format e     format (EApp e es) = hcat         [ "("         , hcat $ intersperse " " $ map format (e:es)         , ")"         ]-    format (EFApp e []) = format e+    format (EFApp e []) = format (EApp (eStd_ "pure") [e])     format (EFApp e es) = hcat         [ "("         , format e@@ -181,6 +197,7 @@         ]     format (EGName e) = format e     format (ELName e) = format e+    format (EVar name) = PP.textStrict name     format (EInt n) = fromString (show n)     format (EDo ds ex) = vcat         [ "(do"@@ -215,6 +232,7 @@             [ hcat [ format name, " = ", format value ]             | (name, value) <- updates             ]+    format (ELabel name) = "#" <> format name  instance Format Do where     format (DoBind var ex) = format var <> " <- " <> format ex@@ -256,6 +274,7 @@     format (TGName ty) = format ty     format (TLName ty) = format ty     format (TVar txt)  = PP.textStrict txt+    format (TApp t []) = format t     format (TApp f xs) =         "(" <> mconcat (intersperse " " $ map format (f:xs)) <> ")"     format (TFn types) =@@ -267,6 +286,7 @@     format TUnit = "()"     format (TKindAnnotated ty kind) =         "(" <> format ty <> " :: " <> format kind <> ")"+    format (TString str) = fromString $ show str  instance Format Name.GlobalQ where     format Name.GlobalQ{local, globalNS=Name.NS parts} =

@@ -0,0 +1,906 @@+{-# LANGUAGE DuplicateRecordFields #-}+{-# LANGUAGE LambdaCase            #-}+{-# LANGUAGE NamedFieldPuns        #-}+{-# LANGUAGE OverloadedStrings     #-}+module Trans.NewToHaskell+    ( fileToModules+    ) where++import qualified Capnp.Repr            as R+import           Data.String           (IsString(fromString))+import           Data.Word+import qualified IR.Common             as C+import qualified IR.Haskell            as Hs+import qualified IR.Name               as Name+import qualified IR.New                as New+import           Trans.ToHaskellCommon++imports :: [Hs.Import]+imports =+    [ Hs.ImportAs { importAs = "R", parts = ["Capnp", "Repr"] }+    , Hs.ImportAs { importAs = "RP", parts = ["Capnp", "Repr", "Parsed"] }+    , Hs.ImportAs { importAs = "Basics", parts = ["Capnp", "New", "Basics"] }+    , Hs.ImportAs { importAs = "OL", parts = ["GHC", "OverloadedLabels"] }+    , Hs.ImportAs { importAs = "GH", parts = ["Capnp", "GenHelpers", "New"] }+    , Hs.ImportAs { importAs = "C", parts = ["Capnp", "New", "Classes"] }+    , Hs.ImportAs { importAs = "Generics", parts = ["GHC", "Generics"] }+    , Hs.ImportAs { importAs = "BS", parts = ["Capnp", "GenHelpers", "ReExports", "Data", "ByteString"] }+    ]++fileToModules :: New.File -> [Hs.Module]+fileToModules file =+    [ fileToMainModule file+    , fileToModuleAlias file+    ]++fileToMainModule :: New.File -> Hs.Module+fileToMainModule file@New.File{fileName} =+    fixImports $ Hs.Module+        { modName = ["Capnp", "Gen"] ++ makeModName fileName ++ ["New"]+        , modLangPragmas =+            [ "TypeFamilies"+            , "DataKinds"+            , "DeriveGeneric"+            , "DuplicateRecordFields"+            , "EmptyDataDeriving"+            , "FlexibleInstances"+            , "MultiParamTypeClasses"+            , "UndecidableInstances"+            , "OverloadedLabels"+            , "OverloadedStrings"+            , "StandaloneDeriving"+            , "RecordWildCards"+            ]+        , modExports = Nothing+        , modImports = imports+        , modDecls = fileToDecls file+        }++fileToModuleAlias :: New.File -> Hs.Module+fileToModuleAlias New.File{fileId,fileName} =+    let reExport = ["Capnp", "Gen"] ++ makeModName fileName ++ ["New"]+    in Hs.Module+        { modName = idToModule fileId ++ ["New"]+        , modLangPragmas = []+        , modExports = Just [Hs.ExportMod reExport]+        , modImports = [ Hs.ImportAll { parts = reExport } ]+        , modDecls = []+        }++fileToDecls :: New.File -> [Hs.Decl]+fileToDecls New.File{fileId, decls} =+    concatMap (declToDecls fileId) decls+++declToDecls :: Word64 -> New.Decl -> [Hs.Decl]+declToDecls thisMod decl =+    case decl of+        New.TypeDecl {name, params, repr, extraTypeInfo} ->+            let dataName = Name.localToUnQ name+                typeArgs = toTVars params+                typ = case typeArgs of+                    [] -> tuName dataName+                    _  -> Hs.TApp (tuName dataName) typeArgs+            in+            [ Hs.DcData Hs.Data+                { dataName+                , typeArgs+                , dataVariants =+                    case extraTypeInfo of+                        Just (New.EnumTypeInfo variants) ->+                            [ Hs.DataVariant+                                { dvCtorName = Name.localToUnQ $ Name.mkSub name variantName+                                , dvArgs = Hs.APos []+                                }+                            | variantName <- variants+                            ]+                            +++                            [ declareUnknownVariant name ]+                        _ -> []+                , derives =+                    case extraTypeInfo of+                        Just New.EnumTypeInfo {} -> [ "Std_.Eq", "Std_.Show" ]+                        _                        -> []+                , dataNewtype = False+                , dataInstance = False+                }+            , Hs.DcTypeInstance+                (Hs.TApp (tgName ["R"] "ReprFor") [typ])+                (toType repr)+            ] +++            let ctx = paramsContext typeArgs in+            case extraTypeInfo of+                Just New.StructTypeInfo{nWords, nPtrs} ->+                    [ Hs.DcInstance+                        { ctx+                        , typ = Hs.TApp (tgName ["C"] "TypedStruct") [typ]+                        , defs =+                            [ Hs.IdValue Hs.DfValue+                                { name = "numStructWords"+                                , params = []+                                , value = Hs.EInt $ fromIntegral nWords+                                }+                            , Hs.IdValue Hs.DfValue+                                { name = "numStructPtrs"+                                , params = []+                                , value = Hs.EInt $ fromIntegral nPtrs+                                }+                            ]+                        }+                    , Hs.DcInstance+                        { ctx+                        , typ = Hs.TApp (tgName ["C"] "Allocate") [typ]+                        , defs =+                            [ Hs.IdType $+                                Hs.TypeAlias "AllocHint" [typ] Hs.TUnit+                            , Hs.IdValue Hs.DfValue+                                { name = "new"+                                , params = [Hs.PVar "_"]+                                , value = egName ["C"] "newTypedStruct"+                                }+                            ]+                        }+                    , Hs.DcInstance+                        { ctx+                        , typ = Hs.TApp+                            (tgName ["C"] "EstimateAlloc")+                            [ typ, Hs.TApp (tgName ["C"] "Parsed") [typ] ]+                        , defs = []+                        }+                    , Hs.DcInstance+                        { ctx+                        , typ = Hs.TApp (tgName ["C"] "AllocateList") [typ]+                        , defs =+                            [ Hs.IdType $ Hs.TypeAlias "ListAllocHint" [typ] (tStd_ "Int")+                            , Hs.IdValue Hs.DfValue+                                { name = "newList"+                                , params = []+                                , value = egName ["C"] "newTypedStructList"+                                }+                            ]+                        }+                    , Hs.DcInstance+                        { ctx+                        , typ = Hs.TApp+                            (tgName ["C"] "EstimateListAlloc")+                            [typ, Hs.TApp (tgName ["C"] "Parsed") [typ]]+                        , defs = []+                        }+                    ]+                Just (New.EnumTypeInfo variants) ->+                    [ Hs.DcInstance+                        { ctx+                        , typ = Hs.TApp (tStd_ "Enum") [typ]+                        , defs =+                            [ Hs.IdValue Hs.DfValue+                                { name = "toEnum"+                                , params = [Hs.PVar "n_"]+                                , value =+                                    Hs.ECase (euName "n_") $+                                        [ ( Hs.PInt i+                                          , Hs.ELName (Name.mkSub name variantName)+                                          )+                                        | (i, variantName) <- zip [0..] variants+                                        ] +++                                        [ ( Hs.PVar "tag_"+                                          , Hs.EApp+                                                (Hs.ELName (unknownVariant name))+                                                [Hs.EApp (eStd_ "fromIntegral") [euName "tag_"]]+                                          )+                                        ]++                                }+                            , Hs.IdValue Hs.DfValue+                                { name = "fromEnum"+                                , params = [Hs.PVar "value_"]+                                , value =+                                    Hs.ECase (euName "value_") $+                                        [ ( Hs.PLCtor (Name.mkSub name variantName) []+                                          , Hs.EInt i+                                          )+                                        | (i, variantName) <- zip [0..] variants+                                        ] +++                                        [ ( Hs.PLCtor (unknownVariant name) [Hs.PVar "tag_"]+                                          , Hs.EApp (eStd_ "fromIntegral") [euName "tag_"]+                                          )+                                        ]+                                }+                            ]+                        }+                    , Hs.DcInstance+                        { ctx+                        , typ = Hs.TApp (tgName ["C"] "IsWord") [typ]+                        , defs =+                            [ Hs.IdValue Hs.DfValue+                                { name = "fromWord"+                                , params = [Hs.PVar "w_"]+                                , value = Hs.EApp (eStd_ "toEnum") [Hs.EApp (eStd_ "fromIntegral") [Hs.EVar "w_"]]+                                }+                            , Hs.IdValue Hs.DfValue+                                { name = "toWord"+                                , params = [Hs.PVar "v_"]+                                , value = Hs.EApp (eStd_ "fromIntegral") [Hs.EApp (eStd_ "fromEnum") [Hs.EVar "v_"]]+                                }+                            ]+                        }+                    , Hs.DcInstance+                        { ctx+                        , typ = Hs.TApp (tgName ["C"] "Parse") [typ, typ]+                        , defs =+                            [ Hs.IdValue Hs.DfValue+                                { name = "parse"+                                , params = []+                                , value = egName ["GH"] "parseEnum"+                                }+                            , Hs.IdValue Hs.DfValue+                                { name = "encode"+                                , params = []+                                , value = egName ["GH"] "encodeEnum"+                                }+                            ]+                        }+                    , Hs.DcInstance+                        { ctx+                        , typ = Hs.TApp (tgName ["C"] "AllocateList") [typ]+                        , defs =+                            [ Hs.IdType $ Hs.TypeAlias "ListAllocHint" [typ] (tStd_ "Int")+                            ]+                        }+                    , Hs.DcInstance+                        { ctx+                        , typ = Hs.TApp (tgName ["C"] "EstimateListAlloc") [typ, typ]+                        , defs = []+                        }+                    ]+                Just New.InterfaceTypeInfo ->+                    defineInterfaceParse name params+                Nothing -> []+        New.FieldDecl{containerType, typeParams, fieldName, fieldLocType} ->+            let tVars = toTVars typeParams+                ctx = paramsContext tVars+                labelType = Hs.TString (Name.renderUnQ fieldName)+                parentType = Hs.TApp (Hs.TLName containerType) tVars+                childType = fieldLocTypeToType thisMod fieldLocType+                fieldKind = Hs.TGName $ fieldLocTypeToFieldKind fieldLocType+            in+            [ Hs.DcInstance+                { ctx+                , typ = Hs.TApp+                    (tgName ["GH"] "HasField")+                    [labelType, fieldKind, parentType, childType]+                , defs =+                    [ Hs.IdValue Hs.DfValue+                        { name = "fieldByLabel"+                        , value = fieldLocTypeToField fieldLocType+                        , params = []+                        }+                    ]+                }+            ]+        New.UnionDecl{name, typeParams, tagLoc, variants} ->+            let tVars = toTVars typeParams+                typ = Hs.TApp (Hs.TLName name) tVars+            in+            Hs.DcInstance+                { ctx = paramsContext tVars+                , typ = Hs.TApp (tgName ["GH"] "HasUnion") [typ]+                , defs =+                    [ Hs.IdValue Hs.DfValue+                        { name = "unionField"+                        , params = []+                        , value = fieldLocTypeToField $ C.DataField+                            tagLoc+                            (C.PrimWord (C.PrimInt (C.IntType C.Unsigned C.Sz16)))+                        }+                    , defineRawData thisMod name tVars variants+                    , defineInternalWhich name variants+                    , Hs.IdData Hs.Data+                        { dataName = "Which"+                        , typeArgs = [typ]+                        , dataVariants = []+                        , derives = []+                        , dataNewtype = False+                        , dataInstance = False+                        }+                    ]+                }+            : concatMap (variantToDecls thisMod name typeParams) variants+        New.MethodDecl+                { interfaceName+                , typeParams+                , interfaceId+                , methodName+                , methodId+                , paramType+                , resultType+                } ->+            let tVars = toTVars typeParams in+            [ Hs.DcInstance+                { ctx = paramsContext tVars+                , typ = Hs.TApp+                    (tgName ["GH"] "HasMethod")+                    [ Hs.TString (Name.renderUnQ methodName)+                    , Hs.TApp (Hs.TLName interfaceName) tVars+                    , compositeTypeToType thisMod paramType+                    , compositeTypeToType thisMod resultType+                    ]+                , defs =+                    [ Hs.IdValue Hs.DfValue+                        { name = "methodByLabel"+                        , params = []+                        , value = Hs.EApp+                            (egName ["GH"] "Method")+                            [ Hs.EInt $ fromIntegral interfaceId+                            , Hs.EInt $ fromIntegral methodId+                            ]+                        }+                    ]+                }+            ]+        New.ParsedInstanceDecl{ typeName, typeParams, parsedInstances } ->+            defineParsedInstances thisMod typeName typeParams parsedInstances+        New.ConstDecl { name, value } ->+            defineConstant thisMod name value++defineConstant thisMod localName value =+    let name = Name.localToUnQ localName in+    case value of+        C.VoidValue ->+            [ Hs.DcValue+                { typ = Hs.TUnit+                , def = Hs.DfValue+                    { name+                    , params = []+                    , value = Hs.ETup []+                    }+                }+            ]+        C.WordValue t v ->+            [ Hs.DcValue+                { typ = typeToType thisMod (C.WordType t)+                , def = Hs.DfValue+                    { name+                    , params = []+                    , value = Hs.EApp (egName ["C"] "fromWord") [Hs.EInt (fromIntegral v)]+                    }+                }+            ]+        C.PtrValue t v ->+            [ Hs.DcValue+                { typ = Hs.TApp (tgName ["R"] "Raw") [tgName ["GH"] "Const", typeToType thisMod (C.PtrType t)]+                , def = Hs.DfValue+                    { name+                    , params = []+                    , value = Hs.EApp+                        (egName ["GH"] "getPtrConst")+                        [Hs.ETypeAnno (Hs.EBytes (makePtrBytes v)) (tgName ["BS"] "ByteString")]+                    }+                }+            ]++defineRawData thisMod name tVars variants =+    Hs.IdData Hs.Data+        { dataName = "RawWhich"+        , typeArgs =+            [ Hs.TVar "mut_"+            , Hs.TApp (Hs.TVar $ Name.renderUnQ $ Name.localToUnQ name) tVars+            ]++        , dataNewtype = False+        , dataInstance = False+        , dataVariants =+            [ Hs.DataVariant+                { dvCtorName =+                    "RW_" <> Name.localToUnQ (Name.mkSub name variantName)+                , dvArgs = Hs.APos+                    [ Hs.TApp+                        (tReprName "Raw")+                        [ Hs.TVar "mut_"+                        , fieldLocTypeToType thisMod fieldLocType+                        ]+                    ]+                }+            | New.UnionVariant{variantName, fieldLocType} <- variants+            ]+            +++            [ Hs.DataVariant+                { dvCtorName = "RW_" <> Name.localToUnQ (unknownVariant name)+                , dvArgs = Hs.APos [tStd_ "Word16"]+                }+            ]++        -- TODO: derive Show, Read, Eq, Generic, to be feature complete with the code generated by RawToHaskell.+        -- This will require a stand-alone deriving declaration+        , derives = []+        }++unknownVariant :: Name.LocalQ -> Name.LocalQ+unknownVariant name = Name.mkSub name "unknown'"++rawCtorName :: Name.LocalQ -> Name.UnQ+rawCtorName local = "RW_" <> Name.localToUnQ local+++defineInternalWhich structName variants =+    Hs.IdValue Hs.DfValue+        { name = "internalWhich"+        , params = [Hs.PVar "tag_", Hs.PVar "struct_"]+        , value =+            Hs.ECase (Hs.ELName "tag_") $+                [ ( Hs.PInt $ fromIntegral tagValue+                  , Hs.EFApp+                        (euName $ rawCtorName (Name.mkSub structName variantName))+                        [ Hs.EApp+                            (egName ["GH"] "readVariant")+                            [ Hs.ELabel variantName+                            , euName "struct_"+                            ]+                        ]+                  )+                | New.UnionVariant{tagValue, variantName} <- variants+                ]+                +++                [ ( Hs.PVar "_"+                  , Hs.EApp (eStd_ "pure")+                        [ Hs.EApp+                            (euName $ rawCtorName (unknownVariant structName))+                            [euName "tag_"]+                        ]+                  )+                ]+        }++variantToDecls thisMod containerType typeParams New.UnionVariant{tagValue, variantName, fieldLocType} =+    let tVars = toTVars typeParams+        ctx = paramsContext tVars+        labelType = Hs.TString (Name.renderUnQ variantName)+        parentType = Hs.TApp (Hs.TLName containerType) tVars+        childType = fieldLocTypeToType thisMod fieldLocType+        fieldKind = Hs.TGName $ fieldLocTypeToFieldKind fieldLocType+    in+    [ Hs.DcInstance+        { ctx+        , typ = Hs.TApp+            (tgName ["GH"] "HasVariant")+            [labelType, fieldKind, parentType, childType]+        , defs =+            [ Hs.IdValue Hs.DfValue+                { name = "variantByLabel"+                , params = []+                , value = Hs.EApp+                    (egName ["GH"] "Variant")+                    [ fieldLocTypeToField fieldLocType+                    , Hs.EInt (fromIntegral tagValue)+                    ]+                }+            ]+        }+    ]++paramsContext :: [Hs.Type] -> [Hs.Type]+paramsContext = map paramConstraints++-- | Constraints required for a capnproto type parameter. The returned+-- expression has kind 'Constraint'.+paramConstraints :: Hs.Type -> Hs.Type+paramConstraints t =+    Hs.TApp (tgName ["GH"] "TypeParam") [t]++tCapnp :: Word64 -> Name.CapnpQ -> Hs.Type+tCapnp thisMod Name.CapnpQ{local, fileId}+    | thisMod == fileId = Hs.TLName local+    | otherwise = tgName (map Name.renderUnQ $ idToModule fileId ++ ["New"]) local++fieldLocTypeToType :: Word64 -> C.FieldLocType New.Brand Name.CapnpQ -> Hs.Type+fieldLocTypeToType thisMod = \case+    C.VoidField     -> Hs.TUnit+    C.DataField _ t -> wordTypeToType thisMod t+    C.PtrField _ t  -> ptrTypeToType thisMod t+    C.HereField t   -> compositeTypeToType thisMod t++fieldLocTypeToFieldKind :: C.FieldLocType b n -> Name.GlobalQ+fieldLocTypeToFieldKind = \case+    C.HereField _ -> gName ["GH"] "Group"+    _             -> gName ["GH"] "Slot"++wordTypeToType thisMod = \case+    C.EnumType t -> tCapnp thisMod t+    C.PrimWord t -> primWordToType t++primWordToType = \case+    C.PrimInt t   -> intTypeToType t+    C.PrimFloat32 -> tStd_ "Float"+    C.PrimFloat64 -> tStd_ "Double"+    C.PrimBool    -> tStd_ "Bool"++intTypeToType (C.IntType sign size) =+    let prefix = case sign of+            C.Signed   -> "Int"+            C.Unsigned -> "Word"+    in+    tStd_ $ fromString $ prefix ++ show (C.sizeBits size)++wordTypeBits = \case+    C.EnumType _                              -> 16+    C.PrimWord (C.PrimInt (C.IntType _ size)) -> C.sizeBits size+    C.PrimWord C.PrimFloat32                  -> 32+    C.PrimWord C.PrimFloat64                  -> 64+    C.PrimWord C.PrimBool                     -> 1++ptrTypeToType thisMod = \case+    C.ListOf t       -> Hs.TApp (tgName ["R"] "List") [typeToType thisMod t]+    C.PrimPtr t      -> primPtrToType t+    C.PtrComposite t -> compositeTypeToType thisMod t+    C.PtrInterface t -> interfaceTypeToType thisMod t+    C.PtrParam t     -> typeParamToType t++typeToType thisMod = \case+    C.CompositeType t -> compositeTypeToType thisMod t+    C.VoidType        -> Hs.TUnit+    C.WordType t      -> wordTypeToType thisMod t+    C.PtrType t       -> ptrTypeToType thisMod t++primPtrToType = \case+    C.PrimText     -> tgName ["Basics"] "Text"+    C.PrimData     -> tgName ["Basics"] "Data"+    C.PrimAnyPtr t -> anyPtrToType t++anyPtrToType :: C.AnyPtr -> Hs.Type+anyPtrToType t = tgName ["Basics"] $ case t of+    C.Struct -> "AnyStruct"+    C.List   -> "AnyList"+    C.Cap    -> "Capability"+    C.Ptr    -> "AnyPointer"++compositeTypeToType thisMod (C.StructType    name brand) = namedType thisMod name brand+interfaceTypeToType thisMod (C.InterfaceType name brand) = namedType thisMod name brand++typeParamToType = Hs.TVar . Name.typeVarName . C.paramName++namedType :: Word64 -> Name.CapnpQ -> C.ListBrand Name.CapnpQ -> Hs.Type+namedType thisMod name (C.ListBrand [])   = tCapnp thisMod name+namedType thisMod name (C.ListBrand args) =+    Hs.TApp+        (tCapnp thisMod name)+        [ typeToType thisMod (C.PtrType t) | t <- args ]++fieldLocTypeToField = \case+    C.DataField loc wt ->+        let shift = C.dataOff loc+            index = C.dataIdx loc+            nbits = wordTypeBits wt+            defaultValue = C.dataDef loc+        in+        Hs.EApp+            (egName ["GH"] "dataField")+            [ Hs.EInt $ fromIntegral shift+            , Hs.EInt $ fromIntegral index+            , Hs.EInt $ fromIntegral nbits+            , Hs.EInt $ fromIntegral defaultValue+            ]+    C.PtrField idx _ ->+        Hs.EApp (egName ["GH"] "ptrField") [Hs.EInt $ fromIntegral idx]+    C.VoidField ->+        egName ["GH"] "voidField"+    C.HereField _ ->+        egName ["GH"] "groupField"+++class ToType a where+    toType :: a -> Hs.Type++instance ToType R.Repr where+    toType (R.Ptr p)  = rApp "Ptr" [toType p]+    toType (R.Data d) = rApp "Data" [toType d]++instance ToType a => ToType (Maybe a) where+    toType Nothing  = tStd_ "Nothing"+    toType (Just a) = Hs.TApp (tStd_ "Just") [toType a]++instance ToType R.PtrRepr where+    toType R.Cap      = tReprName "Cap"+    toType (R.List r) = rApp "List" [toType r]+    toType R.Struct   = tReprName "Struct"++instance ToType R.ListRepr where+    toType (R.ListNormal nl) = rApp "ListNormal" [toType nl]+    toType R.ListComposite   = tReprName "ListComposite"++instance ToType R.NormalListRepr where+    toType (R.ListData r) = rApp "ListData" [toType r]+    toType R.ListPtr      = tReprName "ListPtr"++instance ToType R.DataSz where+    toType = tReprName . fromString . show+++rApp :: Name.LocalQ -> [Hs.Type] -> Hs.Type+rApp n = Hs.TApp (tReprName n)++tReprName :: Name.LocalQ -> Hs.Type+tReprName = tgName ["R"]++declareUnknownVariant :: Name.LocalQ -> Hs.DataVariant+declareUnknownVariant name = Hs.DataVariant+    { dvCtorName = Name.localToUnQ $ Name.mkSub name "unknown'"+    , dvArgs = Hs.APos [tStd_ "Word16"]+    }+++defineParsedInstances :: Word64 -> Name.LocalQ -> [Name.UnQ] -> New.ParsedInstances -> [Hs.Decl]+defineParsedInstances thisMod typeName typeParams instanceInfo =+    concatMap (\f -> f typeName typeParams instanceInfo)+        [ defineParsed thisMod+        , defineParse+        , defineMarshal+        ]++defineParsed :: Word64 -> Name.LocalQ -> [Name.UnQ] -> New.ParsedInstances -> [Hs.Decl]+defineParsed thisMod typeName typeParams instanceInfo =+    let tVars = map (Hs.TVar . Name.typeVarName) typeParams+        typ = Hs.TApp (Hs.TLName typeName) tVars+        parsedTy = case instanceInfo of+                    New.ParsedStruct{} -> typ+                    New.ParsedUnion{}  -> Hs.TApp (tgName ["GH"] "Which") [typ]+    in+    Hs.DcData Hs.Data+        { dataName = "C.Parsed"+        , typeArgs = [parsedTy]+        , derives = [ "Generics.Generic" ]+        , dataNewtype = False+        , dataInstance = True+        , dataVariants =+            case instanceInfo of+                New.ParsedStruct { fields, hasUnion, dataCtorName } ->+                    [ Hs.DataVariant+                        { dvCtorName = Name.localToUnQ dataCtorName+                        , dvArgs = Hs.ARec $+                            [ ( name+                              , Hs.TApp+                                  (tgName ["RP"] "Parsed")+                                  [fieldLocTypeToType thisMod typ]+                              )+                            | (name, typ) <- fields+                            ] +++                            [ ( "union'"+                              , Hs.TApp (tgName ["C"] "Parsed")+                                  [Hs.TApp (tgName ["GH"] "Which") [typ]]+                              )+                            | hasUnion+                            ]+                        }+                    ]+                New.ParsedUnion { variants } ->+                    [ Hs.DataVariant+                        { dvCtorName = Name.localToUnQ $ Name.mkSub typeName name+                        , dvArgs = case ftype of+                            C.VoidField -> Hs.APos []+                            _ -> Hs.APos+                                [ Hs.TApp+                                    (tgName ["RP"] "Parsed")+                                    [fieldLocTypeToType thisMod ftype]+                                ]+                        }+                    | (name, ftype) <- variants+                    ]+                    +++                    [ declareUnknownVariant typeName ]++        }+    :+    [ Hs.DcDeriveInstance+        [ Hs.TApp (tStd_ cls) [Hs.TApp (tgName ["RP"] "Parsed") [v]]+        | v <- tVars+        ]+        (Hs.TApp (tStd_ cls) [Hs.TApp (tgName ["C"] "Parsed") [parsedTy]])+    | cls <- ["Show", "Eq"]+    ]++defineParse :: Name.LocalQ -> [Name.UnQ] -> New.ParsedInstances -> [Hs.Decl]+defineParse typeName typeParams New.ParsedStruct { fields, hasUnion, dataCtorName } =+    let tVars = toTVars typeParams+        typ = Hs.TApp (Hs.TLName typeName) tVars+    in+    [ Hs.DcInstance+        { ctx = paramsContext tVars+        , typ = Hs.TApp (tgName ["C"] "Parse") [typ, Hs.TApp (tgName ["C"] "Parsed") [typ]]+        , defs =+            [ Hs.IdValue Hs.DfValue+                { name = "parse"+                , params = [Hs.PVar "raw_"]+                , value = Hs.EFApp (Hs.ELName dataCtorName) $+                    [ Hs.EApp+                        (egName ["GH"] "parseField")+                        [Hs.ELabel field, euName "raw_"]+                    | field <- map fst fields+                    ]+                    +++                    if hasUnion then+                        [ Hs.EApp+                            (egName ["C"] "parse")+                            [Hs.EApp (egName ["GH"] "structUnion") [euName "raw_"]]+                        ]+                    else+                        []+                }+            ]+        }+    ]+defineParse typeName typeParams New.ParsedUnion{ variants } =+    let tVars = toTVars typeParams+        typ = Hs.TApp (tgName ["GH"] "Which") [Hs.TApp (Hs.TLName typeName) tVars]+    in+    [ Hs.DcInstance+        { ctx = paramsContext tVars+        , typ = Hs.TApp (tgName ["C"] "Parse") [typ, Hs.TApp (tgName ["C"] "Parsed") [typ]]+        , defs =+            [ Hs.IdValue Hs.DfValue+                { name = "parse"+                , params = [Hs.PVar "raw_"]+                , value = Hs.EDo+                    [ Hs.DoBind "rawWhich_" $ Hs.EApp (egName ["GH"] "unionWhich") [euName "raw_"]+                    ]+                    (Hs.ECase (euName "rawWhich_") $+                        [ let ctorName = Name.mkSub typeName variantName in+                          case fieldLocType of+                            C.VoidField ->+                                ( puName (rawCtorName ctorName) [Hs.PVar "_"]+                                , Hs.EApp (eStd_ "pure") [Hs.ELName ctorName]+                                )+                            _ ->+                                ( puName (rawCtorName ctorName) [Hs.PVar "rawArg_"]+                                , Hs.EFApp+                                    (Hs.ELName ctorName)+                                    [Hs.EApp (egName ["C"] "parse") [euName "rawArg_"]]+                                )+                        | (variantName, fieldLocType) <- variants+                        ]+                        +++                        [ let ctorName = unknownVariant typeName in+                          ( puName (rawCtorName ctorName) [Hs.PVar "tag_"]+                          , Hs.EApp+                                (eStd_ "pure")+                                [Hs.EApp (Hs.ELName ctorName) [euName "tag_"]]+                          )+                        ]+                    )+                }+            ]+        }+    ]++defineInterfaceParse typeName typeParams =+    let tVars = toTVars typeParams+        typ = Hs.TApp (Hs.TLName typeName) tVars+    in+    [ Hs.DcInstance+        { ctx = paramsContext tVars+        , typ = Hs.TApp (tgName ["C"] "Parse") [typ, Hs.TApp (tgName ["GH"] "Client") [typ]]+        , defs =+            [ Hs.IdValue Hs.DfValue+                { name = "parse"+                , params = []+                , value = egName ["GH"] "parseCap"+                }+            , Hs.IdValue Hs.DfValue+                { name = "encode"+                , params = []+                , value = egName ["GH"] "encodeCap"+                }+            ]+        }+    ]++defineMarshal :: Name.LocalQ -> [Name.UnQ] -> New.ParsedInstances -> [Hs.Decl]+defineMarshal typeName typeParams New.ParsedStruct { fields, hasUnion, dataCtorName } =+    let tVars = toTVars typeParams+        typ = Hs.TApp (Hs.TLName typeName) tVars+    in+    [ Hs.DcInstance+        { ctx = paramsContext tVars+        , typ = Hs.TApp+                    (tgName ["C"] "Marshal")+                    [typ, Hs.TApp (tgName ["C"] "Parsed") [typ]]+        , defs =+            [ if null fields && not hasUnion then+                -- We need to special case this, since otherwise GHC will complain about+                -- the record wildcard pattern on a ctor with no arguments.+                Hs.IdValue Hs.DfValue+                    { name = "marshalInto"+                    , params = [ Hs.PVar "_raw", Hs.PLCtor dataCtorName [] ]+                    , value = Hs.EApp (eStd_ "pure") [Hs.ETup []]+                    }+              else+                Hs.IdValue Hs.DfValue+                    { name = "marshalInto"+                    , params =+                        [ Hs.PVar "raw_", Hs.PLRecordWildCard dataCtorName]+                    , value = Hs.EDo+                        (map (Hs.DoE . uncurry emitMarshalField) fields)+                        (if hasUnion then+                            Hs.EApp (egName ["C"] "marshalInto")+                              [ Hs.EApp (egName ["GH"] "structUnion") [euName "raw_"]+                              , euName "union'"+                              ]+                        else+                            Hs.EApp (eStd_ "pure") [Hs.ETup []]+                        )+                    }+            ]+        }+    ]+defineMarshal typeName typeParams New.ParsedUnion { variants } =+    let tVars = toTVars typeParams+        typ = Hs.TApp (tgName ["GH"] "Which") [Hs.TApp (Hs.TLName typeName) tVars]+    in+    [ Hs.DcInstance+        { ctx = paramsContext tVars+        , typ = Hs.TApp+            (tgName ["C"] "Marshal")+            [typ, Hs.TApp (tgName ["C"] "Parsed") [typ]]+        , defs =+            [ Hs.IdValue Hs.DfValue+                { name = "marshalInto"+                , params = [ Hs.PVar "raw_", Hs.PVar "parsed_" ]+                , value = Hs.ECase (Hs.EVar "parsed_") $+                    [ ( Hs.PLCtor (Name.mkSub typeName name) $+                            case fieldLocType of+                                C.VoidField -> []+                                _           -> [Hs.PVar "arg_"]+                      , emitMarshalVariant name fieldLocType+                      )+                    | (name, fieldLocType) <- variants+                    ] +++                    [ ( Hs.PLCtor (unknownVariant typeName) [Hs.PVar "tag_"]+                      , Hs.EApp+                            (egName ["GH"] "encodeField")+                            [ egName ["GH"] "unionField"+                            , Hs.EVar "tag_"+                            , unionStruct (euName "raw_")+                            ]+                      )+                    ]+                }+            ]+        }+    ]++emitMarshalField :: Name.UnQ -> C.FieldLocType New.Brand Name.CapnpQ -> Hs.Exp+emitMarshalField name (C.HereField _) =+    Hs.EDo+        [ Hs.DoBind "group_" $ Hs.EApp+            (egName ["GH"] "readField")+            [Hs.ELabel name, Hs.EVar "raw_"]+        ]+        (Hs.EApp (egName ["C"] "marshalInto") [Hs.EVar "group_", euName name])+emitMarshalField name _ =+    Hs.EApp (egName ["GH"] "encodeField")+        [ Hs.ELabel name+        , euName name+        , euName "raw_"+        ]++emitMarshalVariant :: Name.UnQ -> C.FieldLocType New.Brand Name.CapnpQ -> Hs.Exp+emitMarshalVariant name (C.HereField _) = Hs.EDo+    [ Hs.DoBind "rawGroup_" $+        Hs.EApp (egName ["GH"] "initVariant")+            [ Hs.ELabel name+            , unionStruct (euName "raw_")+            ]+    ]+    (Hs.EApp (egName ["C"] "marshalInto") [euName "rawGroup_", euName "arg_"])+emitMarshalVariant name C.VoidField =+    Hs.EApp (egName ["GH"] "encodeVariant")+        [ Hs.ELabel name+        , Hs.ETup []+        , unionStruct (euName "raw_")+        ]+emitMarshalVariant name _ =+    Hs.EApp (egName ["GH"] "encodeVariant")+        [ Hs.ELabel name+        , euName "arg_"+        , unionStruct (euName "raw_")+        ]++unionStruct :: Hs.Exp -> Hs.Exp+unionStruct e = Hs.EApp (egName ["GH"] "unionStruct") [e]

@@ -185,6 +185,7 @@         , derives =             ["Std_.Show", "Std_.Eq", "Generics.Generic"]         , dataNewtype = False+        , dataInstance = False         , dataVariants =             case def of                 P.Product fields ->@@ -461,6 +462,7 @@     DcData Data         { dataName = Name.localToUnQ name         , dataNewtype = True+        , dataInstance = False         , dataVariants =             [ DataVariant                 { dvCtorName = Name.localToUnQ name

@@ -6,18 +6,13 @@  import Data.Word -import Data.Maybe  (fromJust) import Data.String (fromString)-import GHC.Exts    (fromList)  import qualified Data.Text as T  import IR.Haskell import Trans.ToHaskellCommon -import qualified Capnp-import qualified Capnp.Untyped.Pure as Untyped- import qualified IR.Common as C import qualified IR.Name   as Name import qualified IR.Raw    as Raw@@ -88,6 +83,7 @@     [ DcData Data         { dataName = Name.localToUnQ typeCtor         , dataNewtype = False+        , dataInstance = False         , typeArgs = typeParamNames ++ [TKindAnnotated (TVar "mut") (tgName ["Message"] "Mutability")]         , dataVariants =             [ DataVariant@@ -184,6 +180,7 @@     [ DcData Data         { dataName = Name.localToUnQ typeCtor         , dataNewtype = False+        , dataInstance = False         , typeArgs = []         , dataVariants =             map enumerantToVariant dataCtors@@ -241,6 +238,7 @@                 ]             , derives = []             , dataNewtype = True+            , dataInstance = False             }         , iValue "index" [PVar "i", PLCtor listCtor [PVar "l"]] $ EFApp             (egName ["Classes"] "fromWord")@@ -417,6 +415,7 @@                 ]             , derives = []             , dataNewtype = True+            , dataInstance = False             }         , iValue "listFromPtr" [PVar "msg", PVar "ptr"] $ EFApp             (ELName listCtor)@@ -709,15 +708,6 @@             }         }     ]-  where-    makePtrBytes ptr =-        Capnp.msgToLBS $ fromJust $ Capnp.createPure Capnp.defaultLimit $ do-            msg <- Capnp.newMessage Nothing-            rootPtr <- Capnp.cerialize msg $ Untyped.Struct-                (fromList [])-                (fromList [ptr])-            Capnp.setRoot rootPtr-            pure msg  containerTypeToType :: Name.LocalQ -> [Name.UnQ] -> Type -> Type containerTypeToType name params msgTy =@@ -825,6 +815,7 @@     DcData Data         { dataName = Name.localToUnQ typeCtor         , dataNewtype = True+        , dataInstance = False         , typeArgs = map TVar typeArgs         , dataVariants =             [ DataVariant

@@ -8,15 +8,24 @@ import Data.Word  import Data.Char       (toUpper)+import Data.Maybe      (fromJust)+import GHC.Exts        (fromList) import System.FilePath (splitDirectories) import Text.Printf     (printf) -import qualified Data.Set  as S-import qualified Data.Text as T -import qualified IR.Common as C-import qualified IR.Name   as Name+import qualified Data.ByteString.Lazy as LBS+import qualified Data.Set             as S+import qualified Data.Text            as T +import Capnp.New.Classes (encode)+import Capnp.Repr.Parsed (Parsed)++import qualified Capnp+import qualified Capnp.New.Basics as B+import qualified IR.Common        as C+import qualified IR.Name          as Name+ import IR.Haskell  -- Misc shortcuts for common constructs:@@ -51,6 +60,9 @@ pgName :: [T.Text] -> Name.LocalQ -> [Pattern] -> Pattern pgName parts local = PGCtor (gName parts local) +puName :: Name.UnQ -> [Pattern] -> Pattern+puName = PLCtor . Name.unQToLocal+ tuName :: Name.UnQ -> Type tuName = TLName . Name.unQToLocal @@ -143,6 +155,19 @@     in     m { modImports = modImports ++ neededImports } +toTVars :: [Name.UnQ] -> [Type]+toTVars = map (TVar . Name.typeVarName)++makePtrBytes :: Parsed B.AnyPointer -> LBS.ByteString+makePtrBytes ptr =+    Capnp.msgToLBS $ fromJust $ Capnp.createPure Capnp.defaultLimit $ do+        msg <- Capnp.newMessage Nothing+        rootPtr <- encode msg $ B.Struct+            (fromList [])+            (fromList [ptr])+        Capnp.setRoot rootPtr+        pure msg+ class HasGNames a where     -- | Collect all of the 'Name.GlobalQ's used in the module.     --@@ -171,6 +196,8 @@         , findGNames typ         , S.unions $ map findGNames defs         ]+    findGNames (DcTypeInstance alias orig) = findGNames alias `S.union` findGNames orig+    findGNames (DcDeriveInstance ctx typ) = findGNames (TCtx ctx typ)     findGNames DcClass{ctx, decls} =         S.unions $ map findGNames ctx ++ map findGNames decls 

@@ -0,0 +1,12 @@+{-# 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.ById.X85150b117366d14b.New(module Capnp.Gen.Calculator.New) where+import Capnp.Gen.Calculator.New+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))

@@ -0,0 +1,12 @@+{-# 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.ById.Xd0a87f36fa0182f5.New(module Capnp.Gen.Echo.New) where+import Capnp.Gen.Echo.New+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))

@@ -0,0 +1,501 @@+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE DuplicateRecordFields #-}+{-# LANGUAGE EmptyDataDeriving #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE OverloadedLabels #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE StandaloneDeriving #-}+{-# LANGUAGE RecordWildCards #-}+{-# 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.Calculator.New where+import qualified Capnp.Repr as R+import qualified Capnp.Repr.Parsed as RP+import qualified Capnp.New.Basics as Basics+import qualified GHC.OverloadedLabels as OL+import qualified Capnp.GenHelpers.New as GH+import qualified Capnp.New.Classes as C+import qualified GHC.Generics as Generics+import qualified Capnp.GenHelpers.ReExports.Data.ByteString as BS+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))+data Calculator +type instance (R.ReprFor Calculator) = (R.Ptr (Std_.Just R.Cap))+instance (C.Parse Calculator (GH.Client Calculator)) where+    parse  = GH.parseCap+    encode  = GH.encodeCap+instance (GH.HasMethod "evaluate" Calculator Calculator'evaluate'params Calculator'evaluate'results) where+    methodByLabel  = (GH.Method 10923537602090224694 0)+instance (GH.HasMethod "defFunction" Calculator Calculator'defFunction'params Calculator'defFunction'results) where+    methodByLabel  = (GH.Method 10923537602090224694 1)+instance (GH.HasMethod "getOperator" Calculator Calculator'getOperator'params Calculator'getOperator'results) where+    methodByLabel  = (GH.Method 10923537602090224694 2)+data Calculator'evaluate'params +type instance (R.ReprFor Calculator'evaluate'params) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Calculator'evaluate'params) where+    numStructWords  = 0+    numStructPtrs  = 1+instance (C.Allocate Calculator'evaluate'params) where+    type AllocHint Calculator'evaluate'params = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Calculator'evaluate'params (C.Parsed Calculator'evaluate'params))+instance (C.AllocateList Calculator'evaluate'params) where+    type ListAllocHint Calculator'evaluate'params = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Calculator'evaluate'params (C.Parsed Calculator'evaluate'params))+data instance C.Parsed Calculator'evaluate'params+    = Calculator'evaluate'params +        {expression :: (RP.Parsed Expression)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Calculator'evaluate'params))+deriving instance (Std_.Eq (C.Parsed Calculator'evaluate'params))+instance (C.Parse Calculator'evaluate'params (C.Parsed Calculator'evaluate'params)) where+    parse raw_ = (Calculator'evaluate'params <$> (GH.parseField #expression raw_))+instance (C.Marshal Calculator'evaluate'params (C.Parsed Calculator'evaluate'params)) where+    marshalInto raw_ Calculator'evaluate'params{..} = (do+        (GH.encodeField #expression expression raw_)+        (Std_.pure ())+        )+instance (GH.HasField "expression" GH.Slot Calculator'evaluate'params Expression) where+    fieldByLabel  = (GH.ptrField 0)+data Calculator'evaluate'results +type instance (R.ReprFor Calculator'evaluate'results) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Calculator'evaluate'results) where+    numStructWords  = 0+    numStructPtrs  = 1+instance (C.Allocate Calculator'evaluate'results) where+    type AllocHint Calculator'evaluate'results = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Calculator'evaluate'results (C.Parsed Calculator'evaluate'results))+instance (C.AllocateList Calculator'evaluate'results) where+    type ListAllocHint Calculator'evaluate'results = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Calculator'evaluate'results (C.Parsed Calculator'evaluate'results))+data instance C.Parsed Calculator'evaluate'results+    = Calculator'evaluate'results +        {value :: (RP.Parsed Value)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Calculator'evaluate'results))+deriving instance (Std_.Eq (C.Parsed Calculator'evaluate'results))+instance (C.Parse Calculator'evaluate'results (C.Parsed Calculator'evaluate'results)) where+    parse raw_ = (Calculator'evaluate'results <$> (GH.parseField #value raw_))+instance (C.Marshal Calculator'evaluate'results (C.Parsed Calculator'evaluate'results)) where+    marshalInto raw_ Calculator'evaluate'results{..} = (do+        (GH.encodeField #value value raw_)+        (Std_.pure ())+        )+instance (GH.HasField "value" GH.Slot Calculator'evaluate'results Value) where+    fieldByLabel  = (GH.ptrField 0)+data Calculator'defFunction'params +type instance (R.ReprFor Calculator'defFunction'params) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Calculator'defFunction'params) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate Calculator'defFunction'params) where+    type AllocHint Calculator'defFunction'params = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Calculator'defFunction'params (C.Parsed Calculator'defFunction'params))+instance (C.AllocateList Calculator'defFunction'params) where+    type ListAllocHint Calculator'defFunction'params = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Calculator'defFunction'params (C.Parsed Calculator'defFunction'params))+data instance C.Parsed Calculator'defFunction'params+    = Calculator'defFunction'params +        {paramCount :: (RP.Parsed Std_.Int32)+        ,body :: (RP.Parsed Expression)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Calculator'defFunction'params))+deriving instance (Std_.Eq (C.Parsed Calculator'defFunction'params))+instance (C.Parse Calculator'defFunction'params (C.Parsed Calculator'defFunction'params)) where+    parse raw_ = (Calculator'defFunction'params <$> (GH.parseField #paramCount raw_)+                                                <*> (GH.parseField #body raw_))+instance (C.Marshal Calculator'defFunction'params (C.Parsed Calculator'defFunction'params)) where+    marshalInto raw_ Calculator'defFunction'params{..} = (do+        (GH.encodeField #paramCount paramCount raw_)+        (GH.encodeField #body body raw_)+        (Std_.pure ())+        )+instance (GH.HasField "paramCount" GH.Slot Calculator'defFunction'params Std_.Int32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+instance (GH.HasField "body" GH.Slot Calculator'defFunction'params Expression) where+    fieldByLabel  = (GH.ptrField 0)+data Calculator'defFunction'results +type instance (R.ReprFor Calculator'defFunction'results) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Calculator'defFunction'results) where+    numStructWords  = 0+    numStructPtrs  = 1+instance (C.Allocate Calculator'defFunction'results) where+    type AllocHint Calculator'defFunction'results = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Calculator'defFunction'results (C.Parsed Calculator'defFunction'results))+instance (C.AllocateList Calculator'defFunction'results) where+    type ListAllocHint Calculator'defFunction'results = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Calculator'defFunction'results (C.Parsed Calculator'defFunction'results))+data instance C.Parsed Calculator'defFunction'results+    = Calculator'defFunction'results +        {func :: (RP.Parsed Function)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Calculator'defFunction'results))+deriving instance (Std_.Eq (C.Parsed Calculator'defFunction'results))+instance (C.Parse Calculator'defFunction'results (C.Parsed Calculator'defFunction'results)) where+    parse raw_ = (Calculator'defFunction'results <$> (GH.parseField #func raw_))+instance (C.Marshal Calculator'defFunction'results (C.Parsed Calculator'defFunction'results)) where+    marshalInto raw_ Calculator'defFunction'results{..} = (do+        (GH.encodeField #func func raw_)+        (Std_.pure ())+        )+instance (GH.HasField "func" GH.Slot Calculator'defFunction'results Function) where+    fieldByLabel  = (GH.ptrField 0)+data Calculator'getOperator'params +type instance (R.ReprFor Calculator'getOperator'params) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Calculator'getOperator'params) where+    numStructWords  = 1+    numStructPtrs  = 0+instance (C.Allocate Calculator'getOperator'params) where+    type AllocHint Calculator'getOperator'params = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Calculator'getOperator'params (C.Parsed Calculator'getOperator'params))+instance (C.AllocateList Calculator'getOperator'params) where+    type ListAllocHint Calculator'getOperator'params = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Calculator'getOperator'params (C.Parsed Calculator'getOperator'params))+data instance C.Parsed Calculator'getOperator'params+    = Calculator'getOperator'params +        {op :: (RP.Parsed Operator)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Calculator'getOperator'params))+deriving instance (Std_.Eq (C.Parsed Calculator'getOperator'params))+instance (C.Parse Calculator'getOperator'params (C.Parsed Calculator'getOperator'params)) where+    parse raw_ = (Calculator'getOperator'params <$> (GH.parseField #op raw_))+instance (C.Marshal Calculator'getOperator'params (C.Parsed Calculator'getOperator'params)) where+    marshalInto raw_ Calculator'getOperator'params{..} = (do+        (GH.encodeField #op op raw_)+        (Std_.pure ())+        )+instance (GH.HasField "op" GH.Slot Calculator'getOperator'params Operator) where+    fieldByLabel  = (GH.dataField 0 0 16 0)+data Calculator'getOperator'results +type instance (R.ReprFor Calculator'getOperator'results) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Calculator'getOperator'results) where+    numStructWords  = 0+    numStructPtrs  = 1+instance (C.Allocate Calculator'getOperator'results) where+    type AllocHint Calculator'getOperator'results = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Calculator'getOperator'results (C.Parsed Calculator'getOperator'results))+instance (C.AllocateList Calculator'getOperator'results) where+    type ListAllocHint Calculator'getOperator'results = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Calculator'getOperator'results (C.Parsed Calculator'getOperator'results))+data instance C.Parsed Calculator'getOperator'results+    = Calculator'getOperator'results +        {func :: (RP.Parsed Function)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Calculator'getOperator'results))+deriving instance (Std_.Eq (C.Parsed Calculator'getOperator'results))+instance (C.Parse Calculator'getOperator'results (C.Parsed Calculator'getOperator'results)) where+    parse raw_ = (Calculator'getOperator'results <$> (GH.parseField #func raw_))+instance (C.Marshal Calculator'getOperator'results (C.Parsed Calculator'getOperator'results)) where+    marshalInto raw_ Calculator'getOperator'results{..} = (do+        (GH.encodeField #func func raw_)+        (Std_.pure ())+        )+instance (GH.HasField "func" GH.Slot Calculator'getOperator'results Function) where+    fieldByLabel  = (GH.ptrField 0)+data Expression +type instance (R.ReprFor Expression) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Expression) where+    numStructWords  = 2+    numStructPtrs  = 2+instance (C.Allocate Expression) where+    type AllocHint Expression = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Expression (C.Parsed Expression))+instance (C.AllocateList Expression) where+    type ListAllocHint Expression = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Expression (C.Parsed Expression))+data instance C.Parsed Expression+    = Expression +        {union' :: (C.Parsed (GH.Which Expression))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Expression))+deriving instance (Std_.Eq (C.Parsed Expression))+instance (C.Parse Expression (C.Parsed Expression)) where+    parse raw_ = (Expression <$> (C.parse (GH.structUnion raw_)))+instance (C.Marshal Expression (C.Parsed Expression)) where+    marshalInto raw_ Expression{..} = (do+        (C.marshalInto (GH.structUnion raw_) union')+        )+instance (GH.HasUnion Expression) where+    unionField  = (GH.dataField 0 1 16 0)+    data RawWhich mut_ Expression+        = RW_Expression'literal (R.Raw mut_ Std_.Double)+        | RW_Expression'previousResult (R.Raw mut_ Value)+        | RW_Expression'parameter (R.Raw mut_ Std_.Word32)+        | RW_Expression'call (R.Raw mut_ Expression'call)+        | RW_Expression'unknown' Std_.Word16+    internalWhich tag_ struct_ = case tag_ of+        0 ->+            (RW_Expression'literal <$> (GH.readVariant #literal struct_))+        1 ->+            (RW_Expression'previousResult <$> (GH.readVariant #previousResult struct_))+        2 ->+            (RW_Expression'parameter <$> (GH.readVariant #parameter struct_))+        3 ->+            (RW_Expression'call <$> (GH.readVariant #call struct_))+        _ ->+            (Std_.pure (RW_Expression'unknown' tag_))+    data Which Expression+instance (GH.HasVariant "literal" GH.Slot Expression Std_.Double) where+    variantByLabel  = (GH.Variant (GH.dataField 0 0 64 0) 0)+instance (GH.HasVariant "previousResult" GH.Slot Expression Value) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 1)+instance (GH.HasVariant "parameter" GH.Slot Expression Std_.Word32) where+    variantByLabel  = (GH.Variant (GH.dataField 0 0 32 0) 2)+instance (GH.HasVariant "call" GH.Group Expression Expression'call) where+    variantByLabel  = (GH.Variant GH.groupField 3)+data instance C.Parsed (GH.Which Expression)+    = Expression'literal (RP.Parsed Std_.Double)+    | Expression'previousResult (RP.Parsed Value)+    | Expression'parameter (RP.Parsed Std_.Word32)+    | Expression'call (RP.Parsed Expression'call)+    | Expression'unknown' Std_.Word16+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed (GH.Which Expression)))+deriving instance (Std_.Eq (C.Parsed (GH.Which Expression)))+instance (C.Parse (GH.Which Expression) (C.Parsed (GH.Which Expression))) where+    parse raw_ = (do+        rawWhich_ <- (GH.unionWhich raw_)+        case rawWhich_ of+            (RW_Expression'literal rawArg_) ->+                (Expression'literal <$> (C.parse rawArg_))+            (RW_Expression'previousResult rawArg_) ->+                (Expression'previousResult <$> (C.parse rawArg_))+            (RW_Expression'parameter rawArg_) ->+                (Expression'parameter <$> (C.parse rawArg_))+            (RW_Expression'call rawArg_) ->+                (Expression'call <$> (C.parse rawArg_))+            (RW_Expression'unknown' tag_) ->+                (Std_.pure (Expression'unknown' tag_))+        )+instance (C.Marshal (GH.Which Expression) (C.Parsed (GH.Which Expression))) where+    marshalInto raw_ parsed_ = case parsed_ of+        (Expression'literal arg_) ->+            (GH.encodeVariant #literal arg_ (GH.unionStruct raw_))+        (Expression'previousResult arg_) ->+            (GH.encodeVariant #previousResult arg_ (GH.unionStruct raw_))+        (Expression'parameter arg_) ->+            (GH.encodeVariant #parameter arg_ (GH.unionStruct raw_))+        (Expression'call arg_) ->+            (do+                rawGroup_ <- (GH.initVariant #call (GH.unionStruct raw_))+                (C.marshalInto rawGroup_ arg_)+                )+        (Expression'unknown' tag_) ->+            (GH.encodeField GH.unionField tag_ (GH.unionStruct raw_))+data Expression'call +type instance (R.ReprFor Expression'call) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Expression'call) where+    numStructWords  = 2+    numStructPtrs  = 2+instance (C.Allocate Expression'call) where+    type AllocHint Expression'call = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Expression'call (C.Parsed Expression'call))+instance (C.AllocateList Expression'call) where+    type ListAllocHint Expression'call = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Expression'call (C.Parsed Expression'call))+data instance C.Parsed Expression'call+    = Expression'call' +        {function :: (RP.Parsed Function)+        ,params :: (RP.Parsed (R.List Expression))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Expression'call))+deriving instance (Std_.Eq (C.Parsed Expression'call))+instance (C.Parse Expression'call (C.Parsed Expression'call)) where+    parse raw_ = (Expression'call' <$> (GH.parseField #function raw_)+                                   <*> (GH.parseField #params raw_))+instance (C.Marshal Expression'call (C.Parsed Expression'call)) where+    marshalInto raw_ Expression'call'{..} = (do+        (GH.encodeField #function function raw_)+        (GH.encodeField #params params raw_)+        (Std_.pure ())+        )+instance (GH.HasField "function" GH.Slot Expression'call Function) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "params" GH.Slot Expression'call (R.List Expression)) where+    fieldByLabel  = (GH.ptrField 1)+data Value +type instance (R.ReprFor Value) = (R.Ptr (Std_.Just R.Cap))+instance (C.Parse Value (GH.Client Value)) where+    parse  = GH.parseCap+    encode  = GH.encodeCap+instance (GH.HasMethod "read" Value Value'read'params Value'read'results) where+    methodByLabel  = (GH.Method 14116142932258867410 0)+data Value'read'params +type instance (R.ReprFor Value'read'params) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Value'read'params) where+    numStructWords  = 0+    numStructPtrs  = 0+instance (C.Allocate Value'read'params) where+    type AllocHint Value'read'params = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Value'read'params (C.Parsed Value'read'params))+instance (C.AllocateList Value'read'params) where+    type ListAllocHint Value'read'params = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Value'read'params (C.Parsed Value'read'params))+data instance C.Parsed Value'read'params+    = Value'read'params +        {}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Value'read'params))+deriving instance (Std_.Eq (C.Parsed Value'read'params))+instance (C.Parse Value'read'params (C.Parsed Value'read'params)) where+    parse raw_ = (Std_.pure Value'read'params)+instance (C.Marshal Value'read'params (C.Parsed Value'read'params)) where+    marshalInto _raw (Value'read'params) = (Std_.pure ())+data Value'read'results +type instance (R.ReprFor Value'read'results) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Value'read'results) where+    numStructWords  = 1+    numStructPtrs  = 0+instance (C.Allocate Value'read'results) where+    type AllocHint Value'read'results = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Value'read'results (C.Parsed Value'read'results))+instance (C.AllocateList Value'read'results) where+    type ListAllocHint Value'read'results = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Value'read'results (C.Parsed Value'read'results))+data instance C.Parsed Value'read'results+    = Value'read'results +        {value :: (RP.Parsed Std_.Double)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Value'read'results))+deriving instance (Std_.Eq (C.Parsed Value'read'results))+instance (C.Parse Value'read'results (C.Parsed Value'read'results)) where+    parse raw_ = (Value'read'results <$> (GH.parseField #value raw_))+instance (C.Marshal Value'read'results (C.Parsed Value'read'results)) where+    marshalInto raw_ Value'read'results{..} = (do+        (GH.encodeField #value value raw_)+        (Std_.pure ())+        )+instance (GH.HasField "value" GH.Slot Value'read'results Std_.Double) where+    fieldByLabel  = (GH.dataField 0 0 64 0)+data Function +type instance (R.ReprFor Function) = (R.Ptr (Std_.Just R.Cap))+instance (C.Parse Function (GH.Client Function)) where+    parse  = GH.parseCap+    encode  = GH.encodeCap+instance (GH.HasMethod "call" Function Function'call'params Function'call'results) where+    methodByLabel  = (GH.Method 17143016017778443156 0)+data Function'call'params +type instance (R.ReprFor Function'call'params) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Function'call'params) where+    numStructWords  = 0+    numStructPtrs  = 1+instance (C.Allocate Function'call'params) where+    type AllocHint Function'call'params = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Function'call'params (C.Parsed Function'call'params))+instance (C.AllocateList Function'call'params) where+    type ListAllocHint Function'call'params = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Function'call'params (C.Parsed Function'call'params))+data instance C.Parsed Function'call'params+    = Function'call'params +        {params :: (RP.Parsed (R.List Std_.Double))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Function'call'params))+deriving instance (Std_.Eq (C.Parsed Function'call'params))+instance (C.Parse Function'call'params (C.Parsed Function'call'params)) where+    parse raw_ = (Function'call'params <$> (GH.parseField #params raw_))+instance (C.Marshal Function'call'params (C.Parsed Function'call'params)) where+    marshalInto raw_ Function'call'params{..} = (do+        (GH.encodeField #params params raw_)+        (Std_.pure ())+        )+instance (GH.HasField "params" GH.Slot Function'call'params (R.List Std_.Double)) where+    fieldByLabel  = (GH.ptrField 0)+data Function'call'results +type instance (R.ReprFor Function'call'results) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Function'call'results) where+    numStructWords  = 1+    numStructPtrs  = 0+instance (C.Allocate Function'call'results) where+    type AllocHint Function'call'results = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Function'call'results (C.Parsed Function'call'results))+instance (C.AllocateList Function'call'results) where+    type ListAllocHint Function'call'results = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Function'call'results (C.Parsed Function'call'results))+data instance C.Parsed Function'call'results+    = Function'call'results +        {value :: (RP.Parsed Std_.Double)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Function'call'results))+deriving instance (Std_.Eq (C.Parsed Function'call'results))+instance (C.Parse Function'call'results (C.Parsed Function'call'results)) where+    parse raw_ = (Function'call'results <$> (GH.parseField #value raw_))+instance (C.Marshal Function'call'results (C.Parsed Function'call'results)) where+    marshalInto raw_ Function'call'results{..} = (do+        (GH.encodeField #value value raw_)+        (Std_.pure ())+        )+instance (GH.HasField "value" GH.Slot Function'call'results Std_.Double) where+    fieldByLabel  = (GH.dataField 0 0 64 0)+data Operator +    = Operator'add +    | Operator'subtract +    | Operator'multiply +    | Operator'divide +    | Operator'unknown' Std_.Word16+    deriving(Std_.Eq,Std_.Show)+type instance (R.ReprFor Operator) = (R.Data R.Sz16)+instance (Std_.Enum Operator) where+    toEnum n_ = case n_ of+        0 ->+            Operator'add+        1 ->+            Operator'subtract+        2 ->+            Operator'multiply+        3 ->+            Operator'divide+        tag_ ->+            (Operator'unknown' (Std_.fromIntegral tag_))+    fromEnum value_ = case value_ of+        (Operator'add) ->+            0+        (Operator'subtract) ->+            1+        (Operator'multiply) ->+            2+        (Operator'divide) ->+            3+        (Operator'unknown' tag_) ->+            (Std_.fromIntegral tag_)+instance (C.IsWord Operator) where+    fromWord w_ = (Std_.toEnum (Std_.fromIntegral w_))+    toWord v_ = (Std_.fromIntegral (Std_.fromEnum v_))+instance (C.Parse Operator Operator) where+    parse  = GH.parseEnum+    encode  = GH.encodeEnum+instance (C.AllocateList Operator) where+    type ListAllocHint Operator = Std_.Int+instance (C.EstimateListAlloc Operator Operator)

@@ -74,7 +74,7 @@     calculator'getOperator :: cap -> (Server.MethodHandler m Calculator'getOperator'params Calculator'getOperator'results)     calculator'getOperator _ = Server.methodUnimplemented export_Calculator :: ((STM.MonadSTM m)-                     ,(Calculator'server_ Std_.IO cap)) => Supervisors.Supervisor -> cap -> (m (Calculator))+                     ,(Calculator'server_ Std_.IO cap)) => Supervisors.Supervisor -> cap -> (m Calculator) export_Calculator sup_ server_ = (STM.liftSTM (Calculator <$> (Rpc.export sup_ Server.ServerOps{handleCast = (Server.unwrap server_)                                                                                                ,handleStop = (Server.shutdown server_)                                                                                                ,handleCall = (\interfaceId_ methodId_ -> case interfaceId_ of@@ -90,24 +90,24 @@                                                                                                                Server.methodUnimplemented                                                                                                    _ ->                                                                                                        Server.methodUnimplemented)})))-instance (Rpc.IsClient (Calculator)) where+instance (Rpc.IsClient Calculator) where     fromClient  = Calculator     toClient (Calculator client) = client-instance (Classes.FromPtr msg (Calculator)) where+instance (Classes.FromPtr msg Calculator) where     fromPtr  = RpcHelpers.isClientFromPtr-instance (Classes.ToPtr s (Calculator)) where+instance (Classes.ToPtr s Calculator) where     toPtr  = RpcHelpers.isClientToPtr-instance (Classes.Decerialize (Calculator)) where-    type Cerial msg (Calculator) = (Capnp.Gen.ById.X85150b117366d14b.Calculator msg)+instance (Classes.Decerialize Calculator) where+    type Cerial msg Calculator = (Capnp.Gen.ById.X85150b117366d14b.Calculator msg)     decerialize (Capnp.Gen.ById.X85150b117366d14b.Calculator'newtype_ maybeCap) = case maybeCap of         (Std_.Nothing) ->             (Std_.pure (Calculator Message.nullClient))         (Std_.Just cap) ->             (Calculator <$> (Untyped.getClient cap))-instance (Classes.Cerialize s (Calculator)) where+instance (Classes.Cerialize s Calculator) where     cerialize msg (Calculator client) = (Capnp.Gen.ById.X85150b117366d14b.Calculator'newtype_ <$> (Std_.Just <$> (Untyped.appendCap msg client)))-instance (Server.Server Std_.IO (Calculator))-instance (Calculator'server_ Std_.IO (Calculator)) where+instance (Server.Server Std_.IO Calculator)+instance (Calculator'server_ Std_.IO Calculator) where     calculator'evaluate (Calculator client) = (Rpc.clientMethodHandler 10923537602090224694 0 client)     calculator'defFunction (Calculator client) = (Rpc.clientMethodHandler 10923537602090224694 1 client)     calculator'getOperator (Calculator client) = (Rpc.clientMethodHandler 10923537602090224694 2 client)@@ -117,34 +117,34 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Calculator'evaluate'params)) where+instance (Default.Default Calculator'evaluate'params) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Calculator'evaluate'params)) where+instance (Classes.FromStruct Message.Const Calculator'evaluate'params) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Calculator'evaluate'params)) where-    type Cerial msg (Calculator'evaluate'params) = (Capnp.Gen.ById.X85150b117366d14b.Calculator'evaluate'params msg)+instance (Classes.Decerialize Calculator'evaluate'params) where+    type Cerial msg Calculator'evaluate'params = (Capnp.Gen.ById.X85150b117366d14b.Calculator'evaluate'params msg)     decerialize raw = (Calculator'evaluate'params <$> ((Capnp.Gen.ById.X85150b117366d14b.get_Calculator'evaluate'params'expression raw) >>= Classes.decerialize))-instance (Classes.Marshal s (Calculator'evaluate'params)) where+instance (Classes.Marshal s Calculator'evaluate'params) where     marshalInto raw_ value_ = case value_ of         Calculator'evaluate'params{..} ->             (do                 ((Classes.cerialize (Untyped.message raw_) expression) >>= (Capnp.Gen.ById.X85150b117366d14b.set_Calculator'evaluate'params'expression raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Calculator'evaluate'params))-instance (Classes.Cerialize s (V.Vector (Calculator'evaluate'params))) where+instance (Classes.Cerialize s Calculator'evaluate'params)+instance (Classes.Cerialize s (V.Vector Calculator'evaluate'params)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Calculator'evaluate'params)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Calculator'evaluate'params))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Calculator'evaluate'params))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Calculator'evaluate'params)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'evaluate'params)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Calculator'evaluate'params))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'evaluate'params))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'evaluate'params)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'evaluate'params)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'evaluate'params))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'evaluate'params))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'evaluate'params)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Calculator'evaluate'results      = Calculator'evaluate'results @@ -152,34 +152,34 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Calculator'evaluate'results)) where+instance (Default.Default Calculator'evaluate'results) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Calculator'evaluate'results)) where+instance (Classes.FromStruct Message.Const Calculator'evaluate'results) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Calculator'evaluate'results)) where-    type Cerial msg (Calculator'evaluate'results) = (Capnp.Gen.ById.X85150b117366d14b.Calculator'evaluate'results msg)+instance (Classes.Decerialize Calculator'evaluate'results) where+    type Cerial msg Calculator'evaluate'results = (Capnp.Gen.ById.X85150b117366d14b.Calculator'evaluate'results msg)     decerialize raw = (Calculator'evaluate'results <$> ((Capnp.Gen.ById.X85150b117366d14b.get_Calculator'evaluate'results'value raw) >>= Classes.decerialize))-instance (Classes.Marshal s (Calculator'evaluate'results)) where+instance (Classes.Marshal s Calculator'evaluate'results) where     marshalInto raw_ value_ = case value_ of         Calculator'evaluate'results{..} ->             (do                 ((Classes.cerialize (Untyped.message raw_) value) >>= (Capnp.Gen.ById.X85150b117366d14b.set_Calculator'evaluate'results'value raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Calculator'evaluate'results))-instance (Classes.Cerialize s (V.Vector (Calculator'evaluate'results))) where+instance (Classes.Cerialize s Calculator'evaluate'results)+instance (Classes.Cerialize s (V.Vector Calculator'evaluate'results)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Calculator'evaluate'results)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Calculator'evaluate'results))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Calculator'evaluate'results))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Calculator'evaluate'results)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'evaluate'results)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Calculator'evaluate'results))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'evaluate'results))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'evaluate'results)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'evaluate'results)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'evaluate'results))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'evaluate'results))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'evaluate'results)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Calculator'defFunction'params      = Calculator'defFunction'params @@ -188,15 +188,15 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Calculator'defFunction'params)) where+instance (Default.Default Calculator'defFunction'params) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Calculator'defFunction'params)) where+instance (Classes.FromStruct Message.Const Calculator'defFunction'params) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Calculator'defFunction'params)) where-    type Cerial msg (Calculator'defFunction'params) = (Capnp.Gen.ById.X85150b117366d14b.Calculator'defFunction'params msg)+instance (Classes.Decerialize Calculator'defFunction'params) where+    type Cerial msg Calculator'defFunction'params = (Capnp.Gen.ById.X85150b117366d14b.Calculator'defFunction'params msg)     decerialize raw = (Calculator'defFunction'params <$> (Capnp.Gen.ById.X85150b117366d14b.get_Calculator'defFunction'params'paramCount raw)                                                      <*> ((Capnp.Gen.ById.X85150b117366d14b.get_Calculator'defFunction'params'body raw) >>= Classes.decerialize))-instance (Classes.Marshal s (Calculator'defFunction'params)) where+instance (Classes.Marshal s Calculator'defFunction'params) where     marshalInto raw_ value_ = case value_ of         Calculator'defFunction'params{..} ->             (do@@ -204,20 +204,20 @@                 ((Classes.cerialize (Untyped.message raw_) body) >>= (Capnp.Gen.ById.X85150b117366d14b.set_Calculator'defFunction'params'body raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Calculator'defFunction'params))-instance (Classes.Cerialize s (V.Vector (Calculator'defFunction'params))) where+instance (Classes.Cerialize s Calculator'defFunction'params)+instance (Classes.Cerialize s (V.Vector Calculator'defFunction'params)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Calculator'defFunction'params)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Calculator'defFunction'params))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Calculator'defFunction'params))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Calculator'defFunction'params)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'defFunction'params)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Calculator'defFunction'params))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'defFunction'params))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'defFunction'params)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'defFunction'params)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'defFunction'params))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'defFunction'params))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'defFunction'params)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Calculator'defFunction'results      = Calculator'defFunction'results @@ -225,34 +225,34 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Calculator'defFunction'results)) where+instance (Default.Default Calculator'defFunction'results) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Calculator'defFunction'results)) where+instance (Classes.FromStruct Message.Const Calculator'defFunction'results) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Calculator'defFunction'results)) where-    type Cerial msg (Calculator'defFunction'results) = (Capnp.Gen.ById.X85150b117366d14b.Calculator'defFunction'results msg)+instance (Classes.Decerialize Calculator'defFunction'results) where+    type Cerial msg Calculator'defFunction'results = (Capnp.Gen.ById.X85150b117366d14b.Calculator'defFunction'results msg)     decerialize raw = (Calculator'defFunction'results <$> ((Capnp.Gen.ById.X85150b117366d14b.get_Calculator'defFunction'results'func raw) >>= Classes.decerialize))-instance (Classes.Marshal s (Calculator'defFunction'results)) where+instance (Classes.Marshal s Calculator'defFunction'results) where     marshalInto raw_ value_ = case value_ of         Calculator'defFunction'results{..} ->             (do                 ((Classes.cerialize (Untyped.message raw_) func) >>= (Capnp.Gen.ById.X85150b117366d14b.set_Calculator'defFunction'results'func raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Calculator'defFunction'results))-instance (Classes.Cerialize s (V.Vector (Calculator'defFunction'results))) where+instance (Classes.Cerialize s Calculator'defFunction'results)+instance (Classes.Cerialize s (V.Vector Calculator'defFunction'results)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Calculator'defFunction'results)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Calculator'defFunction'results))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Calculator'defFunction'results))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Calculator'defFunction'results)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'defFunction'results)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Calculator'defFunction'results))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'defFunction'results))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'defFunction'results)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'defFunction'results)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'defFunction'results))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'defFunction'results))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'defFunction'results)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Calculator'getOperator'params      = Calculator'getOperator'params @@ -260,34 +260,34 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Calculator'getOperator'params)) where+instance (Default.Default Calculator'getOperator'params) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Calculator'getOperator'params)) where+instance (Classes.FromStruct Message.Const Calculator'getOperator'params) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Calculator'getOperator'params)) where-    type Cerial msg (Calculator'getOperator'params) = (Capnp.Gen.ById.X85150b117366d14b.Calculator'getOperator'params msg)+instance (Classes.Decerialize Calculator'getOperator'params) where+    type Cerial msg Calculator'getOperator'params = (Capnp.Gen.ById.X85150b117366d14b.Calculator'getOperator'params msg)     decerialize raw = (Calculator'getOperator'params <$> (Capnp.Gen.ById.X85150b117366d14b.get_Calculator'getOperator'params'op raw))-instance (Classes.Marshal s (Calculator'getOperator'params)) where+instance (Classes.Marshal s Calculator'getOperator'params) where     marshalInto raw_ value_ = case value_ of         Calculator'getOperator'params{..} ->             (do                 (Capnp.Gen.ById.X85150b117366d14b.set_Calculator'getOperator'params'op raw_ op)                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Calculator'getOperator'params))-instance (Classes.Cerialize s (V.Vector (Calculator'getOperator'params))) where+instance (Classes.Cerialize s Calculator'getOperator'params)+instance (Classes.Cerialize s (V.Vector Calculator'getOperator'params)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Calculator'getOperator'params)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Calculator'getOperator'params))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Calculator'getOperator'params))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Calculator'getOperator'params)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'getOperator'params)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Calculator'getOperator'params))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'getOperator'params))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'getOperator'params)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'getOperator'params)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'getOperator'params))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'getOperator'params))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'getOperator'params)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Calculator'getOperator'results      = Calculator'getOperator'results @@ -295,34 +295,34 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Calculator'getOperator'results)) where+instance (Default.Default Calculator'getOperator'results) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Calculator'getOperator'results)) where+instance (Classes.FromStruct Message.Const Calculator'getOperator'results) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Calculator'getOperator'results)) where-    type Cerial msg (Calculator'getOperator'results) = (Capnp.Gen.ById.X85150b117366d14b.Calculator'getOperator'results msg)+instance (Classes.Decerialize Calculator'getOperator'results) where+    type Cerial msg Calculator'getOperator'results = (Capnp.Gen.ById.X85150b117366d14b.Calculator'getOperator'results msg)     decerialize raw = (Calculator'getOperator'results <$> ((Capnp.Gen.ById.X85150b117366d14b.get_Calculator'getOperator'results'func raw) >>= Classes.decerialize))-instance (Classes.Marshal s (Calculator'getOperator'results)) where+instance (Classes.Marshal s Calculator'getOperator'results) where     marshalInto raw_ value_ = case value_ of         Calculator'getOperator'results{..} ->             (do                 ((Classes.cerialize (Untyped.message raw_) func) >>= (Capnp.Gen.ById.X85150b117366d14b.set_Calculator'getOperator'results'func raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Calculator'getOperator'results))-instance (Classes.Cerialize s (V.Vector (Calculator'getOperator'results))) where+instance (Classes.Cerialize s Calculator'getOperator'results)+instance (Classes.Cerialize s (V.Vector Calculator'getOperator'results)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Calculator'getOperator'results)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Calculator'getOperator'results))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Calculator'getOperator'results))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Calculator'getOperator'results)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'getOperator'results)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Calculator'getOperator'results))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'getOperator'results))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'getOperator'results)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'getOperator'results)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'getOperator'results))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Calculator'getOperator'results))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Calculator'getOperator'results)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Expression      = Expression'literal Std_.Double@@ -333,12 +333,12 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Expression)) where+instance (Default.Default Expression) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Expression)) where+instance (Classes.FromStruct Message.Const Expression) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Expression)) where-    type Cerial msg (Expression) = (Capnp.Gen.ById.X85150b117366d14b.Expression msg)+instance (Classes.Decerialize Expression) where+    type Cerial msg Expression = (Capnp.Gen.ById.X85150b117366d14b.Expression msg)     decerialize raw = (do         raw <- (Capnp.Gen.ById.X85150b117366d14b.get_Expression' raw)         case raw of@@ -353,7 +353,7 @@             (Capnp.Gen.ById.X85150b117366d14b.Expression'unknown' tag) ->                 (Std_.pure (Expression'unknown' tag))         )-instance (Classes.Marshal s (Expression)) where+instance (Classes.Marshal s Expression) where     marshalInto raw_ value_ = case value_ of         (Expression'literal arg_) ->             (Capnp.Gen.ById.X85150b117366d14b.set_Expression'literal raw_ arg_)@@ -368,20 +368,20 @@                 )         (Expression'unknown' tag) ->             (Capnp.Gen.ById.X85150b117366d14b.set_Expression'unknown' raw_ tag)-instance (Classes.Cerialize s (Expression))-instance (Classes.Cerialize s (V.Vector (Expression))) where+instance (Classes.Cerialize s Expression)+instance (Classes.Cerialize s (V.Vector Expression)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Expression)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Expression))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Expression))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Expression)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Expression)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Expression))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Expression))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Expression)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Expression)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Expression))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Expression))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Expression)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Expression'call      = Expression'call' @@ -390,15 +390,15 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Expression'call)) where+instance (Default.Default Expression'call) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Expression'call)) where+instance (Classes.FromStruct Message.Const Expression'call) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Expression'call)) where-    type Cerial msg (Expression'call) = (Capnp.Gen.ById.X85150b117366d14b.Expression'call msg)+instance (Classes.Decerialize Expression'call) where+    type Cerial msg Expression'call = (Capnp.Gen.ById.X85150b117366d14b.Expression'call msg)     decerialize raw = (Expression'call' <$> ((Capnp.Gen.ById.X85150b117366d14b.get_Expression'call'function raw) >>= Classes.decerialize)                                         <*> ((Capnp.Gen.ById.X85150b117366d14b.get_Expression'call'params raw) >>= Classes.decerialize))-instance (Classes.Marshal s (Expression'call)) where+instance (Classes.Marshal s Expression'call) where     marshalInto raw_ value_ = case value_ of         Expression'call'{..} ->             (do@@ -417,7 +417,7 @@     value'read :: cap -> (Server.MethodHandler m Value'read'params Value'read'results)     value'read _ = Server.methodUnimplemented export_Value :: ((STM.MonadSTM m)-                ,(Value'server_ Std_.IO cap)) => Supervisors.Supervisor -> cap -> (m (Value))+                ,(Value'server_ Std_.IO cap)) => Supervisors.Supervisor -> cap -> (m Value) export_Value sup_ server_ = (STM.liftSTM (Value <$> (Rpc.export sup_ Server.ServerOps{handleCast = (Server.unwrap server_)                                                                                      ,handleStop = (Server.shutdown server_)                                                                                      ,handleCall = (\interfaceId_ methodId_ -> case interfaceId_ of@@ -429,24 +429,24 @@                                                                                                      Server.methodUnimplemented                                                                                          _ ->                                                                                              Server.methodUnimplemented)})))-instance (Rpc.IsClient (Value)) where+instance (Rpc.IsClient Value) where     fromClient  = Value     toClient (Value client) = client-instance (Classes.FromPtr msg (Value)) where+instance (Classes.FromPtr msg Value) where     fromPtr  = RpcHelpers.isClientFromPtr-instance (Classes.ToPtr s (Value)) where+instance (Classes.ToPtr s Value) where     toPtr  = RpcHelpers.isClientToPtr-instance (Classes.Decerialize (Value)) where-    type Cerial msg (Value) = (Capnp.Gen.ById.X85150b117366d14b.Value msg)+instance (Classes.Decerialize Value) where+    type Cerial msg Value = (Capnp.Gen.ById.X85150b117366d14b.Value msg)     decerialize (Capnp.Gen.ById.X85150b117366d14b.Value'newtype_ maybeCap) = case maybeCap of         (Std_.Nothing) ->             (Std_.pure (Value Message.nullClient))         (Std_.Just cap) ->             (Value <$> (Untyped.getClient cap))-instance (Classes.Cerialize s (Value)) where+instance (Classes.Cerialize s Value) where     cerialize msg (Value client) = (Capnp.Gen.ById.X85150b117366d14b.Value'newtype_ <$> (Std_.Just <$> (Untyped.appendCap msg client)))-instance (Server.Server Std_.IO (Value))-instance (Value'server_ Std_.IO (Value)) where+instance (Server.Server Std_.IO Value)+instance (Value'server_ Std_.IO Value) where     value'read (Value client) = (Rpc.clientMethodHandler 14116142932258867410 0 client) data Value'read'params      = Value'read'params @@ -454,33 +454,33 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Value'read'params)) where+instance (Default.Default Value'read'params) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Value'read'params)) where+instance (Classes.FromStruct Message.Const Value'read'params) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Value'read'params)) where-    type Cerial msg (Value'read'params) = (Capnp.Gen.ById.X85150b117366d14b.Value'read'params msg)+instance (Classes.Decerialize Value'read'params) where+    type Cerial msg Value'read'params = (Capnp.Gen.ById.X85150b117366d14b.Value'read'params msg)     decerialize raw = (Std_.pure Value'read'params)-instance (Classes.Marshal s (Value'read'params)) where+instance (Classes.Marshal s Value'read'params) where     marshalInto raw_ value_ = case value_ of         (Value'read'params) ->             (do                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Value'read'params))-instance (Classes.Cerialize s (V.Vector (Value'read'params))) where+instance (Classes.Cerialize s Value'read'params)+instance (Classes.Cerialize s (V.Vector Value'read'params)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Value'read'params)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Value'read'params))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Value'read'params))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Value'read'params)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Value'read'params)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Value'read'params))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'read'params))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'read'params)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'read'params)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'read'params))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'read'params))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'read'params)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Value'read'results      = Value'read'results @@ -488,34 +488,34 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Value'read'results)) where+instance (Default.Default Value'read'results) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Value'read'results)) where+instance (Classes.FromStruct Message.Const Value'read'results) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Value'read'results)) where-    type Cerial msg (Value'read'results) = (Capnp.Gen.ById.X85150b117366d14b.Value'read'results msg)+instance (Classes.Decerialize Value'read'results) where+    type Cerial msg Value'read'results = (Capnp.Gen.ById.X85150b117366d14b.Value'read'results msg)     decerialize raw = (Value'read'results <$> (Capnp.Gen.ById.X85150b117366d14b.get_Value'read'results'value raw))-instance (Classes.Marshal s (Value'read'results)) where+instance (Classes.Marshal s Value'read'results) where     marshalInto raw_ value_ = case value_ of         Value'read'results{..} ->             (do                 (Capnp.Gen.ById.X85150b117366d14b.set_Value'read'results'value raw_ value)                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Value'read'results))-instance (Classes.Cerialize s (V.Vector (Value'read'results))) where+instance (Classes.Cerialize s Value'read'results)+instance (Classes.Cerialize s (V.Vector Value'read'results)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Value'read'results)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Value'read'results))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Value'read'results))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Value'read'results)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Value'read'results)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Value'read'results))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'read'results))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'read'results)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'read'results)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'read'results))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'read'results))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'read'results)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec newtype Function      = Function Message.Client@@ -528,7 +528,7 @@     function'call :: cap -> (Server.MethodHandler m Function'call'params Function'call'results)     function'call _ = Server.methodUnimplemented export_Function :: ((STM.MonadSTM m)-                   ,(Function'server_ Std_.IO cap)) => Supervisors.Supervisor -> cap -> (m (Function))+                   ,(Function'server_ Std_.IO cap)) => Supervisors.Supervisor -> cap -> (m Function) export_Function sup_ server_ = (STM.liftSTM (Function <$> (Rpc.export sup_ Server.ServerOps{handleCast = (Server.unwrap server_)                                                                                            ,handleStop = (Server.shutdown server_)                                                                                            ,handleCall = (\interfaceId_ methodId_ -> case interfaceId_ of@@ -540,24 +540,24 @@                                                                                                            Server.methodUnimplemented                                                                                                _ ->                                                                                                    Server.methodUnimplemented)})))-instance (Rpc.IsClient (Function)) where+instance (Rpc.IsClient Function) where     fromClient  = Function     toClient (Function client) = client-instance (Classes.FromPtr msg (Function)) where+instance (Classes.FromPtr msg Function) where     fromPtr  = RpcHelpers.isClientFromPtr-instance (Classes.ToPtr s (Function)) where+instance (Classes.ToPtr s Function) where     toPtr  = RpcHelpers.isClientToPtr-instance (Classes.Decerialize (Function)) where-    type Cerial msg (Function) = (Capnp.Gen.ById.X85150b117366d14b.Function msg)+instance (Classes.Decerialize Function) where+    type Cerial msg Function = (Capnp.Gen.ById.X85150b117366d14b.Function msg)     decerialize (Capnp.Gen.ById.X85150b117366d14b.Function'newtype_ maybeCap) = case maybeCap of         (Std_.Nothing) ->             (Std_.pure (Function Message.nullClient))         (Std_.Just cap) ->             (Function <$> (Untyped.getClient cap))-instance (Classes.Cerialize s (Function)) where+instance (Classes.Cerialize s Function) where     cerialize msg (Function client) = (Capnp.Gen.ById.X85150b117366d14b.Function'newtype_ <$> (Std_.Just <$> (Untyped.appendCap msg client)))-instance (Server.Server Std_.IO (Function))-instance (Function'server_ Std_.IO (Function)) where+instance (Server.Server Std_.IO Function)+instance (Function'server_ Std_.IO Function) where     function'call (Function client) = (Rpc.clientMethodHandler 17143016017778443156 0 client) data Function'call'params      = Function'call'params @@ -565,34 +565,34 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Function'call'params)) where+instance (Default.Default Function'call'params) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Function'call'params)) where+instance (Classes.FromStruct Message.Const Function'call'params) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Function'call'params)) where-    type Cerial msg (Function'call'params) = (Capnp.Gen.ById.X85150b117366d14b.Function'call'params msg)+instance (Classes.Decerialize Function'call'params) where+    type Cerial msg Function'call'params = (Capnp.Gen.ById.X85150b117366d14b.Function'call'params msg)     decerialize raw = (Function'call'params <$> ((Capnp.Gen.ById.X85150b117366d14b.get_Function'call'params'params raw) >>= Classes.decerialize))-instance (Classes.Marshal s (Function'call'params)) where+instance (Classes.Marshal s Function'call'params) where     marshalInto raw_ value_ = case value_ of         Function'call'params{..} ->             (do                 ((Classes.cerialize (Untyped.message raw_) params) >>= (Capnp.Gen.ById.X85150b117366d14b.set_Function'call'params'params raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Function'call'params))-instance (Classes.Cerialize s (V.Vector (Function'call'params))) where+instance (Classes.Cerialize s Function'call'params)+instance (Classes.Cerialize s (V.Vector Function'call'params)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Function'call'params)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Function'call'params))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Function'call'params))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Function'call'params)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Function'call'params)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Function'call'params))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Function'call'params))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Function'call'params)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Function'call'params)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Function'call'params))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Function'call'params))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Function'call'params)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Function'call'results      = Function'call'results @@ -600,34 +600,34 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Function'call'results)) where+instance (Default.Default Function'call'results) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Function'call'results)) where+instance (Classes.FromStruct Message.Const Function'call'results) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Function'call'results)) where-    type Cerial msg (Function'call'results) = (Capnp.Gen.ById.X85150b117366d14b.Function'call'results msg)+instance (Classes.Decerialize Function'call'results) where+    type Cerial msg Function'call'results = (Capnp.Gen.ById.X85150b117366d14b.Function'call'results msg)     decerialize raw = (Function'call'results <$> (Capnp.Gen.ById.X85150b117366d14b.get_Function'call'results'value raw))-instance (Classes.Marshal s (Function'call'results)) where+instance (Classes.Marshal s Function'call'results) where     marshalInto raw_ value_ = case value_ of         Function'call'results{..} ->             (do                 (Capnp.Gen.ById.X85150b117366d14b.set_Function'call'results'value raw_ value)                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Function'call'results))-instance (Classes.Cerialize s (V.Vector (Function'call'results))) where+instance (Classes.Cerialize s Function'call'results)+instance (Classes.Cerialize s (V.Vector Function'call'results)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Function'call'results)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Function'call'results))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Function'call'results))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Function'call'results)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Function'call'results)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Function'call'results))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Function'call'results))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Function'call'results)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Function'call'results)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Function'call'results))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Function'call'results))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Function'call'results)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec instance (Classes.Decerialize Capnp.Gen.ById.X85150b117366d14b.Operator) where     type Cerial msg Capnp.Gen.ById.X85150b117366d14b.Operator = Capnp.Gen.ById.X85150b117366d14b.Operator

@@ -0,0 +1,94 @@+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE DuplicateRecordFields #-}+{-# LANGUAGE EmptyDataDeriving #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE OverloadedLabels #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE StandaloneDeriving #-}+{-# LANGUAGE RecordWildCards #-}+{-# 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.Echo.New where+import qualified Capnp.Repr as R+import qualified Capnp.Repr.Parsed as RP+import qualified Capnp.New.Basics as Basics+import qualified GHC.OverloadedLabels as OL+import qualified Capnp.GenHelpers.New as GH+import qualified Capnp.New.Classes as C+import qualified GHC.Generics as Generics+import qualified Capnp.GenHelpers.ReExports.Data.ByteString as BS+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))+data Echo +type instance (R.ReprFor Echo) = (R.Ptr (Std_.Just R.Cap))+instance (C.Parse Echo (GH.Client Echo)) where+    parse  = GH.parseCap+    encode  = GH.encodeCap+instance (GH.HasMethod "echo" Echo Echo'echo'params Echo'echo'results) where+    methodByLabel  = (GH.Method 16940812395455687611 0)+data Echo'echo'params +type instance (R.ReprFor Echo'echo'params) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Echo'echo'params) where+    numStructWords  = 0+    numStructPtrs  = 1+instance (C.Allocate Echo'echo'params) where+    type AllocHint Echo'echo'params = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Echo'echo'params (C.Parsed Echo'echo'params))+instance (C.AllocateList Echo'echo'params) where+    type ListAllocHint Echo'echo'params = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Echo'echo'params (C.Parsed Echo'echo'params))+data instance C.Parsed Echo'echo'params+    = Echo'echo'params +        {query :: (RP.Parsed Basics.Text)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Echo'echo'params))+deriving instance (Std_.Eq (C.Parsed Echo'echo'params))+instance (C.Parse Echo'echo'params (C.Parsed Echo'echo'params)) where+    parse raw_ = (Echo'echo'params <$> (GH.parseField #query raw_))+instance (C.Marshal Echo'echo'params (C.Parsed Echo'echo'params)) where+    marshalInto raw_ Echo'echo'params{..} = (do+        (GH.encodeField #query query raw_)+        (Std_.pure ())+        )+instance (GH.HasField "query" GH.Slot Echo'echo'params Basics.Text) where+    fieldByLabel  = (GH.ptrField 0)+data Echo'echo'results +type instance (R.ReprFor Echo'echo'results) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Echo'echo'results) where+    numStructWords  = 0+    numStructPtrs  = 1+instance (C.Allocate Echo'echo'results) where+    type AllocHint Echo'echo'results = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Echo'echo'results (C.Parsed Echo'echo'results))+instance (C.AllocateList Echo'echo'results) where+    type ListAllocHint Echo'echo'results = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Echo'echo'results (C.Parsed Echo'echo'results))+data instance C.Parsed Echo'echo'results+    = Echo'echo'results +        {reply :: (RP.Parsed Basics.Text)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Echo'echo'results))+deriving instance (Std_.Eq (C.Parsed Echo'echo'results))+instance (C.Parse Echo'echo'results (C.Parsed Echo'echo'results)) where+    parse raw_ = (Echo'echo'results <$> (GH.parseField #reply raw_))+instance (C.Marshal Echo'echo'results (C.Parsed Echo'echo'results)) where+    marshalInto raw_ Echo'echo'results{..} = (do+        (GH.encodeField #reply reply raw_)+        (Std_.pure ())+        )+instance (GH.HasField "reply" GH.Slot Echo'echo'results Basics.Text) where+    fieldByLabel  = (GH.ptrField 0)

@@ -53,7 +53,7 @@     echo'echo :: cap -> (Server.MethodHandler m Echo'echo'params Echo'echo'results)     echo'echo _ = Server.methodUnimplemented export_Echo :: ((STM.MonadSTM m)-               ,(Echo'server_ Std_.IO cap)) => Supervisors.Supervisor -> cap -> (m (Echo))+               ,(Echo'server_ Std_.IO cap)) => Supervisors.Supervisor -> cap -> (m Echo) export_Echo sup_ server_ = (STM.liftSTM (Echo <$> (Rpc.export sup_ Server.ServerOps{handleCast = (Server.unwrap server_)                                                                                    ,handleStop = (Server.shutdown server_)                                                                                    ,handleCall = (\interfaceId_ methodId_ -> case interfaceId_ of@@ -65,24 +65,24 @@                                                                                                    Server.methodUnimplemented                                                                                        _ ->                                                                                            Server.methodUnimplemented)})))-instance (Rpc.IsClient (Echo)) where+instance (Rpc.IsClient Echo) where     fromClient  = Echo     toClient (Echo client) = client-instance (Classes.FromPtr msg (Echo)) where+instance (Classes.FromPtr msg Echo) where     fromPtr  = RpcHelpers.isClientFromPtr-instance (Classes.ToPtr s (Echo)) where+instance (Classes.ToPtr s Echo) where     toPtr  = RpcHelpers.isClientToPtr-instance (Classes.Decerialize (Echo)) where-    type Cerial msg (Echo) = (Capnp.Gen.ById.Xd0a87f36fa0182f5.Echo msg)+instance (Classes.Decerialize Echo) where+    type Cerial msg Echo = (Capnp.Gen.ById.Xd0a87f36fa0182f5.Echo msg)     decerialize (Capnp.Gen.ById.Xd0a87f36fa0182f5.Echo'newtype_ maybeCap) = case maybeCap of         (Std_.Nothing) ->             (Std_.pure (Echo Message.nullClient))         (Std_.Just cap) ->             (Echo <$> (Untyped.getClient cap))-instance (Classes.Cerialize s (Echo)) where+instance (Classes.Cerialize s Echo) where     cerialize msg (Echo client) = (Capnp.Gen.ById.Xd0a87f36fa0182f5.Echo'newtype_ <$> (Std_.Just <$> (Untyped.appendCap msg client)))-instance (Server.Server Std_.IO (Echo))-instance (Echo'server_ Std_.IO (Echo)) where+instance (Server.Server Std_.IO Echo)+instance (Echo'server_ Std_.IO Echo) where     echo'echo (Echo client) = (Rpc.clientMethodHandler 16940812395455687611 0 client) data Echo'echo'params      = Echo'echo'params @@ -90,34 +90,34 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Echo'echo'params)) where+instance (Default.Default Echo'echo'params) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Echo'echo'params)) where+instance (Classes.FromStruct Message.Const Echo'echo'params) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Echo'echo'params)) where-    type Cerial msg (Echo'echo'params) = (Capnp.Gen.ById.Xd0a87f36fa0182f5.Echo'echo'params msg)+instance (Classes.Decerialize Echo'echo'params) where+    type Cerial msg Echo'echo'params = (Capnp.Gen.ById.Xd0a87f36fa0182f5.Echo'echo'params msg)     decerialize raw = (Echo'echo'params <$> ((Capnp.Gen.ById.Xd0a87f36fa0182f5.get_Echo'echo'params'query raw) >>= Classes.decerialize))-instance (Classes.Marshal s (Echo'echo'params)) where+instance (Classes.Marshal s Echo'echo'params) where     marshalInto raw_ value_ = case value_ of         Echo'echo'params{..} ->             (do                 ((Classes.cerialize (Untyped.message raw_) query) >>= (Capnp.Gen.ById.Xd0a87f36fa0182f5.set_Echo'echo'params'query raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Echo'echo'params))-instance (Classes.Cerialize s (V.Vector (Echo'echo'params))) where+instance (Classes.Cerialize s Echo'echo'params)+instance (Classes.Cerialize s (V.Vector Echo'echo'params)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Echo'echo'params)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Echo'echo'params))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Echo'echo'params))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Echo'echo'params)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Echo'echo'params)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Echo'echo'params))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Echo'echo'params))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Echo'echo'params)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Echo'echo'params)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Echo'echo'params))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Echo'echo'params))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Echo'echo'params)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Echo'echo'results      = Echo'echo'results @@ -125,32 +125,32 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Echo'echo'results)) where+instance (Default.Default Echo'echo'results) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Echo'echo'results)) where+instance (Classes.FromStruct Message.Const Echo'echo'results) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Echo'echo'results)) where-    type Cerial msg (Echo'echo'results) = (Capnp.Gen.ById.Xd0a87f36fa0182f5.Echo'echo'results msg)+instance (Classes.Decerialize Echo'echo'results) where+    type Cerial msg Echo'echo'results = (Capnp.Gen.ById.Xd0a87f36fa0182f5.Echo'echo'results msg)     decerialize raw = (Echo'echo'results <$> ((Capnp.Gen.ById.Xd0a87f36fa0182f5.get_Echo'echo'results'reply raw) >>= Classes.decerialize))-instance (Classes.Marshal s (Echo'echo'results)) where+instance (Classes.Marshal s Echo'echo'results) where     marshalInto raw_ value_ = case value_ of         Echo'echo'results{..} ->             (do                 ((Classes.cerialize (Untyped.message raw_) reply) >>= (Capnp.Gen.ById.Xd0a87f36fa0182f5.set_Echo'echo'results'reply raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Echo'echo'results))-instance (Classes.Cerialize s (V.Vector (Echo'echo'results))) where+instance (Classes.Cerialize s Echo'echo'results)+instance (Classes.Cerialize s (V.Vector Echo'echo'results)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Echo'echo'results)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Echo'echo'results))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Echo'echo'results))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Echo'echo'results)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Echo'echo'results)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Echo'echo'results))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Echo'echo'results))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Echo'echo'results)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Echo'echo'results)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Echo'echo'results))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Echo'echo'results))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Echo'echo'results)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec

@@ -1,53 +1,64 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE NamedFieldPuns        #-}+{-# LANGUAGE OverloadedLabels      #-} module Examples.Rpc.CalculatorClient (main) where -import Network.Simple.TCP (connect)--import qualified Data.Vector as V--import Capnp         (def, defaultLimit)-import Capnp.Rpc     (ConnConfig (..), handleConn, socketTransport, wait, (?))-import Control.Monad (when)+import qualified Capnp.New          as C+import           Capnp.Rpc+    (ConnConfig(..), fromClient, handleConn, socketTransport)+import           Control.Monad      (when)+import           Data.Function      ((&))+import           Data.Functor       ((<&>))+import qualified Data.Vector        as V+import           Network.Simple.TCP (connect) -import Capnp.Gen.Calculator.Pure+import Capnp.Gen.Calculator.New  main :: IO () main = connect "localhost" "4000" $ \(sock, _addr) ->-    handleConn (socketTransport sock defaultLimit) def+    handleConn (socketTransport sock C.defaultLimit) C.def         { debugMode = True         , withBootstrap = Just $ \_sup client -> do-            let calc = Calculator client+            let calc :: C.Client Calculator+                calc = fromClient client -            Calculator'evaluate'results{value} <--                calculator'evaluate calc ? def-                    { expression = Expression'literal 123 }-                    >>= wait-            Value'read'results{value} <- value'read value ? def >>= wait+            value <- calc+                & C.callP #evaluate C.def { expression = Expression $ Expression'literal 123 }+                <&> C.pipe #value+                >>= C.callR #read C.def+                >>= C.waitPipeline+                >>= C.evalLimitT C.defaultLimit . C.parseField #value             assertEq value 123 -            Calculator'getOperator'results{func=add} <--                calculator'getOperator calc ? def { op = Operator'add      } >>= wait-            Calculator'getOperator'results{func=subtract} <--                calculator'getOperator calc ? def { op = Operator'subtract } >>= wait-            Calculator'evaluate'results{value} <- calculator'evaluate calc ? def-                { expression =-                    Expression'call Expression'call'-                        { function = subtract-                        , params = V.fromList-                            [ Expression'call Expression'call'-                                { function = add-                                , params = V.fromList-                                    [ Expression'literal 123-                                    , Expression'literal 45-                                    ]-                                }-                            , Expression'literal 67-                            ]-                        }-                }-                >>= wait-            Value'read'results{value} <- value'read value ? def >>= wait+            let getOp op = calc+                    & C.callP #getOperator C.def { op }+                    <&> C.pipe #func+                    >>= C.asClient++            add <- getOp Operator'add+            subtract <- getOp Operator'subtract++            value <- calc+                & C.callP #evaluate C.def+                    { expression =+                        Expression $ Expression'call Expression'call'+                            { function = subtract+                            , params = V.fromList+                                [ Expression $ Expression'call Expression'call'+                                    { function = add+                                    , params = V.fromList+                                        [ Expression $ Expression'literal 123+                                        , Expression $ Expression'literal 45+                                        ]+                                    }+                                , Expression $ Expression'literal 67+                                ]+                            }+                    }+                <&> C.pipe #value+                >>= C.callR #read C.def+                >>= C.waitPipeline+                >>= C.evalLimitT C.defaultLimit . C.parseField #value             assertEq value 101              putStrLn "PASS"

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.X86c366a91393f3f8(module Capnp.Gen.Capnp.Stream) where import Capnp.Gen.Capnp.Stream import qualified Prelude as Std_

@@ -0,0 +1,12 @@+{-# 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.ById.X86c366a91393f3f8.New(module Capnp.Gen.Capnp.Stream.New) where+import Capnp.Gen.Capnp.Stream.New+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.X86c366a91393f3f8.Pure(module Capnp.Gen.Capnp.Stream.Pure) where import Capnp.Gen.Capnp.Stream.Pure import qualified Prelude as Std_

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.X8ef99297a43a5e34(module Capnp.Gen.Capnp.Compat.Json) where import Capnp.Gen.Capnp.Compat.Json import qualified Prelude as Std_

@@ -0,0 +1,12 @@+{-# 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.ById.X8ef99297a43a5e34.New(module Capnp.Gen.Capnp.Compat.Json.New) where+import Capnp.Gen.Capnp.Compat.Json.New+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.X8ef99297a43a5e34.Pure(module Capnp.Gen.Capnp.Compat.Json.Pure) where import Capnp.Gen.Capnp.Compat.Json.Pure import qualified Prelude as Std_

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.Xa184c7885cdaf2a1(module Capnp.Gen.Capnp.RpcTwoparty) where import Capnp.Gen.Capnp.RpcTwoparty import qualified Prelude as Std_

@@ -0,0 +1,12 @@+{-# 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.ById.Xa184c7885cdaf2a1.New(module Capnp.Gen.Capnp.RpcTwoparty.New) where+import Capnp.Gen.Capnp.RpcTwoparty.New+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.Xa184c7885cdaf2a1.Pure(module Capnp.Gen.Capnp.RpcTwoparty.Pure) where import Capnp.Gen.Capnp.RpcTwoparty.Pure import qualified Prelude as Std_

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.Xa93fc509624c72d9(module Capnp.Gen.Capnp.Schema) where import Capnp.Gen.Capnp.Schema import qualified Prelude as Std_

@@ -0,0 +1,12 @@+{-# 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.ById.Xa93fc509624c72d9.New(module Capnp.Gen.Capnp.Schema.New) where+import Capnp.Gen.Capnp.Schema.New+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.Xa93fc509624c72d9.Pure(module Capnp.Gen.Capnp.Schema.Pure) where import Capnp.Gen.Capnp.Schema.Pure import qualified Prelude as Std_

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.Xb312981b2552a250(module Capnp.Gen.Capnp.Rpc) where import Capnp.Gen.Capnp.Rpc import qualified Prelude as Std_

@@ -0,0 +1,12 @@+{-# 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.ById.Xb312981b2552a250.New(module Capnp.Gen.Capnp.Rpc.New) where+import Capnp.Gen.Capnp.Rpc.New+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.Xb312981b2552a250.Pure(module Capnp.Gen.Capnp.Rpc.Pure) where import Capnp.Gen.Capnp.Rpc.Pure import qualified Prelude as Std_

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.Xb8630836983feed7(module Capnp.Gen.Capnp.Persistent) where import Capnp.Gen.Capnp.Persistent import qualified Prelude as Std_

@@ -0,0 +1,12 @@+{-# 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.ById.Xb8630836983feed7.New(module Capnp.Gen.Capnp.Persistent.New) where+import Capnp.Gen.Capnp.Persistent.New+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.Xb8630836983feed7.Pure(module Capnp.Gen.Capnp.Persistent.Pure) where import Capnp.Gen.Capnp.Persistent.Pure import qualified Prelude as Std_

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.Xbdf87d7bb8304e81(module Capnp.Gen.Capnp.Cxx) where import Capnp.Gen.Capnp.Cxx import qualified Prelude as Std_

@@ -0,0 +1,12 @@+{-# 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.ById.Xbdf87d7bb8304e81.New(module Capnp.Gen.Capnp.Cxx.New) where+import Capnp.Gen.Capnp.Cxx.New+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))

@@ -3,6 +3,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.ById.Xbdf87d7bb8304e81.Pure(module Capnp.Gen.Capnp.Cxx.Pure) where import Capnp.Gen.Capnp.Cxx.Pure import qualified Prelude as Std_

@@ -10,6 +10,7 @@ {-# 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 where import qualified Capnp.Message as Message import qualified Capnp.Untyped as Untyped

@@ -0,0 +1,277 @@+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE DuplicateRecordFields #-}+{-# LANGUAGE EmptyDataDeriving #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE OverloadedLabels #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE StandaloneDeriving #-}+{-# LANGUAGE RecordWildCards #-}+{-# 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.New where+import qualified Capnp.Repr as R+import qualified Capnp.Repr.Parsed as RP+import qualified Capnp.New.Basics as Basics+import qualified GHC.OverloadedLabels as OL+import qualified Capnp.GenHelpers.New as GH+import qualified Capnp.New.Classes as C+import qualified GHC.Generics as Generics+import qualified Capnp.GenHelpers.ReExports.Data.ByteString as BS+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))+data Value +type instance (R.ReprFor Value) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Value) where+    numStructWords  = 2+    numStructPtrs  = 1+instance (C.Allocate Value) where+    type AllocHint Value = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Value (C.Parsed Value))+instance (C.AllocateList Value) where+    type ListAllocHint Value = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Value (C.Parsed Value))+data instance C.Parsed Value+    = Value +        {union' :: (C.Parsed (GH.Which Value))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Value))+deriving instance (Std_.Eq (C.Parsed Value))+instance (C.Parse Value (C.Parsed Value)) where+    parse raw_ = (Value <$> (C.parse (GH.structUnion raw_)))+instance (C.Marshal Value (C.Parsed Value)) where+    marshalInto raw_ Value{..} = (do+        (C.marshalInto (GH.structUnion raw_) union')+        )+instance (GH.HasUnion Value) where+    unionField  = (GH.dataField 0 0 16 0)+    data RawWhich mut_ Value+        = RW_Value'null (R.Raw mut_ ())+        | RW_Value'boolean (R.Raw mut_ Std_.Bool)+        | RW_Value'number (R.Raw mut_ Std_.Double)+        | RW_Value'string (R.Raw mut_ Basics.Text)+        | RW_Value'array (R.Raw mut_ (R.List Value))+        | RW_Value'object (R.Raw mut_ (R.List Value'Field))+        | RW_Value'call (R.Raw mut_ Value'Call)+        | RW_Value'unknown' Std_.Word16+    internalWhich tag_ struct_ = case tag_ of+        0 ->+            (RW_Value'null <$> (GH.readVariant #null struct_))+        1 ->+            (RW_Value'boolean <$> (GH.readVariant #boolean struct_))+        2 ->+            (RW_Value'number <$> (GH.readVariant #number struct_))+        3 ->+            (RW_Value'string <$> (GH.readVariant #string struct_))+        4 ->+            (RW_Value'array <$> (GH.readVariant #array struct_))+        5 ->+            (RW_Value'object <$> (GH.readVariant #object struct_))+        6 ->+            (RW_Value'call <$> (GH.readVariant #call struct_))+        _ ->+            (Std_.pure (RW_Value'unknown' tag_))+    data Which Value+instance (GH.HasVariant "null" GH.Slot Value ()) where+    variantByLabel  = (GH.Variant GH.voidField 0)+instance (GH.HasVariant "boolean" GH.Slot Value Std_.Bool) where+    variantByLabel  = (GH.Variant (GH.dataField 16 0 1 0) 1)+instance (GH.HasVariant "number" GH.Slot Value Std_.Double) where+    variantByLabel  = (GH.Variant (GH.dataField 0 1 64 0) 2)+instance (GH.HasVariant "string" GH.Slot Value Basics.Text) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 3)+instance (GH.HasVariant "array" GH.Slot Value (R.List Value)) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 4)+instance (GH.HasVariant "object" GH.Slot Value (R.List Value'Field)) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 5)+instance (GH.HasVariant "call" GH.Slot Value Value'Call) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 6)+data instance C.Parsed (GH.Which Value)+    = Value'null +    | Value'boolean (RP.Parsed Std_.Bool)+    | Value'number (RP.Parsed Std_.Double)+    | Value'string (RP.Parsed Basics.Text)+    | Value'array (RP.Parsed (R.List Value))+    | Value'object (RP.Parsed (R.List Value'Field))+    | Value'call (RP.Parsed Value'Call)+    | Value'unknown' Std_.Word16+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed (GH.Which Value)))+deriving instance (Std_.Eq (C.Parsed (GH.Which Value)))+instance (C.Parse (GH.Which Value) (C.Parsed (GH.Which Value))) where+    parse raw_ = (do+        rawWhich_ <- (GH.unionWhich raw_)+        case rawWhich_ of+            (RW_Value'null _) ->+                (Std_.pure Value'null)+            (RW_Value'boolean rawArg_) ->+                (Value'boolean <$> (C.parse rawArg_))+            (RW_Value'number rawArg_) ->+                (Value'number <$> (C.parse rawArg_))+            (RW_Value'string rawArg_) ->+                (Value'string <$> (C.parse rawArg_))+            (RW_Value'array rawArg_) ->+                (Value'array <$> (C.parse rawArg_))+            (RW_Value'object rawArg_) ->+                (Value'object <$> (C.parse rawArg_))+            (RW_Value'call rawArg_) ->+                (Value'call <$> (C.parse rawArg_))+            (RW_Value'unknown' tag_) ->+                (Std_.pure (Value'unknown' tag_))+        )+instance (C.Marshal (GH.Which Value) (C.Parsed (GH.Which Value))) where+    marshalInto raw_ parsed_ = case parsed_ of+        (Value'null) ->+            (GH.encodeVariant #null () (GH.unionStruct raw_))+        (Value'boolean arg_) ->+            (GH.encodeVariant #boolean arg_ (GH.unionStruct raw_))+        (Value'number arg_) ->+            (GH.encodeVariant #number arg_ (GH.unionStruct raw_))+        (Value'string arg_) ->+            (GH.encodeVariant #string arg_ (GH.unionStruct raw_))+        (Value'array arg_) ->+            (GH.encodeVariant #array arg_ (GH.unionStruct raw_))+        (Value'object arg_) ->+            (GH.encodeVariant #object arg_ (GH.unionStruct raw_))+        (Value'call arg_) ->+            (GH.encodeVariant #call arg_ (GH.unionStruct raw_))+        (Value'unknown' tag_) ->+            (GH.encodeField GH.unionField tag_ (GH.unionStruct raw_))+data Value'Field +type instance (R.ReprFor Value'Field) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Value'Field) where+    numStructWords  = 0+    numStructPtrs  = 2+instance (C.Allocate Value'Field) where+    type AllocHint Value'Field = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Value'Field (C.Parsed Value'Field))+instance (C.AllocateList Value'Field) where+    type ListAllocHint Value'Field = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Value'Field (C.Parsed Value'Field))+data instance C.Parsed Value'Field+    = Value'Field +        {name :: (RP.Parsed Basics.Text)+        ,value :: (RP.Parsed Value)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Value'Field))+deriving instance (Std_.Eq (C.Parsed Value'Field))+instance (C.Parse Value'Field (C.Parsed Value'Field)) where+    parse raw_ = (Value'Field <$> (GH.parseField #name raw_)+                              <*> (GH.parseField #value raw_))+instance (C.Marshal Value'Field (C.Parsed Value'Field)) where+    marshalInto raw_ Value'Field{..} = (do+        (GH.encodeField #name name raw_)+        (GH.encodeField #value value raw_)+        (Std_.pure ())+        )+instance (GH.HasField "name" GH.Slot Value'Field Basics.Text) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "value" GH.Slot Value'Field Value) where+    fieldByLabel  = (GH.ptrField 1)+data Value'Call +type instance (R.ReprFor Value'Call) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Value'Call) where+    numStructWords  = 0+    numStructPtrs  = 2+instance (C.Allocate Value'Call) where+    type AllocHint Value'Call = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Value'Call (C.Parsed Value'Call))+instance (C.AllocateList Value'Call) where+    type ListAllocHint Value'Call = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Value'Call (C.Parsed Value'Call))+data instance C.Parsed Value'Call+    = Value'Call +        {function :: (RP.Parsed Basics.Text)+        ,params :: (RP.Parsed (R.List Value))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Value'Call))+deriving instance (Std_.Eq (C.Parsed Value'Call))+instance (C.Parse Value'Call (C.Parsed Value'Call)) where+    parse raw_ = (Value'Call <$> (GH.parseField #function raw_)+                             <*> (GH.parseField #params raw_))+instance (C.Marshal Value'Call (C.Parsed Value'Call)) where+    marshalInto raw_ Value'Call{..} = (do+        (GH.encodeField #function function raw_)+        (GH.encodeField #params params raw_)+        (Std_.pure ())+        )+instance (GH.HasField "function" GH.Slot Value'Call Basics.Text) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "params" GH.Slot Value'Call (R.List Value)) where+    fieldByLabel  = (GH.ptrField 1)+data FlattenOptions +type instance (R.ReprFor FlattenOptions) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct FlattenOptions) where+    numStructWords  = 0+    numStructPtrs  = 1+instance (C.Allocate FlattenOptions) where+    type AllocHint FlattenOptions = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc FlattenOptions (C.Parsed FlattenOptions))+instance (C.AllocateList FlattenOptions) where+    type ListAllocHint FlattenOptions = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc FlattenOptions (C.Parsed FlattenOptions))+data instance C.Parsed FlattenOptions+    = FlattenOptions +        {prefix :: (RP.Parsed Basics.Text)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed FlattenOptions))+deriving instance (Std_.Eq (C.Parsed FlattenOptions))+instance (C.Parse FlattenOptions (C.Parsed FlattenOptions)) where+    parse raw_ = (FlattenOptions <$> (GH.parseField #prefix raw_))+instance (C.Marshal FlattenOptions (C.Parsed FlattenOptions)) where+    marshalInto raw_ FlattenOptions{..} = (do+        (GH.encodeField #prefix prefix raw_)+        (Std_.pure ())+        )+instance (GH.HasField "prefix" GH.Slot FlattenOptions Basics.Text) where+    fieldByLabel  = (GH.ptrField 0)+data DiscriminatorOptions +type instance (R.ReprFor DiscriminatorOptions) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct DiscriminatorOptions) where+    numStructWords  = 0+    numStructPtrs  = 2+instance (C.Allocate DiscriminatorOptions) where+    type AllocHint DiscriminatorOptions = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc DiscriminatorOptions (C.Parsed DiscriminatorOptions))+instance (C.AllocateList DiscriminatorOptions) where+    type ListAllocHint DiscriminatorOptions = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc DiscriminatorOptions (C.Parsed DiscriminatorOptions))+data instance C.Parsed DiscriminatorOptions+    = DiscriminatorOptions +        {name :: (RP.Parsed Basics.Text)+        ,valueName :: (RP.Parsed Basics.Text)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed DiscriminatorOptions))+deriving instance (Std_.Eq (C.Parsed DiscriminatorOptions))+instance (C.Parse DiscriminatorOptions (C.Parsed DiscriminatorOptions)) where+    parse raw_ = (DiscriminatorOptions <$> (GH.parseField #name raw_)+                                       <*> (GH.parseField #valueName raw_))+instance (C.Marshal DiscriminatorOptions (C.Parsed DiscriminatorOptions)) where+    marshalInto raw_ DiscriminatorOptions{..} = (do+        (GH.encodeField #name name raw_)+        (GH.encodeField #valueName valueName raw_)+        (Std_.pure ())+        )+instance (GH.HasField "name" GH.Slot DiscriminatorOptions Basics.Text) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "valueName" GH.Slot DiscriminatorOptions Basics.Text) where+    fieldByLabel  = (GH.ptrField 1)

@@ -13,6 +13,7 @@ {-# 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(..)@@ -47,12 +48,12 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Value)) where+instance (Default.Default Value) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Value)) where+instance (Classes.FromStruct Message.Const Value) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Value)) where-    type Cerial msg (Value) = (Capnp.Gen.ById.X8ef99297a43a5e34.Value msg)+instance (Classes.Decerialize Value) where+    type Cerial msg Value = (Capnp.Gen.ById.X8ef99297a43a5e34.Value msg)     decerialize raw = (do         raw <- (Capnp.Gen.ById.X8ef99297a43a5e34.get_Value' raw)         case raw of@@ -73,7 +74,7 @@             (Capnp.Gen.ById.X8ef99297a43a5e34.Value'unknown' tag) ->                 (Std_.pure (Value'unknown' tag))         )-instance (Classes.Marshal s (Value)) where+instance (Classes.Marshal s Value) where     marshalInto raw_ value_ = case value_ of         (Value'null) ->             (Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'null raw_)@@ -91,20 +92,20 @@             ((Classes.cerialize (Untyped.message raw_) arg_) >>= (Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'call raw_))         (Value'unknown' tag) ->             (Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'unknown' raw_ tag)-instance (Classes.Cerialize s (Value))-instance (Classes.Cerialize s (V.Vector (Value))) where+instance (Classes.Cerialize s Value)+instance (Classes.Cerialize s (V.Vector Value)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Value)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Value))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Value))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Value)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Value)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Value))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Value'Field      = Value'Field @@ -113,15 +114,15 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Value'Field)) where+instance (Default.Default Value'Field) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Value'Field)) where+instance (Classes.FromStruct Message.Const Value'Field) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Value'Field)) where-    type Cerial msg (Value'Field) = (Capnp.Gen.ById.X8ef99297a43a5e34.Value'Field msg)+instance (Classes.Decerialize Value'Field) where+    type Cerial msg Value'Field = (Capnp.Gen.ById.X8ef99297a43a5e34.Value'Field msg)     decerialize raw = (Value'Field <$> ((Capnp.Gen.ById.X8ef99297a43a5e34.get_Value'Field'name raw) >>= Classes.decerialize)                                    <*> ((Capnp.Gen.ById.X8ef99297a43a5e34.get_Value'Field'value raw) >>= Classes.decerialize))-instance (Classes.Marshal s (Value'Field)) where+instance (Classes.Marshal s Value'Field) where     marshalInto raw_ value_ = case value_ of         Value'Field{..} ->             (do@@ -129,20 +130,20 @@                 ((Classes.cerialize (Untyped.message raw_) value) >>= (Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'Field'value raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Value'Field))-instance (Classes.Cerialize s (V.Vector (Value'Field))) where+instance (Classes.Cerialize s Value'Field)+instance (Classes.Cerialize s (V.Vector Value'Field)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Value'Field)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Value'Field))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Value'Field))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Value'Field)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Value'Field)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Value'Field))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'Field))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'Field)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'Field)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'Field))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'Field))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'Field)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data Value'Call      = Value'Call @@ -151,15 +152,15 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (Value'Call)) where+instance (Default.Default Value'Call) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (Value'Call)) where+instance (Classes.FromStruct Message.Const Value'Call) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (Value'Call)) where-    type Cerial msg (Value'Call) = (Capnp.Gen.ById.X8ef99297a43a5e34.Value'Call msg)+instance (Classes.Decerialize Value'Call) where+    type Cerial msg Value'Call = (Capnp.Gen.ById.X8ef99297a43a5e34.Value'Call msg)     decerialize raw = (Value'Call <$> ((Capnp.Gen.ById.X8ef99297a43a5e34.get_Value'Call'function raw) >>= Classes.decerialize)                                   <*> ((Capnp.Gen.ById.X8ef99297a43a5e34.get_Value'Call'params raw) >>= Classes.decerialize))-instance (Classes.Marshal s (Value'Call)) where+instance (Classes.Marshal s Value'Call) where     marshalInto raw_ value_ = case value_ of         Value'Call{..} ->             (do@@ -167,20 +168,20 @@                 ((Classes.cerialize (Untyped.message raw_) params) >>= (Capnp.Gen.ById.X8ef99297a43a5e34.set_Value'Call'params raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (Value'Call))-instance (Classes.Cerialize s (V.Vector (Value'Call))) where+instance (Classes.Cerialize s Value'Call)+instance (Classes.Cerialize s (V.Vector Value'Call)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (Value'Call)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector Value'Call))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (Value'Call))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Value'Call)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (Value'Call)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Value'Call))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'Call))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'Call)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'Call)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'Call))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (Value'Call))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Value'Call)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data FlattenOptions      = FlattenOptions @@ -188,34 +189,34 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (FlattenOptions)) where+instance (Default.Default FlattenOptions) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (FlattenOptions)) where+instance (Classes.FromStruct Message.Const FlattenOptions) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (FlattenOptions)) where-    type Cerial msg (FlattenOptions) = (Capnp.Gen.ById.X8ef99297a43a5e34.FlattenOptions msg)+instance (Classes.Decerialize FlattenOptions) where+    type Cerial msg FlattenOptions = (Capnp.Gen.ById.X8ef99297a43a5e34.FlattenOptions msg)     decerialize raw = (FlattenOptions <$> ((Capnp.Gen.ById.X8ef99297a43a5e34.get_FlattenOptions'prefix raw) >>= Classes.decerialize))-instance (Classes.Marshal s (FlattenOptions)) where+instance (Classes.Marshal s FlattenOptions) where     marshalInto raw_ value_ = case value_ of         FlattenOptions{..} ->             (do                 ((Classes.cerialize (Untyped.message raw_) prefix) >>= (Capnp.Gen.ById.X8ef99297a43a5e34.set_FlattenOptions'prefix raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (FlattenOptions))-instance (Classes.Cerialize s (V.Vector (FlattenOptions))) where+instance (Classes.Cerialize s FlattenOptions)+instance (Classes.Cerialize s (V.Vector FlattenOptions)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (FlattenOptions)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector FlattenOptions))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (FlattenOptions))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector FlattenOptions)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (FlattenOptions)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector FlattenOptions))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (FlattenOptions))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector FlattenOptions)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (FlattenOptions)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector FlattenOptions))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (FlattenOptions))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector FlattenOptions)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec data DiscriminatorOptions      = DiscriminatorOptions @@ -224,15 +225,15 @@     deriving(Std_.Show             ,Std_.Eq             ,Generics.Generic)-instance (Default.Default (DiscriminatorOptions)) where+instance (Default.Default DiscriminatorOptions) where     def  = GenHelpersPure.defaultStruct-instance (Classes.FromStruct Message.Const (DiscriminatorOptions)) where+instance (Classes.FromStruct Message.Const DiscriminatorOptions) where     fromStruct struct = ((Classes.fromStruct struct) >>= Classes.decerialize)-instance (Classes.Decerialize (DiscriminatorOptions)) where-    type Cerial msg (DiscriminatorOptions) = (Capnp.Gen.ById.X8ef99297a43a5e34.DiscriminatorOptions msg)+instance (Classes.Decerialize DiscriminatorOptions) where+    type Cerial msg DiscriminatorOptions = (Capnp.Gen.ById.X8ef99297a43a5e34.DiscriminatorOptions msg)     decerialize raw = (DiscriminatorOptions <$> ((Capnp.Gen.ById.X8ef99297a43a5e34.get_DiscriminatorOptions'name raw) >>= Classes.decerialize)                                             <*> ((Capnp.Gen.ById.X8ef99297a43a5e34.get_DiscriminatorOptions'valueName raw) >>= Classes.decerialize))-instance (Classes.Marshal s (DiscriminatorOptions)) where+instance (Classes.Marshal s DiscriminatorOptions) where     marshalInto raw_ value_ = case value_ of         DiscriminatorOptions{..} ->             (do@@ -240,18 +241,18 @@                 ((Classes.cerialize (Untyped.message raw_) valueName) >>= (Capnp.Gen.ById.X8ef99297a43a5e34.set_DiscriminatorOptions'valueName raw_))                 (Std_.pure ())                 )-instance (Classes.Cerialize s (DiscriminatorOptions))-instance (Classes.Cerialize s (V.Vector (DiscriminatorOptions))) where+instance (Classes.Cerialize s DiscriminatorOptions)+instance (Classes.Cerialize s (V.Vector DiscriminatorOptions)) where     cerialize  = GenHelpersPure.cerializeCompositeVec-instance (Classes.Cerialize s (V.Vector (V.Vector (DiscriminatorOptions)))) where+instance (Classes.Cerialize s (V.Vector (V.Vector DiscriminatorOptions))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (DiscriminatorOptions))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector DiscriminatorOptions)))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (DiscriminatorOptions)))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector DiscriminatorOptions))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (DiscriminatorOptions))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector DiscriminatorOptions)))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (DiscriminatorOptions)))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector DiscriminatorOptions))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (DiscriminatorOptions))))))))) where+instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector DiscriminatorOptions)))))))) where     cerialize  = GenHelpersPure.cerializeBasicVec

@@ -10,6 +10,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.Capnp.Cxx where import qualified Capnp.Message as Message import qualified Capnp.Untyped as Untyped

@@ -0,0 +1,31 @@+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE DuplicateRecordFields #-}+{-# LANGUAGE EmptyDataDeriving #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE OverloadedLabels #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE StandaloneDeriving #-}+{-# LANGUAGE RecordWildCards #-}+{-# 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.Cxx.New where+import qualified Capnp.Repr as R+import qualified Capnp.Repr.Parsed as RP+import qualified Capnp.New.Basics as Basics+import qualified GHC.OverloadedLabels as OL+import qualified Capnp.GenHelpers.New as GH+import qualified Capnp.New.Classes as C+import qualified GHC.Generics as Generics+import qualified Capnp.GenHelpers.ReExports.Data.ByteString as BS+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))

@@ -13,6 +13,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.Capnp.Cxx.Pure() where import qualified Capnp.GenHelpers.ReExports.Data.Vector as V import qualified Capnp.GenHelpers.ReExports.Data.Text as T

@@ -10,6 +10,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.Capnp.Persistent where import qualified Capnp.Message as Message import qualified Capnp.Untyped as Untyped

@@ -0,0 +1,266 @@+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE DuplicateRecordFields #-}+{-# LANGUAGE EmptyDataDeriving #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE OverloadedLabels #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE StandaloneDeriving #-}+{-# LANGUAGE RecordWildCards #-}+{-# OPTIONS_GHC -Wno-unused-imports #-}+{-# OPTIONS_GHC -Wno-dodgy-exports #-}+{-# OPTIONS_GHC -Wno-unused-matches #-}+{-# OPTIONS_GHC -Wno-orphans #-}+{-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-}+module Capnp.Gen.Capnp.Persistent.New where+import qualified Capnp.Repr as R+import qualified Capnp.Repr.Parsed as RP+import qualified Capnp.New.Basics as Basics+import qualified GHC.OverloadedLabels as OL+import qualified Capnp.GenHelpers.New as GH+import qualified Capnp.New.Classes as C+import qualified GHC.Generics as Generics+import qualified Capnp.GenHelpers.ReExports.Data.ByteString as BS+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))+data Persistent sturdyRef owner+type instance (R.ReprFor (Persistent sturdyRef owner)) = (R.Ptr (Std_.Just R.Cap))+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.Parse (Persistent sturdyRef owner) (GH.Client (Persistent sturdyRef owner))) where+    parse  = GH.parseCap+    encode  = GH.encodeCap+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (GH.HasMethod "save" (Persistent sturdyRef owner) (Persistent'SaveParams sturdyRef owner) (Persistent'SaveResults sturdyRef owner)) where+    methodByLabel  = (GH.Method 14468694717054801553 0)+data Persistent'SaveParams sturdyRef owner+type instance (R.ReprFor (Persistent'SaveParams sturdyRef owner)) = (R.Ptr (Std_.Just R.Struct))+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.TypedStruct (Persistent'SaveParams sturdyRef owner)) where+    numStructWords  = 0+    numStructPtrs  = 1+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.Allocate (Persistent'SaveParams sturdyRef owner)) where+    type AllocHint (Persistent'SaveParams sturdyRef owner) = ()+    new _ = C.newTypedStruct+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.EstimateAlloc (Persistent'SaveParams sturdyRef owner) (C.Parsed (Persistent'SaveParams sturdyRef owner)))+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.AllocateList (Persistent'SaveParams sturdyRef owner)) where+    type ListAllocHint (Persistent'SaveParams sturdyRef owner) = Std_.Int+    newList  = C.newTypedStructList+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.EstimateListAlloc (Persistent'SaveParams sturdyRef owner) (C.Parsed (Persistent'SaveParams sturdyRef owner)))+data instance C.Parsed (Persistent'SaveParams sturdyRef owner)+    = Persistent'SaveParams +        {sealFor :: (RP.Parsed owner)}+    deriving(Generics.Generic)+deriving instance ((Std_.Show (RP.Parsed sturdyRef))+                  ,(Std_.Show (RP.Parsed owner))) => (Std_.Show (C.Parsed (Persistent'SaveParams sturdyRef owner)))+deriving instance ((Std_.Eq (RP.Parsed sturdyRef))+                  ,(Std_.Eq (RP.Parsed owner))) => (Std_.Eq (C.Parsed (Persistent'SaveParams sturdyRef owner)))+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.Parse (Persistent'SaveParams sturdyRef owner) (C.Parsed (Persistent'SaveParams sturdyRef owner))) where+    parse raw_ = (Persistent'SaveParams <$> (GH.parseField #sealFor raw_))+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.Marshal (Persistent'SaveParams sturdyRef owner) (C.Parsed (Persistent'SaveParams sturdyRef owner))) where+    marshalInto raw_ Persistent'SaveParams{..} = (do+        (GH.encodeField #sealFor sealFor raw_)+        (Std_.pure ())+        )+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (GH.HasField "sealFor" GH.Slot (Persistent'SaveParams sturdyRef owner) owner) where+    fieldByLabel  = (GH.ptrField 0)+data Persistent'SaveResults sturdyRef owner+type instance (R.ReprFor (Persistent'SaveResults sturdyRef owner)) = (R.Ptr (Std_.Just R.Struct))+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.TypedStruct (Persistent'SaveResults sturdyRef owner)) where+    numStructWords  = 0+    numStructPtrs  = 1+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.Allocate (Persistent'SaveResults sturdyRef owner)) where+    type AllocHint (Persistent'SaveResults sturdyRef owner) = ()+    new _ = C.newTypedStruct+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.EstimateAlloc (Persistent'SaveResults sturdyRef owner) (C.Parsed (Persistent'SaveResults sturdyRef owner)))+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.AllocateList (Persistent'SaveResults sturdyRef owner)) where+    type ListAllocHint (Persistent'SaveResults sturdyRef owner) = Std_.Int+    newList  = C.newTypedStructList+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.EstimateListAlloc (Persistent'SaveResults sturdyRef owner) (C.Parsed (Persistent'SaveResults sturdyRef owner)))+data instance C.Parsed (Persistent'SaveResults sturdyRef owner)+    = Persistent'SaveResults +        {sturdyRef :: (RP.Parsed sturdyRef)}+    deriving(Generics.Generic)+deriving instance ((Std_.Show (RP.Parsed sturdyRef))+                  ,(Std_.Show (RP.Parsed owner))) => (Std_.Show (C.Parsed (Persistent'SaveResults sturdyRef owner)))+deriving instance ((Std_.Eq (RP.Parsed sturdyRef))+                  ,(Std_.Eq (RP.Parsed owner))) => (Std_.Eq (C.Parsed (Persistent'SaveResults sturdyRef owner)))+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.Parse (Persistent'SaveResults sturdyRef owner) (C.Parsed (Persistent'SaveResults sturdyRef owner))) where+    parse raw_ = (Persistent'SaveResults <$> (GH.parseField #sturdyRef raw_))+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (C.Marshal (Persistent'SaveResults sturdyRef owner) (C.Parsed (Persistent'SaveResults sturdyRef owner))) where+    marshalInto raw_ Persistent'SaveResults{..} = (do+        (GH.encodeField #sturdyRef sturdyRef raw_)+        (Std_.pure ())+        )+instance ((GH.TypeParam sturdyRef)+         ,(GH.TypeParam owner)) => (GH.HasField "sturdyRef" GH.Slot (Persistent'SaveResults sturdyRef owner) sturdyRef) where+    fieldByLabel  = (GH.ptrField 0)+data RealmGateway internalRef externalRef internalOwner externalOwner+type instance (R.ReprFor (RealmGateway internalRef externalRef internalOwner externalOwner)) = (R.Ptr (Std_.Just R.Cap))+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.Parse (RealmGateway internalRef externalRef internalOwner externalOwner) (GH.Client (RealmGateway internalRef externalRef internalOwner externalOwner))) where+    parse  = GH.parseCap+    encode  = GH.encodeCap+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (GH.HasMethod "import_" (RealmGateway internalRef externalRef internalOwner externalOwner) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults internalRef internalOwner)) where+    methodByLabel  = (GH.Method 9583422979879616212 0)+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (GH.HasMethod "export" (RealmGateway internalRef externalRef internalOwner externalOwner) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveResults externalRef externalOwner)) where+    methodByLabel  = (GH.Method 9583422979879616212 1)+data RealmGateway'import'params internalRef externalRef internalOwner externalOwner+type instance (R.ReprFor (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) = (R.Ptr (Std_.Just R.Struct))+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.TypedStruct (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) where+    numStructWords  = 0+    numStructPtrs  = 2+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.Allocate (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) where+    type AllocHint (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) = ()+    new _ = C.newTypedStruct+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.EstimateAlloc (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (C.Parsed (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.AllocateList (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)) where+    type ListAllocHint (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) = Std_.Int+    newList  = C.newTypedStructList+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.EstimateListAlloc (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (C.Parsed (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))+data instance C.Parsed (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)+    = RealmGateway'import'params +        {cap :: (RP.Parsed (Persistent externalRef externalOwner))+        ,params :: (RP.Parsed (Persistent'SaveParams internalRef internalOwner))}+    deriving(Generics.Generic)+deriving instance ((Std_.Show (RP.Parsed internalRef))+                  ,(Std_.Show (RP.Parsed externalRef))+                  ,(Std_.Show (RP.Parsed internalOwner))+                  ,(Std_.Show (RP.Parsed externalOwner))) => (Std_.Show (C.Parsed (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))+deriving instance ((Std_.Eq (RP.Parsed internalRef))+                  ,(Std_.Eq (RP.Parsed externalRef))+                  ,(Std_.Eq (RP.Parsed internalOwner))+                  ,(Std_.Eq (RP.Parsed externalOwner))) => (Std_.Eq (C.Parsed (RealmGateway'import'params internalRef externalRef internalOwner externalOwner)))+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.Parse (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (C.Parsed (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))) where+    parse raw_ = (RealmGateway'import'params <$> (GH.parseField #cap raw_)+                                             <*> (GH.parseField #params raw_))+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.Marshal (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (C.Parsed (RealmGateway'import'params internalRef externalRef internalOwner externalOwner))) where+    marshalInto raw_ RealmGateway'import'params{..} = (do+        (GH.encodeField #cap cap raw_)+        (GH.encodeField #params params raw_)+        (Std_.pure ())+        )+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (GH.HasField "cap" GH.Slot (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (Persistent externalRef externalOwner)) where+    fieldByLabel  = (GH.ptrField 0)+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (GH.HasField "params" GH.Slot (RealmGateway'import'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveParams internalRef internalOwner)) where+    fieldByLabel  = (GH.ptrField 1)+data RealmGateway'export'params internalRef externalRef internalOwner externalOwner+type instance (R.ReprFor (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) = (R.Ptr (Std_.Just R.Struct))+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.TypedStruct (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) where+    numStructWords  = 0+    numStructPtrs  = 2+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.Allocate (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) where+    type AllocHint (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) = ()+    new _ = C.newTypedStruct+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.EstimateAlloc (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (C.Parsed (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.AllocateList (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)) where+    type ListAllocHint (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) = Std_.Int+    newList  = C.newTypedStructList+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.EstimateListAlloc (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (C.Parsed (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))+data instance C.Parsed (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)+    = RealmGateway'export'params +        {cap :: (RP.Parsed (Persistent internalRef internalOwner))+        ,params :: (RP.Parsed (Persistent'SaveParams externalRef externalOwner))}+    deriving(Generics.Generic)+deriving instance ((Std_.Show (RP.Parsed internalRef))+                  ,(Std_.Show (RP.Parsed externalRef))+                  ,(Std_.Show (RP.Parsed internalOwner))+                  ,(Std_.Show (RP.Parsed externalOwner))) => (Std_.Show (C.Parsed (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))+deriving instance ((Std_.Eq (RP.Parsed internalRef))+                  ,(Std_.Eq (RP.Parsed externalRef))+                  ,(Std_.Eq (RP.Parsed internalOwner))+                  ,(Std_.Eq (RP.Parsed externalOwner))) => (Std_.Eq (C.Parsed (RealmGateway'export'params internalRef externalRef internalOwner externalOwner)))+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.Parse (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (C.Parsed (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))) where+    parse raw_ = (RealmGateway'export'params <$> (GH.parseField #cap raw_)+                                             <*> (GH.parseField #params raw_))+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (C.Marshal (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (C.Parsed (RealmGateway'export'params internalRef externalRef internalOwner externalOwner))) where+    marshalInto raw_ RealmGateway'export'params{..} = (do+        (GH.encodeField #cap cap raw_)+        (GH.encodeField #params params raw_)+        (Std_.pure ())+        )+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (GH.HasField "cap" GH.Slot (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (Persistent internalRef internalOwner)) where+    fieldByLabel  = (GH.ptrField 0)+instance ((GH.TypeParam internalRef)+         ,(GH.TypeParam externalRef)+         ,(GH.TypeParam internalOwner)+         ,(GH.TypeParam externalOwner)) => (GH.HasField "params" GH.Slot (RealmGateway'export'params internalRef externalRef internalOwner externalOwner) (Persistent'SaveParams externalRef externalOwner)) where+    fieldByLabel  = (GH.ptrField 1)

@@ -13,6 +13,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.Capnp.Persistent.Pure(Persistent(..)                                       ,Persistent'server_(..)                                       ,export_Persistent

@@ -10,6 +10,7 @@ {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}+{-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.Capnp.Rpc where import qualified Capnp.Message as Message import qualified Capnp.Untyped as Untyped

@@ -0,0 +1,1325 @@+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE DuplicateRecordFields #-}+{-# LANGUAGE EmptyDataDeriving #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE OverloadedLabels #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE StandaloneDeriving #-}+{-# LANGUAGE RecordWildCards #-}+{-# 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.Rpc.New where+import qualified Capnp.Repr as R+import qualified Capnp.Repr.Parsed as RP+import qualified Capnp.New.Basics as Basics+import qualified GHC.OverloadedLabels as OL+import qualified Capnp.GenHelpers.New as GH+import qualified Capnp.New.Classes as C+import qualified GHC.Generics as Generics+import qualified Capnp.GenHelpers.ReExports.Data.ByteString as BS+import qualified Prelude as Std_+import qualified Data.Word as Std_+import qualified Data.Int as Std_+import Prelude ((<$>), (<*>), (>>=))+data Message +type instance (R.ReprFor Message) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Message) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate Message) where+    type AllocHint Message = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Message (C.Parsed Message))+instance (C.AllocateList Message) where+    type ListAllocHint Message = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Message (C.Parsed Message))+data instance C.Parsed Message+    = Message +        {union' :: (C.Parsed (GH.Which Message))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Message))+deriving instance (Std_.Eq (C.Parsed Message))+instance (C.Parse Message (C.Parsed Message)) where+    parse raw_ = (Message <$> (C.parse (GH.structUnion raw_)))+instance (C.Marshal Message (C.Parsed Message)) where+    marshalInto raw_ Message{..} = (do+        (C.marshalInto (GH.structUnion raw_) union')+        )+instance (GH.HasUnion Message) where+    unionField  = (GH.dataField 0 0 16 0)+    data RawWhich mut_ Message+        = RW_Message'unimplemented (R.Raw mut_ Message)+        | RW_Message'abort (R.Raw mut_ Exception)+        | RW_Message'call (R.Raw mut_ Call)+        | RW_Message'return (R.Raw mut_ Return)+        | RW_Message'finish (R.Raw mut_ Finish)+        | RW_Message'resolve (R.Raw mut_ Resolve)+        | RW_Message'release (R.Raw mut_ Release)+        | RW_Message'obsoleteSave (R.Raw mut_ Basics.AnyPointer)+        | RW_Message'bootstrap (R.Raw mut_ Bootstrap)+        | RW_Message'obsoleteDelete (R.Raw mut_ Basics.AnyPointer)+        | RW_Message'provide (R.Raw mut_ Provide)+        | RW_Message'accept (R.Raw mut_ Accept)+        | RW_Message'join (R.Raw mut_ Join)+        | RW_Message'disembargo (R.Raw mut_ Disembargo)+        | RW_Message'unknown' Std_.Word16+    internalWhich tag_ struct_ = case tag_ of+        0 ->+            (RW_Message'unimplemented <$> (GH.readVariant #unimplemented struct_))+        1 ->+            (RW_Message'abort <$> (GH.readVariant #abort struct_))+        2 ->+            (RW_Message'call <$> (GH.readVariant #call struct_))+        3 ->+            (RW_Message'return <$> (GH.readVariant #return struct_))+        4 ->+            (RW_Message'finish <$> (GH.readVariant #finish struct_))+        5 ->+            (RW_Message'resolve <$> (GH.readVariant #resolve struct_))+        6 ->+            (RW_Message'release <$> (GH.readVariant #release struct_))+        7 ->+            (RW_Message'obsoleteSave <$> (GH.readVariant #obsoleteSave struct_))+        8 ->+            (RW_Message'bootstrap <$> (GH.readVariant #bootstrap struct_))+        9 ->+            (RW_Message'obsoleteDelete <$> (GH.readVariant #obsoleteDelete struct_))+        10 ->+            (RW_Message'provide <$> (GH.readVariant #provide struct_))+        11 ->+            (RW_Message'accept <$> (GH.readVariant #accept struct_))+        12 ->+            (RW_Message'join <$> (GH.readVariant #join struct_))+        13 ->+            (RW_Message'disembargo <$> (GH.readVariant #disembargo struct_))+        _ ->+            (Std_.pure (RW_Message'unknown' tag_))+    data Which Message+instance (GH.HasVariant "unimplemented" GH.Slot Message Message) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 0)+instance (GH.HasVariant "abort" GH.Slot Message Exception) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 1)+instance (GH.HasVariant "call" GH.Slot Message Call) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 2)+instance (GH.HasVariant "return" GH.Slot Message Return) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 3)+instance (GH.HasVariant "finish" GH.Slot Message Finish) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 4)+instance (GH.HasVariant "resolve" GH.Slot Message Resolve) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 5)+instance (GH.HasVariant "release" GH.Slot Message Release) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 6)+instance (GH.HasVariant "obsoleteSave" GH.Slot Message Basics.AnyPointer) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 7)+instance (GH.HasVariant "bootstrap" GH.Slot Message Bootstrap) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 8)+instance (GH.HasVariant "obsoleteDelete" GH.Slot Message Basics.AnyPointer) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 9)+instance (GH.HasVariant "provide" GH.Slot Message Provide) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 10)+instance (GH.HasVariant "accept" GH.Slot Message Accept) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 11)+instance (GH.HasVariant "join" GH.Slot Message Join) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 12)+instance (GH.HasVariant "disembargo" GH.Slot Message Disembargo) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 13)+data instance C.Parsed (GH.Which Message)+    = Message'unimplemented (RP.Parsed Message)+    | Message'abort (RP.Parsed Exception)+    | Message'call (RP.Parsed Call)+    | Message'return (RP.Parsed Return)+    | Message'finish (RP.Parsed Finish)+    | Message'resolve (RP.Parsed Resolve)+    | Message'release (RP.Parsed Release)+    | Message'obsoleteSave (RP.Parsed Basics.AnyPointer)+    | Message'bootstrap (RP.Parsed Bootstrap)+    | Message'obsoleteDelete (RP.Parsed Basics.AnyPointer)+    | Message'provide (RP.Parsed Provide)+    | Message'accept (RP.Parsed Accept)+    | Message'join (RP.Parsed Join)+    | Message'disembargo (RP.Parsed Disembargo)+    | Message'unknown' Std_.Word16+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed (GH.Which Message)))+deriving instance (Std_.Eq (C.Parsed (GH.Which Message)))+instance (C.Parse (GH.Which Message) (C.Parsed (GH.Which Message))) where+    parse raw_ = (do+        rawWhich_ <- (GH.unionWhich raw_)+        case rawWhich_ of+            (RW_Message'unimplemented rawArg_) ->+                (Message'unimplemented <$> (C.parse rawArg_))+            (RW_Message'abort rawArg_) ->+                (Message'abort <$> (C.parse rawArg_))+            (RW_Message'call rawArg_) ->+                (Message'call <$> (C.parse rawArg_))+            (RW_Message'return rawArg_) ->+                (Message'return <$> (C.parse rawArg_))+            (RW_Message'finish rawArg_) ->+                (Message'finish <$> (C.parse rawArg_))+            (RW_Message'resolve rawArg_) ->+                (Message'resolve <$> (C.parse rawArg_))+            (RW_Message'release rawArg_) ->+                (Message'release <$> (C.parse rawArg_))+            (RW_Message'obsoleteSave rawArg_) ->+                (Message'obsoleteSave <$> (C.parse rawArg_))+            (RW_Message'bootstrap rawArg_) ->+                (Message'bootstrap <$> (C.parse rawArg_))+            (RW_Message'obsoleteDelete rawArg_) ->+                (Message'obsoleteDelete <$> (C.parse rawArg_))+            (RW_Message'provide rawArg_) ->+                (Message'provide <$> (C.parse rawArg_))+            (RW_Message'accept rawArg_) ->+                (Message'accept <$> (C.parse rawArg_))+            (RW_Message'join rawArg_) ->+                (Message'join <$> (C.parse rawArg_))+            (RW_Message'disembargo rawArg_) ->+                (Message'disembargo <$> (C.parse rawArg_))+            (RW_Message'unknown' tag_) ->+                (Std_.pure (Message'unknown' tag_))+        )+instance (C.Marshal (GH.Which Message) (C.Parsed (GH.Which Message))) where+    marshalInto raw_ parsed_ = case parsed_ of+        (Message'unimplemented arg_) ->+            (GH.encodeVariant #unimplemented arg_ (GH.unionStruct raw_))+        (Message'abort arg_) ->+            (GH.encodeVariant #abort arg_ (GH.unionStruct raw_))+        (Message'call arg_) ->+            (GH.encodeVariant #call arg_ (GH.unionStruct raw_))+        (Message'return arg_) ->+            (GH.encodeVariant #return arg_ (GH.unionStruct raw_))+        (Message'finish arg_) ->+            (GH.encodeVariant #finish arg_ (GH.unionStruct raw_))+        (Message'resolve arg_) ->+            (GH.encodeVariant #resolve arg_ (GH.unionStruct raw_))+        (Message'release arg_) ->+            (GH.encodeVariant #release arg_ (GH.unionStruct raw_))+        (Message'obsoleteSave arg_) ->+            (GH.encodeVariant #obsoleteSave arg_ (GH.unionStruct raw_))+        (Message'bootstrap arg_) ->+            (GH.encodeVariant #bootstrap arg_ (GH.unionStruct raw_))+        (Message'obsoleteDelete arg_) ->+            (GH.encodeVariant #obsoleteDelete arg_ (GH.unionStruct raw_))+        (Message'provide arg_) ->+            (GH.encodeVariant #provide arg_ (GH.unionStruct raw_))+        (Message'accept arg_) ->+            (GH.encodeVariant #accept arg_ (GH.unionStruct raw_))+        (Message'join arg_) ->+            (GH.encodeVariant #join arg_ (GH.unionStruct raw_))+        (Message'disembargo arg_) ->+            (GH.encodeVariant #disembargo arg_ (GH.unionStruct raw_))+        (Message'unknown' tag_) ->+            (GH.encodeField GH.unionField tag_ (GH.unionStruct raw_))+data Bootstrap +type instance (R.ReprFor Bootstrap) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Bootstrap) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate Bootstrap) where+    type AllocHint Bootstrap = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Bootstrap (C.Parsed Bootstrap))+instance (C.AllocateList Bootstrap) where+    type ListAllocHint Bootstrap = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Bootstrap (C.Parsed Bootstrap))+data instance C.Parsed Bootstrap+    = Bootstrap +        {questionId :: (RP.Parsed Std_.Word32)+        ,deprecatedObjectId :: (RP.Parsed Basics.AnyPointer)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Bootstrap))+deriving instance (Std_.Eq (C.Parsed Bootstrap))+instance (C.Parse Bootstrap (C.Parsed Bootstrap)) where+    parse raw_ = (Bootstrap <$> (GH.parseField #questionId raw_)+                            <*> (GH.parseField #deprecatedObjectId raw_))+instance (C.Marshal Bootstrap (C.Parsed Bootstrap)) where+    marshalInto raw_ Bootstrap{..} = (do+        (GH.encodeField #questionId questionId raw_)+        (GH.encodeField #deprecatedObjectId deprecatedObjectId raw_)+        (Std_.pure ())+        )+instance (GH.HasField "questionId" GH.Slot Bootstrap Std_.Word32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+instance (GH.HasField "deprecatedObjectId" GH.Slot Bootstrap Basics.AnyPointer) where+    fieldByLabel  = (GH.ptrField 0)+data Call +type instance (R.ReprFor Call) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Call) where+    numStructWords  = 3+    numStructPtrs  = 3+instance (C.Allocate Call) where+    type AllocHint Call = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Call (C.Parsed Call))+instance (C.AllocateList Call) where+    type ListAllocHint Call = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Call (C.Parsed Call))+data instance C.Parsed Call+    = Call +        {questionId :: (RP.Parsed Std_.Word32)+        ,target :: (RP.Parsed MessageTarget)+        ,interfaceId :: (RP.Parsed Std_.Word64)+        ,methodId :: (RP.Parsed Std_.Word16)+        ,params :: (RP.Parsed Payload)+        ,sendResultsTo :: (RP.Parsed Call'sendResultsTo)+        ,allowThirdPartyTailCall :: (RP.Parsed Std_.Bool)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Call))+deriving instance (Std_.Eq (C.Parsed Call))+instance (C.Parse Call (C.Parsed Call)) where+    parse raw_ = (Call <$> (GH.parseField #questionId raw_)+                       <*> (GH.parseField #target raw_)+                       <*> (GH.parseField #interfaceId raw_)+                       <*> (GH.parseField #methodId raw_)+                       <*> (GH.parseField #params raw_)+                       <*> (GH.parseField #sendResultsTo raw_)+                       <*> (GH.parseField #allowThirdPartyTailCall raw_))+instance (C.Marshal Call (C.Parsed Call)) where+    marshalInto raw_ Call{..} = (do+        (GH.encodeField #questionId questionId raw_)+        (GH.encodeField #target target raw_)+        (GH.encodeField #interfaceId interfaceId raw_)+        (GH.encodeField #methodId methodId raw_)+        (GH.encodeField #params params raw_)+        (do+            group_ <- (GH.readField #sendResultsTo raw_)+            (C.marshalInto group_ sendResultsTo)+            )+        (GH.encodeField #allowThirdPartyTailCall allowThirdPartyTailCall raw_)+        (Std_.pure ())+        )+instance (GH.HasField "questionId" GH.Slot Call Std_.Word32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+instance (GH.HasField "target" GH.Slot Call MessageTarget) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "interfaceId" GH.Slot Call Std_.Word64) where+    fieldByLabel  = (GH.dataField 0 1 64 0)+instance (GH.HasField "methodId" GH.Slot Call Std_.Word16) where+    fieldByLabel  = (GH.dataField 32 0 16 0)+instance (GH.HasField "params" GH.Slot Call Payload) where+    fieldByLabel  = (GH.ptrField 1)+instance (GH.HasField "sendResultsTo" GH.Group Call Call'sendResultsTo) where+    fieldByLabel  = GH.groupField+instance (GH.HasField "allowThirdPartyTailCall" GH.Slot Call Std_.Bool) where+    fieldByLabel  = (GH.dataField 0 2 1 0)+data Call'sendResultsTo +type instance (R.ReprFor Call'sendResultsTo) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Call'sendResultsTo) where+    numStructWords  = 3+    numStructPtrs  = 3+instance (C.Allocate Call'sendResultsTo) where+    type AllocHint Call'sendResultsTo = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Call'sendResultsTo (C.Parsed Call'sendResultsTo))+instance (C.AllocateList Call'sendResultsTo) where+    type ListAllocHint Call'sendResultsTo = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Call'sendResultsTo (C.Parsed Call'sendResultsTo))+data instance C.Parsed Call'sendResultsTo+    = Call'sendResultsTo' +        {union' :: (C.Parsed (GH.Which Call'sendResultsTo))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Call'sendResultsTo))+deriving instance (Std_.Eq (C.Parsed Call'sendResultsTo))+instance (C.Parse Call'sendResultsTo (C.Parsed Call'sendResultsTo)) where+    parse raw_ = (Call'sendResultsTo' <$> (C.parse (GH.structUnion raw_)))+instance (C.Marshal Call'sendResultsTo (C.Parsed Call'sendResultsTo)) where+    marshalInto raw_ Call'sendResultsTo'{..} = (do+        (C.marshalInto (GH.structUnion raw_) union')+        )+instance (GH.HasUnion Call'sendResultsTo) where+    unionField  = (GH.dataField 48 0 16 0)+    data RawWhich mut_ Call'sendResultsTo+        = RW_Call'sendResultsTo'caller (R.Raw mut_ ())+        | RW_Call'sendResultsTo'yourself (R.Raw mut_ ())+        | RW_Call'sendResultsTo'thirdParty (R.Raw mut_ Basics.AnyPointer)+        | RW_Call'sendResultsTo'unknown' Std_.Word16+    internalWhich tag_ struct_ = case tag_ of+        0 ->+            (RW_Call'sendResultsTo'caller <$> (GH.readVariant #caller struct_))+        1 ->+            (RW_Call'sendResultsTo'yourself <$> (GH.readVariant #yourself struct_))+        2 ->+            (RW_Call'sendResultsTo'thirdParty <$> (GH.readVariant #thirdParty struct_))+        _ ->+            (Std_.pure (RW_Call'sendResultsTo'unknown' tag_))+    data Which Call'sendResultsTo+instance (GH.HasVariant "caller" GH.Slot Call'sendResultsTo ()) where+    variantByLabel  = (GH.Variant GH.voidField 0)+instance (GH.HasVariant "yourself" GH.Slot Call'sendResultsTo ()) where+    variantByLabel  = (GH.Variant GH.voidField 1)+instance (GH.HasVariant "thirdParty" GH.Slot Call'sendResultsTo Basics.AnyPointer) where+    variantByLabel  = (GH.Variant (GH.ptrField 2) 2)+data instance C.Parsed (GH.Which Call'sendResultsTo)+    = Call'sendResultsTo'caller +    | Call'sendResultsTo'yourself +    | Call'sendResultsTo'thirdParty (RP.Parsed Basics.AnyPointer)+    | Call'sendResultsTo'unknown' Std_.Word16+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed (GH.Which Call'sendResultsTo)))+deriving instance (Std_.Eq (C.Parsed (GH.Which Call'sendResultsTo)))+instance (C.Parse (GH.Which Call'sendResultsTo) (C.Parsed (GH.Which Call'sendResultsTo))) where+    parse raw_ = (do+        rawWhich_ <- (GH.unionWhich raw_)+        case rawWhich_ of+            (RW_Call'sendResultsTo'caller _) ->+                (Std_.pure Call'sendResultsTo'caller)+            (RW_Call'sendResultsTo'yourself _) ->+                (Std_.pure Call'sendResultsTo'yourself)+            (RW_Call'sendResultsTo'thirdParty rawArg_) ->+                (Call'sendResultsTo'thirdParty <$> (C.parse rawArg_))+            (RW_Call'sendResultsTo'unknown' tag_) ->+                (Std_.pure (Call'sendResultsTo'unknown' tag_))+        )+instance (C.Marshal (GH.Which Call'sendResultsTo) (C.Parsed (GH.Which Call'sendResultsTo))) where+    marshalInto raw_ parsed_ = case parsed_ of+        (Call'sendResultsTo'caller) ->+            (GH.encodeVariant #caller () (GH.unionStruct raw_))+        (Call'sendResultsTo'yourself) ->+            (GH.encodeVariant #yourself () (GH.unionStruct raw_))+        (Call'sendResultsTo'thirdParty arg_) ->+            (GH.encodeVariant #thirdParty arg_ (GH.unionStruct raw_))+        (Call'sendResultsTo'unknown' tag_) ->+            (GH.encodeField GH.unionField tag_ (GH.unionStruct raw_))+data Return +type instance (R.ReprFor Return) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Return) where+    numStructWords  = 2+    numStructPtrs  = 1+instance (C.Allocate Return) where+    type AllocHint Return = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Return (C.Parsed Return))+instance (C.AllocateList Return) where+    type ListAllocHint Return = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Return (C.Parsed Return))+data instance C.Parsed Return+    = Return +        {answerId :: (RP.Parsed Std_.Word32)+        ,releaseParamCaps :: (RP.Parsed Std_.Bool)+        ,union' :: (C.Parsed (GH.Which Return))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Return))+deriving instance (Std_.Eq (C.Parsed Return))+instance (C.Parse Return (C.Parsed Return)) where+    parse raw_ = (Return <$> (GH.parseField #answerId raw_)+                         <*> (GH.parseField #releaseParamCaps raw_)+                         <*> (C.parse (GH.structUnion raw_)))+instance (C.Marshal Return (C.Parsed Return)) where+    marshalInto raw_ Return{..} = (do+        (GH.encodeField #answerId answerId raw_)+        (GH.encodeField #releaseParamCaps releaseParamCaps raw_)+        (C.marshalInto (GH.structUnion raw_) union')+        )+instance (GH.HasUnion Return) where+    unionField  = (GH.dataField 48 0 16 0)+    data RawWhich mut_ Return+        = RW_Return'results (R.Raw mut_ Payload)+        | RW_Return'exception (R.Raw mut_ Exception)+        | RW_Return'canceled (R.Raw mut_ ())+        | RW_Return'resultsSentElsewhere (R.Raw mut_ ())+        | RW_Return'takeFromOtherQuestion (R.Raw mut_ Std_.Word32)+        | RW_Return'acceptFromThirdParty (R.Raw mut_ Basics.AnyPointer)+        | RW_Return'unknown' Std_.Word16+    internalWhich tag_ struct_ = case tag_ of+        0 ->+            (RW_Return'results <$> (GH.readVariant #results struct_))+        1 ->+            (RW_Return'exception <$> (GH.readVariant #exception struct_))+        2 ->+            (RW_Return'canceled <$> (GH.readVariant #canceled struct_))+        3 ->+            (RW_Return'resultsSentElsewhere <$> (GH.readVariant #resultsSentElsewhere struct_))+        4 ->+            (RW_Return'takeFromOtherQuestion <$> (GH.readVariant #takeFromOtherQuestion struct_))+        5 ->+            (RW_Return'acceptFromThirdParty <$> (GH.readVariant #acceptFromThirdParty struct_))+        _ ->+            (Std_.pure (RW_Return'unknown' tag_))+    data Which Return+instance (GH.HasVariant "results" GH.Slot Return Payload) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 0)+instance (GH.HasVariant "exception" GH.Slot Return Exception) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 1)+instance (GH.HasVariant "canceled" GH.Slot Return ()) where+    variantByLabel  = (GH.Variant GH.voidField 2)+instance (GH.HasVariant "resultsSentElsewhere" GH.Slot Return ()) where+    variantByLabel  = (GH.Variant GH.voidField 3)+instance (GH.HasVariant "takeFromOtherQuestion" GH.Slot Return Std_.Word32) where+    variantByLabel  = (GH.Variant (GH.dataField 0 1 32 0) 4)+instance (GH.HasVariant "acceptFromThirdParty" GH.Slot Return Basics.AnyPointer) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 5)+data instance C.Parsed (GH.Which Return)+    = Return'results (RP.Parsed Payload)+    | Return'exception (RP.Parsed Exception)+    | Return'canceled +    | Return'resultsSentElsewhere +    | Return'takeFromOtherQuestion (RP.Parsed Std_.Word32)+    | Return'acceptFromThirdParty (RP.Parsed Basics.AnyPointer)+    | Return'unknown' Std_.Word16+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed (GH.Which Return)))+deriving instance (Std_.Eq (C.Parsed (GH.Which Return)))+instance (C.Parse (GH.Which Return) (C.Parsed (GH.Which Return))) where+    parse raw_ = (do+        rawWhich_ <- (GH.unionWhich raw_)+        case rawWhich_ of+            (RW_Return'results rawArg_) ->+                (Return'results <$> (C.parse rawArg_))+            (RW_Return'exception rawArg_) ->+                (Return'exception <$> (C.parse rawArg_))+            (RW_Return'canceled _) ->+                (Std_.pure Return'canceled)+            (RW_Return'resultsSentElsewhere _) ->+                (Std_.pure Return'resultsSentElsewhere)+            (RW_Return'takeFromOtherQuestion rawArg_) ->+                (Return'takeFromOtherQuestion <$> (C.parse rawArg_))+            (RW_Return'acceptFromThirdParty rawArg_) ->+                (Return'acceptFromThirdParty <$> (C.parse rawArg_))+            (RW_Return'unknown' tag_) ->+                (Std_.pure (Return'unknown' tag_))+        )+instance (C.Marshal (GH.Which Return) (C.Parsed (GH.Which Return))) where+    marshalInto raw_ parsed_ = case parsed_ of+        (Return'results arg_) ->+            (GH.encodeVariant #results arg_ (GH.unionStruct raw_))+        (Return'exception arg_) ->+            (GH.encodeVariant #exception arg_ (GH.unionStruct raw_))+        (Return'canceled) ->+            (GH.encodeVariant #canceled () (GH.unionStruct raw_))+        (Return'resultsSentElsewhere) ->+            (GH.encodeVariant #resultsSentElsewhere () (GH.unionStruct raw_))+        (Return'takeFromOtherQuestion arg_) ->+            (GH.encodeVariant #takeFromOtherQuestion arg_ (GH.unionStruct raw_))+        (Return'acceptFromThirdParty arg_) ->+            (GH.encodeVariant #acceptFromThirdParty arg_ (GH.unionStruct raw_))+        (Return'unknown' tag_) ->+            (GH.encodeField GH.unionField tag_ (GH.unionStruct raw_))+instance (GH.HasField "answerId" GH.Slot Return Std_.Word32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+instance (GH.HasField "releaseParamCaps" GH.Slot Return Std_.Bool) where+    fieldByLabel  = (GH.dataField 32 0 1 1)+data Finish +type instance (R.ReprFor Finish) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Finish) where+    numStructWords  = 1+    numStructPtrs  = 0+instance (C.Allocate Finish) where+    type AllocHint Finish = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Finish (C.Parsed Finish))+instance (C.AllocateList Finish) where+    type ListAllocHint Finish = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Finish (C.Parsed Finish))+data instance C.Parsed Finish+    = Finish +        {questionId :: (RP.Parsed Std_.Word32)+        ,releaseResultCaps :: (RP.Parsed Std_.Bool)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Finish))+deriving instance (Std_.Eq (C.Parsed Finish))+instance (C.Parse Finish (C.Parsed Finish)) where+    parse raw_ = (Finish <$> (GH.parseField #questionId raw_)+                         <*> (GH.parseField #releaseResultCaps raw_))+instance (C.Marshal Finish (C.Parsed Finish)) where+    marshalInto raw_ Finish{..} = (do+        (GH.encodeField #questionId questionId raw_)+        (GH.encodeField #releaseResultCaps releaseResultCaps raw_)+        (Std_.pure ())+        )+instance (GH.HasField "questionId" GH.Slot Finish Std_.Word32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+instance (GH.HasField "releaseResultCaps" GH.Slot Finish Std_.Bool) where+    fieldByLabel  = (GH.dataField 32 0 1 1)+data Resolve +type instance (R.ReprFor Resolve) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Resolve) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate Resolve) where+    type AllocHint Resolve = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Resolve (C.Parsed Resolve))+instance (C.AllocateList Resolve) where+    type ListAllocHint Resolve = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Resolve (C.Parsed Resolve))+data instance C.Parsed Resolve+    = Resolve +        {promiseId :: (RP.Parsed Std_.Word32)+        ,union' :: (C.Parsed (GH.Which Resolve))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Resolve))+deriving instance (Std_.Eq (C.Parsed Resolve))+instance (C.Parse Resolve (C.Parsed Resolve)) where+    parse raw_ = (Resolve <$> (GH.parseField #promiseId raw_)+                          <*> (C.parse (GH.structUnion raw_)))+instance (C.Marshal Resolve (C.Parsed Resolve)) where+    marshalInto raw_ Resolve{..} = (do+        (GH.encodeField #promiseId promiseId raw_)+        (C.marshalInto (GH.structUnion raw_) union')+        )+instance (GH.HasUnion Resolve) where+    unionField  = (GH.dataField 32 0 16 0)+    data RawWhich mut_ Resolve+        = RW_Resolve'cap (R.Raw mut_ CapDescriptor)+        | RW_Resolve'exception (R.Raw mut_ Exception)+        | RW_Resolve'unknown' Std_.Word16+    internalWhich tag_ struct_ = case tag_ of+        0 ->+            (RW_Resolve'cap <$> (GH.readVariant #cap struct_))+        1 ->+            (RW_Resolve'exception <$> (GH.readVariant #exception struct_))+        _ ->+            (Std_.pure (RW_Resolve'unknown' tag_))+    data Which Resolve+instance (GH.HasVariant "cap" GH.Slot Resolve CapDescriptor) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 0)+instance (GH.HasVariant "exception" GH.Slot Resolve Exception) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 1)+data instance C.Parsed (GH.Which Resolve)+    = Resolve'cap (RP.Parsed CapDescriptor)+    | Resolve'exception (RP.Parsed Exception)+    | Resolve'unknown' Std_.Word16+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed (GH.Which Resolve)))+deriving instance (Std_.Eq (C.Parsed (GH.Which Resolve)))+instance (C.Parse (GH.Which Resolve) (C.Parsed (GH.Which Resolve))) where+    parse raw_ = (do+        rawWhich_ <- (GH.unionWhich raw_)+        case rawWhich_ of+            (RW_Resolve'cap rawArg_) ->+                (Resolve'cap <$> (C.parse rawArg_))+            (RW_Resolve'exception rawArg_) ->+                (Resolve'exception <$> (C.parse rawArg_))+            (RW_Resolve'unknown' tag_) ->+                (Std_.pure (Resolve'unknown' tag_))+        )+instance (C.Marshal (GH.Which Resolve) (C.Parsed (GH.Which Resolve))) where+    marshalInto raw_ parsed_ = case parsed_ of+        (Resolve'cap arg_) ->+            (GH.encodeVariant #cap arg_ (GH.unionStruct raw_))+        (Resolve'exception arg_) ->+            (GH.encodeVariant #exception arg_ (GH.unionStruct raw_))+        (Resolve'unknown' tag_) ->+            (GH.encodeField GH.unionField tag_ (GH.unionStruct raw_))+instance (GH.HasField "promiseId" GH.Slot Resolve Std_.Word32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+data Release +type instance (R.ReprFor Release) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Release) where+    numStructWords  = 1+    numStructPtrs  = 0+instance (C.Allocate Release) where+    type AllocHint Release = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Release (C.Parsed Release))+instance (C.AllocateList Release) where+    type ListAllocHint Release = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Release (C.Parsed Release))+data instance C.Parsed Release+    = Release +        {id :: (RP.Parsed Std_.Word32)+        ,referenceCount :: (RP.Parsed Std_.Word32)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Release))+deriving instance (Std_.Eq (C.Parsed Release))+instance (C.Parse Release (C.Parsed Release)) where+    parse raw_ = (Release <$> (GH.parseField #id raw_)+                          <*> (GH.parseField #referenceCount raw_))+instance (C.Marshal Release (C.Parsed Release)) where+    marshalInto raw_ Release{..} = (do+        (GH.encodeField #id id raw_)+        (GH.encodeField #referenceCount referenceCount raw_)+        (Std_.pure ())+        )+instance (GH.HasField "id" GH.Slot Release Std_.Word32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+instance (GH.HasField "referenceCount" GH.Slot Release Std_.Word32) where+    fieldByLabel  = (GH.dataField 32 0 32 0)+data Disembargo +type instance (R.ReprFor Disembargo) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Disembargo) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate Disembargo) where+    type AllocHint Disembargo = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Disembargo (C.Parsed Disembargo))+instance (C.AllocateList Disembargo) where+    type ListAllocHint Disembargo = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Disembargo (C.Parsed Disembargo))+data instance C.Parsed Disembargo+    = Disembargo +        {target :: (RP.Parsed MessageTarget)+        ,context :: (RP.Parsed Disembargo'context)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Disembargo))+deriving instance (Std_.Eq (C.Parsed Disembargo))+instance (C.Parse Disembargo (C.Parsed Disembargo)) where+    parse raw_ = (Disembargo <$> (GH.parseField #target raw_)+                             <*> (GH.parseField #context raw_))+instance (C.Marshal Disembargo (C.Parsed Disembargo)) where+    marshalInto raw_ Disembargo{..} = (do+        (GH.encodeField #target target raw_)+        (do+            group_ <- (GH.readField #context raw_)+            (C.marshalInto group_ context)+            )+        (Std_.pure ())+        )+instance (GH.HasField "target" GH.Slot Disembargo MessageTarget) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "context" GH.Group Disembargo Disembargo'context) where+    fieldByLabel  = GH.groupField+data Disembargo'context +type instance (R.ReprFor Disembargo'context) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Disembargo'context) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate Disembargo'context) where+    type AllocHint Disembargo'context = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Disembargo'context (C.Parsed Disembargo'context))+instance (C.AllocateList Disembargo'context) where+    type ListAllocHint Disembargo'context = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Disembargo'context (C.Parsed Disembargo'context))+data instance C.Parsed Disembargo'context+    = Disembargo'context' +        {union' :: (C.Parsed (GH.Which Disembargo'context))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Disembargo'context))+deriving instance (Std_.Eq (C.Parsed Disembargo'context))+instance (C.Parse Disembargo'context (C.Parsed Disembargo'context)) where+    parse raw_ = (Disembargo'context' <$> (C.parse (GH.structUnion raw_)))+instance (C.Marshal Disembargo'context (C.Parsed Disembargo'context)) where+    marshalInto raw_ Disembargo'context'{..} = (do+        (C.marshalInto (GH.structUnion raw_) union')+        )+instance (GH.HasUnion Disembargo'context) where+    unionField  = (GH.dataField 32 0 16 0)+    data RawWhich mut_ Disembargo'context+        = RW_Disembargo'context'senderLoopback (R.Raw mut_ Std_.Word32)+        | RW_Disembargo'context'receiverLoopback (R.Raw mut_ Std_.Word32)+        | RW_Disembargo'context'accept (R.Raw mut_ ())+        | RW_Disembargo'context'provide (R.Raw mut_ Std_.Word32)+        | RW_Disembargo'context'unknown' Std_.Word16+    internalWhich tag_ struct_ = case tag_ of+        0 ->+            (RW_Disembargo'context'senderLoopback <$> (GH.readVariant #senderLoopback struct_))+        1 ->+            (RW_Disembargo'context'receiverLoopback <$> (GH.readVariant #receiverLoopback struct_))+        2 ->+            (RW_Disembargo'context'accept <$> (GH.readVariant #accept struct_))+        3 ->+            (RW_Disembargo'context'provide <$> (GH.readVariant #provide struct_))+        _ ->+            (Std_.pure (RW_Disembargo'context'unknown' tag_))+    data Which Disembargo'context+instance (GH.HasVariant "senderLoopback" GH.Slot Disembargo'context Std_.Word32) where+    variantByLabel  = (GH.Variant (GH.dataField 0 0 32 0) 0)+instance (GH.HasVariant "receiverLoopback" GH.Slot Disembargo'context Std_.Word32) where+    variantByLabel  = (GH.Variant (GH.dataField 0 0 32 0) 1)+instance (GH.HasVariant "accept" GH.Slot Disembargo'context ()) where+    variantByLabel  = (GH.Variant GH.voidField 2)+instance (GH.HasVariant "provide" GH.Slot Disembargo'context Std_.Word32) where+    variantByLabel  = (GH.Variant (GH.dataField 0 0 32 0) 3)+data instance C.Parsed (GH.Which Disembargo'context)+    = Disembargo'context'senderLoopback (RP.Parsed Std_.Word32)+    | Disembargo'context'receiverLoopback (RP.Parsed Std_.Word32)+    | Disembargo'context'accept +    | Disembargo'context'provide (RP.Parsed Std_.Word32)+    | Disembargo'context'unknown' Std_.Word16+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed (GH.Which Disembargo'context)))+deriving instance (Std_.Eq (C.Parsed (GH.Which Disembargo'context)))+instance (C.Parse (GH.Which Disembargo'context) (C.Parsed (GH.Which Disembargo'context))) where+    parse raw_ = (do+        rawWhich_ <- (GH.unionWhich raw_)+        case rawWhich_ of+            (RW_Disembargo'context'senderLoopback rawArg_) ->+                (Disembargo'context'senderLoopback <$> (C.parse rawArg_))+            (RW_Disembargo'context'receiverLoopback rawArg_) ->+                (Disembargo'context'receiverLoopback <$> (C.parse rawArg_))+            (RW_Disembargo'context'accept _) ->+                (Std_.pure Disembargo'context'accept)+            (RW_Disembargo'context'provide rawArg_) ->+                (Disembargo'context'provide <$> (C.parse rawArg_))+            (RW_Disembargo'context'unknown' tag_) ->+                (Std_.pure (Disembargo'context'unknown' tag_))+        )+instance (C.Marshal (GH.Which Disembargo'context) (C.Parsed (GH.Which Disembargo'context))) where+    marshalInto raw_ parsed_ = case parsed_ of+        (Disembargo'context'senderLoopback arg_) ->+            (GH.encodeVariant #senderLoopback arg_ (GH.unionStruct raw_))+        (Disembargo'context'receiverLoopback arg_) ->+            (GH.encodeVariant #receiverLoopback arg_ (GH.unionStruct raw_))+        (Disembargo'context'accept) ->+            (GH.encodeVariant #accept () (GH.unionStruct raw_))+        (Disembargo'context'provide arg_) ->+            (GH.encodeVariant #provide arg_ (GH.unionStruct raw_))+        (Disembargo'context'unknown' tag_) ->+            (GH.encodeField GH.unionField tag_ (GH.unionStruct raw_))+data Provide +type instance (R.ReprFor Provide) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Provide) where+    numStructWords  = 1+    numStructPtrs  = 2+instance (C.Allocate Provide) where+    type AllocHint Provide = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Provide (C.Parsed Provide))+instance (C.AllocateList Provide) where+    type ListAllocHint Provide = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Provide (C.Parsed Provide))+data instance C.Parsed Provide+    = Provide +        {questionId :: (RP.Parsed Std_.Word32)+        ,target :: (RP.Parsed MessageTarget)+        ,recipient :: (RP.Parsed Basics.AnyPointer)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Provide))+deriving instance (Std_.Eq (C.Parsed Provide))+instance (C.Parse Provide (C.Parsed Provide)) where+    parse raw_ = (Provide <$> (GH.parseField #questionId raw_)+                          <*> (GH.parseField #target raw_)+                          <*> (GH.parseField #recipient raw_))+instance (C.Marshal Provide (C.Parsed Provide)) where+    marshalInto raw_ Provide{..} = (do+        (GH.encodeField #questionId questionId raw_)+        (GH.encodeField #target target raw_)+        (GH.encodeField #recipient recipient raw_)+        (Std_.pure ())+        )+instance (GH.HasField "questionId" GH.Slot Provide Std_.Word32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+instance (GH.HasField "target" GH.Slot Provide MessageTarget) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "recipient" GH.Slot Provide Basics.AnyPointer) where+    fieldByLabel  = (GH.ptrField 1)+data Accept +type instance (R.ReprFor Accept) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Accept) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate Accept) where+    type AllocHint Accept = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Accept (C.Parsed Accept))+instance (C.AllocateList Accept) where+    type ListAllocHint Accept = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Accept (C.Parsed Accept))+data instance C.Parsed Accept+    = Accept +        {questionId :: (RP.Parsed Std_.Word32)+        ,provision :: (RP.Parsed Basics.AnyPointer)+        ,embargo :: (RP.Parsed Std_.Bool)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Accept))+deriving instance (Std_.Eq (C.Parsed Accept))+instance (C.Parse Accept (C.Parsed Accept)) where+    parse raw_ = (Accept <$> (GH.parseField #questionId raw_)+                         <*> (GH.parseField #provision raw_)+                         <*> (GH.parseField #embargo raw_))+instance (C.Marshal Accept (C.Parsed Accept)) where+    marshalInto raw_ Accept{..} = (do+        (GH.encodeField #questionId questionId raw_)+        (GH.encodeField #provision provision raw_)+        (GH.encodeField #embargo embargo raw_)+        (Std_.pure ())+        )+instance (GH.HasField "questionId" GH.Slot Accept Std_.Word32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+instance (GH.HasField "provision" GH.Slot Accept Basics.AnyPointer) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "embargo" GH.Slot Accept Std_.Bool) where+    fieldByLabel  = (GH.dataField 32 0 1 0)+data Join +type instance (R.ReprFor Join) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Join) where+    numStructWords  = 1+    numStructPtrs  = 2+instance (C.Allocate Join) where+    type AllocHint Join = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Join (C.Parsed Join))+instance (C.AllocateList Join) where+    type ListAllocHint Join = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Join (C.Parsed Join))+data instance C.Parsed Join+    = Join +        {questionId :: (RP.Parsed Std_.Word32)+        ,target :: (RP.Parsed MessageTarget)+        ,keyPart :: (RP.Parsed Basics.AnyPointer)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Join))+deriving instance (Std_.Eq (C.Parsed Join))+instance (C.Parse Join (C.Parsed Join)) where+    parse raw_ = (Join <$> (GH.parseField #questionId raw_)+                       <*> (GH.parseField #target raw_)+                       <*> (GH.parseField #keyPart raw_))+instance (C.Marshal Join (C.Parsed Join)) where+    marshalInto raw_ Join{..} = (do+        (GH.encodeField #questionId questionId raw_)+        (GH.encodeField #target target raw_)+        (GH.encodeField #keyPart keyPart raw_)+        (Std_.pure ())+        )+instance (GH.HasField "questionId" GH.Slot Join Std_.Word32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+instance (GH.HasField "target" GH.Slot Join MessageTarget) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "keyPart" GH.Slot Join Basics.AnyPointer) where+    fieldByLabel  = (GH.ptrField 1)+data MessageTarget +type instance (R.ReprFor MessageTarget) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct MessageTarget) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate MessageTarget) where+    type AllocHint MessageTarget = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc MessageTarget (C.Parsed MessageTarget))+instance (C.AllocateList MessageTarget) where+    type ListAllocHint MessageTarget = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc MessageTarget (C.Parsed MessageTarget))+data instance C.Parsed MessageTarget+    = MessageTarget +        {union' :: (C.Parsed (GH.Which MessageTarget))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed MessageTarget))+deriving instance (Std_.Eq (C.Parsed MessageTarget))+instance (C.Parse MessageTarget (C.Parsed MessageTarget)) where+    parse raw_ = (MessageTarget <$> (C.parse (GH.structUnion raw_)))+instance (C.Marshal MessageTarget (C.Parsed MessageTarget)) where+    marshalInto raw_ MessageTarget{..} = (do+        (C.marshalInto (GH.structUnion raw_) union')+        )+instance (GH.HasUnion MessageTarget) where+    unionField  = (GH.dataField 32 0 16 0)+    data RawWhich mut_ MessageTarget+        = RW_MessageTarget'importedCap (R.Raw mut_ Std_.Word32)+        | RW_MessageTarget'promisedAnswer (R.Raw mut_ PromisedAnswer)+        | RW_MessageTarget'unknown' Std_.Word16+    internalWhich tag_ struct_ = case tag_ of+        0 ->+            (RW_MessageTarget'importedCap <$> (GH.readVariant #importedCap struct_))+        1 ->+            (RW_MessageTarget'promisedAnswer <$> (GH.readVariant #promisedAnswer struct_))+        _ ->+            (Std_.pure (RW_MessageTarget'unknown' tag_))+    data Which MessageTarget+instance (GH.HasVariant "importedCap" GH.Slot MessageTarget Std_.Word32) where+    variantByLabel  = (GH.Variant (GH.dataField 0 0 32 0) 0)+instance (GH.HasVariant "promisedAnswer" GH.Slot MessageTarget PromisedAnswer) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 1)+data instance C.Parsed (GH.Which MessageTarget)+    = MessageTarget'importedCap (RP.Parsed Std_.Word32)+    | MessageTarget'promisedAnswer (RP.Parsed PromisedAnswer)+    | MessageTarget'unknown' Std_.Word16+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed (GH.Which MessageTarget)))+deriving instance (Std_.Eq (C.Parsed (GH.Which MessageTarget)))+instance (C.Parse (GH.Which MessageTarget) (C.Parsed (GH.Which MessageTarget))) where+    parse raw_ = (do+        rawWhich_ <- (GH.unionWhich raw_)+        case rawWhich_ of+            (RW_MessageTarget'importedCap rawArg_) ->+                (MessageTarget'importedCap <$> (C.parse rawArg_))+            (RW_MessageTarget'promisedAnswer rawArg_) ->+                (MessageTarget'promisedAnswer <$> (C.parse rawArg_))+            (RW_MessageTarget'unknown' tag_) ->+                (Std_.pure (MessageTarget'unknown' tag_))+        )+instance (C.Marshal (GH.Which MessageTarget) (C.Parsed (GH.Which MessageTarget))) where+    marshalInto raw_ parsed_ = case parsed_ of+        (MessageTarget'importedCap arg_) ->+            (GH.encodeVariant #importedCap arg_ (GH.unionStruct raw_))+        (MessageTarget'promisedAnswer arg_) ->+            (GH.encodeVariant #promisedAnswer arg_ (GH.unionStruct raw_))+        (MessageTarget'unknown' tag_) ->+            (GH.encodeField GH.unionField tag_ (GH.unionStruct raw_))+data Payload +type instance (R.ReprFor Payload) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Payload) where+    numStructWords  = 0+    numStructPtrs  = 2+instance (C.Allocate Payload) where+    type AllocHint Payload = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Payload (C.Parsed Payload))+instance (C.AllocateList Payload) where+    type ListAllocHint Payload = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Payload (C.Parsed Payload))+data instance C.Parsed Payload+    = Payload +        {content :: (RP.Parsed Basics.AnyPointer)+        ,capTable :: (RP.Parsed (R.List CapDescriptor))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Payload))+deriving instance (Std_.Eq (C.Parsed Payload))+instance (C.Parse Payload (C.Parsed Payload)) where+    parse raw_ = (Payload <$> (GH.parseField #content raw_)+                          <*> (GH.parseField #capTable raw_))+instance (C.Marshal Payload (C.Parsed Payload)) where+    marshalInto raw_ Payload{..} = (do+        (GH.encodeField #content content raw_)+        (GH.encodeField #capTable capTable raw_)+        (Std_.pure ())+        )+instance (GH.HasField "content" GH.Slot Payload Basics.AnyPointer) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "capTable" GH.Slot Payload (R.List CapDescriptor)) where+    fieldByLabel  = (GH.ptrField 1)+data CapDescriptor +type instance (R.ReprFor CapDescriptor) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct CapDescriptor) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate CapDescriptor) where+    type AllocHint CapDescriptor = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc CapDescriptor (C.Parsed CapDescriptor))+instance (C.AllocateList CapDescriptor) where+    type ListAllocHint CapDescriptor = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc CapDescriptor (C.Parsed CapDescriptor))+data instance C.Parsed CapDescriptor+    = CapDescriptor +        {attachedFd :: (RP.Parsed Std_.Word8)+        ,union' :: (C.Parsed (GH.Which CapDescriptor))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed CapDescriptor))+deriving instance (Std_.Eq (C.Parsed CapDescriptor))+instance (C.Parse CapDescriptor (C.Parsed CapDescriptor)) where+    parse raw_ = (CapDescriptor <$> (GH.parseField #attachedFd raw_)+                                <*> (C.parse (GH.structUnion raw_)))+instance (C.Marshal CapDescriptor (C.Parsed CapDescriptor)) where+    marshalInto raw_ CapDescriptor{..} = (do+        (GH.encodeField #attachedFd attachedFd raw_)+        (C.marshalInto (GH.structUnion raw_) union')+        )+instance (GH.HasUnion CapDescriptor) where+    unionField  = (GH.dataField 0 0 16 0)+    data RawWhich mut_ CapDescriptor+        = RW_CapDescriptor'none (R.Raw mut_ ())+        | RW_CapDescriptor'senderHosted (R.Raw mut_ Std_.Word32)+        | RW_CapDescriptor'senderPromise (R.Raw mut_ Std_.Word32)+        | RW_CapDescriptor'receiverHosted (R.Raw mut_ Std_.Word32)+        | RW_CapDescriptor'receiverAnswer (R.Raw mut_ PromisedAnswer)+        | RW_CapDescriptor'thirdPartyHosted (R.Raw mut_ ThirdPartyCapDescriptor)+        | RW_CapDescriptor'unknown' Std_.Word16+    internalWhich tag_ struct_ = case tag_ of+        0 ->+            (RW_CapDescriptor'none <$> (GH.readVariant #none struct_))+        1 ->+            (RW_CapDescriptor'senderHosted <$> (GH.readVariant #senderHosted struct_))+        2 ->+            (RW_CapDescriptor'senderPromise <$> (GH.readVariant #senderPromise struct_))+        3 ->+            (RW_CapDescriptor'receiverHosted <$> (GH.readVariant #receiverHosted struct_))+        4 ->+            (RW_CapDescriptor'receiverAnswer <$> (GH.readVariant #receiverAnswer struct_))+        5 ->+            (RW_CapDescriptor'thirdPartyHosted <$> (GH.readVariant #thirdPartyHosted struct_))+        _ ->+            (Std_.pure (RW_CapDescriptor'unknown' tag_))+    data Which CapDescriptor+instance (GH.HasVariant "none" GH.Slot CapDescriptor ()) where+    variantByLabel  = (GH.Variant GH.voidField 0)+instance (GH.HasVariant "senderHosted" GH.Slot CapDescriptor Std_.Word32) where+    variantByLabel  = (GH.Variant (GH.dataField 32 0 32 0) 1)+instance (GH.HasVariant "senderPromise" GH.Slot CapDescriptor Std_.Word32) where+    variantByLabel  = (GH.Variant (GH.dataField 32 0 32 0) 2)+instance (GH.HasVariant "receiverHosted" GH.Slot CapDescriptor Std_.Word32) where+    variantByLabel  = (GH.Variant (GH.dataField 32 0 32 0) 3)+instance (GH.HasVariant "receiverAnswer" GH.Slot CapDescriptor PromisedAnswer) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 4)+instance (GH.HasVariant "thirdPartyHosted" GH.Slot CapDescriptor ThirdPartyCapDescriptor) where+    variantByLabel  = (GH.Variant (GH.ptrField 0) 5)+data instance C.Parsed (GH.Which CapDescriptor)+    = CapDescriptor'none +    | CapDescriptor'senderHosted (RP.Parsed Std_.Word32)+    | CapDescriptor'senderPromise (RP.Parsed Std_.Word32)+    | CapDescriptor'receiverHosted (RP.Parsed Std_.Word32)+    | CapDescriptor'receiverAnswer (RP.Parsed PromisedAnswer)+    | CapDescriptor'thirdPartyHosted (RP.Parsed ThirdPartyCapDescriptor)+    | CapDescriptor'unknown' Std_.Word16+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed (GH.Which CapDescriptor)))+deriving instance (Std_.Eq (C.Parsed (GH.Which CapDescriptor)))+instance (C.Parse (GH.Which CapDescriptor) (C.Parsed (GH.Which CapDescriptor))) where+    parse raw_ = (do+        rawWhich_ <- (GH.unionWhich raw_)+        case rawWhich_ of+            (RW_CapDescriptor'none _) ->+                (Std_.pure CapDescriptor'none)+            (RW_CapDescriptor'senderHosted rawArg_) ->+                (CapDescriptor'senderHosted <$> (C.parse rawArg_))+            (RW_CapDescriptor'senderPromise rawArg_) ->+                (CapDescriptor'senderPromise <$> (C.parse rawArg_))+            (RW_CapDescriptor'receiverHosted rawArg_) ->+                (CapDescriptor'receiverHosted <$> (C.parse rawArg_))+            (RW_CapDescriptor'receiverAnswer rawArg_) ->+                (CapDescriptor'receiverAnswer <$> (C.parse rawArg_))+            (RW_CapDescriptor'thirdPartyHosted rawArg_) ->+                (CapDescriptor'thirdPartyHosted <$> (C.parse rawArg_))+            (RW_CapDescriptor'unknown' tag_) ->+                (Std_.pure (CapDescriptor'unknown' tag_))+        )+instance (C.Marshal (GH.Which CapDescriptor) (C.Parsed (GH.Which CapDescriptor))) where+    marshalInto raw_ parsed_ = case parsed_ of+        (CapDescriptor'none) ->+            (GH.encodeVariant #none () (GH.unionStruct raw_))+        (CapDescriptor'senderHosted arg_) ->+            (GH.encodeVariant #senderHosted arg_ (GH.unionStruct raw_))+        (CapDescriptor'senderPromise arg_) ->+            (GH.encodeVariant #senderPromise arg_ (GH.unionStruct raw_))+        (CapDescriptor'receiverHosted arg_) ->+            (GH.encodeVariant #receiverHosted arg_ (GH.unionStruct raw_))+        (CapDescriptor'receiverAnswer arg_) ->+            (GH.encodeVariant #receiverAnswer arg_ (GH.unionStruct raw_))+        (CapDescriptor'thirdPartyHosted arg_) ->+            (GH.encodeVariant #thirdPartyHosted arg_ (GH.unionStruct raw_))+        (CapDescriptor'unknown' tag_) ->+            (GH.encodeField GH.unionField tag_ (GH.unionStruct raw_))+instance (GH.HasField "attachedFd" GH.Slot CapDescriptor Std_.Word8) where+    fieldByLabel  = (GH.dataField 16 0 8 255)+data PromisedAnswer +type instance (R.ReprFor PromisedAnswer) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct PromisedAnswer) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate PromisedAnswer) where+    type AllocHint PromisedAnswer = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc PromisedAnswer (C.Parsed PromisedAnswer))+instance (C.AllocateList PromisedAnswer) where+    type ListAllocHint PromisedAnswer = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc PromisedAnswer (C.Parsed PromisedAnswer))+data instance C.Parsed PromisedAnswer+    = PromisedAnswer +        {questionId :: (RP.Parsed Std_.Word32)+        ,transform :: (RP.Parsed (R.List PromisedAnswer'Op))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed PromisedAnswer))+deriving instance (Std_.Eq (C.Parsed PromisedAnswer))+instance (C.Parse PromisedAnswer (C.Parsed PromisedAnswer)) where+    parse raw_ = (PromisedAnswer <$> (GH.parseField #questionId raw_)+                                 <*> (GH.parseField #transform raw_))+instance (C.Marshal PromisedAnswer (C.Parsed PromisedAnswer)) where+    marshalInto raw_ PromisedAnswer{..} = (do+        (GH.encodeField #questionId questionId raw_)+        (GH.encodeField #transform transform raw_)+        (Std_.pure ())+        )+instance (GH.HasField "questionId" GH.Slot PromisedAnswer Std_.Word32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+instance (GH.HasField "transform" GH.Slot PromisedAnswer (R.List PromisedAnswer'Op)) where+    fieldByLabel  = (GH.ptrField 0)+data PromisedAnswer'Op +type instance (R.ReprFor PromisedAnswer'Op) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct PromisedAnswer'Op) where+    numStructWords  = 1+    numStructPtrs  = 0+instance (C.Allocate PromisedAnswer'Op) where+    type AllocHint PromisedAnswer'Op = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc PromisedAnswer'Op (C.Parsed PromisedAnswer'Op))+instance (C.AllocateList PromisedAnswer'Op) where+    type ListAllocHint PromisedAnswer'Op = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc PromisedAnswer'Op (C.Parsed PromisedAnswer'Op))+data instance C.Parsed PromisedAnswer'Op+    = PromisedAnswer'Op +        {union' :: (C.Parsed (GH.Which PromisedAnswer'Op))}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed PromisedAnswer'Op))+deriving instance (Std_.Eq (C.Parsed PromisedAnswer'Op))+instance (C.Parse PromisedAnswer'Op (C.Parsed PromisedAnswer'Op)) where+    parse raw_ = (PromisedAnswer'Op <$> (C.parse (GH.structUnion raw_)))+instance (C.Marshal PromisedAnswer'Op (C.Parsed PromisedAnswer'Op)) where+    marshalInto raw_ PromisedAnswer'Op{..} = (do+        (C.marshalInto (GH.structUnion raw_) union')+        )+instance (GH.HasUnion PromisedAnswer'Op) where+    unionField  = (GH.dataField 0 0 16 0)+    data RawWhich mut_ PromisedAnswer'Op+        = RW_PromisedAnswer'Op'noop (R.Raw mut_ ())+        | RW_PromisedAnswer'Op'getPointerField (R.Raw mut_ Std_.Word16)+        | RW_PromisedAnswer'Op'unknown' Std_.Word16+    internalWhich tag_ struct_ = case tag_ of+        0 ->+            (RW_PromisedAnswer'Op'noop <$> (GH.readVariant #noop struct_))+        1 ->+            (RW_PromisedAnswer'Op'getPointerField <$> (GH.readVariant #getPointerField struct_))+        _ ->+            (Std_.pure (RW_PromisedAnswer'Op'unknown' tag_))+    data Which PromisedAnswer'Op+instance (GH.HasVariant "noop" GH.Slot PromisedAnswer'Op ()) where+    variantByLabel  = (GH.Variant GH.voidField 0)+instance (GH.HasVariant "getPointerField" GH.Slot PromisedAnswer'Op Std_.Word16) where+    variantByLabel  = (GH.Variant (GH.dataField 16 0 16 0) 1)+data instance C.Parsed (GH.Which PromisedAnswer'Op)+    = PromisedAnswer'Op'noop +    | PromisedAnswer'Op'getPointerField (RP.Parsed Std_.Word16)+    | PromisedAnswer'Op'unknown' Std_.Word16+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed (GH.Which PromisedAnswer'Op)))+deriving instance (Std_.Eq (C.Parsed (GH.Which PromisedAnswer'Op)))+instance (C.Parse (GH.Which PromisedAnswer'Op) (C.Parsed (GH.Which PromisedAnswer'Op))) where+    parse raw_ = (do+        rawWhich_ <- (GH.unionWhich raw_)+        case rawWhich_ of+            (RW_PromisedAnswer'Op'noop _) ->+                (Std_.pure PromisedAnswer'Op'noop)+            (RW_PromisedAnswer'Op'getPointerField rawArg_) ->+                (PromisedAnswer'Op'getPointerField <$> (C.parse rawArg_))+            (RW_PromisedAnswer'Op'unknown' tag_) ->+                (Std_.pure (PromisedAnswer'Op'unknown' tag_))+        )+instance (C.Marshal (GH.Which PromisedAnswer'Op) (C.Parsed (GH.Which PromisedAnswer'Op))) where+    marshalInto raw_ parsed_ = case parsed_ of+        (PromisedAnswer'Op'noop) ->+            (GH.encodeVariant #noop () (GH.unionStruct raw_))+        (PromisedAnswer'Op'getPointerField arg_) ->+            (GH.encodeVariant #getPointerField arg_ (GH.unionStruct raw_))+        (PromisedAnswer'Op'unknown' tag_) ->+            (GH.encodeField GH.unionField tag_ (GH.unionStruct raw_))+data ThirdPartyCapDescriptor +type instance (R.ReprFor ThirdPartyCapDescriptor) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct ThirdPartyCapDescriptor) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate ThirdPartyCapDescriptor) where+    type AllocHint ThirdPartyCapDescriptor = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc ThirdPartyCapDescriptor (C.Parsed ThirdPartyCapDescriptor))+instance (C.AllocateList ThirdPartyCapDescriptor) where+    type ListAllocHint ThirdPartyCapDescriptor = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc ThirdPartyCapDescriptor (C.Parsed ThirdPartyCapDescriptor))+data instance C.Parsed ThirdPartyCapDescriptor+    = ThirdPartyCapDescriptor +        {id :: (RP.Parsed Basics.AnyPointer)+        ,vineId :: (RP.Parsed Std_.Word32)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed ThirdPartyCapDescriptor))+deriving instance (Std_.Eq (C.Parsed ThirdPartyCapDescriptor))+instance (C.Parse ThirdPartyCapDescriptor (C.Parsed ThirdPartyCapDescriptor)) where+    parse raw_ = (ThirdPartyCapDescriptor <$> (GH.parseField #id raw_)+                                          <*> (GH.parseField #vineId raw_))+instance (C.Marshal ThirdPartyCapDescriptor (C.Parsed ThirdPartyCapDescriptor)) where+    marshalInto raw_ ThirdPartyCapDescriptor{..} = (do+        (GH.encodeField #id id raw_)+        (GH.encodeField #vineId vineId raw_)+        (Std_.pure ())+        )+instance (GH.HasField "id" GH.Slot ThirdPartyCapDescriptor Basics.AnyPointer) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "vineId" GH.Slot ThirdPartyCapDescriptor Std_.Word32) where+    fieldByLabel  = (GH.dataField 0 0 32 0)+data Exception +type instance (R.ReprFor Exception) = (R.Ptr (Std_.Just R.Struct))+instance (C.TypedStruct Exception) where+    numStructWords  = 1+    numStructPtrs  = 1+instance (C.Allocate Exception) where+    type AllocHint Exception = ()+    new _ = C.newTypedStruct+instance (C.EstimateAlloc Exception (C.Parsed Exception))+instance (C.AllocateList Exception) where+    type ListAllocHint Exception = Std_.Int+    newList  = C.newTypedStructList+instance (C.EstimateListAlloc Exception (C.Parsed Exception))+data instance C.Parsed Exception+    = Exception +        {reason :: (RP.Parsed Basics.Text)+        ,obsoleteIsCallersFault :: (RP.Parsed Std_.Bool)+        ,obsoleteDurability :: (RP.Parsed Std_.Word16)+        ,type_ :: (RP.Parsed Exception'Type)}+    deriving(Generics.Generic)+deriving instance (Std_.Show (C.Parsed Exception))+deriving instance (Std_.Eq (C.Parsed Exception))+instance (C.Parse Exception (C.Parsed Exception)) where+    parse raw_ = (Exception <$> (GH.parseField #reason raw_)+                            <*> (GH.parseField #obsoleteIsCallersFault raw_)+                            <*> (GH.parseField #obsoleteDurability raw_)+                            <*> (GH.parseField #type_ raw_))+instance (C.Marshal Exception (C.Parsed Exception)) where+    marshalInto raw_ Exception{..} = (do+        (GH.encodeField #reason reason raw_)+        (GH.encodeField #obsoleteIsCallersFault obsoleteIsCallersFault raw_)+        (GH.encodeField #obsoleteDurability obsoleteDurability raw_)+        (GH.encodeField #type_ type_ raw_)+        (Std_.pure ())+        )+instance (GH.HasField "reason" GH.Slot Exception Basics.Text) where+    fieldByLabel  = (GH.ptrField 0)+instance (GH.HasField "obsoleteIsCallersFault" GH.Slot Exception Std_.Bool) where+    fieldByLabel  = (GH.dataField 0 0 1 0)+instance (GH.HasField "obsoleteDurability" GH.Slot Exception Std_.Word16) where+    fieldByLabel  = (GH.dataField 16 0 16 0)+instance (GH.HasField "type_" GH.Slot Exception Exception'Type) where+    fieldByLabel  = (GH.dataField 32 0 16 0)+data Exception'Type +    = Exception'Type'failed +    | Exception'Type'overloaded +    | Exception'Type'disconnected +    | Exception'Type'unimplemented +    | Exception'Type'unknown' Std_.Word16+    deriving(Std_.Eq,Std_.Show)+type instance (R.ReprFor Exception'Type) = (R.Data R.Sz16)+instance (Std_.Enum Exception'Type) where+    toEnum n_ = case n_ of+        0 ->+            Exception'Type'failed+        1 ->+            Exception'Type'overloaded+        2 ->+            Exception'Type'disconnected+        3 ->+            Exception'Type'unimplemented+        tag_ ->+            (Exception'Type'unknown' (Std_.fromIntegral tag_))+    fromEnum value_ = case value_ of+        (Exception'Type'failed) ->+            0+        (Exception'Type'overloaded) ->+            1+        (Exception'Type'disconnected) ->+            2+        (Exception'Type'unimplemented) ->+            3+        (Exception'Type'unknown' tag_) ->+            (Std_.fromIntegral tag_)+instance (C.IsWord Exception'Type) where+    fromWord w_ = (Std_.toEnum (Std_.fromIntegral w_))+    toWord v_ = (Std_.fromIntegral (Std_.fromEnum v_))+instance (C.Parse Exception'Type Exception'Type) where+    parse  = GH.parseEnum+    encode  = GH.encodeEnum+instance (C.AllocateList Exception'Type) where+    type ListAllocHint Exception'Type = Std_.Int+instance (C.EstimateListAlloc Exception'Type Exception'Type)