// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.

#nullable enable

using System;
using System.Collections.Generic;
using System.Runtime.Serialization;

namespace SpacetimeDB.Internal
{
    [SpacetimeDB.Type]
    [DataContract]
    public sealed partial class RawModuleDefV8
    {
        [DataMember(Name = "typespace")]
        public Typespace Typespace;
        [DataMember(Name = "tables")]
        public System.Collections.Generic.List<TableDesc> Tables;
        [DataMember(Name = "reducers")]
        public System.Collections.Generic.List<ReducerDef> Reducers;
        [DataMember(Name = "misc_exports")]
        public System.Collections.Generic.List<MiscModuleExport> MiscExports;

        public RawModuleDefV8(
            Typespace Typespace,
            System.Collections.Generic.List<TableDesc> Tables,
            System.Collections.Generic.List<ReducerDef> Reducers,
            System.Collections.Generic.List<MiscModuleExport> MiscExports
        )
        {
            this.Typespace = Typespace;
            this.Tables = Tables;
            this.Reducers = Reducers;
            this.MiscExports = MiscExports;
        }

        public RawModuleDefV8()
        {
            this.Typespace = new();
            this.Tables = new();
            this.Reducers = new();
            this.MiscExports = new();
        }
    }
}