io-ts-extra
Version:
Adds pattern matching, optional properties, and several other helpers and types, to io-ts.
83 lines (79 loc) • 3 kB
text/typescript
import * as t from 'io-ts'
import {RichError, funcLabel} from './util'
import * as Either from 'fp-ts/lib/Either'
import {pipe} from 'fp-ts/lib/pipeable'
export type Decoder<A, O = A, I = unknown> = Omit<t.Type<A, O, I>, 'encode'>
// prettier-ignore
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 const mapper: Mapper = <From, To>(
from: t.Type<From>,
to: t.Type<To>,
map: (f: From) => To,
unmap: (t: To) => From = RichError.thrower('unmapper/encoder not implemented')
) => {
const fail = (s: From, c: t.Context, info: string) =>
t.failure<To>(s, c.concat([{key: `decoder [${funcLabel(map)}]: ${info}`, type: to}]))
const piped = from.pipe(
new t.Type<To, From, From>(
to.name,
to.is,
(s, c) =>
pipe(
Either.tryCatch(
() => map(s),
err => `error thrown decoding: [${err}]`
),
Either.fold(
e => fail(s, c, e),
value => to.validate(value, c)
)
),
unmap
),
`${from.name} |> ${funcLabel(map)} |> ${to.name}`
) as any
return Object.assign(piped, {from, to})
}
/**
* 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 const parser = <ToO, ToA extends ToO | t.Branded<ToO, any>>(
type: t.Type<ToA, ToO>,
decode: (value: string) => ToO,
encode: (value: ToA) => string = String
): t.Type<ToA, string> & {from: string; to: ToA} => mapper(t.string, type, decode, encode)