justus 0.0.4 → 0.0.7

package/index.d.ts

@@ -33,13 +33,13 @@ export declare class AllOfValidator<A extends UnionArguments> extends Validator<
 export declare const allowAdditionalProperties: typeof _allowAdditionalProperties & AdditionalProperties<Validator<any>>;
 
 /** Internal definition of `allowAdditionalProperties(...)` */
-declare function _allowAdditionalProperties(): AdditionalProperties<Validator<any>>;
+export declare function _allowAdditionalProperties(): AdditionalProperties<Validator<any>>;
 
-declare function _allowAdditionalProperties(allow: true): AdditionalProperties<Validator<any>>;
+export declare function _allowAdditionalProperties(allow: true): AdditionalProperties<Validator<any>>;
 
-declare function _allowAdditionalProperties(allow: false): AdditionalProperties<false>;
+export declare function _allowAdditionalProperties(allow: false): AdditionalProperties<false>;
 
-declare function _allowAdditionalProperties<V extends Validation>(validation: V): AdditionalProperties<Validator<InferValidation<V>>>;
+export declare function _allowAdditionalProperties<V extends Validation>(validation: V): AdditionalProperties<Validator<InferValidation<V>>>;
 
 /** The `Validator` validating _anything_. */
 export declare const any: AnyValidator;
