UNPKG

@typed/io

Version:

Runtime IO type system

4 lines • 326 B
1
2
3
4
import { Refinement } from '@typed/lambda'; import { Any, Type } from './Type'; export declare function refinement<A extends Any, B extends Type.Of<A>>(type: A, refinementF: Refinement<Type.Of<A>, B>, name?: string): Type<B, Type.Encoding<A> extends Type.Of<A> ? B : Type.Encoding<A>>; //# sourceMappingURL=refinement.d.ts.map