UNPKG

io-ts-extra

Version:

Adds pattern matching, optional properties, and several other helpers and types, to io-ts.

54 lines 2.15 kB
import * as t from 'io-ts'; export declare type Decoder<A, O = A, I = unknown> = Omit<t.Type<A, O, I>, 'encode'>; interface Mapper { <From, ToO, ToA extends ToO | t.Branded<ToO, any>>(from: t.Type<From>, to: t.Type<ToA, ToO>, map: (f: From) => ToO): Decoder<ToA, From> & { from: From; to: ToA; }; <From, ToO, ToA extends ToO | t.Branded<ToO, any>>(from: t.Type<From>, to: t.Type<ToA, ToO>, map: (f: From) => ToO, unmap: (t: ToA) => From): t.Type<ToA, From> & { from: From; to: ToA; }; } /** * A helper for building "parser-decoder" types - that is, types that validate an input, * transform it into another type, and then validate the target type. * * @example * const StringsFromMixedArray = mapper( * t.array(t.any), * t.array(t.string), * mixedArray => mixedArray.filter(value => typeof value === 'string') * ) * StringsFromMixedArray.decode(['a', 1, 'b', 2]) // right(['a', 'b']) * StringsFromMixedArray.decode('not an array') // left(...) * * @see parser * * @param from the expected type of input value * @param to the expected type of the decoded value * @param map transform (decode) a `from` type to a `to` type * @param unmap transfrom a `to` type back to a `from` type */ export declare const mapper: Mapper; /** * A helper for parsing strings into other types. A wrapper around `mapper` where the `from` type is `t.string`. * @see mapper * * @example * const IntFromString = parser(t.Int, parseFloat) * IntFromString.decode('123') // right(123) * IntFromString.decode('123.4') // left(...) * IntFromString.decode('not a number') // left(...) * IntFromString.decode(123) // left(...) * * @param type the target type * @param decode transform a string into the target type * @param encode transform the target type back into a string */ export declare const parser: <ToO, ToA extends ToO | t.Branded<ToO, any>>(type: t.Type<ToA, ToO, unknown>, decode: (value: string) => ToO, encode?: (value: ToA) => string) => t.Type<ToA, string, unknown> & { from: string; to: ToA; }; export {}; //# sourceMappingURL=mapper.d.ts.map