capnp 0.12.1.0 → 0.13.0.0

raw patch · 124 files changed

+801/−24267 lines, 124 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CHANGELOG.md +6/−0
• bench/Main.hs +3/−2
• capnp.cabal +4/−74
• cmd/capnpc-haskell/IR/New.hs +1/−0
• cmd/capnpc-haskell/IR/Pure.hs +0/−86
• cmd/capnpc-haskell/IR/Raw.hs +0/−122
• cmd/capnpc-haskell/Main.hs +3/−22
• cmd/capnpc-haskell/Trans/CgrToStage1.hs +1/−1
• cmd/capnpc-haskell/Trans/FlatToNew.hs +1/−0
• cmd/capnpc-haskell/Trans/FlatToPure.hs +0/−227
• cmd/capnpc-haskell/Trans/FlatToRaw.hs +0/−217
• cmd/capnpc-haskell/Trans/NewToHaskell.hs +14/−4
• cmd/capnpc-haskell/Trans/PureToHaskell.hs +0/−840
• cmd/capnpc-haskell/Trans/RawToHaskell.hs +0/−882
• cmd/capnpc-haskell/Trans/ToHaskellCommon.hs +1/−1
• examples/gen/lib/Capnp/Gen/ById/X85150b117366d14b.hs +0/−12
• examples/gen/lib/Capnp/Gen/ById/X85150b117366d14b/Pure.hs +0/−12
• examples/gen/lib/Capnp/Gen/ById/Xd0a87f36fa0182f5.hs +0/−12
• examples/gen/lib/Capnp/Gen/ById/Xd0a87f36fa0182f5/Pure.hs +0/−12
• examples/gen/lib/Capnp/Gen/Calculator.hs +0/−623
• examples/gen/lib/Capnp/Gen/Calculator/New.hs +1/−1
• examples/gen/lib/Capnp/Gen/Calculator/Pure.hs +0/−648
• examples/gen/lib/Capnp/Gen/Echo.hs +0/−132
• examples/gen/lib/Capnp/Gen/Echo/New.hs +1/−1
• examples/gen/lib/Capnp/Gen/Echo/Pure.hs +0/−156
• gen/lib/Capnp/Gen/ById/X86c366a91393f3f8.hs +0/−12
• gen/lib/Capnp/Gen/ById/X86c366a91393f3f8/Pure.hs +0/−12
• gen/lib/Capnp/Gen/ById/X8ef99297a43a5e34.hs +0/−12
• gen/lib/Capnp/Gen/ById/X8ef99297a43a5e34/Pure.hs +0/−12
• gen/lib/Capnp/Gen/ById/Xa184c7885cdaf2a1.hs +0/−12
• gen/lib/Capnp/Gen/ById/Xa184c7885cdaf2a1/Pure.hs +0/−12
• gen/lib/Capnp/Gen/ById/Xa93fc509624c72d9.hs +0/−12
• gen/lib/Capnp/Gen/ById/Xa93fc509624c72d9/Pure.hs +0/−12
• gen/lib/Capnp/Gen/ById/Xb312981b2552a250.hs +0/−12
• gen/lib/Capnp/Gen/ById/Xb312981b2552a250/Pure.hs +0/−12
• gen/lib/Capnp/Gen/ById/Xb8630836983feed7.hs +0/−12
• gen/lib/Capnp/Gen/ById/Xb8630836983feed7/Pure.hs +0/−12
• gen/lib/Capnp/Gen/ById/Xbdf87d7bb8304e81.hs +0/−12
• gen/lib/Capnp/Gen/ById/Xbdf87d7bb8304e81/Pure.hs +0/−12
• gen/lib/Capnp/Gen/Capnp/Compat/Json.hs +0/−410
• gen/lib/Capnp/Gen/Capnp/Compat/Json/New.hs +0/−1
• gen/lib/Capnp/Gen/Capnp/Compat/Json/Pure.hs +0/−258
• gen/lib/Capnp/Gen/Capnp/Cxx.hs +0/−27
• gen/lib/Capnp/Gen/Capnp/Cxx/New.hs +0/−1
• gen/lib/Capnp/Gen/Capnp/Cxx/Pure.hs +0/−33
• gen/lib/Capnp/Gen/Capnp/Persistent.hs +0/−253
• gen/lib/Capnp/Gen/Capnp/Persistent/New.hs +1/−1
• gen/lib/Capnp/Gen/Capnp/Persistent/Pure.hs +0/−740
• gen/lib/Capnp/Gen/Capnp/Rpc.hs +0/−1532
• gen/lib/Capnp/Gen/Capnp/Rpc/New.hs +0/−1
• gen/lib/Capnp/Gen/Capnp/Rpc/Pure.hs +0/−1097
• gen/lib/Capnp/Gen/Capnp/RpcTwoparty.hs +0/−275
• gen/lib/Capnp/Gen/Capnp/RpcTwoparty/New.hs +0/−1
• gen/lib/Capnp/Gen/Capnp/RpcTwoparty/Pure.hs +0/−277
• gen/lib/Capnp/Gen/Capnp/Schema.hs +0/−2489
• gen/lib/Capnp/Gen/Capnp/Schema/New.hs +0/−1
• gen/lib/Capnp/Gen/Capnp/Schema/Pure.hs +0/−1685
• gen/lib/Capnp/Gen/Capnp/Stream.hs +0/−56
• gen/lib/Capnp/Gen/Capnp/Stream/New.hs +0/−1
• gen/lib/Capnp/Gen/Capnp/Stream/Pure.hs +0/−68
• gen/lib/Internal/Gen/Instances.hs +0/−308
• gen/tests/Capnp/Gen/Aircraft.hs +0/−3721
• gen/tests/Capnp/Gen/Aircraft/New.hs +3/−3
• gen/tests/Capnp/Gen/Aircraft/Pure.hs +0/−2977
• gen/tests/Capnp/Gen/ById/X832bcc6686a26d56.hs +0/−12
• gen/tests/Capnp/Gen/ById/X832bcc6686a26d56/Pure.hs +0/−12
• gen/tests/Capnp/Gen/ById/Xb6421fb8e478d144.hs +0/−12
• gen/tests/Capnp/Gen/ById/Xb6421fb8e478d144/Pure.hs +0/−12
• gen/tests/Capnp/Gen/Generics.hs +0/−514
• gen/tests/Capnp/Gen/Generics/New.hs +1/−1
• gen/tests/Capnp/Gen/Generics/Pure.hs +0/−818
• lib/Capnp.hs +0/−90
• lib/Capnp/Basics.hs +0/−180
• lib/Capnp/Basics/Pure.hs +0/−96
• lib/Capnp/Classes.hs +0/−392
• lib/Capnp/Convert.hs +11/−55
• lib/Capnp/Fields.hs +1/−2
• lib/Capnp/GenHelpers.hs +0/−77
• lib/Capnp/GenHelpers/New.hs +31/−48
• lib/Capnp/GenHelpers/New/Rpc.hs +22/−0
• lib/Capnp/GenHelpers/Pure.hs +0/−65
• lib/Capnp/GenHelpers/ReExports.hs +0/−11
• lib/Capnp/GenHelpers/ReExports/Control/Concurrent/STM.hs +0/−5
• lib/Capnp/GenHelpers/ReExports/Control/Monad/STM/Class.hs +0/−5
• lib/Capnp/GenHelpers/ReExports/Data/ByteString.hs +0/−5
• lib/Capnp/GenHelpers/ReExports/Data/Default.hs +0/−5
• lib/Capnp/GenHelpers/ReExports/Data/Text.hs +0/−5
• lib/Capnp/GenHelpers/ReExports/Data/Vector.hs +0/−5
• lib/Capnp/GenHelpers/ReExports/Supervisors.hs +0/−5
• lib/Capnp/GenHelpers/Rpc.hs +0/−64
• lib/Capnp/IO.hs +2/−58
• lib/Capnp/New.hs +5/−0
• lib/Capnp/New/Basics.hs +3/−2
• lib/Capnp/New/Classes.hs +67/−3
• lib/Capnp/New/Rpc/Common.hs +13/−0
• lib/Capnp/Repr.hs +0/−11
• lib/Capnp/Repr/Methods.hs +1/−7
• lib/Capnp/Repr/Parsed.hs +2/−2
• lib/Capnp/Rpc.hs +2/−23
• lib/Capnp/Rpc/Errors.hs +8/−7
• lib/Capnp/Rpc/Invoke.hs +0/−119
• lib/Capnp/Rpc/Promise.hs +7/−7
• lib/Capnp/Rpc/Server.hs +5/−134
• lib/Capnp/Rpc/Transport.hs +13/−11
• lib/Capnp/Rpc/Untyped.hs +148/−141
• lib/Capnp/Rpc/Untyped.hs-boot +1/−0
• lib/Capnp/Tutorial.hs +1/−5
• lib/Capnp/Untyped/Pure.hs +0/−241
• lib/Codec/Capnp.hs +0/−33
• scripts/gen-basic-instances.hs +0/−105
• scripts/regen.sh +0/−4
• tests/Instances.hs +88/−65
• tests/Module/Capnp/Basics.hs +13/−8
• tests/Module/Capnp/Canonicalize.hs +10/−10
• tests/Module/Capnp/Gen/Capnp/Schema.hs +0/−19
• tests/Module/Capnp/Gen/Capnp/Schema/Pure.hs +113/−109
• tests/Module/Capnp/Rpc.hs +122/−90
• tests/Module/Capnp/Untyped.hs +18/−20
• tests/Module/Capnp/Untyped/Pure.hs +4/−10
• tests/PointerOOB.hs +1/−1
• tests/Regression.hs +6/−6
• tests/Rpc/Unwrap.hs +13/−10
• tests/SchemaQuickCheck.hs +8/−18
• tests/WalkSchemaCodeGenRequest.hs +21/−21

@@ -1,3 +1,9 @@+# 0.13.0.0++This release drops support for the old API. To upgrade to the new API,+Users should first upgrade to the latest 0.12.x version, switch their+code to use the new API, and then upgrade to this version.+ # 0.12.1.0  This release backports some fixes and minor features in the new API.

@@ -3,12 +3,13 @@ module Main (main) where  -import qualified Capnp                     as C+import qualified Capnp.New                 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           Data.Mutable              (thaw) import           System.Exit               (ExitCode(..)) import qualified System.Process.ByteString as PB @@ -46,7 +47,7 @@             C.canonicalize root         , env             (C.evalLimitT maxBound $ do-                mutMsg <- C.thaw msg+                mutMsg <- thaw msg                 newMsg <- C.newMessage Nothing                 pure (mutMsg, newMsg)             )

@@ -1,6 +1,6 @@ cabal-version:            2.2 name:                     capnp-version:                  0.12.1.0+version:                  0.13.0.0 category:                 Data, Serialization, Network, Rpc copyright:                2016-2021 haskell-capnp contributors (see CONTRIBUTORS file). author:                   Ian Denhardt@@ -34,7 +34,6 @@   , core-schema/capnp/compat/json.capnp   , core-schema/capnp/c++.capnp   , scripts/format.sh-  , scripts/gen-basic-instances.hs   , scripts/hlint.sh   , scripts/README.md   , scripts/regen.sh@@ -93,74 +92,43 @@       -- generated code:       gen/lib     exposed-modules:-        Capnp-      , Capnp.Address-      , Capnp.Basics-      , Capnp.Basics.Pure+        Capnp.Address       , Capnp.Bits       , Capnp.Canonicalize-      , Capnp.Classes       , Capnp.New       , Capnp.New.Accessors       , Capnp.New.Basics       , Capnp.New.Classes       , Capnp.New.Constraints+      , Capnp.New.Rpc.Common       , Capnp.New.Rpc.Server       , Capnp.Convert       , Capnp.Errors       , Capnp.Fields-      , Capnp.GenHelpers-      , Capnp.GenHelpers.Pure-      , Capnp.GenHelpers.Rpc       , Capnp.GenHelpers.New+      , Capnp.GenHelpers.New.Rpc       , 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-      , Capnp.Rpc.Invoke       , Capnp.Rpc.Untyped       , Capnp.Rpc.Errors       , Capnp.Rpc.Transport       , Capnp.Rpc.Server       , Capnp.Tutorial -      , Capnp.GenHelpers.ReExports-      , Capnp.GenHelpers.ReExports.Supervisors-      , Capnp.GenHelpers.ReExports.Data.Default-      , Capnp.GenHelpers.ReExports.Data.Text-      , Capnp.GenHelpers.ReExports.Data.ByteString-      , Capnp.GenHelpers.ReExports.Data.Vector-      , Capnp.GenHelpers.ReExports.Control.Concurrent.STM-      , Capnp.GenHelpers.ReExports.Control.Monad.STM.Class-       , Data.Mutable        , Capnp.Gen       , Capnp.Gen.Capnp        -- BEGIN GENERATED SCHEMA MODULES-      , Capnp.Gen.Capnp.Cxx.Pure-      , Capnp.Gen.Capnp.Compat.Json.Pure-      , Capnp.Gen.Capnp.Persistent.Pure-      , Capnp.Gen.Capnp.Rpc.Pure-      , Capnp.Gen.Capnp.RpcTwoparty.Pure-      , Capnp.Gen.Capnp.Schema.Pure-      , Capnp.Gen.Capnp.Stream.Pure-      , Capnp.Gen.Capnp.Cxx-      , Capnp.Gen.Capnp.Compat.Json-      , Capnp.Gen.Capnp.Persistent-      , Capnp.Gen.Capnp.Rpc-      , 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@@ -169,13 +137,6 @@       , 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-      , Capnp.Gen.ById.Xb312981b2552a250.Pure-      , 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@@ -183,22 +144,13 @@       , 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-      , Capnp.Gen.ById.Xb312981b2552a250-      , Capnp.Gen.ById.Xa184c7885cdaf2a1-      , Capnp.Gen.ById.Xa93fc509624c72d9-      , Capnp.Gen.ById.X86c366a91393f3f8       -- END GENERATED SCHEMA MODULES     other-modules:         Internal.AppendVec       , Internal.SnocList       , Internal.Rc       , Internal.TCloseQ-      , Internal.Gen.Instances       , Internal.BuildPure-      , Codec.Capnp     -- other-extensions:     build-depends:         hashable                          >= 1.2.7 && <1.4@@ -228,17 +180,11 @@     , IR.Common     , IR.Stage1     , IR.Flat-    , IR.Pure-    , IR.Raw     , IR.Haskell     , Trans.CgrToStage1     , Trans.Stage1ToFlat-    , Trans.FlatToRaw-    , Trans.FlatToPure     , Trans.FlatToNew     , Trans.ToHaskellCommon-    , Trans.PureToHaskell-    , Trans.RawToHaskell     , Trans.NewToHaskell     , Trans.HaskellToText     , Check@@ -272,35 +218,19 @@       , Examples.Rpc.CalculatorServer        -- Generated code for examples/calculator.capnp-      , 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:

@@ -13,6 +13,7 @@         { fileId   :: !Word64         , decls    :: [Decl]         , fileName :: FilePath+        , usesRpc  :: !Bool         }  data Decl

@@ -1,86 +0,0 @@-{-# LANGUAGE DuplicateRecordFields #-}-module IR.Pure where--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-    , fileName      :: FilePath-    , decls         :: [Decl]-    , reExportEnums :: [Name.LocalQ]-    -- ^ A list of enums that we should re-export from this module.-    , usesRpc       :: !Bool-    -- ^ Whether or not the module uses rpc features. If not, we skip-    -- the rpc related imports. This is mainly important to avoid a-    -- cyclic dependency with rpc.capnp.-    }--data Decl-    = DataDecl Data-    | ConstDecl Constant-    | IFaceDecl Interface--data Data = Data-    { typeName   :: Name.LocalQ-    , typeParams :: [Name.UnQ]-    , firstClass :: !Bool-    -- ^ Whether this is a "first class" type, i.e. it is a type in the-    -- capnproto sense, rather than an auxiliary type defined for a group-    -- or an anonymous union.-    ---    -- Note that this *can* be set for unions, if they subsume the whole-    -- struct, since in that case we collapse the two types in the-    -- high-level API.-    , cerialName :: Name.LocalQ-    -- ^ The name of the type our 'Cerial' should be. This will only be-    -- different from typeName if we're an anonymous union in a struct-    -- that also has other fields; in this case our Cerial should be-    -- the same as our parent struct.-    , def        :: DataDef-    }--data DataDef-    = Sum [Variant]-    | Product [Field]--data Constant = Constant-    { name  :: Name.LocalQ-    , value :: C.Value Brand Name.CapnpQ-    }--data Interface = IFace-    { name        :: Name.CapnpQ-    , typeParams  :: [C.TypeParamRef Name.CapnpQ]-    , interfaceId :: !Word64-    , methods     :: [Method]-    , supers      :: [(Interface, Brand)]-    -- ^ Immediate superclasses-    , ancestors   :: [(Interface, Brand)]-    -- ^ All ancestors, including 'supers'.-    }---- TODO(cleanup): this same type exists in IR.Flat; it doesn't make sense for--- IR.Common, but we should factor this out.-data Method = Method-    { name       :: Name.UnQ-    , paramType  :: C.CompositeType Brand Name.CapnpQ-    , resultType :: C.CompositeType Brand Name.CapnpQ-    }--data Field = Field-    { name  :: Name.UnQ-    -- ^ The name of the field.--    , type_ :: C.Type Brand Name.CapnpQ-    -- ^ The type of the field.-    }--data Variant = Variant-    { name :: Name.LocalQ-    , arg  :: Maybe (C.Type Brand Name.CapnpQ)-    }

@@ -1,122 +0,0 @@--- IR for a high-level representation of the low-level API modules.------ This talks about things like getters, setters, wrapper types for structs,--- etc. It's still not at the level of detail of actual Haskell, but encodes--- the constructs to be generated, as opposed to the declarative description--- of the schema.-{-# LANGUAGE DuplicateRecordFields #-}-module IR.Raw (File(..), Decl(..), Variant(..), TagSetter(..), NewFnType(..), tagOffsetToDataLoc) where--import Data.Word--import qualified IR.Common as Common-import qualified IR.Name   as Name--type Brand = Common.ListBrand Name.CapnpQ--data File = File-    { fileId   :: !Word64-    , fileName :: FilePath-    , decls    :: [Decl]-    }-    deriving(Show, Eq)--data Decl-    -- | Define a newtype wrapper around a struct. This also defines-    -- some instances of type classes that exist for all such wrappers.-    = StructWrapper-        { typeCtor   :: Name.LocalQ-        , typeParams :: [Name.UnQ]-        }-    -- | Define instances of several type classes which should only-    -- exist for "real" structs, i.e. not groups.-    | StructInstances-        { typeCtor      :: Name.LocalQ-        -- ^ The type constructor for the type to generate instances for.-        , typeParams    :: [Name.UnQ]--        -- Needed for some instances:-        , dataWordCount :: !Word16-        , pointerCount  :: !Word16-        }-    | InterfaceWrapper-        { typeCtor   :: Name.LocalQ-        , typeParams :: [Name.UnQ]-        }-    | UnionVariant-        { parentTypeCtor :: Name.LocalQ-        -- ^ The type constructor of the parent, i.e. the enclosing struct.-        -- we can derive the type constructor for the union proper from this,-        -- and it is useful to have for other things (like unknown' variants).-        , tagOffset      :: !Word32-        , typeParams     :: [Name.UnQ]-        , unionDataCtors :: [Variant]-        }-    | Enum-        { typeCtor  :: Name.LocalQ-        , dataCtors :: [Name.LocalQ]-        }-    | Getter -- get_* function-        { fieldName     :: Name.LocalQ-        , containerType :: Name.LocalQ-        , typeParams    :: [Name.UnQ]-        , fieldLocType  :: Common.FieldLocType Brand Name.CapnpQ-        }-    | Setter -- set_* function-        { fieldName     :: Name.LocalQ-        , containerType :: Name.LocalQ-        , typeParams    :: [Name.UnQ]-        , fieldLocType  :: Common.FieldLocType Brand Name.CapnpQ--        , tag           :: Maybe TagSetter-        -- ^ Info for setting the tag, if this is a union.-        }-    | HasFn -- has_* function-        { fieldName     :: Name.LocalQ-        , containerType :: Name.LocalQ-        , typeParams    :: [Name.UnQ]-        , ptrIndex      :: !Word16-        }-    | NewFn -- new_* function-        { fieldName     :: Name.LocalQ-        , containerType :: Name.LocalQ-        , typeParams    :: [Name.UnQ]-        , fieldLocType  :: Common.FieldLocType Brand Name.CapnpQ--        , newFnType     :: NewFnType-        }-    | Constant-        { name  :: Name.LocalQ-        , value :: Common.Value Brand Name.CapnpQ-        }-    deriving(Show, Eq)--data NewFnType-    = NewList-    | NewText-    | NewData-    | NewStruct-    deriving(Show, Eq)--data TagSetter = TagSetter-    { tagOffset :: !Word32-    , tagValue  :: !Word16-    }-    deriving(Show, Eq)---- | Convert a tag offset (as in the 'tagOffset' field of 'TagSetter') to a--- corresponding 'Common.DataLoc', with the default value set to zero.-tagOffsetToDataLoc :: Word32 -> Common.DataLoc-tagOffsetToDataLoc tagOffset =-    Common.DataLoc-        { dataIdx = fromIntegral tagOffset `div` 4-        , dataOff = (fromIntegral tagOffset `mod` 4) * 16-        , dataDef = 0-        }--data Variant = Variant-    { name     :: Name.LocalQ-    , tagValue :: !Word16-    , locType  :: Common.FieldLocType Brand Name.CapnpQ-    }-    deriving(Show, Eq)

