fix!: compile double to number in Rules (#187)

* Compile `double` to `number`

* Add changeset

Author: kafkas

.changeset/clever-lizards-sin.md

@@ -0,0 +1,5 @@
+---
+"typesync-cli": minor
+---
+
+[BREAKING] `double` types now compile to `number` in Security Rules type validators

src/generators/rules/_converters.ts

@@ -26,8 +26,8 @@ export function integerTypeToRules(_t: schema.rules.types.Int): rules.Int {
   return { type: 'int' };
 }
 
-export function doubleTypeToRules(_t: schema.rules.types.Double): rules.Float {
-  return { type: 'float' };
+export function doubleTypeToRules(_t: schema.rules.types.Double): rules.Number {
+  return { type: 'number' };
 }
 
 export function timestampTypeToRules(_t: schema.rules.types.Timestamp): rules.Timestamp {

src/generators/rules/_type-predicates.ts

@@ -21,6 +21,10 @@ export function typePredicateForIntType(t: rules.Int, varName: string): rules.Pr
   return { type: 'type-equality', varName, varType: t };
 }
 
+export function typePredicateForNumberType(t: rules.Number, varName: string): rules.Predicate {
+  return { type: 'type-equality', varName, varType: t };
+}
+
 export function typePredicateForTimestampType(t: rules.Timestamp, varName: string): rules.Predicate {
   return { type: 'type-equality', varName, varType: t };
 }
@@ -160,6 +164,8 @@ export function typePredicateForType(t: rules.Type, varName: string, ctx: Contex
       return typePredicateForFloatType(t, varName);
     case 'int':
       return typePredicateForIntType(t, varName);
+    case 'number':
+      return typePredicateForNumberType(t, varName);
     case 'timestamp':
       return typePredicateForTimestampType(t, varName);
     case 'literal':

src/platforms/rules/_guards.ts

@@ -7,6 +7,7 @@ export function isRulesDataType(t: Type): t is RulesDataType {
     case 'bool':
     case 'float':
     case 'int':
+    case 'number':
     case 'timestamp':
     case 'list':
     case 'map':

src/platforms/rules/_types.ts

@@ -18,11 +18,15 @@ export interface Int {
   readonly type: 'int';
 }
 
+export interface Number {
+  readonly type: 'number';
+}
+
 export interface Timestamp {
   readonly type: 'timestamp';
 }
 
-export type Primitive = Any | String | Bool | Float | Int | Timestamp;
+export type Primitive = Any | String | Bool | Float | Int | Number | Timestamp;
 
 export interface Literal {
   readonly type: 'literal';
@@ -79,4 +83,4 @@ export interface Alias {
 
 export type Type = Primitive | Literal | Enum | Tuple | List | Map | Object | DiscriminatedUnion | SimpleUnion | Alias;
 
-export type RulesDataType = String | Bool | Float | Int | Timestamp | List | Map;
+export type RulesDataType = String | Bool | Float | Int | Number | Timestamp | List | Map;