Add support for ConstructSignature in literal type

Fix #59

CHANGELOG.md

@@ -98,6 +98,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
     ```
 
 * Add support for argument spread operator ([GH-57](https://github.com/glutinum-org/cli/issues/57))
+* Add support for `{ new (...args: any): any}` (`ConstructSignaure`) ([GH-59](https://github.com/glutinum-org/cli/issues/59))
 
 ### Changed
 

src/Glutinum.Converter/FsharpAST.fs

@@ -170,6 +170,9 @@ type FSharpAttribute =
     | CompiledName of string
     | RequireQualifiedAccess
     | EmitConstructor
+    /// <summary>
+    /// Generates <c>[&lt;Emit("new $0.className($1...)")&gt;]"</c> attribute.
+    /// </summary>
     | EmitMacroConstructor of className: string
     | EmitIndexer
     | Global

src/Glutinum.Converter/GlueAST.fs

@@ -69,13 +69,20 @@ type GlueMethodSignature =
         Type: GlueType
     }
 
+type GlueConstructSignature =
+    {
+        Parameters: GlueParameter list
+        Type: GlueType
+    }
+
 [<RequireQualifiedAccess>]
 type GlueMember =
     | Method of GlueMethod
     | Property of GlueProperty
     | CallSignature of GlueCallSignature
     | IndexSignature of GlueIndexSignature
     | MethodSignature of GlueMethodSignature
+    | ConstructSignature of GlueConstructSignature
 
 type GlueInterface =
     {

src/Glutinum.Converter/Reader/Declaration.fs

@@ -91,6 +91,17 @@ let readDeclaration
         : GlueMethodSignature)
         |> GlueMember.MethodSignature
 
+    | Ts.SyntaxKind.ConstructSignature ->
+        let constructSignature =
+            declaration :?> Ts.ConstructSignatureDeclaration
+
+        ({
+            Parameters = reader.ReadParameters constructSignature.parameters
+            Type = reader.ReadTypeNode constructSignature.``type``
+        }
+        : GlueConstructSignature)
+        |> GlueMember.ConstructSignature
+
     | _ ->
         Utils.generateReaderError
             "named declaration"

src/Glutinum.Converter/Transform.fs

@@ -535,6 +535,24 @@ module private TransformMembers =
                     Accessibility = FSharpAccessibility.Public
                 }
                 |> FSharpMember.Method
+
+            | GlueMember.ConstructSignature constructSignature ->
+                let name, context = sanitizeNameAndPushScope "Create" context
+
+                {
+                    Attributes = [ FSharpAttribute.EmitConstructor ]
+                    Name = name
+                    Parameters =
+                        constructSignature.Parameters
+                        |> List.map (transformParameter context)
+                    Type = transformType context constructSignature.Type
+                    TypeParameters = []
+                    IsOptional = false
+                    IsStatic = false
+                    Accessor = None
+                    Accessibility = FSharpAccessibility.Public
+                }
+                |> FSharpMember.Method
         )
 
     let toFSharpParameters
@@ -602,6 +620,17 @@ module private TransformMembers =
                     Type = transformType context callSignatureInfo.Type
                 }
                 : FSharpParameter
+
+            | GlueMember.ConstructSignature constructSignature ->
+                let name, context = sanitizeNameAndPushScope "Create" context
+
+                {
+                    Attributes = []
+                    Name = name
+                    IsOptional = false
+                    Type = transformType context constructSignature.Type
+                }
+                : FSharpParameter
         )
 
 let private transformInterface
@@ -730,6 +759,7 @@ module TypeAliasDeclaration =
                         |> Some
                     // Doesn't make sense to have a case for call signature
                     | GlueMember.CallSignature _
+                    | GlueMember.ConstructSignature _
                     // Doesn't make sense to have a case for index signature
                     // because index signature is used because we don't know the name
                     // of the properties and so it is used only to describe the
@@ -958,6 +988,7 @@ let private transformTypeAliasDeclaration
                         | GlueMember.Method { Type = typ }
                         | GlueMember.Property { Type = typ }
                         | GlueMember.CallSignature { Type = typ }
+                        | GlueMember.ConstructSignature { Type = typ }
                         | GlueMember.MethodSignature { Type = typ }
                         | GlueMember.IndexSignature { Type = typ } ->
                             match typ with

src/Glutinum.Web/Pages/Editors.GlueAST.GlueASTViewer.fs

@@ -114,6 +114,12 @@ type GlueASTViewer =
                 GlueASTViewer.Type propertyInfo.Type
             ]
 
+        | GlueMember.ConstructSignature constructSignature ->
+            ASTViewer.renderNode "ConstructSignature" [
+                GlueASTViewer.Parameters constructSignature.Parameters
+                GlueASTViewer.Type constructSignature.Type
+            ]
+
     static member private Members(members: GlueMember list) =
         members
         |> List.map GlueASTViewer.GlueMember

tests/specs/references/typeLiteral/constructSignature.d.ts

@@ -0,0 +1 @@
+type Test = { new (...args: any[]): any; }

tests/specs/references/typeLiteral/constructSignature.fsx

@@ -0,0 +1,13 @@
+module rec Glutinum
+
+open Fable.Core
+open System
+
+[<AllowNullLiteral>]
+type Test =
+    [<EmitConstructor>]
+    abstract member Create: [<ParamArray>] args: ResizeArray<obj> [] -> obj
+
+(***)
+#r "nuget: Fable.Core"
+(***)