@@ -10,21 +10,16 @@ import qualified Data.Text.Lazy    as LT import qualified Data.Text.Lazy.IO as TIO -import Capnp                      (defaultLimit, getParsed) import Capnp.Gen.Capnp.Schema.New (CodeGeneratorRequest)-import Capnp.Repr.Parsed          (Parsed)+import Capnp.New                  (Parsed, defaultLimit, getParsed)  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 ()@@ -42,12 +37,7 @@     let flat =             Trans.Stage1ToFlat.cgrToCgr $             Trans.CgrToStage1.cgrToCgr cgr-        modules =-            concatMap ($ flat)-                [ handleFlatRaw-                , handleFlatPure-                , handleFlatNew-                ]+        modules = handleFlatNew flat     in     map         (\mod ->@@ -57,16 +47,7 @@         )         modules -handleFlatPure, handleFlatRaw, handleFlatNew :: Flat.CodeGenReq -> [Haskell.Module]--handleFlatPure =-    concatMap Trans.PureToHaskell.fileToModules-    . Trans.FlatToPure.cgrToFiles--handleFlatRaw =-    concatMap Trans.RawToHaskell.fileToModules-    . Trans.FlatToRaw.cgrToFiles-+handleFlatNew :: Flat.CodeGenReq -> [Haskell.Module] handleFlatNew =     concatMap Trans.NewToHaskell.fileToModules     . Trans.FlatToNew.cgrToFiles

@@ -17,8 +17,8 @@ import qualified Data.Text       as T import qualified Data.Vector     as V -import Capnp.Classes     (toWord) import Capnp.Fields      (HasUnion(..))+import Capnp.New.Classes (toWord) import Capnp.Repr.Parsed (Parsed)  import qualified Capnp.Gen.Capnp.Schema.New as Schema

@@ -21,6 +21,7 @@         { fileId         , fileName         , decls = concatMap nodeToDecls nodes+        , usesRpc = not $ null [ () | Flat.Node{ union_ = Flat.Interface{} } <- nodes ]         }  mapTypes :: (Bifunctor p, Functor f) => p (f Flat.Node) Flat.Node -> p (f Name.CapnpQ) Name.CapnpQ

