import { not } from "https://deno.land/x/ok_computer@v2.0.2/mod.ts";
type
<ValidType, Err>(validator: Validator<unknown, Err>) => Validator<ValidType, NegateError<Err>>
Module
λ "Functions all the way down" data validation for JavaScript and TypeScript.
mod.ts (default module)
I
I
T
T
T
T
T
T
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
errors.ts
c
c
c
c
c
c
c
I
v
v
v
ok-computer.ts
I
I
T
T
T
T
T
T
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f