README.md

@@ -1,5 +1,6 @@
 # validtyped
 [![Build Status](https://travis-ci.org/andnp/ValidTyped.svg?branch=master)](https://travis-ci.org/andnp/ValidTyped)
+[![Greenkeeper badge](https://badges.greenkeeper.io/andnp/ValidTyped.svg)](https://greenkeeper.io/)
 
 A runtime and compile-time type checker library.
 
@@ -343,6 +344,22 @@ if (result.valid) doThing(result.data);
 else logger.error(...result.errors);
 ```
 
+### Validator.withOptions
+Add additional validations to the generated schema.
+While most of these validations are not representable at compile time
+with typescript (`minLength` of a `string` for instance), it can be helpful
+to have the additional validations when validating runtime types.
+
+| Param | Description |
+| --- | --- |
+| opts | JSON schema specific options (for instance: `{ maxLength: 2, minLength: 0 }`) |
+###### Example:
+ ```typescript
+const validator = v.string().withOptions({ minLength: 1 });
+validator.isValid(''); // false
+validator.isValid('hi'); // true
+```
+
 ### ValidType
 Returns the encapsulated type of a `Validator` type.
 ###### Example:

package.json

@@ -33,13 +33,13 @@
   },
   "devDependencies": {
     "@commitlint/config-conventional": "^7.0.0",
-    "@types/jest": "~23.0.0",
+    "@types/jest": "~23.1.4",
     "@types/node": "^10.3.5",
     "commitlint": "^7.0.0",
     "husky": "^0.14.3",
-    "jest": "^22.4.3",
-    "ts-jest": "^22.4.2",
-    "ts-node": "^6.0.0",
+    "jest": "^23.3.0",
+    "ts-jest": "^23.0.0",
+    "ts-node": "^7.0.0",
     "tslint": "^5.9.1",
     "typescript": "~2.8.1"
   },

scripts/generateDocumentation.ts

@@ -144,6 +144,7 @@ const generateMarkdown = (fileName: string) => {
 const headerString =
 `# validtyped
 [![Build Status](https://travis-ci.org/andnp/ValidTyped.svg?branch=master)](https://travis-ci.org/andnp/ValidTyped)
+[![Greenkeeper badge](https://badges.greenkeeper.io/andnp/ValidTyped.svg)](https://greenkeeper.io/)
 
 A runtime and compile-time type checker library.
 

src/index.ts

@@ -1,7 +1,30 @@
-import { Schema, SchemaMetaData } from 'type-level-schema/schema';
-import { objectKeys, Nominal, AnyFunc, AllRequired, Optional, Unknown, PlainObject } from 'simplytyped';
+import { objectKeys, Nominal, AnyFunc, AllRequired, Optional, Unknown, PlainObject, Omit } from 'simplytyped';
 import * as Ajv from 'ajv';
 
+// Schema definitions
+import { Schema, SchemaMetaData } from 'type-level-schema/schema';
+import { StringSchema } from 'type-level-schema/defs/string';
+import { NumberSchema } from 'type-level-schema/defs/number';
+import { BooleanSchema } from 'type-level-schema/defs/boolean';
+import { ArraySchema } from 'type-level-schema/defs/array';
+import { ObjectSchema } from 'type-level-schema/defs/object';
+
+/**
+ * no-doc - Gets the full schema definition for a given type.
+ */
+export type TypeToSchema<T> =
+    T extends string ? StringSchema :
+    T extends number ? NumberSchema :
+    T extends boolean ? BooleanSchema :
+    T extends any[] ? ArraySchema :
+    T extends object ? ObjectSchema :
+        never;
+
+/**
+ * no-doc - Gets the optional parts of the schema definition for a given type.
+ */
+export type TypeToSchemaOptions<T> = Omit<TypeToSchema<T>, 'type'>;
+
 /**
  * no-doc - Generates an object type from `[string, Validator]` pairs
  * @param O a Validator record
@@ -182,6 +205,28 @@ export class Validator<T> {
         return this;
     }
 
+    /**
+     * Add additional validations to the generated schema.
+     * While most of these validations are not representable at compile time
+     * with typescript (`minLength` of a `string` for instance), it can be helpful
+     * to have the additional validations when validating runtime types.
+     * @param opts JSON schema specific options (for instance: `{ maxLength: 2, minLength: 0 }`)
+     *
+     * @example
+     * ```typescript
+     * const validator = v.string().withOptions({ minLength: 1 });
+     * validator.isValid(''); // false
+     * validator.isValid('hi'); // true
+     * ```
+     */
+    withOptions(opts: TypeToSchemaOptions<T>): this {
+        this.schema = {
+            ...this.schema,
+            ...opts as any,
+        };
+        return this;
+    }
+
     /**
      * Creates a new validator that is true whenever the data matches `this` _or_ `v`.
      * @param other Another validator instance whose type will form a union with `this` encapsulated type.

tests/unit/array.test.ts

@@ -30,3 +30,14 @@ test('Can validate a deep array', () => {
         fail();
     }
 });
+
+test('Can add JSON Schema options', () => {
+    const x: any = [ 'yellow!' ];
+
+    const validator = v.array(v.any())
+        .withOptions({ minItems: 2 });
+
+    // expect to fail because we have fewer than 2 items
+    if (validator.isValid(x)) fail();
+    else pass();
+});

tests/unit/string.test.ts

@@ -35,3 +35,13 @@ test('String is not in enum', () => {
     if (validator.isValid(x)) fail();
     else pass();
 });
+
+test('Can add JSON Schema options', () => {
+    const x: any = '';
+
+    const validator = v.string()
+        .withOptions({ minLength: 1 });
+
+    if (validator.isValid(x)) fail();
+    else pass();
+});