UNPKG
@typed/io
Version:
latest (1.2.0)
1.2.0
1.1.2
1.1.1
1.1.0
1.0.0
Runtime IO type system
@typed/io
/
esm
/
decoder
/
refinement.d.ts
3 lines
•
271 B
TypeScript
View Raw
1
2
3
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