@@ -72,12 +72,12 @@ export declare class AnyValidator extends Validator<any> {
 /** Validate `Array`s. */
 export declare const array: typeof _array & Iterable<TupleRestParameter<any[]>>;
 
-declare function _array(): Validator<any[]>;
+export declare function _array(): Validator<any[]>;
 
-declare function _array<V extends Validation>(constraints: ArrayConstraints<V>): ArrayValidator<InferValidation<V>>;
+export declare function _array<V extends Validation>(constraints: ArrayConstraints<V>): ArrayValidator<InferValidation<V>>;
 
 /** Constraints to validate an `Array` with. */
-declare interface ArrayConstraints<V extends Validation> {
+export declare interface ArrayConstraints<V extends Validation> {
     /** The _maximum_ number of elements a valid `Array`: `value.length <= maxItems` */
     maxItems?: number;
     /** The _minimum_ number of elements a valid `Array`: `value.length >= minItems` */
@@ -121,13 +121,13 @@ export declare class BooleanValidator extends Validator<boolean> {
 }
 
 /** Constraints to validate a `number` with extra branding information. */
-declare interface BrandedNumberConstraints<B extends string> extends NumberConstraints {
+export declare interface BrandedNumberConstraints<B extends string> extends NumberConstraints {
     /** The _brand_ of the string (will generate a `__brand_${B}` type property */
     brand: B;
 }
 
 /** Constraints to validate a `string` with extra branding information. */
-declare interface BrandedStringConstraints<B extends string> extends StringConstraints {
+export declare interface BrandedStringConstraints<B extends string> extends StringConstraints {
     /** The _brand_ of the string (will generate a `__brand_${B}` type property */
     brand: B;
 }
@@ -147,7 +147,7 @@ export declare interface CombinedModifier<V extends Validator = Validator> exten
     readonly: true;
 }
 
-declare type CombineModifiers<M1 extends Modifier, M2 extends Modifier> = M1 extends ReadonlyModifier ? M2 extends ReadonlyModifier<infer V> ? ReadonlyModifier<V> : M2 extends OptionalModifier<infer V> ? CombinedModifier<V> : never : M1 extends OptionalModifier ? M2 extends ReadonlyModifier<infer V> ? CombinedModifier<V> : M2 extends OptionalModifier<infer V> ? OptionalModifier<V> : never : never;
+export declare type CombineModifiers<M1 extends Modifier, M2 extends Modifier> = M1 extends ReadonlyModifier ? M2 extends ReadonlyModifier<infer V> ? ReadonlyModifier<V> : M2 extends OptionalModifier<infer V> ? CombinedModifier<V> : never : M1 extends OptionalModifier ? M2 extends ReadonlyModifier<infer V> ? CombinedModifier<V> : M2 extends OptionalModifier<infer V> ? OptionalModifier<V> : never : never;
 
 /** Validate _constants_. */
 export declare function constant<T extends string | number | boolean | null>(constant: T): Validator<T>;
@@ -162,12 +162,12 @@ export declare class ConstantValidator<T extends string | number | boolean | nul
 /** Validate dates and convert them to `Date` instances. */
 export declare const date: typeof _date & Iterable<TupleRestParameter<Date>>;
 
-declare function _date(): DateValidator;
+export declare function _date(): DateValidator;
 
-declare function _date(constraints: DateConstraints): DateValidator;
+export declare function _date(constraints: DateConstraints): DateValidator;
 
 /** Constraints to validate a `Date` with. */
-declare interface DateConstraints {
+export declare interface DateConstraints {
     /** The format for dates, an _ISO date_ (RFC 3339) or a numeric timestamp */
     format?: 'iso' | 'timestamp';
     /** The earliest value a date can have */
@@ -192,37 +192,37 @@ export declare class DateValidator extends Validator<Date> {
  */
 export declare function getValidator(validation?: Validation): Validator;
 
-declare type InferAllOfValidationType<A extends UnionArguments> = A extends readonly [infer First, ...infer Rest] ? First extends Validation ? Rest extends UnionArguments ? InferValidation<First> & InferOneOfValidationType<Rest> : InferValidation<First> : never : never;
+export declare type InferAllOfValidationType<A extends UnionArguments> = A extends readonly [infer First, ...infer Rest] ? First extends Validation ? Rest extends UnionArguments ? InferValidation<First> & InferOneOfValidationType<Rest> : InferValidation<First> : never : never;
 
 /** Infer the type of  _read only_ **and** _optional_ `Schema` properties  */
-declare type InferCombinedModifiers<S extends Schema> = {
+export declare type InferCombinedModifiers<S extends Schema> = {
     readonly [key in keyof S as key extends string ? S[key] extends CombinedModifier ? key : never : never]?: S[key] extends CombinedModifier<infer V> ? InferValidation<V> : never;
 };
 
 /** Ensure that we properly type `never` properties */
-declare type InferNever<S extends Schema> = {
+export declare type InferNever<S extends Schema> = {
     [key in keyof S as key extends string ? S[key] extends typeof never ? key : never : never]: never;
 };
 
-declare type InferOneOfValidationType<A extends UnionArguments> = A extends readonly [infer First, ...infer Rest] ? First extends Validation ? Rest extends UnionArguments ? InferValidation<First> | InferOneOfValidationType<Rest> : InferValidation<First> : never : never;
+export declare type InferOneOfValidationType<A extends UnionArguments> = A extends readonly [infer First, ...infer Rest] ? First extends Validation ? Rest extends UnionArguments ? InferValidation<First> | InferOneOfValidationType<Rest> : InferValidation<First> : never : never;
 
 /** Infer the type of _optional_ `Schema` properties  */
-declare type InferOptionalModifiers<S extends Schema> = {
+export declare type InferOptionalModifiers<S extends Schema> = {
     [key in keyof S as key extends string ? S[key] extends ReadonlyModifier<Validator> ? never : S[key] extends OptionalModifier<Validator> ? key : never : never]?: S[key] extends OptionalModifier<infer V> ? InferValidation<V> : never;
 };
 
 /** Infer the type of _read only_ `Schema` properties  */
-declare type InferReadonlyModifiers<S extends Schema> = {
+export declare type InferReadonlyModifiers<S extends Schema> = {
     readonly [key in keyof S as key extends string ? S[key] extends OptionalModifier<Validator> ? never : S[key] extends ReadonlyModifier<Validator> ? key : never : never]: S[key] extends ReadonlyModifier<infer V> ? InferValidation<V> : never;
 };
 
 /** Infer the type of keys associated with `Validation`s */
-declare type InferRequired<S extends Schema> = {
+export declare type InferRequired<S extends Schema> = {
     [key in keyof S as key extends string ? S[key] extends Validation ? key : never : never]: S[key] extends Validation ? InferValidation<S[key]> : never;
 };
 
 /** Infer the type validated by a `Schema` */
-export declare type InferSchema<S extends Schema> = InferReadonlyModifiers<S> & InferOptionalModifiers<S> & InferCombinedModifiers<S> & (S extends AdditionalProperties<Validator<infer V>> ? Record<string, V> & InferNever<S> & InferRequired<S> : InferRequired<S>);
+export declare type InferSchema<S extends Schema> = InferReadonlyModifiers<S> & InferOptionalModifiers<S> & InferCombinedModifiers<S> & (S extends AdditionalProperties<Validator<infer V>> ? Record<string, V | undefined> & InferNever<S> & InferRequired<S> : InferRequired<S>);
 
 /**
  * Infer the type returned by a `TupleValidator` when validating an array.
@@ -254,7 +254,7 @@ export declare type InferValidation<V> = V extends Validation ? V extends {
 } ? A0 extends [] ? R0 : A1 extends [] ? R1 : A2 extends [] ? R2 : A3 extends [] ? R3 : A4 extends [] ? R4 : A5 extends [] ? R5 : A6 extends [] ? R6 : A7 extends [] ? R7 : A8 extends [] ? R8 : A9 extends [] ? R9 : never : V extends Validator<infer T> ? T : V extends Tuple ? InferTuple<V> : V extends Schema ? InferSchema<V> : V extends boolean ? V : V extends number ? V : V extends string ? V : V extends null ? V : never : never;
 
 /** Infer the type validated by a `Validation` or `TupleRestParameter` */
-declare type InferValidationOrTupleRest<T> = T extends TupleRestParameter<infer X> ? X : T extends Validation ? InferValidation<T> : never;
+export declare type InferValidationOrTupleRest<T> = T extends TupleRestParameter<infer X> ? X : T extends Validation ? InferValidation<T> : never;
 
 /** Type guard for `Modifier` instances */
 export declare function isModifier(what: any): what is Modifier<any>;
@@ -277,16 +277,16 @@ export declare const never: unique symbol;
 /** Validate `number`s. */
 export declare const number: typeof _number & Iterable<TupleRestParameter<number>>;
 
-declare function _number(): Validator<number>;
+export declare function _number(): Validator<number>;
 
-declare function _number(constraints?: NumberConstraints): NumberValidator<number>;
+export declare function _number(constraints?: NumberConstraints): NumberValidator<number>;
 
-declare function _number<N extends number>(constraints?: NumberConstraints): NumberValidator<N>;
+export declare function _number<N extends number>(constraints?: NumberConstraints): NumberValidator<N>;
 
-declare function _number<B extends string>(constraints: BrandedNumberConstraints<B>): NumberValidator<number & Branding<B>>;
+export declare function _number<B extends string>(constraints: BrandedNumberConstraints<B>): NumberValidator<number & Branding<B>>;
 
 /** Constraints to validate a `number` with. */
-declare interface NumberConstraints {
+export declare interface NumberConstraints {
     /** The value for which a `number` must be multiple of for it to be valid */
     multipleOf?: number;
     /** The _inclusive_ maximum value for a valid `number`: `value <= maximum` */
@@ -318,13 +318,13 @@ export declare class NumberValidator<N extends number = number> extends Validato
 /** Validate `object`s. */
 export declare const object: typeof _object & Iterable<TupleRestParameter<Record<string, any>>>;
 
-declare function _object(): Validator<Record<string, any>>;
+export declare function _object(): Validator<Record<string, any>>;
 
-declare function _object<S extends Schema>(schema: S): S & {
+export declare function _object<S extends Schema>(schema: S): S & {
     [Symbol.iterator](): Generator<TupleRestParameter<InferSchema<S>>>;
 };
 
-declare type ObjectProperty = {
+export declare type ObjectProperty = {
     validator: Validator;
     readonly?: true;
     optional?: true;
@@ -403,16 +403,16 @@ export declare const schemaValidator: unique symbol;
 /** Validate `string`s. */
 export declare const string: typeof _string & Iterable<TupleRestParameter<string>>;
 
-declare function _string(): Validator<string>;
+export declare function _string(): Validator<string>;
 
-declare function _string(constraints?: StringConstraints): StringValidator<string>;
+export declare function _string(constraints?: StringConstraints): StringValidator<string>;
 
-declare function _string<S extends string>(constraints?: StringConstraints): StringValidator<S>;
+export declare function _string<S extends string>(constraints?: StringConstraints): StringValidator<S>;
 
-declare function _string<B extends string>(constraints: BrandedStringConstraints<B>): StringValidator<string & Branding<B>>;
+export declare function _string<B extends string>(constraints: BrandedStringConstraints<B>): StringValidator<string & Branding<B>>;
 
 /** Constraints to validate a `string` with. */
-declare interface StringConstraints {
+export declare interface StringConstraints {
     /** The _maximum_ length of a valid `string`: `value.length <= maxLength` */
     maxLength?: number;
     /** The _minimum_ length of a valid `string`: `value.length >= minLength` */
@@ -433,7 +433,17 @@ export declare class StringValidator<S extends string = string> extends Validato
 
 /**
  * Validate a _value_ using the specified `Validation`, automatically stripping
- * additional properties (but not forbidden ones).
+ * additional properties and optional `null`s (but not forbidden ones).
+ *
+ * This is equivalent to:
+ *
+ * ```
+ * validate(validation, value, {
+ *   stripAdditionalProperties: true,
+ *   stripForbiddenProperties: false,
+ *   stripOptionalNulls: true,
+ * })
+ * ```
  */
 export declare function strip<V extends Validation>(validation: V, value: any, options?: ValidateOptions): InferValidation<V>;
 
@@ -445,7 +455,7 @@ export declare type Tuple = readonly (Validation | TupleRestParameter)[];
 /** Validate _tuples_. */
 export declare function tuple<T extends Tuple>(tuple: T): Validator<InferTuple<T>>;
 
-declare interface TupleMember {
+export declare interface TupleMember {
     single: boolean;
     validator: Validator;
 }
@@ -475,17 +485,17 @@ export declare class TupleValidator<T extends Tuple> extends Validator<InferTupl
     validate(value: unknown, options: ValidationOptions): InferTuple<T>;
 }
 
-declare type UnionArguments = readonly [Validation, ...Validation[]];
+export declare type UnionArguments = readonly [Validation, ...Validation[]];
 
 /** Validate URLs and convert them to `URL` instances. */
 export declare const url: typeof _url & Iterable<TupleRestParameter<URL>>;
 
-declare function _url(): URLValidator;
+export declare function _url(): URLValidator;
 
-declare function _url(constraints: URLConstraints): URLValidator;
+export declare function _url(constraints: URLConstraints): URLValidator;
 
 /** Constraints to validate a `URL` with. */
-declare interface URLConstraints {
+export declare interface URLConstraints {
     /** Constraint to validate the `href` component of the `URL`. */
     href?: string | Validator<string>;
     /** Constraint to validate the `origin` component of the `URL`. */
@@ -606,7 +616,7 @@ export declare class ValidationErrorBuilder {
     assert<T>(value: T): T;
 }
 
-declare type ValidationErrors = {
+export declare type ValidationErrors = {
     path: (string | number)[];
     message: string;
 }[];
@@ -617,6 +627,8 @@ declare type ValidationErrors = {
 export declare interface ValidationOptions {
     /** Strip additional, undeclared properties from objects */
     readonly stripAdditionalProperties: boolean;
+    /** Strip `null`s from an object when associated with an optional key */
+    readonly stripOptionalNulls: boolean;
     /** Ignore and strip forbidden (`never`) properties from objects */
     readonly stripForbiddenProperties: boolean;
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "justus",
-  "version": "0.0.4",
+  "version": "0.0.7",
   "description": "A JavaScript validation library, with types!",
   "main": "./dist/index.js",
   "module": "./dist/index.mjs",
@@ -17,28 +17,28 @@
   "types": "./index.d.ts",
   "scripts": {
     "build": "./build.sh",
-    "dev": "nodemon -e ts -x build.sh -w src -w test -w test-d",
+    "dev": "nodemon -e ts -x ./build.sh -w src -w test -w test-d",
     "lint": "eslint src test test-d",
     "prepare": "patch -N -p0 -i .nyc.patch || true"
   },
   "author": "Juit Developers <developers@juit.com>",
   "license": "MIT",
   "devDependencies": {
-    "@microsoft/api-extractor": "^7.19.4",
+    "@microsoft/api-extractor": "^7.20.0",
     "@types/chai": "^4.3.0",
     "@types/mocha": "^9.1.0",
-    "@types/node": "~16.11.24",
-    "@typescript-eslint/eslint-plugin": "^5.11.0",
-    "@typescript-eslint/parser": "^5.11.0",
+    "@types/node": "~16.11.26",
+    "@typescript-eslint/eslint-plugin": "^5.17.0",
+    "@typescript-eslint/parser": "^5.17.0",
     "chai": "^4.3.6",
-    "esbuild": "^0.14.21",
-    "eslint": "^8.9.0",
+    "esbuild": "^0.14.29",
+    "eslint": "^8.12.0",
     "eslint-config-google": "^0.14.0",
-    "mocha": "^9.2.0",
+    "mocha": "^9.2.2",
     "nodemon": "^2.0.15",
     "nyc": "^15.1.0",
     "tsd": "^0.19.1",
-    "typescript": "^4.5.5"
+    "typescript": "^4.6.3"
   },
   "directories": {
     "test": "test"

package/src/dts-generator.ts

@@ -122,6 +122,7 @@ const booleanType = ts.factory.createKeywordTypeNode(ts.SyntaxKind.BooleanKeywor
 const numberType = ts.factory.createKeywordTypeNode(ts.SyntaxKind.NumberKeyword)
 const neverType = ts.factory.createKeywordTypeNode(ts.SyntaxKind.NeverKeyword)
 const stringType = ts.factory.createKeywordTypeNode(ts.SyntaxKind.StringKeyword)
+const undefinedType = ts.factory.createKeywordTypeNode(ts.SyntaxKind.UndefinedKeyword)
 const recordType = ts.factory.createMappedTypeNode(
     undefined, // readonly
     ts.factory.createTypeParameterDeclaration('key', stringType),
@@ -258,12 +259,15 @@ registerTypeGenerator(ObjectValidator, (validator, references) => {
   }
 
   if (validator.additionalProperties) {
+    const propertyType = generateTypeNode(validator.additionalProperties, references)
+    const optionalPropertyType = ts.factory.createUnionTypeNode([ propertyType, undefinedType ])
+
     const extra = ts.factory.createMappedTypeNode(
         undefined, // readonly
         ts.factory.createTypeParameterDeclaration('key', stringType),
         undefined, // name type
         undefined, // question token
-        generateTypeNode(validator.additionalProperties, references),
+        optionalPropertyType, // (type | undefined)
         undefined) // members
 
     if (properties.length == 0) return extra

package/src/errors.ts

@@ -1,4 +1,4 @@
-type ValidationErrors = { path: (string | number)[], message: string }[]
+export type ValidationErrors = { path: (string | number)[], message: string }[]
 
 /** Combine the components of a _path_ into a human readable string */
 function pathToString(path: (string | number)[]): string {

package/src/index.ts

@@ -9,17 +9,17 @@ export * from './types'
 export * from './utilities'
 
 // Validators
-export { allOf, oneOf, AllOfValidator, OneOfValidator } from './validators/union'
+export { allOf, oneOf, AllOfValidator, InferAllOfValidationType, InferOneOfValidationType, OneOfValidator, UnionArguments } from './validators/union'
 export { any, AnyValidator } from './validators/any'
-export { array, arrayOf, AnyArrayValidator, ArrayValidator } from './validators/array'
+export { _array, array, arrayOf, AnyArrayValidator, ArrayConstraints, ArrayValidator } from './validators/array'
 export { boolean, BooleanValidator } from './validators/boolean'
 export { constant, ConstantValidator } from './validators/constant'
-export { date, DateValidator } from './validators/date'
-export { number, AnyNumberValidator, NumberValidator } from './validators/number'
-export { object, AnyObjectValidator, ObjectValidator } from './validators/object'
-export { string, AnyStringValidator, StringValidator } from './validators/string'
-export { tuple, TupleValidator } from './validators/tuple'
-export { url, URLValidator } from './validators/url'
+export { _date, date, DateConstraints, DateValidator } from './validators/date'
+export { _number, number, AnyNumberValidator, BrandedNumberConstraints, NumberConstraints, NumberValidator } from './validators/number'
+export { _object, object, AnyObjectValidator, ObjectProperty, ObjectValidator } from './validators/object'
+export { _string, string, AnyStringValidator, BrandedStringConstraints, StringConstraints, StringValidator } from './validators/string'
+export { tuple, TupleMember, TupleValidator } from './validators/tuple'
+export { _url, url, URLConstraints, URLValidator } from './validators/url'
 
 /* ========================================================================== *
  * VALIDATE FUNCTION (our main entry point)                                   *
@@ -47,6 +47,7 @@ export function validate<V extends Validation>(
   const opts: ValidationOptions = {
     stripAdditionalProperties: false,
     stripForbiddenProperties: false,
+    stripOptionalNulls: false,
     ...options,
   }
 
@@ -55,7 +56,17 @@ export function validate<V extends Validation>(
 
 /**
  * Validate a _value_ using the specified `Validation`, automatically stripping
- * additional properties (but not forbidden ones).
+ * additional properties and optional `null`s (but not forbidden ones).
+ *
+ * This is equivalent to:
+ *
+ * ```
+ * validate(validation, value, {
+ *   stripAdditionalProperties: true,
+ *   stripForbiddenProperties: false,
+ *   stripOptionalNulls: true,
+ * })
+ * ```
  */
 export function strip<V extends Validation>(
     validation: V,
@@ -65,6 +76,7 @@ export function strip<V extends Validation>(
   const opts: ValidationOptions = {
     stripAdditionalProperties: true,
     stripForbiddenProperties: false,
+    stripOptionalNulls: true,
     ...options,
   }
 

package/src/schema.ts

@@ -19,12 +19,12 @@ import {
  * ========================================================================== */
 
 /** Internal definition of `allowAdditionalProperties(...)` */
-function _allowAdditionalProperties(): AdditionalProperties<Validator<any>>
-function _allowAdditionalProperties(allow: true): AdditionalProperties<Validator<any>>
-function _allowAdditionalProperties(allow: false): AdditionalProperties<false>
-function _allowAdditionalProperties<V extends Validation>(validation: V): AdditionalProperties<Validator<InferValidation<V>>>
+export function _allowAdditionalProperties(): AdditionalProperties<Validator<any>>
+export function _allowAdditionalProperties(allow: true): AdditionalProperties<Validator<any>>
+export function _allowAdditionalProperties(allow: false): AdditionalProperties<false>
+export function _allowAdditionalProperties<V extends Validation>(validation: V): AdditionalProperties<Validator<InferValidation<V>>>
 
-function _allowAdditionalProperties(options?: Validation | boolean): AdditionalProperties<Validator | false> {
+export function _allowAdditionalProperties(options?: Validation | boolean): AdditionalProperties<Validator | false> {
   if (options === false) return { [additionalValidator]: false }
   if (options === true) return { [additionalValidator]: any }
 
@@ -49,7 +49,7 @@ allowAdditionalProperties[additionalValidator] = any
  * SCHEMA KEYS MODIFIERS                                                      *
  * ========================================================================== */
 
-type CombineModifiers<M1 extends Modifier, M2 extends Modifier> =
+export type CombineModifiers<M1 extends Modifier, M2 extends Modifier> =
   M1 extends ReadonlyModifier ?
     M2 extends ReadonlyModifier<infer V> ? ReadonlyModifier<V> :
     M2 extends OptionalModifier<infer V> ? CombinedModifier<V> :

package/src/types.ts

@@ -27,6 +27,8 @@ export const never = Symbol.for('justus.never')
 export interface ValidationOptions {
   /** Strip additional, undeclared properties from objects */
   readonly stripAdditionalProperties: boolean,
+  /** Strip `null`s from an object when associated with an optional key */
+  readonly stripOptionalNulls: boolean,
   /** Ignore and strip forbidden (`never`) properties from objects */
   readonly stripForbiddenProperties: boolean,
 }
@@ -115,7 +117,7 @@ export type InferValidation<V> =
  * ========================================================================== */
 
 /** Infer the type validated by a `Validation` or `TupleRestParameter` */
-type InferValidationOrTupleRest<T> =
+export type InferValidationOrTupleRest<T> =
   T extends TupleRestParameter<infer X> ? X :
   T extends Validation ? InferValidation<T> :
   never
@@ -229,7 +231,7 @@ export type InferSchema<S extends Schema> =
   InferOptionalModifiers<S> &
   InferCombinedModifiers<S> &
   ( S extends AdditionalProperties<Validator<infer V>> ?
-      Record<string, V> &
+      Record<string, V | undefined> &
       InferNever<S> &
       InferRequired<S> :
     InferRequired<S> )
@@ -237,7 +239,7 @@ export type InferSchema<S extends Schema> =
 /* -------------------------------------------------------------------------- */
 
 /** Infer the type of keys associated with `Validation`s */
-type InferRequired<S extends Schema> = {
+export type InferRequired<S extends Schema> = {
   [ key in keyof S as
       key extends string ?
         S[key] extends Validation ? key :
@@ -251,7 +253,7 @@ type InferRequired<S extends Schema> = {
 /* -------------------------------------------------------------------------- */
 
 /** Infer the type of _read only_ `Schema` properties  */
-type InferReadonlyModifiers<S extends Schema> = {
+export type InferReadonlyModifiers<S extends Schema> = {
   readonly [ key in keyof S as
     key extends string ?
       S[key] extends OptionalModifier<Validator> ? never :
@@ -263,7 +265,7 @@ type InferReadonlyModifiers<S extends Schema> = {
 }
 
 /** Infer the type of _optional_ `Schema` properties  */
-type InferOptionalModifiers<S extends Schema> = {
+export type InferOptionalModifiers<S extends Schema> = {
   [ key in keyof S as
     key extends string ?
       S[key] extends ReadonlyModifier<Validator> ? never :
@@ -275,7 +277,7 @@ type InferOptionalModifiers<S extends Schema> = {
 }
 
 /** Infer the type of  _read only_ **and** _optional_ `Schema` properties  */
-type InferCombinedModifiers<S extends Schema> = {
+export type InferCombinedModifiers<S extends Schema> = {
   readonly [ key in keyof S as
     key extends string ?
       S[key] extends CombinedModifier ? key :
@@ -288,7 +290,7 @@ type InferCombinedModifiers<S extends Schema> = {
 /* -------------------------------------------------------------------------- */
 
 /** Ensure that we properly type `never` properties */
-type InferNever<S extends Schema> =
+export type InferNever<S extends Schema> =
   { [ key in keyof S as
       key extends string ?
         S[key] extends typeof never ? key :

package/src/validators/array.ts

@@ -91,10 +91,10 @@ const anyArrayValidator = new AnyArrayValidator()
 
 /* -------------------------------------------------------------------------- */
 
-function _array(): Validator<any[]>
-function _array<V extends Validation>(constraints: ArrayConstraints<V>): ArrayValidator<InferValidation<V>>
+export function _array(): Validator<any[]>
+export function _array<V extends Validation>(constraints: ArrayConstraints<V>): ArrayValidator<InferValidation<V>>
 
-function _array(options?: ArrayConstraints<Validation>): Validator<any[]> {
+export function _array(options?: ArrayConstraints<Validation>): Validator<any[]> {
   if (! options) return anyArrayValidator
 
   const items = getValidator(options.items)

package/src/validators/date.ts

@@ -67,10 +67,10 @@ export class DateValidator extends Validator<Date> {
 
 const anyDateValidator = new DateValidator()
 
-function _date(): DateValidator
-function _date(constraints: DateConstraints): DateValidator
+export function _date(): DateValidator
+export function _date(constraints: DateConstraints): DateValidator
 
-function _date(constraints?: DateConstraints): DateValidator {
+export function _date(constraints?: DateConstraints): DateValidator {
   return constraints ? new DateValidator(constraints) : anyDateValidator
 }
 

package/src/validators/number.ts

@@ -150,12 +150,12 @@ export class NumberValidator<N extends number = number> extends Validator<N> {
 
 const anyNumberValidator = new AnyNumberValidator()
 
-function _number(): Validator<number>
-function _number(constraints?: NumberConstraints): NumberValidator<number>
-function _number<N extends number>(constraints?: NumberConstraints): NumberValidator<N>
-function _number<B extends string>(constraints: BrandedNumberConstraints<B>): NumberValidator<number & Branding<B>>
+export function _number(): Validator<number>
+export function _number(constraints?: NumberConstraints): NumberValidator<number>
+export function _number<N extends number>(constraints?: NumberConstraints): NumberValidator<N>
+export function _number<B extends string>(constraints: BrandedNumberConstraints<B>): NumberValidator<number & Branding<B>>
 
-function _number(constraints?: NumberConstraints): Validator<number> {
+export function _number(constraints?: NumberConstraints): Validator<number> {
   return constraints ? new NumberValidator(constraints) : anyNumberValidator
 }
 

package/src/validators/object.ts

@@ -19,7 +19,7 @@ import { makeTupleRestIterable } from './tuple'
  * OBJECT VALIDATOR                                                           *
  * ========================================================================== */
 
-type ObjectProperty = {
+export type ObjectProperty = {
   validator: Validator,
   readonly?: true,
   optional?: true,
@@ -70,6 +70,8 @@ export class ObjectValidator<S extends Schema> extends Validator<InferSchema<S>>
     assertValidation(typeof value === 'object', 'Value is not an "object"')
     assertValidation(value !== null, 'Value is "null"')
 
+    const { stripAdditionalProperties, stripForbiddenProperties, stripOptionalNulls } = options
+
     const record: { [ k in string | number | symbol ]?: unknown } = value
     const builder = new ValidationErrorBuilder()
     const clone: Record<string, any> = {}
@@ -80,7 +82,7 @@ export class ObjectValidator<S extends Schema> extends Validator<InferSchema<S>>
       // no validator? this is "never" (forbidden)
       if (! validator) {
         if (record[key] === undefined) continue
-        if (options.stripForbiddenProperties) continue
+        if (stripForbiddenProperties) continue
         builder.record('Forbidden property', key)
         continue
       }
@@ -91,6 +93,11 @@ export class ObjectValidator<S extends Schema> extends Validator<InferSchema<S>>
         continue
       }
 
+      // strip any optional "null" value if told to do so
+      if (stripOptionalNulls && optional && (record[key] === null)) {
+        continue
+      }
+
       // all the rest gets validated normally
       try {
         clone[key] = validator.validate(record[key], options)
@@ -111,7 +118,7 @@ export class ObjectValidator<S extends Schema> extends Validator<InferSchema<S>>
           builder.record(error, key)
         }
       })
-    } else if (! options.stripAdditionalProperties) {
+    } else if (! stripAdditionalProperties) {
       additionalKeys.forEach((key) => {
         if (record[key] !== undefined) builder.record('Unknown property', key)
       })
@@ -123,11 +130,11 @@ export class ObjectValidator<S extends Schema> extends Validator<InferSchema<S>>
 
 const anyObjectValidator = new AnyObjectValidator()
 
-function _object(): Validator<Record<string, any>>
-function _object<S extends Schema>(schema: S): S & {
+export function _object(): Validator<Record<string, any>>
+export function _object<S extends Schema>(schema: S): S & {
   [Symbol.iterator](): Generator<TupleRestParameter<InferSchema<S>>>
 }
-function _object(schema?: Schema): Validator<Record<string, any>> | Schema {
+export function _object(schema?: Schema): Validator<Record<string, any>> | Schema {
   if (! schema) return anyObjectValidator
 
   const validator = new ObjectValidator(schema)

package/src/validators/string.ts

@@ -71,12 +71,12 @@ export class StringValidator<S extends string = string> extends Validator<S> {
 
 const anyStringValidator = new AnyStringValidator()
 
-function _string(): Validator<string>
-function _string(constraints?: StringConstraints): StringValidator<string>
-function _string<S extends string>(constraints?: StringConstraints): StringValidator<S>
-function _string<B extends string>(constraints: BrandedStringConstraints<B>): StringValidator<string & Branding<B>>
+export function _string(): Validator<string>
+export function _string(constraints?: StringConstraints): StringValidator<string>
+export function _string<S extends string>(constraints?: StringConstraints): StringValidator<S>
+export function _string<B extends string>(constraints: BrandedStringConstraints<B>): StringValidator<string & Branding<B>>
 
-function _string(constraints?: StringConstraints): Validator<string> {
+export function _string(constraints?: StringConstraints): Validator<string> {
   return constraints ? new StringValidator(constraints) : anyStringValidator
 }
 

package/src/validators/tuple.ts

@@ -4,7 +4,7 @@ import { assertValidation, ValidationError } from '../errors'
 import { getValidator } from '../utilities'
 import { nullValidator } from './constant'
 
-interface TupleMember { single: boolean, validator: Validator }
+export interface TupleMember { single: boolean, validator: Validator }
 
 /** A `Validator` for _tuples_. */
 export class TupleValidator<T extends Tuple> extends Validator<InferTuple<T>> {