UNPKG

@typed/io

Version:

Runtime IO type system

3 lines 271 B
import { DecodeEffect, Decoder, TypeOf } from './Decoder'; export declare const refinement: <A extends Decoder<any>, B extends TypeOf<A>>(decoder: A, refined: (value: TypeOf<A>) => DecodeEffect<B>, expected: string) => Decoder<B>; //# sourceMappingURL=refinement.d.ts.map