Add support for TypePredicate

glutinum-org · Dec 3, 2023 · 4f2e3a6 · 4f2e3a6
1 parent 2b99a6a
commit 4f2e3a6
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 0 deletions.
diff --git a/src/Glutinum.Converter/Read.fs b/src/Glutinum.Converter/Read.fs
@@ -270,6 +270,9 @@ let private readTypeNode
 
             GlueType.Array elementType
 
+        | Ts.SyntaxKind.TypePredicate ->
+            GlueType.Primitive GluePrimitive.Bool
+
         | _ -> failwith $"readTypeNode: Unsupported kind {typeNode.kind}"
     | None -> GlueType.Primitive GluePrimitive.Unit
 

diff --git a/tests/specs/typePredicate/convertedToBool.d.ts b/tests/specs/typePredicate/convertedToBool.d.ts
@@ -0,0 +1 @@
+export function isDayjs(d: any): d is Dayjs
diff --git a/tests/specs/typePredicate/convertedToBool.fsx b/tests/specs/typePredicate/convertedToBool.fsx
@@ -0,0 +1,13 @@
+module rec Glutinum
+
+(***)
+#r "nuget: Fable.Core"
+(***)
+
+open Fable.Core
+open System
+
+[<Erase>]
+type Exports =
+    [<Import("isDayjs", "module")>]
+    static member isDayjs (d: obj) : bool = nativeOnly