UNPKG

@typed/io

Version:

Runtime IO type system

4 lines • 225 B
1
2
3
4
import { Refinement } from '@typed/lambda'; import { Guard } from './Guard'; export declare function refinement<A, B extends A>(from: Guard<A>, refinement: Refinement<A, B>): Guard<B>; //# sourceMappingURL=refinement.d.ts.map