feat: add branded numeric types and codecs

Author: raveclassic

src/language/typescript/2.0/serializers/swagger-object.ts

@@ -12,6 +12,7 @@ import { clientFile } from '../../common/bundled/client';
 import { serializeParametersDefinitionsObject } from './parameters-definitions-object';
 import { combineReader } from '@devexperts/utils/dist/adt/reader.utils';
 import { serializeResponsesDefinitionsObject } from './responses-definitions-object';
+import { utilsFile } from '../../common/bundled/utils';
 
 const definitionsRef = fromString('#/definitions');
 const parametersRef = fromString('#/parameters');
@@ -56,8 +57,8 @@ export const serializeSwaggerObject = combineReader(
 			pathsRef,
 			either.chain(from => serializePaths(from, swaggerObject.paths)),
 		);
-		return combineEither(additional, paths, clientFile, (additional, paths, clientFile) =>
-			directory(name, [clientFile, ...additional, paths]),
+		return combineEither(additional, paths, clientFile, utilsFile, (additional, paths, clientFile, utilsFile) =>
+			directory(name, [clientFile, utilsFile, ...additional, paths]),
 		);
 	},
 );

src/language/typescript/3.0/serializers/document.ts

@@ -11,6 +11,7 @@ import { applyTo } from '../../../../utils/function';
 import { OpenapiObject } from '../../../../schema/3.0/openapi-object';
 import { pathsRef } from '../../common/utils';
 import { clientFile } from '../../common/bundled/client';
+import { utilsFile } from '../../common/bundled/utils';
 
 export const serializeDocument = combineReader(
 	serializeComponentsObject,
@@ -42,8 +43,8 @@ export const serializeDocument = combineReader(
 			array.compact([components]),
 			sequenceEither,
 		);
-		return combineEither(paths, additional, clientFile, (paths, additional, clientFile) =>
-			directory(name, [paths, ...additional, clientFile]),
+		return combineEither(paths, additional, clientFile, utilsFile, (paths, additional, clientFile, utilsFile) =>
+			directory(name, [paths, ...additional, clientFile, utilsFile]),
 		);
 	},
 );

src/language/typescript/asyncapi-2.0.0/serializers/asyncapi-object.ts

@@ -9,6 +9,7 @@ import { array, either, option } from 'fp-ts';
 import { combineEither, sequenceEither } from '@devexperts/utils/dist/adt/either.utils';
 import { serializeChannelsObject } from './channels-object';
 import { clientFile } from '../../common/bundled/client';
+import { utilsFile } from '../../common/bundled/utils';
 
 export const serializeAsyncAPIObject = combineReader(
 	serializeComponentsObject,
@@ -32,8 +33,13 @@ export const serializeAsyncAPIObject = combineReader(
 			either.chain(from => serializeChannelsObject(from, asyncAPIObject.channels)),
 			either.map(content => directory('channels', [content])),
 		);
-		return combineEither(channels, additional, clientFile, (channels, additional, clientFile) =>
-			directory(name, [channels, clientFile, ...additional]),
+		return combineEither(
+			channels,
+			additional,
+			clientFile,
+			utilsFile,
+			(channels, additional, clientFile, utilsFile) =>
+				directory(name, [channels, clientFile, utilsFile, ...additional]),
 		);
 	},
 );

src/language/typescript/common/bundled/utils.ts

@@ -0,0 +1,40 @@
+import { fromString } from '../../../../utils/ref';
+import { pipe } from 'fp-ts/lib/pipeable';
+import { either } from 'fp-ts';
+import { fromRef } from '../../../../utils/fs';
+
+export const utilsRef = fromString('#/utils/utils');
+
+const utils = `
+	import { brand, Branded, intersection, number, Type } from 'io-ts';
+	
+	export interface IntegerBrand {
+		readonly Integer: unique symbol;
+	}
+	export type Integer = Branded<number, IntegerBrand>;
+	export const integer: Type<Integer, number> = brand(
+		number,
+		(n): n is Integer => n !== -Infinity && n !== Infinity && Math.floor(n) === n,
+		'Integer',
+	);
+	
+	export interface NonNegativeBrand {
+		readonly NonNegative: unique symbol;
+	}
+	export type NonNegative = Branded<number, NonNegativeBrand>;
+	export const nonNegative: Type<NonNegative, number> = brand(number, (n): n is NonNegative => n >= 0.0, 'NonNegative');
+	
+	export interface PositiveBrand {
+		readonly Positive: unique symbol;
+	}
+	export type Positive = Branded<number, PositiveBrand>;
+	export const positive: Type<Positive, number> = brand(number, (n): n is Positive => n > 0.0, 'Positive');
+	
+	export type Natural = NonNegative & Integer;
+	export const natural: Type<Natural, number> = intersection([nonNegative, integer], 'Natural');
+`;
+
+export const utilsFile = pipe(
+	utilsRef,
+	either.map(ref => fromRef(ref, '.ts', utils)),
+);