@@ -1,227 +0,0 @@-{-# LANGUAGE DuplicateRecordFields #-}-{-# LANGUAGE NamedFieldPuns        #-}-{-# LANGUAGE OverloadedStrings     #-}-module Trans.FlatToPure (cgrToFiles) where--import Data.Word--import qualified Data.Map.Strict as M-import qualified Data.Set        as S--import qualified IR.Common as C-import qualified IR.Flat   as Flat-import qualified IR.Name   as Name-import qualified IR.Pure   as Pure--import Control.Monad.State (State, evalState, get, put)--type IFaceMap = M.Map Word64 Pure.Interface---- | Because of pervasive use of DuplicateRecordFields, we can't easily--- just use the auto-generated `name` accessor function... so we define--- this wrapper.-nodeName :: Flat.Node -> Name.CapnpQ-nodeName Flat.Node{name} = name--cgrToFiles :: Flat.CodeGenReq -> [Pure.File]-cgrToFiles Flat.CodeGenReq{allNodes, reqFiles} =-    map oneFile reqFiles-  where-    allInterfaces = concatMap (convertInterface ifaceMap) allNodes-    ifaceMap =-        M.map-            (\iface -> iface { Pure.ancestors = collectAncestors iface })-            $ M.fromList-                [ (interfaceId, iface)-                | iface@Pure.IFace{interfaceId} <- allInterfaces-                ]-    oneFile Flat.File{nodes, fileId, fileName} =-        Pure.File-            { fileId-            , fileName-            , decls = concatMap (nodeToDecls ifaceMap) nodes-            , reExportEnums = concatMap nodeToReExports nodes-            , usesRpc = not $ null [ () | Flat.Node{ union_ = Flat.Interface{} } <- nodes ]-            }--convertInterface :: IFaceMap -> Flat.Node -> [Pure.Interface]-convertInterface-    ifaceMap-    Flat.Node-        { name-        , typeParams-        , nodeId-        , union_ = Flat.Interface{ methods, supers }-        }-    =-    let result =-            Pure.IFace-                { name-                , typeParams = [ param { C.paramScope = name } | param <- typeParams ]-                , interfaceId = nodeId-                , methods =-                    [ Pure.Method-                        { name-                        , paramType = C.bothMap nodeName paramType-                        , resultType = C.bothMap nodeName resultType-                        }-                    | Flat.Method{name, paramType, resultType} <- methods ]-                , supers =-                    map-                        (\(C.InterfaceType Flat.Node{nodeId} brand) ->-                            ( ifaceMap M.! nodeId-                            , fmap nodeName brand-                            )-                        )-                        supers-                , ancestors = collectAncestors result -- See Note [Ancestors]-                }-    in-    [result]-convertInterface _ _ = []---- | Collect the of the ancestors of an interface, not including itself. Avoids using--- the 'ancestors' field, as this is used to compute that field in the first place.--- See Note [Ancestors]-collectAncestors :: Pure.Interface -> [(Pure.Interface, Pure.Brand)]-collectAncestors Pure.IFace{supers} =-    concat $ evalState (traverse go supers) S.empty-  where-    go :: (Pure.Interface, Pure.Brand) -> State (S.Set Word64) [(Pure.Interface, Pure.Brand)]-    go (iface@Pure.IFace{interfaceId, supers}, brand) = do-        seen <- get-        if interfaceId `S.member` seen then-            pure []-            else (do-                put (S.insert interfaceId seen)-                xs <- concat <$> traverse go supers-                pure $ (iface, brand) : xs-            )--nodeToReExports :: Flat.Node -> [Name.LocalQ]-nodeToReExports Flat.Node{name=Name.CapnpQ{local}, union_=Flat.Enum _} = [ local ]-nodeToReExports _ = []--unionToDecl :: Bool -> Name.LocalQ -> Name.LocalQ -> [Name.UnQ] -> [Flat.Variant] -> Pure.Decl-unionToDecl firstClass cerialName local typeParams variants =-    Pure.DataDecl Pure.Data-        { typeName = local-        , typeParams-        , cerialName-        , def = Pure.Sum-            [ Pure.Variant-                { name = variantName-                , arg = case fieldLocType of-                    C.VoidField ->-                        -- If the argument is void, just have no argument.-                        Nothing-                    _ ->-                        Just (Pure.type_ (fieldToField field))-                }-            | Flat.Variant-                { field=field@Flat.Field-                    { fieldName=Name.CapnpQ{local=variantName}-                    , fieldLocType-                    }-                } <- variants-            ]-        , firstClass-        }--nodeToDecls :: IFaceMap -> Flat.Node -> [Pure.Decl]-nodeToDecls ifaceMap Flat.Node{name=name@Name.CapnpQ{local}, nodeId, union_, typeParams} =-  let typeParams' = map C.paramName typeParams in-  case union_ of-    Flat.Enum _ ->-        -- Don't need to do anything here, since we're just re-exporting the-        -- stuff from the raw module.-        []-    Flat.Interface{} ->-        [ Pure.IFaceDecl (ifaceMap M.! nodeId) ]-    Flat.Struct{ isGroup, fields=[], union=Just Flat.Union{variants}} ->-        -- It's just one big union; skip the outer struct wrapper and make it-        -- a top-level sum type.-        [ unionToDecl (not isGroup) local local typeParams' variants ]-    -- Flat.Struct{ isGroup=True, union=Nothing } -> [] -- See Note [Collapsing Groups]-    Flat.Struct{ isGroup, fields, union } ->-        Pure.DataDecl Pure.Data-            { typeName = local-            , typeParams = typeParams'-            , cerialName = local-            , def = Pure.Product $-                map fieldToField fields-                ++ case union of-                    Nothing ->-                        []-                    Just _ ->-                        [ Pure.Field-                            { name = "union'"-                            , type_ = C.CompositeType $ C.StructType-                                (Name.mkSub name "")-                                (C.ListBrand $-                                    map-                                        (C.PtrParam . fmap nodeName)-                                        typeParams-                                )-                            }-                        ]-            , firstClass = not isGroup-            }-        : case union of-            Just Flat.Union{variants} ->-                -- Also make a type that's just the union, but give it the-                -- same cerialName:-                [ unionToDecl False local (Name.mkSub local "") typeParams' variants ]-            Nothing ->-                []-    Flat.Constant { value } ->-        [ Pure.ConstDecl Pure.Constant-            { name = local-            , value = C.bothMap nodeName value-            }-        ]-    Flat.Other -> []--fieldToField :: Flat.Field -> Pure.Field-fieldToField Flat.Field{fieldName, fieldLocType} = Pure.Field-    { name = Name.getUnQ fieldName-    , type_ = C.bothMap nodeName (C.fieldType fieldLocType)-    }---- Note [Collapsing Groups]--- ========================------ If the argument to a union data constructor is a group, then the fields--- never exist on their own, so it makes for a nicer API to just collapse--- the fields directly into the variant, rather than creating an auxiliary--- struct type.------ However, this is only safe to do if the group does not itself have an--- anonymous union. The reason for this is that otherwise we could end up--- with two variants with a field "union'" but different types, which the--- compiler will reject.------ So the rule is, if a Field.Struct node is a group, and it does not itself--- have an anonymous union:------ 1. Don't generate a type for it.--- 2. Collapse its fields into the data constructor for the union.------ Note that we actually depend on (1) to avoid name collisions, since--- otherwise both the data constructor for the anonymous union and the--- data constructor for the group will be the same.----- Note [Ancestors]--- ================------ When constructing a Pure.Interface, we need to fill in both the immediate--- superclasses and the full transitive list of ancestors. Strictly speaking--- the latter is redundant and can be computed from the former -- which is--- what we do, but we store it so that the PureToHaskell phase doesn't need to--- worry about it.------ The way we compute this is a bit subtle, in that it involves tying the knot;--- The 'collectAncestors' function expects the interface as an argument, and--- computes the correct value of ancestors field without reading it. We then--- use this function when creating the interface value in the first place.

@@ -1,217 +0,0 @@-{-# LANGUAGE DuplicateRecordFields #-}-{-# LANGUAGE NamedFieldPuns        #-}-{-# LANGUAGE OverloadedStrings     #-}-module Trans.FlatToRaw (cgrToFiles) where--import qualified IR.Common as C-import qualified IR.Flat   as Flat-import qualified IR.Name   as Name-import qualified IR.Raw    as Raw--cgrToFiles :: Flat.CodeGenReq -> [Raw.File]-cgrToFiles Flat.CodeGenReq{reqFiles} = map fileToFile reqFiles--fileToFile :: Flat.File -> Raw.File-fileToFile Flat.File{nodes, fileId, fileName} =-    Raw.File-        { fileName-        , fileId-        , decls = concatMap nodeToDecls nodes-        }--nodeToDecls :: Flat.Node -> [Raw.Decl]-nodeToDecls Flat.Node{name=Name.CapnpQ{fileId, local}, union_, typeParams} =-  let typeParams' = map C.paramName typeParams in-  case union_ of-    Flat.Enum variants ->-        [ Raw.Enum-            { typeCtor = local-            , dataCtors = map (Name.mkSub local) variants-            }-        ]-    Flat.Struct{fields, isGroup, dataWordCount, pointerCount, union} ->-        concat-            [ [ Raw.StructWrapper { typeCtor = local, typeParams = typeParams' } ]-            , if isGroup-                then-                    []-                else-                    [ Raw.StructInstances-                        { typeCtor = local-                        , typeParams = typeParams'-                        , dataWordCount-                        , pointerCount-                        }-                    ]-            , concatMap (fieldToDecls local typeParams') fields-            , case union of-                Nothing -> []-                Just Flat.Union{variants, tagOffset} ->-                    let local' = Name.mkSub local "" in-                    [ Raw.UnionVariant-                        { parentTypeCtor = local-                        , typeParams = typeParams'-                        , tagOffset-                        , unionDataCtors =-                            [ Raw.Variant-                                { name = local-                                , tagValue-                                , locType = C.bothMap (\Flat.Node{name} -> name) fieldLocType-                                }-                            | Flat.Variant-                                { field = Flat.Field-                                    { fieldName = Name.CapnpQ{local}-                                    , fieldLocType-                                    }-                                , tagValue-                                } <- variants-                            ]-                        }-                    , Raw.Getter-                        { fieldName = local'-                        , typeParams = typeParams'-                        , containerType = local-                        , fieldLocType = C.HereField $ C.StructType Name.CapnpQ-                            { fileId-                            , local = local'-                            }-                            (C.ListBrand-                                [ C.PtrParam C.TypeParamRef-                                    { paramName-                                    , paramIndex-                                    , paramScope = scopeName-                                    }-                                | C.TypeParamRef-                                    { paramName-                                    , paramIndex-                                    , paramScope=Flat.Node{name=scopeName}-                                    } <- typeParams-                                ]-                            )-                        }-                    ] ++-                    [ Raw.Setter-                        { fieldName-                        , typeParams = typeParams'-                        , containerType = local-                        , fieldLocType = C.bothMap (\Flat.Node{name} -> name) fieldLocType-                        , tag = Just Raw.TagSetter-                            { tagOffset-                            , tagValue-                            }-                        }-                    | Flat.Variant-                        { field = Flat.Field-                            { fieldName = Name.CapnpQ { local = fieldName }-                            , fieldLocType-                            }-                        , tagValue-                        } <- variants-                    ] ++-                    -- This is kindof another tag setter, but it has to work a bit-                    -- differently for the unknown' variant, because it takes an-                    -- argument for what the tag should be, but also doesn't need to-                    -- set any other values. We can treat is as just a setter for a-                    -- uint16 field in the same spot:-                    [ Raw.Setter-                        { fieldName = Name.mkSub local "unknown'"-                        , typeParams = typeParams'-                        , containerType = local-                        , fieldLocType = C.DataField-                            (Raw.tagOffsetToDataLoc tagOffset)-                            (C.PrimWord $ C.PrimInt $ C.IntType C.Unsigned C.Sz16)-                        , tag = Nothing-                        }-                    ]-        ]-    Flat.Interface{} ->-        [ Raw.InterfaceWrapper-            { typeCtor = local-            , typeParams = typeParams'-            }-        ]-    Flat.Constant{ value } ->-        [ Raw.Constant-            { name = local-            , value = C.bothMap (\Flat.Node{name} -> name) value-            }-        ]-    Flat.Other -> []--fieldToDecls :: Name.LocalQ -> [Name.UnQ] -> Flat.Field -> [Raw.Decl]-fieldToDecls-    containerType-    typeParams-    Flat.Field{fieldName=Name.CapnpQ{local=fieldName}, fieldLocType}-    =-    [ Raw.Getter-        { fieldName-        , typeParams-        , containerType-        , fieldLocType = C.bothMap (\Flat.Node{name} -> name) fieldLocType-        }-    ]-    ++-    case fieldLocType of-         C.HereField _ -> []-         _ ->-            [ Raw.Setter-                { fieldName-                , containerType-                , typeParams-                , fieldLocType = C.bothMap (\Flat.Node{name} -> name) fieldLocType-                , tag = Nothing-                }-            ]-    ++-    case fieldLocType of-        C.PtrField ptrIndex _ ->-            [ Raw.HasFn-                { fieldName-                , typeParams-                , containerType-                , ptrIndex-                }-            ]-        _ ->-            []-    ++-    case fieldLocType of-        C.PtrField _ (C.ListOf _) ->-            [ Raw.NewFn-                { fieldName-                , typeParams-                , containerType-                , fieldLocType = C.bothMap (\Flat.Node{name} -> name) fieldLocType-                , newFnType = Raw.NewList-                }-            ]-        C.PtrField _ (C.PrimPtr C.PrimText) ->-            [ Raw.NewFn-                { fieldName-                , typeParams-                , containerType-                , fieldLocType = C.bothMap (\Flat.Node{name} -> name) fieldLocType-                , newFnType = Raw.NewText-                }-            ]-        C.PtrField _ (C.PrimPtr C.PrimData) ->-            [ Raw.NewFn-                { fieldName-                , typeParams-                , containerType-                , fieldLocType = C.bothMap (\Flat.Node{name} -> name) fieldLocType-                , newFnType = Raw.NewData-                }-            ]-        C.PtrField _ (C.PtrComposite _) ->-            [ Raw.NewFn-                { fieldName-                , typeParams-                , containerType-                , fieldLocType = C.bothMap (\Flat.Node{name} -> name) fieldLocType-                , newFnType = Raw.NewStruct-                }-            ]-        _ ->-            []

@@ -7,6 +7,7 @@     ) where  import qualified Capnp.Repr            as R+import           Control.Monad         (guard) import           Data.String           (IsString(fromString)) import           Data.Word import qualified IR.Common             as C@@ -15,6 +16,7 @@ import qualified IR.New                as New import           Trans.ToHaskellCommon +-- | Modules imported by all generated modules. imports :: [Hs.Import] imports =     [ Hs.ImportAs { importAs = "R", parts = ["Capnp", "Repr"] }@@ -24,9 +26,17 @@     , 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"] }     ] +-- | Modules imported by generated modules that use rpc. We separate these out to+-- avoid a circular import when generating code for rpc.capnp -- which does not+-- contain interfaces, so does not need to import the rpc system -- but which+-- must be imported *by* the rpc system.+rpcImports :: [Hs.Import]+rpcImports =+    [ Hs.ImportAs { importAs = "GH", parts = ["Capnp", "GenHelpers", "New", "Rpc"] }+    ]+ fileToModules :: New.File -> [Hs.Module] fileToModules file =     [ fileToMainModule file@@ -34,7 +44,7 @@     ]  fileToMainModule :: New.File -> Hs.Module-fileToMainModule file@New.File{fileName} =+fileToMainModule file@New.File{fileName, usesRpc} =     fixImports $ Hs.Module         { modName = ["Capnp", "Gen"] ++ makeModName fileName ++ ["New"]         , modLangPragmas =@@ -55,7 +65,7 @@             , "ScopedTypeVariables"             ]         , modExports = Nothing-        , modImports = imports+        , modImports = imports ++ (guard usesRpc >> rpcImports)         , modDecls = fileToDecls file         } @@ -401,7 +411,7 @@                     , params = []                     , value = Hs.EApp                         (egName ["GH"] "getPtrConst")-                        [Hs.ETypeAnno (Hs.EBytes (makePtrBytes v)) (tgName ["BS"] "ByteString")]+                        [Hs.ETypeAnno (Hs.EBytes (makePtrBytes v)) (tgName ["GH"] "ByteString")]                     }                 }             ]

@@ -1,840 +0,0 @@-{-# LANGUAGE DuplicateRecordFields #-}-{-# LANGUAGE LambdaCase            #-}-{-# LANGUAGE NamedFieldPuns        #-}-{-# LANGUAGE OverloadedStrings     #-}-module Trans.PureToHaskell (fileToModules) where--import Data.Word--import Control.Monad (guard)-import Text.Printf   (printf)--import qualified Data.Text as T--import IR.Haskell-import Trans.ToHaskellCommon--import qualified IR.Common as C-import qualified IR.Name   as Name-import qualified IR.Pure   as P----- | Modules imported by all generated modules.-commonImports :: [Import]-commonImports =-    [ ImportAs { importAs = "V", parts = reExp ["Data", "Vector"] }-    , ImportAs { importAs = "T", parts = reExp ["Data", "Text"] }-    , ImportAs { importAs = "BS", parts = reExp ["Data", "ByteString"] }-    , ImportAs { importAs = "Default", parts = reExp ["Data", "Default"] }-    , ImportAs { importAs = "Generics", parts = ["GHC", "Generics"] }-    , ImportAs { importAs = "MonadIO", parts = ["Control", "Monad", "IO", "Class"] }-    , ImportAs { importAs = "UntypedPure", parts = ["Capnp", "Untyped", "Pure"] }-    , ImportAs { importAs = "Untyped", parts = ["Capnp", "Untyped"] }-    , ImportAs { importAs = "Message", parts = ["Capnp", "Message"] }-    , ImportAs { importAs = "Classes", parts = ["Capnp", "Classes"] }-    , ImportAs { importAs = "BasicsPure", parts = ["Capnp", "Basics", "Pure" ] }-    , ImportAs { importAs = "GenHelpersPure", parts = ["Capnp", "GenHelpers", "Pure"] }-    ]----- | Modules imported by generated modules that use rpc.-rpcImports :: [Import]-rpcImports =-    [ ImportAs { importAs = "Rpc", parts = ["Capnp", "Rpc", "Untyped"] }-    , ImportAs { importAs = "Server", parts = ["Capnp", "Rpc", "Server"] }-    , ImportAs { importAs = "RpcHelpers", parts = ["Capnp", "GenHelpers", "Rpc"] }-    , ImportAs { importAs = "STM", parts = reExp ["Control", "Concurrent", "STM"] }-    , ImportAs { importAs = "STM", parts = reExp [ "Control", "Monad", "STM", "Class"] }-    , ImportAs { importAs = "Supervisors", parts = reExp ["Supervisors"] }-    ]--reExp :: [Name.UnQ] -> [Name.UnQ]-reExp parts = ["Capnp", "GenHelpers", "ReExports"] ++ parts---- | Whether the serialized and unserialized forms of this type--- are the same. If not, there is a marshalling step, if so, the--- accessors work with the decerialized form directly.------ For example, this is True for Enums, basic integers, etc. but--- False for structs, interfaces, etc.-cerialEq :: C.Type b r -> Bool-cerialEq C.VoidType          = True-cerialEq (C.WordType _)      = True-cerialEq (C.CompositeType _) = False-cerialEq (C.PtrType _)       = False--fileToModules :: P.File -> [Module]-fileToModules file =-    [ fileToMainModule file-    , fileToModuleAlias file-    ]--fileToModuleAlias :: P.File -> Module-fileToModuleAlias P.File{fileName, fileId} =-    let reExport = ["Capnp", "Gen"] ++ makeModName fileName ++ ["Pure"]-    in Module-        { modName = idToModule fileId ++ ["Pure"]-        , modLangPragmas = []-        , modExports = Just [ExportMod reExport]-        , modImports = [ ImportAll { parts = reExport } ]-        , modDecls = []-        }--fileToMainModule :: P.File -> Module-fileToMainModule P.File{fileName, fileId, decls, reExportEnums, usesRpc} =-    fixImports $ Module-        { modName = ["Capnp", "Gen"] ++ makeModName fileName ++ ["Pure"]-        , modLangPragmas =-            [ "DataKinds"-            , "DeriveGeneric"-            , "DuplicateRecordFields"-            , "FlexibleContexts"-            , "FlexibleInstances"-            , "FunctionalDependencies"-            , "RecordWildCards"-            , "MultiParamTypeClasses"-            , "TypeFamilies"-            , "UndecidableInstances"-            ]-        , modExports = Just $-            [ExportGCtors (gName (rawModule fileId) name) | name <- reExportEnums]-            ++ concatMap (declToExport fileId) decls-        , modImports =-            commonImports ++ (guard usesRpc >> rpcImports)-        , modDecls =-            concatMap (declToDecls fileId) decls-            ++ concatMap (enumInstances fileId) reExportEnums-        }----- | Convert a declaration into the list of related exports we need.--- The first argument is the id for this module.-declToExport :: Word64 -> P.Decl -> [Export]-declToExport fileId = \case-    P.DataDecl P.Data{typeName} ->-        [ ExportLCtors typeName ]-    P.ConstDecl P.Constant { name, value=C.WordValue _ _ } ->-        [ ExportGName $ gName (rawModule fileId) name ]-    P.ConstDecl P.Constant { name, value=C.VoidValue } ->-        [ ExportGName $ gName (rawModule fileId) name ]-    P.ConstDecl P.Constant { name, value=C.PtrValue _ _ } ->-        [ ExportLName name ]-    P.IFaceDecl P.IFace{ name=Name.CapnpQ{local} } ->-        [ ExportLCtors local-        , ExportLCtors (Name.mkSub local "server_")-        , ExportLName (Name.unQToLocal $ Name.UnQ $ "export_" <> Name.renderLocalQ local)-        ]---- | enumInstances' generates some type class instances an enum data type.-enumInstances :: Word64 -> Name.LocalQ -> [Decl]-enumInstances thisMod name =-    let rawName = gName (rawModule thisMod) name in-    instance_ [] ["Classes"] "Decerialize" [TGName rawName]-        [ iType "Cerial" [tuName "msg", TGName rawName] (TGName rawName)-        , iValue "decerialize" [] (eStd_ "pure")-        ]-    : instance_ [] ["Classes"] "Cerialize" [tuName "s", TGName rawName]-        [ iValue "cerialize" [PVar "_"] (eStd_ "pure")-        ]-    : [ instance_ [] ["Classes"] "Cerialize" [tuName "s", t]-        [ iValue "cerialize" [] (egName ["Classes"] "cerializeBasicVec")-        ]-      | t <- take 6 $ drop 1 $ iterate-            (\t -> TApp (tgName ["V"] "Vector") [t])-            (TGName rawName)-      ]---- | Convert an 'IR.Pure.Decl' into a series of Haskell declarations.-declToDecls :: Word64 -> P.Decl -> [Decl]-declToDecls thisMod (P.DataDecl data_)     = dataToDecls thisMod data_-declToDecls thisMod (P.ConstDecl constant) = constToDecls thisMod constant-declToDecls thisMod (P.IFaceDecl iface)    = ifaceToDecls thisMod iface--dataToDecls :: Word64 -> P.Data -> [Decl]-dataToDecls thisMod data_@P.Data{firstClass} = concat $-    [ dataToDataDecl thisMod data_-    , dataToSimpleInstances thisMod data_-    , dataToDecerialize thisMod data_-    , dataToMarshal thisMod data_-    ]-    ++-    [ firstClassInstances thisMod data_ | firstClass ]---- | Get the name of a data constructor for a product type. Arguments are the--- name of the type constructor and whether or not the type is "first class".-productVariantName :: Name.LocalQ -> Bool -> Name.LocalQ-productVariantName typeName firstClass-    | firstClass = typeName-    | otherwise = Name.mkSub typeName ""-    -- ^ This is a group. If it's part of a union, then the union-    -- will have a data constructor that is the same as typeName,-    -- so we appent a ' to avoid a colision.--dataToDataDecl :: Word64 -> P.Data -> [Decl]-dataToDataDecl thisMod P.Data-        { typeName-        , typeParams-        , cerialName-        , firstClass-        , def-        } =-    let unknownCtor = Name.mkSub cerialName "unknown'" in-    [ DcData Data-        { dataName = Name.localToUnQ typeName-        , typeArgs = map (TVar . Name.typeVarName) typeParams-        , derives =-            ["Std_.Show", "Std_.Eq", "Generics.Generic"]-        , dataNewtype = False-        , dataInstance = False-        , dataVariants =-            case def of-                P.Product fields ->-                    [ DataVariant-                        { dvCtorName = Name.localToUnQ $ productVariantName typeName firstClass-                        , dvArgs = ARec (map (fieldToField thisMod) fields)-                        }-                    ]-                P.Sum variants ->-                    [ DataVariant-                        { dvCtorName = Name.localToUnQ name-                        , dvArgs = case arg of-                            Nothing -> APos []-                            Just ty -> APos [typeToType thisMod ty]-                        }-                    | P.Variant{name, arg} <- variants-                    ]-                    ++-                    [ DataVariant-                        { dvCtorName = Name.localToUnQ unknownCtor-                        , dvArgs = APos [TPrim $ C.PrimInt $ C.IntType C.Unsigned C.Sz16]-                        }-                    ]-        }-    ]--typeParamsDecerializeCtx :: [Name.UnQ] -> [Type]-typeParamsDecerializeCtx typeParams =-    let-        vars = typeParamVars typeParams-        tConst = tgName ["Message"] "Const"-        cerial msg v = TApp (tgName ["Classes"] "Cerial") [msg, v]-    in-    concat-        [ [ TApp (tgName ["Classes"] "Decerialize") [v]-          , TApp-            (tgName ["Classes"] "FromPtr")-            [ tConst-            , cerial tConst v-            ]-          ]-        | v <- vars-        ]--typeParamsCerializeCtx :: [Name.UnQ] -> [Type]-typeParamsCerializeCtx typeParams =-    typeParamsDecerializeCtx typeParams ++ concat-        [ [ TApp (tgName ["Classes"] "Cerialize") [tuName "s", v]-          , TApp (tgName ["Classes"] "ToPtr")-               [ tuName "s"-               , TApp (tgName ["Classes"] "Cerial")-                   [ TApp (tgName ["Message"] "Mut") [tuName "s"]-                   , v-                   ]-               ]-           ]-        | v <- typeParamVars typeParams-        ]--dataToSimpleInstances :: Word64 -> P.Data -> [Decl]-dataToSimpleInstances _thisMod P.Data{ typeName, typeParams } =-    let typ = typeWithParams typeName typeParams-        ctx = typeParamsDecerializeCtx typeParams-    in-    [ instance_ ctx ["Default"] "Default" [typ]-        [ iValue "def" [] (egName ["GenHelpersPure"] "defaultStruct")-        ]-    , instance_ ctx ["Classes"] "FromStruct" [tgName ["Message"] "Const", typ]-        [ iValue "fromStruct" [PVar "struct"] $ EBind-            (EApp (egName ["Classes"] "fromStruct") [euName "struct"])-            (egName ["Classes"] "decerialize")-        ]-    ]--dataToDecerialize :: Word64 -> P.Data -> [Decl]-dataToDecerialize thisMod P.Data-        { typeName-        , typeParams-        , cerialName-        , firstClass-        , def-        } =-    let typ = typeWithParams typeName typeParams-        ctx = typeParamsDecerializeCtx typeParams-    in-    [ instance_ ctx ["Classes"] "Decerialize" [typ]-        [ iType "Cerial" [tuName "msg", typ] $-            TApp (tgName (rawModule thisMod) cerialName) $-                [ TApp (tgName ["Classes"] "Cerial") [tuName "msg", v]-                | v <- typeParamVars typeParams-                ]-                ++ [tuName "msg"]-        , iValue "decerialize" [PVar "raw"] $-            case def of-                P.Sum variants ->-                    variantsToDecerialize thisMod cerialName variants-                P.Product fields ->-                    fieldsToDecerialize thisMod typeName firstClass fields-        ]-    ]--variantsToDecerialize :: Word64 -> Name.LocalQ -> [P.Variant] -> Exp-variantsToDecerialize thisMod cerialName variants =-    let unknownCtor = Name.mkSub cerialName "unknown'"-        fieldGetter parentName name = egName-            (rawModule thisMod)-            (Name.unQToLocal $ Name.getterName $ Name.mkSub parentName name)-    in-    EDo-        [DoBind "raw" $ EApp (fieldGetter cerialName "") [euName "raw"]-        ]-        (ECase (ELName "raw") $-            [ case arg of-                Nothing ->-                    ( pgName (rawModule thisMod) name []-                    , EApp (eStd_ "pure") [ELName name]-                    )-                Just type_ | cerialEq type_ ->-                    ( pgName (rawModule thisMod) name [PVar "raw"]-                    , EApp (eStd_ "pure") [EApp (ELName name) [euName "raw"]]-                    )-                Just _ ->-                    ( pgName (rawModule thisMod) name [PVar "raw"]-                    , EFApp-                        (ELName name)-                        [EApp (egName ["Classes"] "decerialize") [euName "raw"]]-                    )-            | P.Variant{name, arg} <- variants-            ]-            ++-            [ ( pgName (rawModule thisMod) unknownCtor [PVar "tag"]-              , EApp-                  (eStd_ "pure")-                  [EApp (ELName unknownCtor) [euName "tag"]]-              )-            ]-        )--fieldsToDecerialize :: Word64 -> Name.LocalQ -> Bool -> [P.Field] -> Exp-fieldsToDecerialize thisMod typeName firstClass fields =-    let fieldGetter parentName name = egName-            (rawModule thisMod)-            (Name.unQToLocal $ Name.getterName $ Name.mkSub parentName name)-        variantName = productVariantName typeName firstClass-    in-    case fields of-        [] ->-            EApp (eStd_ "pure") [ELName variantName]-        _ ->-            EFApp-                (ELName variantName)-                [-                    let getter = EApp (fieldGetter typeName name) [euName "raw"] in-                    if name == "union'" then-                        -- unions decerialize from the same type as their parents. Don't-                        -- do anything but pass it off.-                        EApp (egName ["Classes"] "decerialize") [euName "raw"]-                    else if cerialEq type_ then-                        getter-                    else-                        EBind getter (egName ["Classes"] "decerialize")-                | P.Field{name, type_} <- fields-                ]---dataToMarshal :: Word64 -> P.Data -> [Decl]-dataToMarshal thisMod P.Data-        { typeName-        , typeParams-        , cerialName-        , firstClass-        , def-        } =-    let typ = typeWithParams typeName typeParams in-    [ instance_ (typeParamsCerializeCtx typeParams) ["Classes"] "Marshal" [TVar "s", typ]-        [ iValue "marshalInto" [PVar "raw_", PVar "value_"] $-            case def of-                P.Sum variants ->-                    variantsToMarshal thisMod cerialName variants-                P.Product fields ->-                    fieldsToMarshal thisMod typeName firstClass fields-        ]-    ]--variantsToMarshal :: Word64 -> Name.LocalQ -> [P.Variant] -> Exp-variantsToMarshal thisMod cerialName variants =-    let unknownCtor = Name.mkSub cerialName "unknown'" in-    ECase (euName "value_") $-        [ let setter = Name.unQToLocal $ Name.setterName variantName-              setExp = EApp (egName (rawModule thisMod) setter) [euName "raw_"]-          in case arg of-            Nothing ->-                ( PLCtor variantName []-                , setExp-                )-            Just type_ ->-                ( PLCtor variantName [PVar "arg_"]-                , marshalField MarshalField-                    { thisMod-                    , into = "raw_"-                    , localQField = variantName-                    , from = "arg_"-                    , type_-                    , inUnion = True-                    }-                )-        | P.Variant{name=variantName, arg} <- variants-        ]-        ++-        let setter = Name.unQToLocal $ Name.setterName unknownCtor in-        [ ( PLCtor unknownCtor [PVar "tag"]-          , EApp (egName (rawModule thisMod) setter) [euName "raw_", euName "tag"]-          )-        ]--fieldsToMarshal :: Word64 -> Name.LocalQ -> Bool -> [P.Field] -> Exp-fieldsToMarshal thisMod typeName firstClass fields =-    let variantName = productVariantName typeName firstClass in-    ECase (euName "value_")-        [ ( case fields of-              -- If there are no fields, use of RecordWildCards will-              -- cause an error:-              [] -> PLCtor variantName []-              _  -> PLRecordWildCard variantName-          , EDo-              [ DoE $ marshalField MarshalField-                  { thisMod-                  , into = "raw_"-                  , localQField = Name.mkSub typeName fieldName-                  , from = fieldName-                  , type_-                  , inUnion = False-                  }-              | P.Field{name=fieldName, type_} <- fields-              ]-              ePureUnit-          )-        ]--firstClassInstances :: Word64 -> P.Data -> [Decl]-firstClassInstances _thisMod P.Data{ typeName, typeParams } =-    let typ = typeWithParams typeName typeParams-        ctx = typeParamsCerializeCtx typeParams-    in-    [ instance_ ctx ["Classes"] "Cerialize" [tuName "s", typ] []-    , instance_ ctx ["Classes"] "Cerialize" [tuName "s", TApp (tgName ["V"] "Vector") [typ]]-        [ iValue "cerialize" [] (egName ["GenHelpersPure"] "cerializeCompositeVec")-        ]-    ] ++-    -- Generate instances of Cerialize s (Vector (Vector ... t)) up to some reasonable-    -- nesting level. I(zenhack) can't figure out how to get a general case-    -- Cerialize s (Vector a) => Cerialize s (Vector (Vector a)) to type check, so this-    -- will have to do for now.-    [ instance_ ctx ["Classes"] "Cerialize" [tuName "s", t]-        [ iValue "cerialize" [] (egName ["GenHelpersPure"] "cerializeBasicVec")-        ]-    | t <- take 6 $ drop 2 $ iterate-            (\t -> TApp (tgName ["V"] "Vector") [t])-            typ-    ]--ifaceToDecls :: Word64 -> P.Interface -> [Decl]-ifaceToDecls thisMod iface =-    [ ifaceClientDecl thisMod iface-    , ifaceClassDecl thisMod iface-    , ifaceExportFn thisMod iface-    ]-    ++-    ifaceInstances thisMod iface---- | Declare the newtype wrapper for clients of this interface.-ifaceClientDecl :: Word64 -> P.Interface -> Decl-ifaceClientDecl _thisMod P.IFace{ name=Name.CapnpQ{local=name}, typeParams } =-    DcData Data-        { dataName = Name.localToUnQ name-        , dataNewtype = True-        , dataInstance = False-        , dataVariants =-            [ DataVariant-                { dvCtorName = Name.localToUnQ name-                , dvArgs = APos [tgName ["Message"] "Client"]-                }-            ]-        , typeArgs = map (TVar . Name.typeVarName . C.paramName) typeParams-        , derives =-            [ "Std_.Show"-            , "Std_.Eq"-            , "Generics.Generic"-            ]-        }---- | define the *'server_ class for the interface.-ifaceClassDecl :: Word64 -> P.Interface -> Decl-ifaceClassDecl thisMod P.IFace { name=Name.CapnpQ{local=name}, methods, supers, typeParams } =-    let typeParamNames = map (Name.typeVarName . C.paramName) typeParams in-    DcClass-        { ctx =-            let superConstraints =-                    -- Add class constraints for superclasses:-                    [ let superClass = pureTName thisMod fileId (Name.mkSub local "server_")-                      in TApp superClass $-                            [tuName "m", tuName "cap"]-                            ++ map (typeToType thisMod . C.PtrType) types-                    | (P.IFace{name=Name.CapnpQ{local, fileId}}, C.ListBrand types) <- supers-                    ]-            in-            TApp (tgName ["MonadIO"] "MonadIO") [tuName "m"]-            : case superConstraints of-                -- If this interface doesn't have any superclasses, then we need to-                -- specify a constraint for the 'Server' class. Otherwise, it's-                -- implied by the supers.-                [] -> [ TApp (tgName ["Server"] "Server") [tuName "m", tuName "cap"] ]-                _ -> superConstraints-        , name = Name.mkSub name "server_"-        , params = map Name.UnQ $ ["m", "cap"] ++ typeParamNames-        , funDeps = [ ("cap", v) | v <- typeParamNames ]-        , decls =-            let mkName = mkMethodName name in-            CdMinimal [ mkName name | P.Method{name} <- methods ]-            : concat-                [ [ CdValueDecl-                        (mkName methodName)-                        (TFn-                            [ tuName "cap"-                            , TApp-                                (tgName ["Server"] "MethodHandler")-                                [ tuName "m"-                                , typeToType thisMod $ C.CompositeType paramType-                                , typeToType thisMod $ C.CompositeType resultType-                                ]-                            ]-                        )-                    , CdValueDef DfValue-                        { name = mkName methodName-                        , params = [PVar "_"]-                        , value = egName ["Server"] "methodUnimplemented"-                        }-                    ]-                | P.Method-                    { name=methodName-                    , paramType-                    , resultType-                    }-                <- methods-                ]-        }----- | Define the export_Foo function for the interface.-ifaceExportFn :: Word64 -> P.Interface -> Decl-ifaceExportFn thisMod iface@P.IFace { name=Name.CapnpQ{ local }, typeParams, ancestors } =-    let typeParamVars = map (TVar . Name.typeVarName . C.paramName) typeParams in-    DcValue-        { typ = TCtx-            [ TApp (tgName ["STM"] "MonadSTM") [tuName "m"]-            , TApp-                (TLName (Name.mkSub local "server_"))-                $ [tStd_ "IO", tuName "cap"] ++ typeParamVars-            ]-            (TFn-                [ tgName ["Supervisors"] "Supervisor"-                , tuName "cap"-                , TApp (tuName "m") [TApp (TLName local) typeParamVars]-                ]-            )-        , def = DfValue-            { name = Name.UnQ $ "export_" <> Name.renderLocalQ local-            , params = [PVar "sup_", PVar "server_"]-            , value = EApp (egName ["STM"] "liftSTM") $ pure $ EFApp (ELName local)-                [ EApp (egName ["Rpc"] "export")-                    [ euName "sup_"-                    , ERecord (egName ["Server"] "ServerOps")-                        [ ( "handleCast"-                          , EApp (egName ["Server"] "unwrap") [ELName "server_"]-                          )-                        , ( "handleStop"-                          , EApp (egName ["Server"] "shutdown") [ELName "server_"]-                          )-                        , ( "handleCall"-                          , ELambda [PVar "interfaceId_", PVar "methodId_"] $-                                ECase (euName "interfaceId_") $-                                    [ ( PInt (fromIntegral interfaceId)-                                      , ECase (euName "methodId_") $-                                            [ ( PInt i-                                              , EApp-                                                    (egName ["Server"] "toUntypedHandler")-                                                    [ let methodName = mkMethodName ifaceName mname in-                                                      EApp-                                                        (if thisMod == ifaceMod-                                                            then euName methodName-                                                            else egName (pureModule ifaceMod) (Name.unQToLocal methodName)-                                                        )-                                                        [euName "server_"]-                                                    ]-                                              )-                                            | (i, P.Method{name=mname}) <- zip [0..] methods-                                            ]-                                            ++-                                            [ ( PVar "_"-                                              , egName ["Server"] "methodUnimplemented"-                                              )-                                            ]-                                      )-                                    | P.IFace-                                        { name = Name.CapnpQ{local=ifaceName, fileId=ifaceMod}-                                        , interfaceId-                                        , methods-                                        }-                                    <- iface : map fst ancestors-                                    ]-                                    ++-                                    [ ( PVar "_"-                                      , egName ["Server"] "methodUnimplemented"-                                      )-                                    ]-                          )-                        ]-                    ]-                ]-            }-        }---- | Declare instances for clients for this interface.-ifaceInstances :: Word64 -> P.Interface -> [Decl]-ifaceInstances thisMod iface@P.IFace{ name=Name.CapnpQ{local=name}, typeParams } =-    let typ = typeWithParams name (map C.paramName typeParams) in-    [ instance_ [] ["Rpc"] "IsClient" [typ]-        [ iValue "fromClient" [] (ELName name)-        , iValue "toClient" [PLCtor name [PVar "client"]] (euName "client")-        ]-    , instance_ [] ["Classes"] "FromPtr" [tuName "msg", typ]-        [ iValue "fromPtr" [] (egName ["RpcHelpers"] "isClientFromPtr")-        ]-    , instance_ [] ["Classes"] "ToPtr" [tuName "s", typ]-        [ iValue "toPtr" [] (egName ["RpcHelpers"] "isClientToPtr")-        ]-    , instance_ [] ["Classes"] "Decerialize" [typ]-        [ iType "Cerial" [tuName "msg", typ] $-            TApp (tgName (rawModule thisMod) name) $-                [ TApp (tgName ["Classes"] "Cerial")-                    [ tuName "msg"-                    , TVar (Name.typeVarName (C.paramName t))-                    ]-                | t <- typeParams-                ]-                ++ [tuName "msg"]-        , iValue "decerialize"-            [ pgName (rawModule thisMod) (Name.mkSub name "newtype_") [PVar "maybeCap"]-            ]-            (ECase (euName "maybeCap")-                [ (PGCtor (std_ "Nothing") []-                  , EApp-                        (eStd_ "pure")-                        [ EApp (ELName name) [egName ["Message"] "nullClient"]-                        ]-                  )-                , (PGCtor (std_ "Just") [PVar "cap"]-                  , EFApp-                        (ELName name)-                        [ EApp (egName ["Untyped"] "getClient") [euName "cap"]]-                  )-                ]-            )-        ]-    , instance_ [] ["Classes"] "Cerialize" [tuName "s", typ]-        [ iValue "cerialize" [PVar "msg", PLCtor name [PVar "client"]] $-            EFApp-                (egName (rawModule thisMod) (Name.mkSub name "newtype_"))-                [ EFApp-                    (eStd_ "Just")-                    [EApp (egName ["Untyped"] "appendCap") [euName "msg", euName "client"]]-                ]-        ]-    ]-    ++-    ifaceServerInstances thisMod iface---- | Generate a reference to a type defined in a pure module given:------ * The id of the module we're in (thisMod)--- * The id of the module in which the type is defined (targetMod)--- * The local name of the type.-pureTName :: Word64 -> Word64 -> Name.LocalQ -> Type-pureTName thisMod targetMod local-    | thisMod == targetMod = TLName local-    | otherwise = tgName (pureModule targetMod) local---- | Instance declarations for this interface's client for its *'server_ class--- and those of its ancestors.-ifaceServerInstances :: Word64 -> P.Interface -> [Decl]-ifaceServerInstances thisMod iface@P.IFace{ name=Name.CapnpQ{local=name}, typeParams, ancestors } =-    DcInstance-        { ctx = []-        , typ = TApp (tgName ["Server"] "Server") [tStd_ "IO", typ]-        , defs = []-        }-    : map go ((iface, C.ListBrand (map C.PtrParam typeParams)):ancestors)-  where-    typ = typeWithParams name (map C.paramName typeParams)-    go (P.IFace { name=Name.CapnpQ{local, fileId}, interfaceId, methods }, C.ListBrand types) =-        let className = Name.mkSub local "server_"-            classType = pureTName thisMod fileId className-            classArgs = map (typeToType thisMod . C.PtrType) types-        in-        -- Can't use 'instance_' here, because we don't know ahead of time what-        -- module the class is in.-        DcInstance-            { ctx = []-            , typ = TApp classType $ [tStd_ "IO", typ] ++ classArgs-            , defs =-                [ let methodName = mkMethodName local mname in-                  iValue methodName [PLCtor name [PVar "client"]] $-                    EApp-                        (egName ["Rpc"] "clientMethodHandler")-                        [ EInt $ fromIntegral interfaceId-                        , EInt i-                        , euName "client"-                        ]-                | (i, P.Method{name=mname}) <- zip [0..] methods-                ]-            }---- | Generate declarations for a constant.-constToDecls :: Word64 -> P.Constant -> [Decl]-constToDecls thisMod P.Constant { name, value } = case value of-    C.PtrValue ty _ ->-        -- Generated code parses the corresponding constant from the raw-        -- module.-        [ DcValue-            { typ = typeToType thisMod (C.PtrType ty)-            , def = DfValue-                { name = Name.localToUnQ name-                , params = []-                , value = EApp-                    (egName ["GenHelpersPure"] "toPurePtrConst")-                    [egName (rawModule thisMod) name]-                }-            }-        ]-    -- For these two we just re-export the constant from the raw module, so no-    -- need to do anything here:-    C.WordValue _ _ -> []-    C.VoidValue -> []--mkMethodName :: Name.LocalQ -> Name.UnQ -> Name.UnQ-mkMethodName typeName methodName = Name.valueName $ Name.mkSub typeName methodName---- | Arguments to 'marshalField'-data MarshalField = MarshalField-    { thisMod     :: !Word64-    -- ^ The id for the module we're generating-    , into        :: Name.UnQ-    -- ^ An variable holding the destination for the marshalled data.-    , localQField :: Name.LocalQ-    -- ^ The name of the field to marshal, qualified within the current module.-    , from        :: Name.UnQ-    -- ^ A variable holding the value to marshal-    , type_       :: C.Type (C.ListBrand Name.CapnpQ) Name.CapnpQ-    , inUnion     :: !Bool-    -- ^ whether the parent of this field is a union-    }--marshalField :: MarshalField -> Exp-marshalField MarshalField{thisMod, into, localQField, from, type_, inUnion} =-    let setter = egName (rawModule thisMod) $ Name.unQToLocal (Name.setterName localQField)-        getter = egName (rawModule thisMod) $ Name.unQToLocal (Name.getterName localQField)-    in case type_ of-        C.PtrType _ ->-            EBind-                (EApp-                    (egName ["Classes"] "cerialize")-                    [ EApp (egName ["Untyped"] "message") [euName "raw_"]-                    , euName from-                    ]-                )-                (EApp setter [euName into])-        C.VoidType ->-            ePureUnit-        C.WordType _ ->-            EApp setter [euName into, euName from]-        C.CompositeType _ -> EDo-            (if Name.getUnQ localQField == "union'" then-                -- Anonymous union; has the same Cerial as us. Just delegate.-                []-            else if inUnion then-                [ DoBind into $ EApp setter [euName into] ]-            else-                [ DoBind into $ EApp getter [euName into] ]-            )-            (EApp (egName ["Classes"] "marshalInto") [euName into, euName from])--fieldToField :: Word64 -> P.Field -> (Name.UnQ, Type)-fieldToField thisMod P.Field{name, type_} = (name, typeToType thisMod type_)--typeToType :: Word64 -> C.Type (C.ListBrand Name.CapnpQ) Name.CapnpQ -> Type-typeToType _thisMod C.VoidType =-    TUnit-typeToType _thisMod (C.WordType (C.PrimWord ty)) =-    TPrim ty-typeToType thisMod (C.WordType (C.EnumType Name.CapnpQ{local, fileId})) =-    -- Enums are just re-exported from the raw module, so we have a choice as to-    -- how to refer to them. Using their 'Pure' module makes sure we pull in any-    -- type class instances in those modules, but we have to make an exception-    -- if the enum is defined in the file we're generating code for, since otherwise-    -- we'd introduce a cyclic dependency. In that case we use the raw name; the-    -- instances are defined in this same module so we don't need to worry about those.-    if thisMod == fileId then-        tgName (rawModule fileId) local-    else-        tgName (pureModule fileId) local-typeToType thisMod (C.CompositeType (C.StructType n b)) =-    nameToType thisMod n b-typeToType thisMod (C.PtrType (C.PtrComposite (C.StructType n b))) =-    nameToType thisMod n b-typeToType thisMod (C.PtrType (C.ListOf ty)) =-    TApp (tgName ["V"] "Vector") [typeToType thisMod ty]-typeToType _thisMod (C.PtrType (C.PrimPtr C.PrimText)) =-    tgName ["T"] "Text"-typeToType _thisMod (C.PtrType (C.PrimPtr C.PrimData)) =-    tgName ["BS"] "ByteString"-typeToType _thisMod (C.PtrType (C.PrimPtr (C.PrimAnyPtr _))) =-    -- TODO: distinguish different pointer types.-    TApp (tStd_ "Maybe") [tgName ["UntypedPure"] "Ptr"]-typeToType thisMod (C.PtrType (C.PtrInterface (C.InterfaceType n b))) =-    nameToType thisMod n b-typeToType _thisMod (C.PtrType (C.PtrParam C.TypeParamRef{paramName})) =-    TVar (Name.typeVarName paramName)--typeParamVars :: [Name.UnQ] -> [Type]-typeParamVars = map (TVar . Name.typeVarName)--typeWithParams :: Name.LocalQ -> [Name.UnQ] -> Type-typeWithParams f xs =-    TApp (TLName f) $ typeParamVars xs--nameToType :: Word64 -> Name.CapnpQ -> C.ListBrand Name.CapnpQ -> Type-nameToType thisMod Name.CapnpQ{local, fileId} (C.ListBrand args) =-    let head-            | thisMod == fileId = TLName local-            | otherwise = tgName (pureModule fileId) local-    in-    case args of-        [] -> head-        _  -> TApp head (map (typeToType thisMod . C.PtrType) args)--rawModule :: Word64 -> [T.Text]-rawModule modId =-    ["Capnp", "Gen", "ById", T.pack $ printf "X%x" modId]--pureModule :: Word64 -> [T.Text]-pureModule modId =-    rawModule modId ++ ["Pure"]

@@ -1,882 +0,0 @@-{-# LANGUAGE DuplicateRecordFields #-}-{-# LANGUAGE LambdaCase            #-}-{-# LANGUAGE NamedFieldPuns        #-}-{-# LANGUAGE OverloadedStrings     #-}-module Trans.RawToHaskell (fileToModules) where--import Data.Word--import Data.String (fromString)--import qualified Data.Text as T--import IR.Haskell-import Trans.ToHaskellCommon--import qualified IR.Common as C-import qualified IR.Name   as Name-import qualified IR.Raw    as Raw--tMut :: Type-tMut = TApp (tgName ["Message"] "Mut") [TVar "s"]--tConst :: Type-tConst = tgName ["Message"] "Const"--fileToModules :: Raw.File -> [Module]-fileToModules file =-    [ fileToMainModule file-    , fileToModuleAlias file-    ]--fileToModuleAlias :: Raw.File -> Module-fileToModuleAlias Raw.File{fileName, fileId} =-    let reExport = ["Capnp", "Gen"] ++ makeModName fileName-    in Module-        { modName = idToModule fileId-        , modLangPragmas = []-        , modExports = Just [ExportMod reExport]-        , modImports = [ ImportAll { parts = reExport } ]-        , modDecls = []-        }--fileToMainModule :: Raw.File -> Module-fileToMainModule Raw.File{fileName, fileId, decls} =-    fixImports $ Module-        { modName = ["Capnp", "Gen"] ++ makeModName fileName-        , modLangPragmas =-            [ "FlexibleContexts"-            , "FlexibleInstances"-            , "MultiParamTypeClasses"-            , "TypeFamilies"-            , "DeriveGeneric"-            , "DataKinds"-            , "OverloadedStrings"-            ]-        , modExports = Nothing-        , modImports =-            [ imp ["Capnp", "Message"] "Message"-            , imp ["Capnp", "Untyped"] "Untyped"-            , imp ["Capnp", "Basics"] "Basics"-            , imp ["Capnp", "GenHelpers"] "GenHelpers"-            , imp ["Capnp", "Classes"] "Classes"-            , imp ["GHC", "Generics"] "Generics"--            -- So we can treat 'Word1' the same as 'Word16' etc.-            , imp ["Capnp", "Bits"] "Std_"--            , imp ["Data", "Maybe"] "Std_"-            , imp ["Capnp", "GenHelpers", "ReExports", "Data", "ByteString"] "BS"-            ]-        , modDecls = concatMap (declToDecls fileId) decls-        }-  where-    imp parts importAs = ImportAs {parts, importAs}--declToDecls :: Word64 -> Raw.Decl -> [Decl]-declToDecls thisMod Raw.UnionVariant{parentTypeCtor, typeParams, tagOffset, unionDataCtors} =-    let unknownCtor = Name.mkSub parentTypeCtor "unknown'"-        typeCtor = Name.mkSub parentTypeCtor ""-        containerTypeType = containerTypeToType typeCtor typeParams-        typeParamNames = map (TVar . Name.typeVarName) typeParams-    in-    [ DcData Data-        { dataName = Name.localToUnQ typeCtor-        , dataNewtype = False-        , dataInstance = False-        , typeArgs = typeParamNames ++ [TKindAnnotated (TVar "mut") (tgName ["Message"] "Mutability")]-        , dataVariants =-            [ DataVariant-                { dvCtorName = Name.localToUnQ dataCtor-                , dvArgs = APos $-                    case locType of-                        C.VoidField ->-                            []-                        _ ->-                            [ typeToType thisMod (C.fieldType locType) (TVar "mut") ]-                }-            | Raw.Variant{name=dataCtor, locType} <- unionDataCtors-            ]-            ++-            [ DataVariant-                { dvCtorName = Name.localToUnQ unknownCtor-                , dvArgs = APos [ TPrim $ C.PrimInt $ C.IntType C.Unsigned C.Sz16 ]-                }-            ]-        , derives = []-        }-    , let ctx =-            [ TApp (tgName ["Classes"] "FromPtr") [TVar "mut", v]-            | v <- typeParamNames-            ]-      in-      instance_ ctx ["Classes"] "FromStruct" [TVar "mut", containerTypeType (TVar "mut")]-        [ iValue "fromStruct" [PVar "struct"] $ EDo-            [ DoBind "tag"-                (EApp-                    (egName ["GenHelpers"] "getTag")-                    [ ELName "struct"-                    , EInt (fromIntegral tagOffset)-                    ]-                )-            ]-            (ECase (ELName "tag") $-                [ ( PInt $ fromIntegral tagValue-                  , case locType of-                        C.VoidField ->-                            EApp (eStd_ "pure") [ELName name]-                        C.HereField _ ->-                            EFApp-                                (ELName name)-                                [ EApp-                                    (egName ["Classes"] "fromStruct")-                                    [ELName "struct"]-                                ]-                        C.DataField loc _ ->-                            EFApp-                                (ELName name)-                                [eGetWordField (ELName "struct") loc]-                        C.PtrField idx _ ->-                            EFApp-                                (ELName name)-                                [ EDo-                                    [DoBind "ptr" $ EApp-                                        (egName ["Untyped"] "getPtr")-                                        [ EInt $ fromIntegral idx-                                        , ELName "struct"-                                        ]-                                    ]-                                    (EApp-                                        (egName ["Classes"] "fromPtr")-                                        [ EApp-                                            (egName ["Untyped"] "message")-                                            [ELName "struct"]-                                        , ELName "ptr"-                                        ]-                                    )-                                ]-                  )-                | Raw.Variant{name, tagValue, locType} <- unionDataCtors-                ] ++-                [ ( PVar "_"-                  , EApp-                        (eStd_ "pure")-                        [ EApp-                            (ELName unknownCtor)-                            [ EApp-                                (eStd_ "fromIntegral")-                                [ELName "tag"]-                            ]-                        ]-                  )-                ]-            )-        ]-    ]-declToDecls _thisMod Raw.Enum{typeCtor, dataCtors} =-    let listCtor = Name.mkSub typeCtor "List_"-        unknownCtor = Name.mkSub typeCtor "unknown'"-    in-    [ DcData Data-        { dataName = Name.localToUnQ typeCtor-        , dataNewtype = False-        , dataInstance = False-        , typeArgs = []-        , dataVariants =-            map enumerantToVariant dataCtors-            ++-            [ DataVariant-                { dvCtorName = Name.localToUnQ unknownCtor-                , dvArgs = APos-                    [ TPrim $ C.PrimInt $ C.IntType C.Unsigned C.Sz16 ]-                }-            ]-        , derives =-            [ "Std_.Show"-            , "Std_.Read"-            , "Std_.Eq"-            , "Generics.Generic"-            ]-        }-    , mkIsWordInstance typeCtor dataCtors unknownCtor-    -- An Enum instance that just wraps the IsWord instance:-    , instance_ [] ["Std_"] "Enum" [TLName typeCtor]-        [ iValue "fromEnum" [PVar "x"] $-            EApp-                (eStd_ "fromIntegral")-                [ EApp-                    (egName ["Classes"] "toWord")-                    [ELName "x"]-                ]-        , iValue "toEnum" [PVar "x"] $-            EApp-                (egName ["Classes"] "fromWord")-                [ EApp-                    (eStd_ "fromIntegral")-                    [ELName "x"]-                ]-        ]-    -- lists:-    , instance_ [] ["Basics"] "ListElem" [TVar "mut", TLName typeCtor]-        [ IdData Data-            { dataName = "List"-            , typeArgs =-                [ TVar "mut"-                , TLName typeCtor-                ]-            , dataVariants =-                [ DataVariant-                    { dvCtorName = Name.localToUnQ listCtor-                    , dvArgs = APos-                        [ TApp-                            (tgName ["Untyped"] "ListOf")-                            [ TVar "mut"-                            , tStd_ "Word16"-                            ]-                        ]-                    }-                ]-            , derives = []-            , dataNewtype = True-            , dataInstance = False-            }-        , iValue "index" [PVar "i", PLCtor listCtor [PVar "l"]] $ EFApp-            (egName ["Classes"] "fromWord")-            [ EFApp-                (eStd_ "fromIntegral")-                [ EApp-                    (egName ["Untyped"] "index")-                    [ ELName "i"-                    , ELName "l"-                    ]-                ]-            ]-        , iValue "listFromPtr" [PVar "msg", PVar "ptr"] $ EFApp-            (ELName listCtor)-            [ EApp-                (egName ["Classes"] "fromPtr")-                [ ELName "msg"-                , ELName "ptr"-                ]-            ]-        , iValue "toUntypedList" [PLCtor listCtor [PVar "l"]] $ EApp-            (egName ["Untyped"] "List16")-            [ELName "l"]-        , iValue "length" [PLCtor listCtor [PVar "l"]] $ EApp-            (egName ["Untyped"] "length")-            [ELName "l"]-        ]-    , instance_ [] ["Classes"] "MutListElem" [TVar "s", TLName typeCtor]-        [ iValue-            "setIndex"-            [PVar "elt", PVar "i", PLCtor listCtor [PVar "l"]] $-            EApp-                (egName ["Untyped"] "setIndex")-                [ EApp-                    (eStd_ "fromIntegral")-                    [ EApp (egName ["Classes"] "toWord") [ELName "elt"]-                    ]-                , ELName "i"-                , ELName "l"-                ]-        , iValue "newList" [PVar "msg", PVar "size"] $ EFApp-            (ELName listCtor)-            [ EApp-                (egName ["Untyped"] "allocList16")-                [ ELName "msg"-                , ELName "size"-                ]-            ]-        ]-    ]-  where-    enumerantToVariant variantName =-        DataVariant-            { dvCtorName =-                Name.localToUnQ variantName-            , dvArgs = APos []-            }-declToDecls _thisMod Raw.InterfaceWrapper{typeCtor, typeParams} =-    let dataCtor = Name.mkSub typeCtor "newtype_" in-    [ newtypeWrapper typeCtor (map Name.typeVarName typeParams ++ ["msg"]) $ TApp-        (tStd_ "Maybe")-        [ TApp-            (tgName ["Untyped"] "Cap")-            [TVar "msg"]-        ]-    , wrapperFromPtr typeCtor typeParams dataCtor-    , instance_ [] ["Classes"] "ToPtr"-        [ TVar "s"-        , containerTypeToType typeCtor typeParams tMut-        ]-        [ iValue "toPtr" [PVar "msg", PLCtor dataCtor [PGCtor (std_ "Nothing") []]]-            (EApp (eStd_ "pure") [eStd_ "Nothing"])-        , iValue "toPtr" [PVar "msg", PLCtor dataCtor [PGCtor (std_ "Just") [PVar "cap"]]]-            (EApp-                (eStd_ "pure")-                [ EApp-                    (eStd_ "Just")-                    [ EApp-                        (egName ["Untyped"] "PtrCap")-                        [ELName "cap"]-                    ]-                ]-            )-        ]-    ]-declToDecls _thisMod Raw.StructWrapper{typeCtor, typeParams} =-    let dataCtor = Name.mkSub typeCtor "newtype_"-        containerTypeType = containerTypeToType typeCtor typeParams-    in-    [ newtypeWrapper typeCtor (map Name.typeVarName typeParams ++ ["msg"]) $ TApp-        (tgName ["Untyped"] "Struct")-        [TVar "msg"]--    -- There are several type classes that are defined for all structs:-    , instance_ [] ["Classes"] "FromStruct" [TVar "msg", containerTypeType (TVar "msg")]-        [ iValue "fromStruct" [PVar "struct"] $ EApp-            (eStd_ "pure")-            [EApp (ELName dataCtor) [ELName "struct"]]-        ]-    , instance_ [] ["Classes"] "ToStruct" [TVar "msg", containerTypeType (TVar "msg")]-        [ iValue "toStruct" [PLCtor dataCtor [PVar "struct"]]-            (ELName "struct")-        ]-    , instance_ [] ["Untyped"] "HasMessage" [containerTypeType (TVar "mut"), TVar "mut"]-        [ iValue "message" [PLCtor dataCtor [PVar "struct"]]-            (EApp (egName ["Untyped"] "message") [ELName "struct"])-        ]-    , instance_ [] ["Untyped"] "MessageDefault" [containerTypeType (TVar "mut"), TVar "mut"]-        [ iValue "messageDefault" [PVar "msg"] $ EFApp-            (ELName dataCtor)-            [ EApp-                (egName ["Untyped"] "messageDefault")-                [ELName "msg"]-            ]-        ]-    ]-declToDecls _thisMod Raw.StructInstances{typeCtor, typeParams, dataWordCount, pointerCount} =-    let listCtor = Name.mkSub typeCtor "List_"-        dataCtor = Name.mkSub typeCtor "newtype_"-        containerTypeType = containerTypeToType typeCtor typeParams-    in-    [ wrapperFromPtr typeCtor typeParams dataCtor-    , instance_ [] ["Classes"] "ToPtr"-        [ TVar "s"-        , containerTypeType tMut-        ]-        [ iValue-            "toPtr"-            [PVar "msg", PLCtor dataCtor [PVar "struct"]]-            (EApp-                (egName ["Classes"] "toPtr")-                [ ELName "msg"-                , ELName "struct"-                ]-            )-        ]-    , instance_ [] ["Classes"] "Allocate"-        [ TVar "s"-        , containerTypeType tMut-        ]-        [ iValue "new" [PVar "msg"] $ EFApp-            (ELName dataCtor)-            [ EApp-                (egName ["Untyped"] "allocStruct")-                [ ELName "msg"-                , EInt $ fromIntegral dataWordCount-                , EInt $ fromIntegral pointerCount-                ]-            ]-        ]-    , instance_ [] ["Basics"] "ListElem"-        [ TVar "mut"-        , containerTypeType $ TVar "mut"-        ]-        [ IdData Data-            { dataName = "List"-            , typeArgs =-                [ TVar "mut"-                , containerTypeType (TVar "mut")-                ]-            , dataVariants =-                [ DataVariant-                    { dvCtorName = Name.localToUnQ listCtor-                    , dvArgs = APos-                        [ TApp-                            (tgName ["Untyped"] "ListOf")-                            [ TVar "mut"-                            , TApp-                                (tgName ["Untyped"] "Struct")-                                [TVar "mut"]-                            ]-                        ]-                    }-                ]-            , derives = []-            , dataNewtype = True-            , dataInstance = False-            }-        , iValue "listFromPtr" [PVar "msg", PVar "ptr"] $ EFApp-            (ELName listCtor)-            [ EApp-                (egName ["Classes"] "fromPtr")-                [ELName "msg", ELName "ptr"]-            ]-        , iValue "toUntypedList" [PLCtor listCtor [PVar "l"]] $ EApp-            (egName ["Untyped"] "ListStruct")-            [ELName "l"]-        , iValue "length" [PLCtor listCtor [PVar "l"]] $ EApp-            (egName ["Untyped"] "length")-            [ELName "l"]-        , iValue "index" [PVar "i", PLCtor listCtor [PVar "l"]] $ EDo-            [ DoBind "elt" $ EApp-                (egName ["Untyped"] "index")-                [ ELName "i"-                , ELName "l"-                ]-            ]-            ( EApp-                (egName ["Classes"] "fromStruct")-                [ELName "elt"]-            )-        ]-    , instance_ [] ["Basics"] "MutListElem"-        [ TVar "s"-        , containerTypeType tMut-        ]-        [ iValue "setIndex"-            [ PLCtor dataCtor [PVar "elt"]-            , PVar "i"-            , PLCtor listCtor [PVar "l"]-            ]-            (EApp-                (egName ["Untyped"] "setIndex")-                [ ELName "elt"-                , ELName "i"-                , ELName "l"-                ]-            )-        , iValue "newList" [PVar "msg", PVar "len"] $ EFApp-            (ELName listCtor)-            [ EApp-                (egName ["Untyped"] "allocCompositeList")-                [ ELName "msg"-                , EInt $ fromIntegral dataWordCount-                , EInt $ fromIntegral pointerCount-                , ELName "len"-                ]-            ]-        ]-    ]-declToDecls thisMod Raw.Getter{fieldName, fieldLocType, containerType, typeParams} =-    let containerDataCtor = Name.mkSub containerType "newtype_"-        fieldType = typeToType thisMod (C.fieldType fieldLocType) (TVar "msg")-        isPtrType = case C.fieldType fieldLocType of-            C.PtrType _       -> True-            C.CompositeType _ -> True-            _                 -> False-    in-    [ DcValue-        { typ = TCtx-            (readCtx "m" "msg"-                : if isPtrType-                    then-                        [ case fieldLocType of-                            C.HereField _ ->-                                TApp (tgName ["Classes"] "FromStruct") [TVar "msg", fieldType]-                            _ ->-                                TApp (tgName ["Classes"] "FromPtr") [TVar "msg", fieldType]-                        ]-                    else []-            )-            (TFn-                [ containerTypeToType containerType typeParams (TVar "msg")-                , TApp (TVar "m") [fieldType]-                ]-            )-        , def = DfValue-            { name = Name.getterName fieldName-            , params = [PLCtor containerDataCtor [PVar "struct"]]-            , value = case fieldLocType of-                C.DataField dataLoc  _ ->-                    eGetWordField (ELName "struct") dataLoc-                C.PtrField idx _ -> EDo-                    [ DoBind "ptr" $ EApp-                        (egName ["Untyped"] "getPtr")-                        [ EInt (fromIntegral idx)-                        , ELName "struct"-                        ]-                    ]-                    (EApp-                        (egName ["Classes"] "fromPtr")-                        [ EApp-                            (egName ["Untyped"] "message")-                            [ELName "struct"]-                        , ELName "ptr"-                        ]-                    )-                C.HereField _ ->-                    EApp-                        (egName ["Classes"] "fromStruct")-                        [ELName "struct"]-                C.VoidField ->-                    EApp-                        (eStd_ "pure")-                        [ETup []]-            }-        }-    ]-declToDecls thisMod Raw.Setter{fieldName, fieldLocType, containerType, typeParams, tag} =-    -- XXX: the way this is organized is a little gross; conceptually we have-    -- two kinds of setters:-    ---    -- * Those that actually take an argument, and return unit.-    -- * Those that are groups, in which case they don't take an argument,-    --   and return the value.-    ---    -- The latter are only actually useful if the group is a union member,-    -- but we generate them regardless.-    ---    -- The below is a little ugly in that there's a bit to much conditional-    -- logic strewn about because of the above.-    let containerDataCtor = Name.mkSub containerType "newtype_"-        fieldType = typeToType-            thisMod-            (C.fieldType fieldLocType)-            tMut-        isPtrType = case C.fieldType fieldLocType of-            C.PtrType _       -> True-            C.CompositeType _ -> True-            _                 -> False-        containerTypeType = containerTypeToType containerType typeParams tMut-    in-    [ DcValue-        { typ = TCtx-            (rwCtx "m" "s"-                : if isPtrType-                    then-                        [ case fieldLocType of-                            C.HereField _ ->-                                TApp (tgName ["Classes"] "FromStruct") [tMut, fieldType]-                            _ ->-                                TApp (tgName ["Classes"] "ToPtr") [TVar "s", fieldType]-                        ]-                    else-                        []-            )-            (case fieldLocType of-                C.HereField _ -> TFn-                    [ containerTypeType-                    , TApp (TVar "m") [fieldType]-                    ]-                C.VoidField -> TFn-                    -- We don't need to pass in the redundant () value.-                    [ containerTypeType-                    , TApp (TVar "m") [fieldType]-                    ]-                _ -> TFn-                    [ containerTypeType-                    , fieldType-                    , TApp (TVar "m") [TUnit]-                    ]-            )-        , def = DfValue-            { name = Name.setterName fieldName-            , params =-                case fieldLocType of-                    C.HereField _ ->-                        [ PLCtor containerDataCtor [PVar "struct"] ]-                    C.VoidField ->-                        [ PLCtor containerDataCtor [PVar "struct"] ]-                    _ ->-                        [ PLCtor containerDataCtor [PVar "struct"]-                        , PVar "value"-                        ]-            , value =-                case tag of-                    Just tagSetter ->-                        EDo-                            [DoE $ eSetTag tagSetter]-                            (eSetValue fieldLocType)-                    Nothing ->-                        eSetValue fieldLocType-            }-        }-    ]-declToDecls _thisMod Raw.HasFn{fieldName, containerType, typeParams, ptrIndex} =-    let containerDataCtor = Name.mkSub containerType "newtype_"-        containerTypeType = containerTypeToType containerType typeParams (TVar "msg")-    in-    [ DcValue-        { typ = TCtx-            [readCtx "m" "msg"]-            (TFn-                [ containerTypeType-                , TApp (TVar "m") [tStd_ "Bool"]-                ]-            )-        , def = DfValue-            { name = Name.hasFnName fieldName-            , params = [PLCtor containerDataCtor [PVar "struct"]]-            , value = EFApp (eStd_ "isJust")-                [ EApp-                    (egName ["Untyped"] "getPtr")-                    [ EInt $ fromIntegral ptrIndex-                    , ELName "struct"-                    ]-                ]-            }-        }-    ]-declToDecls thisMod Raw.NewFn{fieldName, containerType, typeParams, fieldLocType, newFnType} =-    -- TODO(cleanup): I(zenhack) am a little unhappy with having several case-    -- expressions to distinguish struct vs non-struct; we should refactor.-    let fieldType = typeToType-            thisMod-            (C.fieldType fieldLocType)-            tMut-        containerTypeType = containerTypeToType containerType typeParams tMut-    in-    [ DcValue-        { typ = TCtx-            [rwCtx "m" "s"]-            (TFn $ concat-                [ case newFnType of-                    -- length-                    Raw.NewStruct -> []-                    _             -> [tStd_ "Int"]-                , [containerTypeType]-                , [TApp (TVar "m") [fieldType]]-                ]-            )-        , def = DfValue-            { name = Name.newFnName fieldName-            , params =-                case newFnType of-                    Raw.NewStruct -> [PVar "struct"]-                    _             -> [PVar "len", PVar "struct"]-            , value = EDo-                [ DoBind "result" $-                    let message = EApp (egName ["Untyped"] "message") [ELName "struct"]-                    in case newFnType of-                        Raw.NewStruct -> EApp (egName ["Classes"] "new") [message]-                        Raw.NewList -> EApp (egName ["Classes"] "newList") [message, ELName "len"]-                        Raw.NewText -> EApp (egName ["Basics"] "newText") [message, ELName "len"]-                        Raw.NewData -> EApp (egName ["Basics"] "newData") [message, ELName "len"]-                , DoE $ EApp-                    (ELName $ Name.mkLocal Name.emptyNS (Name.setterName fieldName))-                    [ ELName "struct"-                    , ELName "result"-                    ]-                ]-                (EApp (eStd_ "pure") [ELName "result"])-            }-        }-    ]-declToDecls _thisMod Raw.Constant{ name, value=C.VoidValue } =-    [ DcValue-        { typ = TUnit-        , def = DfValue-            { name = Name.localToUnQ name-            , params = []-            , value = ETup []-            }-        }-    ]-declToDecls thisMod Raw.Constant{ name, value=C.WordValue ty val } =-    [ DcValue-        { typ = typeToType thisMod (C.WordType ty) tConst-        , def = DfValue-            { name = Name.localToUnQ name-            , params = []-            , value = EApp-                (egName ["Classes"] "fromWord")-                [EInt $ fromIntegral val]-            }-        }-    ]-declToDecls thisMod Raw.Constant{ name, value=C.PtrValue ty val } =-    [ DcValue-        { typ = typeToType thisMod (C.PtrType ty) tConst-        , def = DfValue-            { name = Name.localToUnQ name-            , params = []-            , value = EApp-                (egName ["GenHelpers"] "getPtrConst")-                [ETypeAnno (EBytes (makePtrBytes val)) (tgName ["BS"] "ByteString")]-            }-        }-    ]--containerTypeToType :: Name.LocalQ -> [Name.UnQ] -> Type -> Type-containerTypeToType name params msgTy =-    TApp (TLName name) $ [ TVar (Name.typeVarName p) | p <- params ] ++ [msgTy]---eSetValue :: C.FieldLocType (C.ListBrand Name.CapnpQ) Name.CapnpQ -> Exp-eSetValue = \case-    C.DataField dataLoc ty ->-        eSetWordField-            (ELName "struct")-            (ETypeAnno-                (EApp-                    (eStd_ "fromIntegral")-                    [EApp-                        (egName ["Classes"] "toWord")-                        [ELName "value"]-                    ]-                )-                (tStd_ $ fromString $ "Word" <> show (C.dataFieldSize ty))-            )-            dataLoc-    C.PtrField idx _ -> EDo-        [ DoBind "ptr" $ EApp-            (egName ["Classes"] "toPtr")-            [ EApp-                (egName ["Untyped"] "message")-                [ELName "struct"]-            , ELName "value"-            ]-        ]-        (EApp-            (egName ["Untyped"] "setPtr")-            [ ELName "ptr"-            , EInt (fromIntegral idx)-            , ELName "struct"-            ]-        )-    C.HereField _ ->-        -- We actually just fetch the field in this case; this only happens for-        -- groups (and unions, but the tag is handled separately in that case).-        EApp-            (egName ["Classes"] "fromStruct")-            [ELName "struct"]-    C.VoidField ->-        EApp-            (eStd_ "pure")-            [ETup []]--eSetTag :: Raw.TagSetter -> Exp-eSetTag Raw.TagSetter{tagOffset, tagValue} =-    eSetWordField-        (ELName "struct")-        (ETypeAnno-            (EInt $ fromIntegral tagValue)-            (TPrim $ C.PrimInt $ C.IntType C.Unsigned C.Sz16)-        )-        (Raw.tagOffsetToDataLoc tagOffset)--eSetWordField :: Exp -> Exp -> C.DataLoc -> Exp-eSetWordField struct value C.DataLoc{dataIdx, dataOff, dataDef} =-    EApp-        (egName ["GenHelpers"] "setWordField")-        [ struct-        , value-        , EInt $ fromIntegral dataIdx-        , EInt $ fromIntegral dataOff-        , EInt $ fromIntegral dataDef-        ]---- | Make an instance of the IsWord type class for an enum.-mkIsWordInstance :: Name.LocalQ -> [Name.LocalQ] -> Name.LocalQ -> Decl-mkIsWordInstance typeCtor dataCtors unknownCtor =-    instance_ [] ["Classes"] "IsWord" [TLName typeCtor] $-        [ iValue "fromWord" [PVar "n"] $-            ECase-                (ETypeAnno-                    (EApp (eStd_ "fromIntegral") [euName "n"])-                    (TPrim $ C.PrimInt $ C.IntType C.Unsigned C.Sz16)-                ) $-                [ (PInt i, ELName ctor) | (i, ctor) <- zip [0..] dataCtors]-                ++-                [ (PVar "tag", EApp (ELName unknownCtor) [euName "tag"]) ]-        ] ++-        [ IdValue $ DfValue-            { name = "toWord"-            , params = [PLCtor ctor []]-            , value = EInt i-            }-        | (i, ctor) <- zip [0..] dataCtors-        ] ++-        [ IdValue $ DfValue-            { name = "toWord"-            , params =-                [ PLCtor unknownCtor [PVar "tag"] ]-            , value =-                EApp-                    (eStd_ "fromIntegral")-                    [ELName "tag"]-            }-        ]--newtypeWrapper :: Name.LocalQ -> [T.Text] -> Type -> Decl-newtypeWrapper typeCtor typeArgs wrappedType =-    DcData Data-        { dataName = Name.localToUnQ typeCtor-        , dataNewtype = True-        , dataInstance = False-        , typeArgs = map TVar typeArgs-        , dataVariants =-            [ DataVariant-                { dvCtorName = Name.localToUnQ $ Name.mkSub typeCtor "newtype_"-                , dvArgs = APos [ wrappedType ]-                }-            ]-        , derives = []-        }--wrapperFromPtr :: Name.LocalQ -> [Name.UnQ] -> Name.LocalQ -> Decl-wrapperFromPtr typeCtor typeParams dataCtor =-    instance_ [] ["Classes"] "FromPtr"-        [ TVar "msg", containerTypeToType typeCtor typeParams (TVar "msg") ]-        [ iValue "fromPtr" [PVar "msg", PVar "ptr"] $ EFApp-            (ELName dataCtor)-            [ EApp-                (egName ["Classes"] "fromPtr")-                [ ELName "msg"-                , ELName "ptr"-                ]-            ]-        ]--nameToType :: Word64 -> Name.CapnpQ -> Type-nameToType thisMod Name.CapnpQ{local, fileId} =-    if fileId == thisMod-        then TLName local-        else tgName-            (map Name.renderUnQ $ idToModule fileId)-            local--typeToType :: Word64 -> C.Type (C.ListBrand Name.CapnpQ) Name.CapnpQ -> Type -> Type-typeToType thisMod ty msgTy = case ty of-    C.VoidType -> TUnit-    C.WordType (C.PrimWord ty) -> TPrim ty-    C.WordType (C.EnumType typeId) -> nameToType thisMod typeId-    C.PtrType (C.ListOf elt) ->-        TApp (tgName ["Basics"] "List")-            [ msgTy-            , typeToType thisMod elt msgTy-            ]-    C.PtrType (C.PrimPtr C.PrimText) ->-        appV $ tgName ["Basics"] "Text"-    C.PtrType (C.PrimPtr C.PrimData) ->-        appV $ tgName ["Basics"] "Data"-    C.PtrType (C.PtrComposite (C.StructType typeId typeParams)) ->-        namedType typeId typeParams-    C.PtrType (C.PtrInterface (C.InterfaceType typeId typeParams)) ->-        namedType typeId typeParams-    C.PtrType (C.PrimPtr (C.PrimAnyPtr _)) ->-        TApp (tStd_ "Maybe") [appV $ tgName ["Untyped"] "Ptr"]-    C.PtrType (C.PtrParam C.TypeParamRef{paramName}) ->-        TVar (Name.typeVarName paramName)-    C.CompositeType (C.StructType typeId typeParams) ->-        namedType typeId typeParams-  where-    appV t = TApp t [msgTy]-    namedType :: Name.CapnpQ -> C.ListBrand Name.CapnpQ -> Type-    namedType name (C.ListBrand [])     = appV $ nameToType thisMod name-    namedType name (C.ListBrand args) =-        TApp-            (nameToType thisMod name)-            (map (\t -> typeToType thisMod (C.PtrType t) msgTy) args ++ [msgTy])

@@ -21,7 +21,7 @@ import Capnp.New.Classes (encode) import Capnp.Repr.Parsed (Parsed) -import qualified Capnp+import qualified Capnp.New        as Capnp import qualified Capnp.New.Basics as B import qualified IR.Common        as C import qualified IR.Name          as Name

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

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

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

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

@@ -1,623 +0,0 @@-{-# LANGUAGE FlexibleContexts #-}-{-# LANGUAGE FlexibleInstances #-}-{-# LANGUAGE MultiParamTypeClasses #-}-{-# LANGUAGE TypeFamilies #-}-{-# LANGUAGE DeriveGeneric #-}-{-# LANGUAGE DataKinds #-}-{-# LANGUAGE OverloadedStrings #-}-{-# 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 where-import qualified Capnp.Message as Message-import qualified Capnp.Untyped as Untyped-import qualified Capnp.Basics as Basics-import qualified Capnp.GenHelpers as GenHelpers-import qualified Capnp.Classes as Classes-import qualified GHC.Generics as Generics-import qualified Capnp.Bits as Std_-import qualified Data.Maybe as Std_-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 ((<$>), (<*>), (>>=))-newtype Calculator msg-    = Calculator'newtype_ (Std_.Maybe (Untyped.Cap msg))-instance (Classes.FromPtr msg (Calculator msg)) where-    fromPtr msg ptr = (Calculator'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Calculator (Message.Mut s))) where-    toPtr msg (Calculator'newtype_ (Std_.Nothing)) = (Std_.pure Std_.Nothing)-    toPtr msg (Calculator'newtype_ (Std_.Just cap)) = (Std_.pure (Std_.Just (Untyped.PtrCap cap)))-newtype Calculator'evaluate'params msg-    = Calculator'evaluate'params'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Calculator'evaluate'params msg)) where-    fromStruct struct = (Std_.pure (Calculator'evaluate'params'newtype_ struct))-instance (Classes.ToStruct msg (Calculator'evaluate'params msg)) where-    toStruct (Calculator'evaluate'params'newtype_ struct) = struct-instance (Untyped.HasMessage (Calculator'evaluate'params mut) mut) where-    message (Calculator'evaluate'params'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Calculator'evaluate'params mut) mut) where-    messageDefault msg = (Calculator'evaluate'params'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Calculator'evaluate'params msg)) where-    fromPtr msg ptr = (Calculator'evaluate'params'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Calculator'evaluate'params (Message.Mut s))) where-    toPtr msg (Calculator'evaluate'params'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Calculator'evaluate'params (Message.Mut s))) where-    new msg = (Calculator'evaluate'params'newtype_ <$> (Untyped.allocStruct msg 0 1))-instance (Basics.ListElem mut (Calculator'evaluate'params mut)) where-    newtype List mut (Calculator'evaluate'params mut)-        = Calculator'evaluate'params'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Calculator'evaluate'params'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Calculator'evaluate'params'List_ l) = (Untyped.ListStruct l)-    length (Calculator'evaluate'params'List_ l) = (Untyped.length l)-    index i (Calculator'evaluate'params'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Calculator'evaluate'params (Message.Mut s))) where-    setIndex (Calculator'evaluate'params'newtype_ elt) i (Calculator'evaluate'params'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Calculator'evaluate'params'List_ <$> (Untyped.allocCompositeList msg 0 1 len))-get_Calculator'evaluate'params'expression :: ((Untyped.ReadCtx m msg)-                                             ,(Classes.FromPtr msg (Expression msg))) => (Calculator'evaluate'params msg) -> (m (Expression msg))-get_Calculator'evaluate'params'expression (Calculator'evaluate'params'newtype_ struct) = (do-    ptr <- (Untyped.getPtr 0 struct)-    (Classes.fromPtr (Untyped.message struct) ptr)-    )-set_Calculator'evaluate'params'expression :: ((Untyped.RWCtx m s)-                                             ,(Classes.ToPtr s (Expression (Message.Mut s)))) => (Calculator'evaluate'params (Message.Mut s)) -> (Expression (Message.Mut s)) -> (m ())-set_Calculator'evaluate'params'expression (Calculator'evaluate'params'newtype_ struct) value = (do-    ptr <- (Classes.toPtr (Untyped.message struct) value)-    (Untyped.setPtr ptr 0 struct)-    )-has_Calculator'evaluate'params'expression :: ((Untyped.ReadCtx m msg)) => (Calculator'evaluate'params msg) -> (m Std_.Bool)-has_Calculator'evaluate'params'expression (Calculator'evaluate'params'newtype_ struct) = (Std_.isJust <$> (Untyped.getPtr 0 struct))-new_Calculator'evaluate'params'expression :: ((Untyped.RWCtx m s)) => (Calculator'evaluate'params (Message.Mut s)) -> (m (Expression (Message.Mut s)))-new_Calculator'evaluate'params'expression struct = (do-    result <- (Classes.new (Untyped.message struct))-    (set_Calculator'evaluate'params'expression struct result)-    (Std_.pure result)-    )-newtype Calculator'evaluate'results msg-    = Calculator'evaluate'results'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Calculator'evaluate'results msg)) where-    fromStruct struct = (Std_.pure (Calculator'evaluate'results'newtype_ struct))-instance (Classes.ToStruct msg (Calculator'evaluate'results msg)) where-    toStruct (Calculator'evaluate'results'newtype_ struct) = struct-instance (Untyped.HasMessage (Calculator'evaluate'results mut) mut) where-    message (Calculator'evaluate'results'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Calculator'evaluate'results mut) mut) where-    messageDefault msg = (Calculator'evaluate'results'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Calculator'evaluate'results msg)) where-    fromPtr msg ptr = (Calculator'evaluate'results'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Calculator'evaluate'results (Message.Mut s))) where-    toPtr msg (Calculator'evaluate'results'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Calculator'evaluate'results (Message.Mut s))) where-    new msg = (Calculator'evaluate'results'newtype_ <$> (Untyped.allocStruct msg 0 1))-instance (Basics.ListElem mut (Calculator'evaluate'results mut)) where-    newtype List mut (Calculator'evaluate'results mut)-        = Calculator'evaluate'results'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Calculator'evaluate'results'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Calculator'evaluate'results'List_ l) = (Untyped.ListStruct l)-    length (Calculator'evaluate'results'List_ l) = (Untyped.length l)-    index i (Calculator'evaluate'results'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Calculator'evaluate'results (Message.Mut s))) where-    setIndex (Calculator'evaluate'results'newtype_ elt) i (Calculator'evaluate'results'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Calculator'evaluate'results'List_ <$> (Untyped.allocCompositeList msg 0 1 len))-get_Calculator'evaluate'results'value :: ((Untyped.ReadCtx m msg)-                                         ,(Classes.FromPtr msg (Value msg))) => (Calculator'evaluate'results msg) -> (m (Value msg))-get_Calculator'evaluate'results'value (Calculator'evaluate'results'newtype_ struct) = (do-    ptr <- (Untyped.getPtr 0 struct)-    (Classes.fromPtr (Untyped.message struct) ptr)-    )-set_Calculator'evaluate'results'value :: ((Untyped.RWCtx m s)-                                         ,(Classes.ToPtr s (Value (Message.Mut s)))) => (Calculator'evaluate'results (Message.Mut s)) -> (Value (Message.Mut s)) -> (m ())-set_Calculator'evaluate'results'value (Calculator'evaluate'results'newtype_ struct) value = (do-    ptr <- (Classes.toPtr (Untyped.message struct) value)-    (Untyped.setPtr ptr 0 struct)-    )-has_Calculator'evaluate'results'value :: ((Untyped.ReadCtx m msg)) => (Calculator'evaluate'results msg) -> (m Std_.Bool)-has_Calculator'evaluate'results'value (Calculator'evaluate'results'newtype_ struct) = (Std_.isJust <$> (Untyped.getPtr 0 struct))-newtype Calculator'defFunction'params msg-    = Calculator'defFunction'params'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Calculator'defFunction'params msg)) where-    fromStruct struct = (Std_.pure (Calculator'defFunction'params'newtype_ struct))-instance (Classes.ToStruct msg (Calculator'defFunction'params msg)) where-    toStruct (Calculator'defFunction'params'newtype_ struct) = struct-instance (Untyped.HasMessage (Calculator'defFunction'params mut) mut) where-    message (Calculator'defFunction'params'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Calculator'defFunction'params mut) mut) where-    messageDefault msg = (Calculator'defFunction'params'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Calculator'defFunction'params msg)) where-    fromPtr msg ptr = (Calculator'defFunction'params'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Calculator'defFunction'params (Message.Mut s))) where-    toPtr msg (Calculator'defFunction'params'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Calculator'defFunction'params (Message.Mut s))) where-    new msg = (Calculator'defFunction'params'newtype_ <$> (Untyped.allocStruct msg 1 1))-instance (Basics.ListElem mut (Calculator'defFunction'params mut)) where-    newtype List mut (Calculator'defFunction'params mut)-        = Calculator'defFunction'params'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Calculator'defFunction'params'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Calculator'defFunction'params'List_ l) = (Untyped.ListStruct l)-    length (Calculator'defFunction'params'List_ l) = (Untyped.length l)-    index i (Calculator'defFunction'params'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Calculator'defFunction'params (Message.Mut s))) where-    setIndex (Calculator'defFunction'params'newtype_ elt) i (Calculator'defFunction'params'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Calculator'defFunction'params'List_ <$> (Untyped.allocCompositeList msg 1 1 len))-get_Calculator'defFunction'params'paramCount :: ((Untyped.ReadCtx m msg)) => (Calculator'defFunction'params msg) -> (m Std_.Int32)-get_Calculator'defFunction'params'paramCount (Calculator'defFunction'params'newtype_ struct) = (GenHelpers.getWordField struct 0 0 0)-set_Calculator'defFunction'params'paramCount :: ((Untyped.RWCtx m s)) => (Calculator'defFunction'params (Message.Mut s)) -> Std_.Int32 -> (m ())-set_Calculator'defFunction'params'paramCount (Calculator'defFunction'params'newtype_ struct) value = (GenHelpers.setWordField struct ((Std_.fromIntegral (Classes.toWord value)) :: Std_.Word32) 0 0 0)-get_Calculator'defFunction'params'body :: ((Untyped.ReadCtx m msg)-                                          ,(Classes.FromPtr msg (Expression msg))) => (Calculator'defFunction'params msg) -> (m (Expression msg))-get_Calculator'defFunction'params'body (Calculator'defFunction'params'newtype_ struct) = (do-    ptr <- (Untyped.getPtr 0 struct)-    (Classes.fromPtr (Untyped.message struct) ptr)-    )-set_Calculator'defFunction'params'body :: ((Untyped.RWCtx m s)-                                          ,(Classes.ToPtr s (Expression (Message.Mut s)))) => (Calculator'defFunction'params (Message.Mut s)) -> (Expression (Message.Mut s)) -> (m ())-set_Calculator'defFunction'params'body (Calculator'defFunction'params'newtype_ struct) value = (do-    ptr <- (Classes.toPtr (Untyped.message struct) value)-    (Untyped.setPtr ptr 0 struct)-    )-has_Calculator'defFunction'params'body :: ((Untyped.ReadCtx m msg)) => (Calculator'defFunction'params msg) -> (m Std_.Bool)-has_Calculator'defFunction'params'body (Calculator'defFunction'params'newtype_ struct) = (Std_.isJust <$> (Untyped.getPtr 0 struct))-new_Calculator'defFunction'params'body :: ((Untyped.RWCtx m s)) => (Calculator'defFunction'params (Message.Mut s)) -> (m (Expression (Message.Mut s)))-new_Calculator'defFunction'params'body struct = (do-    result <- (Classes.new (Untyped.message struct))-    (set_Calculator'defFunction'params'body struct result)-    (Std_.pure result)-    )-newtype Calculator'defFunction'results msg-    = Calculator'defFunction'results'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Calculator'defFunction'results msg)) where-    fromStruct struct = (Std_.pure (Calculator'defFunction'results'newtype_ struct))-instance (Classes.ToStruct msg (Calculator'defFunction'results msg)) where-    toStruct (Calculator'defFunction'results'newtype_ struct) = struct-instance (Untyped.HasMessage (Calculator'defFunction'results mut) mut) where-    message (Calculator'defFunction'results'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Calculator'defFunction'results mut) mut) where-    messageDefault msg = (Calculator'defFunction'results'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Calculator'defFunction'results msg)) where-    fromPtr msg ptr = (Calculator'defFunction'results'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Calculator'defFunction'results (Message.Mut s))) where-    toPtr msg (Calculator'defFunction'results'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Calculator'defFunction'results (Message.Mut s))) where-    new msg = (Calculator'defFunction'results'newtype_ <$> (Untyped.allocStruct msg 0 1))-instance (Basics.ListElem mut (Calculator'defFunction'results mut)) where-    newtype List mut (Calculator'defFunction'results mut)-        = Calculator'defFunction'results'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Calculator'defFunction'results'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Calculator'defFunction'results'List_ l) = (Untyped.ListStruct l)-    length (Calculator'defFunction'results'List_ l) = (Untyped.length l)-    index i (Calculator'defFunction'results'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Calculator'defFunction'results (Message.Mut s))) where-    setIndex (Calculator'defFunction'results'newtype_ elt) i (Calculator'defFunction'results'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Calculator'defFunction'results'List_ <$> (Untyped.allocCompositeList msg 0 1 len))-get_Calculator'defFunction'results'func :: ((Untyped.ReadCtx m msg)-                                           ,(Classes.FromPtr msg (Function msg))) => (Calculator'defFunction'results msg) -> (m (Function msg))-get_Calculator'defFunction'results'func (Calculator'defFunction'results'newtype_ struct) = (do-    ptr <- (Untyped.getPtr 0 struct)-    (Classes.fromPtr (Untyped.message struct) ptr)-    )-set_Calculator'defFunction'results'func :: ((Untyped.RWCtx m s)-                                           ,(Classes.ToPtr s (Function (Message.Mut s)))) => (Calculator'defFunction'results (Message.Mut s)) -> (Function (Message.Mut s)) -> (m ())-set_Calculator'defFunction'results'func (Calculator'defFunction'results'newtype_ struct) value = (do-    ptr <- (Classes.toPtr (Untyped.message struct) value)-    (Untyped.setPtr ptr 0 struct)-    )-has_Calculator'defFunction'results'func :: ((Untyped.ReadCtx m msg)) => (Calculator'defFunction'results msg) -> (m Std_.Bool)-has_Calculator'defFunction'results'func (Calculator'defFunction'results'newtype_ struct) = (Std_.isJust <$> (Untyped.getPtr 0 struct))-newtype Calculator'getOperator'params msg-    = Calculator'getOperator'params'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Calculator'getOperator'params msg)) where-    fromStruct struct = (Std_.pure (Calculator'getOperator'params'newtype_ struct))-instance (Classes.ToStruct msg (Calculator'getOperator'params msg)) where-    toStruct (Calculator'getOperator'params'newtype_ struct) = struct-instance (Untyped.HasMessage (Calculator'getOperator'params mut) mut) where-    message (Calculator'getOperator'params'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Calculator'getOperator'params mut) mut) where-    messageDefault msg = (Calculator'getOperator'params'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Calculator'getOperator'params msg)) where-    fromPtr msg ptr = (Calculator'getOperator'params'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Calculator'getOperator'params (Message.Mut s))) where-    toPtr msg (Calculator'getOperator'params'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Calculator'getOperator'params (Message.Mut s))) where-    new msg = (Calculator'getOperator'params'newtype_ <$> (Untyped.allocStruct msg 1 0))-instance (Basics.ListElem mut (Calculator'getOperator'params mut)) where-    newtype List mut (Calculator'getOperator'params mut)-        = Calculator'getOperator'params'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Calculator'getOperator'params'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Calculator'getOperator'params'List_ l) = (Untyped.ListStruct l)-    length (Calculator'getOperator'params'List_ l) = (Untyped.length l)-    index i (Calculator'getOperator'params'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Calculator'getOperator'params (Message.Mut s))) where-    setIndex (Calculator'getOperator'params'newtype_ elt) i (Calculator'getOperator'params'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Calculator'getOperator'params'List_ <$> (Untyped.allocCompositeList msg 1 0 len))-get_Calculator'getOperator'params'op :: ((Untyped.ReadCtx m msg)) => (Calculator'getOperator'params msg) -> (m Operator)-get_Calculator'getOperator'params'op (Calculator'getOperator'params'newtype_ struct) = (GenHelpers.getWordField struct 0 0 0)-set_Calculator'getOperator'params'op :: ((Untyped.RWCtx m s)) => (Calculator'getOperator'params (Message.Mut s)) -> Operator -> (m ())-set_Calculator'getOperator'params'op (Calculator'getOperator'params'newtype_ struct) value = (GenHelpers.setWordField struct ((Std_.fromIntegral (Classes.toWord value)) :: Std_.Word16) 0 0 0)-newtype Calculator'getOperator'results msg-    = Calculator'getOperator'results'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Calculator'getOperator'results msg)) where-    fromStruct struct = (Std_.pure (Calculator'getOperator'results'newtype_ struct))-instance (Classes.ToStruct msg (Calculator'getOperator'results msg)) where-    toStruct (Calculator'getOperator'results'newtype_ struct) = struct-instance (Untyped.HasMessage (Calculator'getOperator'results mut) mut) where-    message (Calculator'getOperator'results'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Calculator'getOperator'results mut) mut) where-    messageDefault msg = (Calculator'getOperator'results'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Calculator'getOperator'results msg)) where-    fromPtr msg ptr = (Calculator'getOperator'results'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Calculator'getOperator'results (Message.Mut s))) where-    toPtr msg (Calculator'getOperator'results'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Calculator'getOperator'results (Message.Mut s))) where-    new msg = (Calculator'getOperator'results'newtype_ <$> (Untyped.allocStruct msg 0 1))-instance (Basics.ListElem mut (Calculator'getOperator'results mut)) where-    newtype List mut (Calculator'getOperator'results mut)-        = Calculator'getOperator'results'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Calculator'getOperator'results'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Calculator'getOperator'results'List_ l) = (Untyped.ListStruct l)-    length (Calculator'getOperator'results'List_ l) = (Untyped.length l)-    index i (Calculator'getOperator'results'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Calculator'getOperator'results (Message.Mut s))) where-    setIndex (Calculator'getOperator'results'newtype_ elt) i (Calculator'getOperator'results'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Calculator'getOperator'results'List_ <$> (Untyped.allocCompositeList msg 0 1 len))-get_Calculator'getOperator'results'func :: ((Untyped.ReadCtx m msg)-                                           ,(Classes.FromPtr msg (Function msg))) => (Calculator'getOperator'results msg) -> (m (Function msg))-get_Calculator'getOperator'results'func (Calculator'getOperator'results'newtype_ struct) = (do-    ptr <- (Untyped.getPtr 0 struct)-    (Classes.fromPtr (Untyped.message struct) ptr)-    )-set_Calculator'getOperator'results'func :: ((Untyped.RWCtx m s)-                                           ,(Classes.ToPtr s (Function (Message.Mut s)))) => (Calculator'getOperator'results (Message.Mut s)) -> (Function (Message.Mut s)) -> (m ())-set_Calculator'getOperator'results'func (Calculator'getOperator'results'newtype_ struct) value = (do-    ptr <- (Classes.toPtr (Untyped.message struct) value)-    (Untyped.setPtr ptr 0 struct)-    )-has_Calculator'getOperator'results'func :: ((Untyped.ReadCtx m msg)) => (Calculator'getOperator'results msg) -> (m Std_.Bool)-has_Calculator'getOperator'results'func (Calculator'getOperator'results'newtype_ struct) = (Std_.isJust <$> (Untyped.getPtr 0 struct))-newtype Expression msg-    = Expression'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Expression msg)) where-    fromStruct struct = (Std_.pure (Expression'newtype_ struct))-instance (Classes.ToStruct msg (Expression msg)) where-    toStruct (Expression'newtype_ struct) = struct-instance (Untyped.HasMessage (Expression mut) mut) where-    message (Expression'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Expression mut) mut) where-    messageDefault msg = (Expression'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Expression msg)) where-    fromPtr msg ptr = (Expression'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Expression (Message.Mut s))) where-    toPtr msg (Expression'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Expression (Message.Mut s))) where-    new msg = (Expression'newtype_ <$> (Untyped.allocStruct msg 2 2))-instance (Basics.ListElem mut (Expression mut)) where-    newtype List mut (Expression mut)-        = Expression'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Expression'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Expression'List_ l) = (Untyped.ListStruct l)-    length (Expression'List_ l) = (Untyped.length l)-    index i (Expression'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Expression (Message.Mut s))) where-    setIndex (Expression'newtype_ elt) i (Expression'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Expression'List_ <$> (Untyped.allocCompositeList msg 2 2 len))-data Expression' (mut :: Message.Mutability)-    = Expression'literal Std_.Double-    | Expression'previousResult (Value mut)-    | Expression'parameter Std_.Word32-    | Expression'call (Expression'call mut)-    | Expression'unknown' Std_.Word16-instance (Classes.FromStruct mut (Expression' mut)) where-    fromStruct struct = (do-        tag <- (GenHelpers.getTag struct 4)-        case tag of-            0 ->-                (Expression'literal <$> (GenHelpers.getWordField struct 0 0 0))-            1 ->-                (Expression'previousResult <$> (do-                    ptr <- (Untyped.getPtr 0 struct)-                    (Classes.fromPtr (Untyped.message struct) ptr)-                    ))-            2 ->-                (Expression'parameter <$> (GenHelpers.getWordField struct 0 0 0))-            3 ->-                (Expression'call <$> (Classes.fromStruct struct))-            _ ->-                (Std_.pure (Expression'unknown' (Std_.fromIntegral tag)))-        )-get_Expression' :: ((Untyped.ReadCtx m msg)-                   ,(Classes.FromStruct msg (Expression' msg))) => (Expression msg) -> (m (Expression' msg))-get_Expression' (Expression'newtype_ struct) = (Classes.fromStruct struct)-set_Expression'literal :: ((Untyped.RWCtx m s)) => (Expression (Message.Mut s)) -> Std_.Double -> (m ())-set_Expression'literal (Expression'newtype_ struct) value = (do-    (GenHelpers.setWordField struct (0 :: Std_.Word16) 1 0 0)-    (GenHelpers.setWordField struct ((Std_.fromIntegral (Classes.toWord value)) :: Std_.Word64) 0 0 0)-    )-set_Expression'previousResult :: ((Untyped.RWCtx m s)-                                 ,(Classes.ToPtr s (Value (Message.Mut s)))) => (Expression (Message.Mut s)) -> (Value (Message.Mut s)) -> (m ())-set_Expression'previousResult (Expression'newtype_ struct) value = (do-    (GenHelpers.setWordField struct (1 :: Std_.Word16) 1 0 0)-    (do-        ptr <- (Classes.toPtr (Untyped.message struct) value)-        (Untyped.setPtr ptr 0 struct)-        )-    )-set_Expression'parameter :: ((Untyped.RWCtx m s)) => (Expression (Message.Mut s)) -> Std_.Word32 -> (m ())-set_Expression'parameter (Expression'newtype_ struct) value = (do-    (GenHelpers.setWordField struct (2 :: Std_.Word16) 1 0 0)-    (GenHelpers.setWordField struct ((Std_.fromIntegral (Classes.toWord value)) :: Std_.Word32) 0 0 0)-    )-set_Expression'call :: ((Untyped.RWCtx m s)-                       ,(Classes.FromStruct (Message.Mut s) (Expression'call (Message.Mut s)))) => (Expression (Message.Mut s)) -> (m (Expression'call (Message.Mut s)))-set_Expression'call (Expression'newtype_ struct) = (do-    (GenHelpers.setWordField struct (3 :: Std_.Word16) 1 0 0)-    (Classes.fromStruct struct)-    )-set_Expression'unknown' :: ((Untyped.RWCtx m s)) => (Expression (Message.Mut s)) -> Std_.Word16 -> (m ())-set_Expression'unknown' (Expression'newtype_ struct) value = (GenHelpers.setWordField struct ((Std_.fromIntegral (Classes.toWord value)) :: Std_.Word16) 1 0 0)-newtype Expression'call msg-    = Expression'call'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Expression'call msg)) where-    fromStruct struct = (Std_.pure (Expression'call'newtype_ struct))-instance (Classes.ToStruct msg (Expression'call msg)) where-    toStruct (Expression'call'newtype_ struct) = struct-instance (Untyped.HasMessage (Expression'call mut) mut) where-    message (Expression'call'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Expression'call mut) mut) where-    messageDefault msg = (Expression'call'newtype_ <$> (Untyped.messageDefault msg))-get_Expression'call'function :: ((Untyped.ReadCtx m msg)-                                ,(Classes.FromPtr msg (Function msg))) => (Expression'call msg) -> (m (Function msg))-get_Expression'call'function (Expression'call'newtype_ struct) = (do-    ptr <- (Untyped.getPtr 0 struct)-    (Classes.fromPtr (Untyped.message struct) ptr)-    )-set_Expression'call'function :: ((Untyped.RWCtx m s)-                                ,(Classes.ToPtr s (Function (Message.Mut s)))) => (Expression'call (Message.Mut s)) -> (Function (Message.Mut s)) -> (m ())-set_Expression'call'function (Expression'call'newtype_ struct) value = (do-    ptr <- (Classes.toPtr (Untyped.message struct) value)-    (Untyped.setPtr ptr 0 struct)-    )-has_Expression'call'function :: ((Untyped.ReadCtx m msg)) => (Expression'call msg) -> (m Std_.Bool)-has_Expression'call'function (Expression'call'newtype_ struct) = (Std_.isJust <$> (Untyped.getPtr 0 struct))-get_Expression'call'params :: ((Untyped.ReadCtx m msg)-                              ,(Classes.FromPtr msg (Basics.List msg (Expression msg)))) => (Expression'call msg) -> (m (Basics.List msg (Expression msg)))-get_Expression'call'params (Expression'call'newtype_ struct) = (do-    ptr <- (Untyped.getPtr 1 struct)-    (Classes.fromPtr (Untyped.message struct) ptr)-    )-set_Expression'call'params :: ((Untyped.RWCtx m s)-                              ,(Classes.ToPtr s (Basics.List (Message.Mut s) (Expression (Message.Mut s))))) => (Expression'call (Message.Mut s)) -> (Basics.List (Message.Mut s) (Expression (Message.Mut s))) -> (m ())-set_Expression'call'params (Expression'call'newtype_ struct) value = (do-    ptr <- (Classes.toPtr (Untyped.message struct) value)-    (Untyped.setPtr ptr 1 struct)-    )-has_Expression'call'params :: ((Untyped.ReadCtx m msg)) => (Expression'call msg) -> (m Std_.Bool)-has_Expression'call'params (Expression'call'newtype_ struct) = (Std_.isJust <$> (Untyped.getPtr 1 struct))-new_Expression'call'params :: ((Untyped.RWCtx m s)) => Std_.Int -> (Expression'call (Message.Mut s)) -> (m (Basics.List (Message.Mut s) (Expression (Message.Mut s))))-new_Expression'call'params len struct = (do-    result <- (Classes.newList (Untyped.message struct) len)-    (set_Expression'call'params struct result)-    (Std_.pure result)-    )-newtype Value msg-    = Value'newtype_ (Std_.Maybe (Untyped.Cap msg))-instance (Classes.FromPtr msg (Value msg)) where-    fromPtr msg ptr = (Value'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Value (Message.Mut s))) where-    toPtr msg (Value'newtype_ (Std_.Nothing)) = (Std_.pure Std_.Nothing)-    toPtr msg (Value'newtype_ (Std_.Just cap)) = (Std_.pure (Std_.Just (Untyped.PtrCap cap)))-newtype Value'read'params msg-    = Value'read'params'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Value'read'params msg)) where-    fromStruct struct = (Std_.pure (Value'read'params'newtype_ struct))-instance (Classes.ToStruct msg (Value'read'params msg)) where-    toStruct (Value'read'params'newtype_ struct) = struct-instance (Untyped.HasMessage (Value'read'params mut) mut) where-    message (Value'read'params'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Value'read'params mut) mut) where-    messageDefault msg = (Value'read'params'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Value'read'params msg)) where-    fromPtr msg ptr = (Value'read'params'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Value'read'params (Message.Mut s))) where-    toPtr msg (Value'read'params'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Value'read'params (Message.Mut s))) where-    new msg = (Value'read'params'newtype_ <$> (Untyped.allocStruct msg 0 0))-instance (Basics.ListElem mut (Value'read'params mut)) where-    newtype List mut (Value'read'params mut)-        = Value'read'params'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Value'read'params'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Value'read'params'List_ l) = (Untyped.ListStruct l)-    length (Value'read'params'List_ l) = (Untyped.length l)-    index i (Value'read'params'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Value'read'params (Message.Mut s))) where-    setIndex (Value'read'params'newtype_ elt) i (Value'read'params'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Value'read'params'List_ <$> (Untyped.allocCompositeList msg 0 0 len))-newtype Value'read'results msg-    = Value'read'results'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Value'read'results msg)) where-    fromStruct struct = (Std_.pure (Value'read'results'newtype_ struct))-instance (Classes.ToStruct msg (Value'read'results msg)) where-    toStruct (Value'read'results'newtype_ struct) = struct-instance (Untyped.HasMessage (Value'read'results mut) mut) where-    message (Value'read'results'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Value'read'results mut) mut) where-    messageDefault msg = (Value'read'results'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Value'read'results msg)) where-    fromPtr msg ptr = (Value'read'results'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Value'read'results (Message.Mut s))) where-    toPtr msg (Value'read'results'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Value'read'results (Message.Mut s))) where-    new msg = (Value'read'results'newtype_ <$> (Untyped.allocStruct msg 1 0))-instance (Basics.ListElem mut (Value'read'results mut)) where-    newtype List mut (Value'read'results mut)-        = Value'read'results'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Value'read'results'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Value'read'results'List_ l) = (Untyped.ListStruct l)-    length (Value'read'results'List_ l) = (Untyped.length l)-    index i (Value'read'results'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Value'read'results (Message.Mut s))) where-    setIndex (Value'read'results'newtype_ elt) i (Value'read'results'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Value'read'results'List_ <$> (Untyped.allocCompositeList msg 1 0 len))-get_Value'read'results'value :: ((Untyped.ReadCtx m msg)) => (Value'read'results msg) -> (m Std_.Double)-get_Value'read'results'value (Value'read'results'newtype_ struct) = (GenHelpers.getWordField struct 0 0 0)-set_Value'read'results'value :: ((Untyped.RWCtx m s)) => (Value'read'results (Message.Mut s)) -> Std_.Double -> (m ())-set_Value'read'results'value (Value'read'results'newtype_ struct) value = (GenHelpers.setWordField struct ((Std_.fromIntegral (Classes.toWord value)) :: Std_.Word64) 0 0 0)-newtype Function msg-    = Function'newtype_ (Std_.Maybe (Untyped.Cap msg))-instance (Classes.FromPtr msg (Function msg)) where-    fromPtr msg ptr = (Function'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Function (Message.Mut s))) where-    toPtr msg (Function'newtype_ (Std_.Nothing)) = (Std_.pure Std_.Nothing)-    toPtr msg (Function'newtype_ (Std_.Just cap)) = (Std_.pure (Std_.Just (Untyped.PtrCap cap)))-newtype Function'call'params msg-    = Function'call'params'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Function'call'params msg)) where-    fromStruct struct = (Std_.pure (Function'call'params'newtype_ struct))-instance (Classes.ToStruct msg (Function'call'params msg)) where-    toStruct (Function'call'params'newtype_ struct) = struct-instance (Untyped.HasMessage (Function'call'params mut) mut) where-    message (Function'call'params'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Function'call'params mut) mut) where-    messageDefault msg = (Function'call'params'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Function'call'params msg)) where-    fromPtr msg ptr = (Function'call'params'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Function'call'params (Message.Mut s))) where-    toPtr msg (Function'call'params'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Function'call'params (Message.Mut s))) where-    new msg = (Function'call'params'newtype_ <$> (Untyped.allocStruct msg 0 1))-instance (Basics.ListElem mut (Function'call'params mut)) where-    newtype List mut (Function'call'params mut)-        = Function'call'params'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Function'call'params'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Function'call'params'List_ l) = (Untyped.ListStruct l)-    length (Function'call'params'List_ l) = (Untyped.length l)-    index i (Function'call'params'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Function'call'params (Message.Mut s))) where-    setIndex (Function'call'params'newtype_ elt) i (Function'call'params'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Function'call'params'List_ <$> (Untyped.allocCompositeList msg 0 1 len))-get_Function'call'params'params :: ((Untyped.ReadCtx m msg)-                                   ,(Classes.FromPtr msg (Basics.List msg Std_.Double))) => (Function'call'params msg) -> (m (Basics.List msg Std_.Double))-get_Function'call'params'params (Function'call'params'newtype_ struct) = (do-    ptr <- (Untyped.getPtr 0 struct)-    (Classes.fromPtr (Untyped.message struct) ptr)-    )-set_Function'call'params'params :: ((Untyped.RWCtx m s)-                                   ,(Classes.ToPtr s (Basics.List (Message.Mut s) Std_.Double))) => (Function'call'params (Message.Mut s)) -> (Basics.List (Message.Mut s) Std_.Double) -> (m ())-set_Function'call'params'params (Function'call'params'newtype_ struct) value = (do-    ptr <- (Classes.toPtr (Untyped.message struct) value)-    (Untyped.setPtr ptr 0 struct)-    )-has_Function'call'params'params :: ((Untyped.ReadCtx m msg)) => (Function'call'params msg) -> (m Std_.Bool)-has_Function'call'params'params (Function'call'params'newtype_ struct) = (Std_.isJust <$> (Untyped.getPtr 0 struct))-new_Function'call'params'params :: ((Untyped.RWCtx m s)) => Std_.Int -> (Function'call'params (Message.Mut s)) -> (m (Basics.List (Message.Mut s) Std_.Double))-new_Function'call'params'params len struct = (do-    result <- (Classes.newList (Untyped.message struct) len)-    (set_Function'call'params'params struct result)-    (Std_.pure result)-    )-newtype Function'call'results msg-    = Function'call'results'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Function'call'results msg)) where-    fromStruct struct = (Std_.pure (Function'call'results'newtype_ struct))-instance (Classes.ToStruct msg (Function'call'results msg)) where-    toStruct (Function'call'results'newtype_ struct) = struct-instance (Untyped.HasMessage (Function'call'results mut) mut) where-    message (Function'call'results'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Function'call'results mut) mut) where-    messageDefault msg = (Function'call'results'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Function'call'results msg)) where-    fromPtr msg ptr = (Function'call'results'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Function'call'results (Message.Mut s))) where-    toPtr msg (Function'call'results'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Function'call'results (Message.Mut s))) where-    new msg = (Function'call'results'newtype_ <$> (Untyped.allocStruct msg 1 0))-instance (Basics.ListElem mut (Function'call'results mut)) where-    newtype List mut (Function'call'results mut)-        = Function'call'results'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Function'call'results'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Function'call'results'List_ l) = (Untyped.ListStruct l)-    length (Function'call'results'List_ l) = (Untyped.length l)-    index i (Function'call'results'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Function'call'results (Message.Mut s))) where-    setIndex (Function'call'results'newtype_ elt) i (Function'call'results'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Function'call'results'List_ <$> (Untyped.allocCompositeList msg 1 0 len))-get_Function'call'results'value :: ((Untyped.ReadCtx m msg)) => (Function'call'results msg) -> (m Std_.Double)-get_Function'call'results'value (Function'call'results'newtype_ struct) = (GenHelpers.getWordField struct 0 0 0)-set_Function'call'results'value :: ((Untyped.RWCtx m s)) => (Function'call'results (Message.Mut s)) -> Std_.Double -> (m ())-set_Function'call'results'value (Function'call'results'newtype_ struct) value = (GenHelpers.setWordField struct ((Std_.fromIntegral (Classes.toWord value)) :: Std_.Word64) 0 0 0)-data Operator -    = Operator'add -    | Operator'subtract -    | Operator'multiply -    | Operator'divide -    | Operator'unknown' Std_.Word16-    deriving(Std_.Show-            ,Std_.Read-            ,Std_.Eq-            ,Generics.Generic)-instance (Classes.IsWord Operator) where-    fromWord n = case ((Std_.fromIntegral n) :: Std_.Word16) of-        0 ->-            Operator'add-        1 ->-            Operator'subtract-        2 ->-            Operator'multiply-        3 ->-            Operator'divide-        tag ->-            (Operator'unknown' tag)-    toWord (Operator'add) = 0-    toWord (Operator'subtract) = 1-    toWord (Operator'multiply) = 2-    toWord (Operator'divide) = 3-    toWord (Operator'unknown' tag) = (Std_.fromIntegral tag)-instance (Std_.Enum Operator) where-    fromEnum x = (Std_.fromIntegral (Classes.toWord x))-    toEnum x = (Classes.fromWord (Std_.fromIntegral x))-instance (Basics.ListElem mut Operator) where-    newtype List mut Operator-        = Operator'List_ (Untyped.ListOf mut Std_.Word16)-    index i (Operator'List_ l) = (Classes.fromWord <$> (Std_.fromIntegral <$> (Untyped.index i l)))-    listFromPtr msg ptr = (Operator'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Operator'List_ l) = (Untyped.List16 l)-    length (Operator'List_ l) = (Untyped.length l)-instance (Classes.MutListElem s Operator) where-    setIndex elt i (Operator'List_ l) = (Untyped.setIndex (Std_.fromIntegral (Classes.toWord elt)) i l)-    newList msg size = (Operator'List_ <$> (Untyped.allocList16 msg size))

@@ -27,7 +27,7 @@ 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 Capnp.GenHelpers.New.Rpc as GH import qualified Prelude as Std_ import qualified Data.Word as Std_ import qualified Data.Int as Std_

@@ -1,648 +0,0 @@-{-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveGeneric #-}-{-# LANGUAGE DuplicateRecordFields #-}-{-# LANGUAGE FlexibleContexts #-}-{-# LANGUAGE FlexibleInstances #-}-{-# LANGUAGE FunctionalDependencies #-}-{-# LANGUAGE RecordWildCards #-}-{-# LANGUAGE MultiParamTypeClasses #-}-{-# LANGUAGE TypeFamilies #-}-{-# LANGUAGE UndecidableInstances #-}-{-# OPTIONS_GHC -Wno-unused-imports #-}-{-# OPTIONS_GHC -Wno-dodgy-exports #-}-{-# OPTIONS_GHC -Wno-unused-matches #-}-{-# OPTIONS_GHC -Wno-orphans #-}-{-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}-{-# OPTIONS_GHC -Wno-name-shadowing #-}-module Capnp.Gen.Calculator.Pure(Capnp.Gen.ById.X85150b117366d14b.Operator(..)-                                ,Calculator(..)-                                ,Calculator'server_(..)-                                ,export_Calculator-                                ,Calculator'evaluate'params(..)-                                ,Calculator'evaluate'results(..)-                                ,Calculator'defFunction'params(..)-                                ,Calculator'defFunction'results(..)-                                ,Calculator'getOperator'params(..)-                                ,Calculator'getOperator'results(..)-                                ,Expression(..)-                                ,Expression'call(..)-                                ,Value(..)-                                ,Value'server_(..)-                                ,export_Value-                                ,Value'read'params(..)-                                ,Value'read'results(..)-                                ,Function(..)-                                ,Function'server_(..)-                                ,export_Function-                                ,Function'call'params(..)-                                ,Function'call'results(..)) where-import qualified Capnp.GenHelpers.ReExports.Data.Vector as V-import qualified Capnp.GenHelpers.ReExports.Data.Text as T-import qualified Capnp.GenHelpers.ReExports.Data.ByteString as BS-import qualified Capnp.GenHelpers.ReExports.Data.Default as Default-import qualified GHC.Generics as Generics-import qualified Control.Monad.IO.Class as MonadIO-import qualified Capnp.Untyped.Pure as UntypedPure-import qualified Capnp.Untyped as Untyped-import qualified Capnp.Message as Message-import qualified Capnp.Classes as Classes-import qualified Capnp.Basics.Pure as BasicsPure-import qualified Capnp.GenHelpers.Pure as GenHelpersPure-import qualified Capnp.Rpc.Untyped as Rpc-import qualified Capnp.Rpc.Server as Server-import qualified Capnp.GenHelpers.Rpc as RpcHelpers-import qualified Capnp.GenHelpers.ReExports.Control.Concurrent.STM as STM-import qualified Capnp.GenHelpers.ReExports.Control.Monad.STM.Class as STM-import qualified Capnp.GenHelpers.ReExports.Supervisors as Supervisors-import qualified Capnp.Gen.ById.X85150b117366d14b-import qualified Prelude as Std_-import qualified Data.Word as Std_-import qualified Data.Int as Std_-import Prelude ((<$>), (<*>), (>>=))-newtype Calculator -    = Calculator Message.Client-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-class ((MonadIO.MonadIO m)-      ,(Server.Server m cap)) => (Calculator'server_ m cap) where-    {-# MINIMAL calculator'evaluate,calculator'defFunction,calculator'getOperator #-}-    calculator'evaluate :: cap -> (Server.MethodHandler m Calculator'evaluate'params Calculator'evaluate'results)-    calculator'evaluate _ = Server.methodUnimplemented-    calculator'defFunction :: cap -> (Server.MethodHandler m Calculator'defFunction'params Calculator'defFunction'results)-    calculator'defFunction _ = Server.methodUnimplemented-    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)-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-                                                                                                   10923537602090224694 ->-                                                                                                       case methodId_ of-                                                                                                           0 ->-                                                                                                               (Server.toUntypedHandler (calculator'evaluate server_))-                                                                                                           1 ->-                                                                                                               (Server.toUntypedHandler (calculator'defFunction server_))-                                                                                                           2 ->-                                                                                                               (Server.toUntypedHandler (calculator'getOperator server_))-                                                                                                           _ ->-                                                                                                               Server.methodUnimplemented-                                                                                                   _ ->-                                                                                                       Server.methodUnimplemented)})))-instance (Rpc.IsClient Calculator) where-    fromClient  = Calculator-    toClient (Calculator client) = client-instance (Classes.FromPtr msg Calculator) where-    fromPtr  = RpcHelpers.isClientFromPtr-instance (Classes.ToPtr s Calculator) where-    toPtr  = RpcHelpers.isClientToPtr-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-    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-    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)-data Calculator'evaluate'params -    = Calculator'evaluate'params -        {expression :: Expression}-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Calculator'evaluate'params) where-    def  = GenHelpersPure.defaultStruct-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)-    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-    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-    cerialize  = GenHelpersPure.cerializeCompositeVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-data Calculator'evaluate'results -    = Calculator'evaluate'results -        {value :: Value}-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Calculator'evaluate'results) where-    def  = GenHelpersPure.defaultStruct-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)-    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-    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-    cerialize  = GenHelpersPure.cerializeCompositeVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-data Calculator'defFunction'params -    = Calculator'defFunction'params -        {paramCount :: Std_.Int32-        ,body :: Expression}-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Calculator'defFunction'params) where-    def  = GenHelpersPure.defaultStruct-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)-    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-    marshalInto raw_ value_ = case value_ of-        Calculator'defFunction'params{..} ->-            (do-                (Capnp.Gen.ById.X85150b117366d14b.set_Calculator'defFunction'params'paramCount raw_ paramCount)-                ((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-    cerialize  = GenHelpersPure.cerializeCompositeVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-data Calculator'defFunction'results -    = Calculator'defFunction'results -        {func :: Function}-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Calculator'defFunction'results) where-    def  = GenHelpersPure.defaultStruct-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)-    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-    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-    cerialize  = GenHelpersPure.cerializeCompositeVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-data Calculator'getOperator'params -    = Calculator'getOperator'params -        {op :: Capnp.Gen.ById.X85150b117366d14b.Operator}-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Calculator'getOperator'params) where-    def  = GenHelpersPure.defaultStruct-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)-    decerialize raw = (Calculator'getOperator'params <$> (Capnp.Gen.ById.X85150b117366d14b.get_Calculator'getOperator'params'op raw))-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-    cerialize  = GenHelpersPure.cerializeCompositeVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-data Calculator'getOperator'results -    = Calculator'getOperator'results -        {func :: Function}-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Calculator'getOperator'results) where-    def  = GenHelpersPure.defaultStruct-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)-    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-    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-    cerialize  = GenHelpersPure.cerializeCompositeVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-data Expression -    = Expression'literal Std_.Double-    | Expression'previousResult Value-    | Expression'parameter Std_.Word32-    | Expression'call Expression'call-    | Expression'unknown' Std_.Word16-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Expression) where-    def  = GenHelpersPure.defaultStruct-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)-    decerialize raw = (do-        raw <- (Capnp.Gen.ById.X85150b117366d14b.get_Expression' raw)-        case raw of-            (Capnp.Gen.ById.X85150b117366d14b.Expression'literal raw) ->-                (Std_.pure (Expression'literal raw))-            (Capnp.Gen.ById.X85150b117366d14b.Expression'previousResult raw) ->-                (Expression'previousResult <$> (Classes.decerialize raw))-            (Capnp.Gen.ById.X85150b117366d14b.Expression'parameter raw) ->-                (Std_.pure (Expression'parameter raw))-            (Capnp.Gen.ById.X85150b117366d14b.Expression'call raw) ->-                (Expression'call <$> (Classes.decerialize raw))-            (Capnp.Gen.ById.X85150b117366d14b.Expression'unknown' tag) ->-                (Std_.pure (Expression'unknown' tag))-        )-instance (Classes.Marshal s Expression) where-    marshalInto raw_ value_ = case value_ of-        (Expression'literal arg_) ->-            (Capnp.Gen.ById.X85150b117366d14b.set_Expression'literal raw_ arg_)-        (Expression'previousResult arg_) ->-            ((Classes.cerialize (Untyped.message raw_) arg_) >>= (Capnp.Gen.ById.X85150b117366d14b.set_Expression'previousResult raw_))-        (Expression'parameter arg_) ->-            (Capnp.Gen.ById.X85150b117366d14b.set_Expression'parameter raw_ arg_)-        (Expression'call arg_) ->-            (do-                raw_ <- (Capnp.Gen.ById.X85150b117366d14b.set_Expression'call raw_)-                (Classes.marshalInto raw_ arg_)-                )-        (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-    cerialize  = GenHelpersPure.cerializeCompositeVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-data Expression'call -    = Expression'call' -        {function :: Function-        ,params :: (V.Vector Expression)}-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Expression'call) where-    def  = GenHelpersPure.defaultStruct-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)-    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-    marshalInto raw_ value_ = case value_ of-        Expression'call'{..} ->-            (do-                ((Classes.cerialize (Untyped.message raw_) function) >>= (Capnp.Gen.ById.X85150b117366d14b.set_Expression'call'function raw_))-                ((Classes.cerialize (Untyped.message raw_) params) >>= (Capnp.Gen.ById.X85150b117366d14b.set_Expression'call'params raw_))-                (Std_.pure ())-                )-newtype Value -    = Value Message.Client-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-class ((MonadIO.MonadIO m)-      ,(Server.Server m cap)) => (Value'server_ m cap) where-    {-# MINIMAL value'read #-}-    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)-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-                                                                                         14116142932258867410 ->-                                                                                             case methodId_ of-                                                                                                 0 ->-                                                                                                     (Server.toUntypedHandler (value'read server_))-                                                                                                 _ ->-                                                                                                     Server.methodUnimplemented-                                                                                         _ ->-                                                                                             Server.methodUnimplemented)})))-instance (Rpc.IsClient Value) where-    fromClient  = Value-    toClient (Value client) = client-instance (Classes.FromPtr msg Value) where-    fromPtr  = RpcHelpers.isClientFromPtr-instance (Classes.ToPtr s Value) where-    toPtr  = RpcHelpers.isClientToPtr-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-    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-    value'read (Value client) = (Rpc.clientMethodHandler 14116142932258867410 0 client)-data Value'read'params -    = Value'read'params -        {}-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Value'read'params) where-    def  = GenHelpersPure.defaultStruct-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)-    decerialize raw = (Std_.pure Value'read'params)-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-    cerialize  = GenHelpersPure.cerializeCompositeVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-data Value'read'results -    = Value'read'results -        {value :: Std_.Double}-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Value'read'results) where-    def  = GenHelpersPure.defaultStruct-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)-    decerialize raw = (Value'read'results <$> (Capnp.Gen.ById.X85150b117366d14b.get_Value'read'results'value raw))-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-    cerialize  = GenHelpersPure.cerializeCompositeVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-newtype Function -    = Function Message.Client-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-class ((MonadIO.MonadIO m)-      ,(Server.Server m cap)) => (Function'server_ m cap) where-    {-# MINIMAL function'call #-}-    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)-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-                                                                                               17143016017778443156 ->-                                                                                                   case methodId_ of-                                                                                                       0 ->-                                                                                                           (Server.toUntypedHandler (function'call server_))-                                                                                                       _ ->-                                                                                                           Server.methodUnimplemented-                                                                                               _ ->-                                                                                                   Server.methodUnimplemented)})))-instance (Rpc.IsClient Function) where-    fromClient  = Function-    toClient (Function client) = client-instance (Classes.FromPtr msg Function) where-    fromPtr  = RpcHelpers.isClientFromPtr-instance (Classes.ToPtr s Function) where-    toPtr  = RpcHelpers.isClientToPtr-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-    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-    function'call (Function client) = (Rpc.clientMethodHandler 17143016017778443156 0 client)-data Function'call'params -    = Function'call'params -        {params :: (V.Vector Std_.Double)}-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Function'call'params) where-    def  = GenHelpersPure.defaultStruct-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)-    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-    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-    cerialize  = GenHelpersPure.cerializeCompositeVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-data Function'call'results -    = Function'call'results -        {value :: Std_.Double}-    deriving(Std_.Show-            ,Std_.Eq-            ,Generics.Generic)-instance (Default.Default Function'call'results) where-    def  = GenHelpersPure.defaultStruct-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)-    decerialize raw = (Function'call'results <$> (Capnp.Gen.ById.X85150b117366d14b.get_Function'call'results'value raw))-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-    cerialize  = GenHelpersPure.cerializeCompositeVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    cerialize  = GenHelpersPure.cerializeBasicVec-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-    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-    decerialize  = Std_.pure-instance (Classes.Cerialize s Capnp.Gen.ById.X85150b117366d14b.Operator) where-    cerialize _ = Std_.pure-instance (Classes.Cerialize s (V.Vector Capnp.Gen.ById.X85150b117366d14b.Operator)) where-    cerialize  = Classes.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector Capnp.Gen.ById.X85150b117366d14b.Operator))) where-    cerialize  = Classes.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.X85150b117366d14b.Operator)))) where-    cerialize  = Classes.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.X85150b117366d14b.Operator))))) where-    cerialize  = Classes.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.X85150b117366d14b.Operator)))))) where-    cerialize  = Classes.cerializeBasicVec-instance (Classes.Cerialize s (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector (V.Vector Capnp.Gen.ById.X85150b117366d14b.Operator))))))) where-    cerialize  = Classes.cerializeBasicVec

@@ -1,132 +0,0 @@-{-# LANGUAGE FlexibleContexts #-}-{-# LANGUAGE FlexibleInstances #-}-{-# LANGUAGE MultiParamTypeClasses #-}-{-# LANGUAGE TypeFamilies #-}-{-# LANGUAGE DeriveGeneric #-}-{-# LANGUAGE DataKinds #-}-{-# LANGUAGE OverloadedStrings #-}-{-# 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 where-import qualified Capnp.Message as Message-import qualified Capnp.Untyped as Untyped-import qualified Capnp.Basics as Basics-import qualified Capnp.GenHelpers as GenHelpers-import qualified Capnp.Classes as Classes-import qualified GHC.Generics as Generics-import qualified Capnp.Bits as Std_-import qualified Data.Maybe as Std_-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 ((<$>), (<*>), (>>=))-newtype Echo msg-    = Echo'newtype_ (Std_.Maybe (Untyped.Cap msg))-instance (Classes.FromPtr msg (Echo msg)) where-    fromPtr msg ptr = (Echo'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Echo (Message.Mut s))) where-    toPtr msg (Echo'newtype_ (Std_.Nothing)) = (Std_.pure Std_.Nothing)-    toPtr msg (Echo'newtype_ (Std_.Just cap)) = (Std_.pure (Std_.Just (Untyped.PtrCap cap)))-newtype Echo'echo'params msg-    = Echo'echo'params'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Echo'echo'params msg)) where-    fromStruct struct = (Std_.pure (Echo'echo'params'newtype_ struct))-instance (Classes.ToStruct msg (Echo'echo'params msg)) where-    toStruct (Echo'echo'params'newtype_ struct) = struct-instance (Untyped.HasMessage (Echo'echo'params mut) mut) where-    message (Echo'echo'params'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Echo'echo'params mut) mut) where-    messageDefault msg = (Echo'echo'params'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Echo'echo'params msg)) where-    fromPtr msg ptr = (Echo'echo'params'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Echo'echo'params (Message.Mut s))) where-    toPtr msg (Echo'echo'params'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Echo'echo'params (Message.Mut s))) where-    new msg = (Echo'echo'params'newtype_ <$> (Untyped.allocStruct msg 0 1))-instance (Basics.ListElem mut (Echo'echo'params mut)) where-    newtype List mut (Echo'echo'params mut)-        = Echo'echo'params'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Echo'echo'params'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Echo'echo'params'List_ l) = (Untyped.ListStruct l)-    length (Echo'echo'params'List_ l) = (Untyped.length l)-    index i (Echo'echo'params'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Echo'echo'params (Message.Mut s))) where-    setIndex (Echo'echo'params'newtype_ elt) i (Echo'echo'params'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Echo'echo'params'List_ <$> (Untyped.allocCompositeList msg 0 1 len))-get_Echo'echo'params'query :: ((Untyped.ReadCtx m msg)-                              ,(Classes.FromPtr msg (Basics.Text msg))) => (Echo'echo'params msg) -> (m (Basics.Text msg))-get_Echo'echo'params'query (Echo'echo'params'newtype_ struct) = (do-    ptr <- (Untyped.getPtr 0 struct)-    (Classes.fromPtr (Untyped.message struct) ptr)-    )-set_Echo'echo'params'query :: ((Untyped.RWCtx m s)-                              ,(Classes.ToPtr s (Basics.Text (Message.Mut s)))) => (Echo'echo'params (Message.Mut s)) -> (Basics.Text (Message.Mut s)) -> (m ())-set_Echo'echo'params'query (Echo'echo'params'newtype_ struct) value = (do-    ptr <- (Classes.toPtr (Untyped.message struct) value)-    (Untyped.setPtr ptr 0 struct)-    )-has_Echo'echo'params'query :: ((Untyped.ReadCtx m msg)) => (Echo'echo'params msg) -> (m Std_.Bool)-has_Echo'echo'params'query (Echo'echo'params'newtype_ struct) = (Std_.isJust <$> (Untyped.getPtr 0 struct))-new_Echo'echo'params'query :: ((Untyped.RWCtx m s)) => Std_.Int -> (Echo'echo'params (Message.Mut s)) -> (m (Basics.Text (Message.Mut s)))-new_Echo'echo'params'query len struct = (do-    result <- (Basics.newText (Untyped.message struct) len)-    (set_Echo'echo'params'query struct result)-    (Std_.pure result)-    )-newtype Echo'echo'results msg-    = Echo'echo'results'newtype_ (Untyped.Struct msg)-instance (Classes.FromStruct msg (Echo'echo'results msg)) where-    fromStruct struct = (Std_.pure (Echo'echo'results'newtype_ struct))-instance (Classes.ToStruct msg (Echo'echo'results msg)) where-    toStruct (Echo'echo'results'newtype_ struct) = struct-instance (Untyped.HasMessage (Echo'echo'results mut) mut) where-    message (Echo'echo'results'newtype_ struct) = (Untyped.message struct)-instance (Untyped.MessageDefault (Echo'echo'results mut) mut) where-    messageDefault msg = (Echo'echo'results'newtype_ <$> (Untyped.messageDefault msg))-instance (Classes.FromPtr msg (Echo'echo'results msg)) where-    fromPtr msg ptr = (Echo'echo'results'newtype_ <$> (Classes.fromPtr msg ptr))-instance (Classes.ToPtr s (Echo'echo'results (Message.Mut s))) where-    toPtr msg (Echo'echo'results'newtype_ struct) = (Classes.toPtr msg struct)-instance (Classes.Allocate s (Echo'echo'results (Message.Mut s))) where-    new msg = (Echo'echo'results'newtype_ <$> (Untyped.allocStruct msg 0 1))-instance (Basics.ListElem mut (Echo'echo'results mut)) where-    newtype List mut (Echo'echo'results mut)-        = Echo'echo'results'List_ (Untyped.ListOf mut (Untyped.Struct mut))-    listFromPtr msg ptr = (Echo'echo'results'List_ <$> (Classes.fromPtr msg ptr))-    toUntypedList (Echo'echo'results'List_ l) = (Untyped.ListStruct l)-    length (Echo'echo'results'List_ l) = (Untyped.length l)-    index i (Echo'echo'results'List_ l) = (do-        elt <- (Untyped.index i l)-        (Classes.fromStruct elt)-        )-instance (Basics.MutListElem s (Echo'echo'results (Message.Mut s))) where-    setIndex (Echo'echo'results'newtype_ elt) i (Echo'echo'results'List_ l) = (Untyped.setIndex elt i l)-    newList msg len = (Echo'echo'results'List_ <$> (Untyped.allocCompositeList msg 0 1 len))-get_Echo'echo'results'reply :: ((Untyped.ReadCtx m msg)-                               ,(Classes.FromPtr msg (Basics.Text msg))) => (Echo'echo'results msg) -> (m (Basics.Text msg))-get_Echo'echo'results'reply (Echo'echo'results'newtype_ struct) = (do-    ptr <- (Untyped.getPtr 0 struct)-    (Classes.fromPtr (Untyped.message struct) ptr)-    )-set_Echo'echo'results'reply :: ((Untyped.RWCtx m s)-                               ,(Classes.ToPtr s (Basics.Text (Message.Mut s)))) => (Echo'echo'results (Message.Mut s)) -> (Basics.Text (Message.Mut s)) -> (m ())-set_Echo'echo'results'reply (Echo'echo'results'newtype_ struct) value = (do-    ptr <- (Classes.toPtr (Untyped.message struct) value)-    (Untyped.setPtr ptr 0 struct)-    )-has_Echo'echo'results'reply :: ((Untyped.ReadCtx m msg)) => (Echo'echo'results msg) -> (m Std_.Bool)-has_Echo'echo'results'reply (Echo'echo'results'newtype_ struct) = (Std_.isJust <$> (Untyped.getPtr 0 struct))-new_Echo'echo'results'reply :: ((Untyped.RWCtx m s)) => Std_.Int -> (Echo'echo'results (Message.Mut s)) -> (m (Basics.Text (Message.Mut s)))-new_Echo'echo'results'reply len struct = (do-    result <- (Basics.newText (Untyped.message struct) len)-    (set_Echo'echo'results'reply struct result)-    (Std_.pure result)-    )