Merge pull request #50 from mkantor/number-is

Add `integer.is` and `natural_number.is` to prelude

Author: mkantor

src/language/semantics/prelude.ts

@@ -228,6 +228,24 @@ export const prelude: ObjectNode = makeObjectNode({
           ),
         ),
     ),
+    is: preludeFunction(
+      ['integer', 'is'],
+      {
+        parameter: types.something,
+        return: types.boolean,
+      },
+      argument =>
+        either.makeRight(
+          typeof argument === 'string' &&
+            types.integer.isAssignableFrom({
+              name: '',
+              kind: 'union',
+              members: new Set([argument]),
+            })
+            ? 'true'
+            : 'false',
+        ),
+    ),
     less_than: preludeFunction(
       ['integer', 'less_than'],
       {
@@ -449,6 +467,24 @@ export const prelude: ObjectNode = makeObjectNode({
           ),
         ),
     ),
+    is: preludeFunction(
+      ['natural_number', 'is'],
+      {
+        parameter: types.something,
+        return: types.boolean,
+      },
+      argument =>
+        either.makeRight(
+          typeof argument === 'string' &&
+            types.naturalNumber.isAssignableFrom({
+              name: '',
+              kind: 'union',
+              members: new Set([argument]),
+            })
+            ? 'true'
+            : 'false',
+        ),
+    ),
   }),
 
   object: makeObjectNode({