Compose io-ts Codecs

io-ts-compose.ts

export const compose = <Name extends string, I2, A extends I2, B, I1, O1>(
  name: Name,
  Codec1: t.Type<A, O1, I1>,
  Codec2: t.Type<B, A, I2>
): t.Type<B, O1, I1> => {
  return new t.Type<B, O1, I1>(
    name,
    (u): u is B => Codec2.is(u),
    (a, c) =>
      pipe(
        a,
        (a) => Codec1.validate(a, c),
        chain((b) => Codec2.validate(b, c))
      ),
    (b) => pipe(b, Codec2.encode, Codec1.encode)
  );
};