Variables
Const validate
validate
: { <A, B, C>
(error
: A, match
: Match<B, C>, value
: B): Validation<A, C>; <A, B, C>
(error
: A, match
: Match<B, C>): (value
: B) => Validation<A, C>; <A>
(error
: A): { <B, C>
(match
: Match<B, C>, value
: B): Validation<A, C>; <B, C>
(match
: Match<B, C>): (value
: B) => Validation<A, C> } } = curry(__validate) as {<A, B, C>(error: A, match: Match<B, C>, value: B): Validation<A, C><A, B, C>(error: A, match: Match<B, C>): (value: B) => Validation<A, C><A>(error: A): {<B, C>(match: Match<B, C>, value: B): Validation<A, C><B, C>(match: Match<B, C>): (value: B) => Validation<A, C>}}
Type declaration
-
- <A, B, C>(error: A, match: Match<B, C>, value: B): Validation<A, C>
- <A, B, C>(error: A, match: Match<B, C>): (value: B) => Validation<A, C>
- <A>(error: A): { <B, C>(match: Match<B, C>, value: B): Validation<A, C>; <B, C>(match: Match<B, C>): (value: B) => Validation<A, C> }
-
Type parameters
Parameters
-
error: A
-
match: Match<B, C>
-
value: B
-
Type parameters
Parameters
-
error: A
-
match: Match<B, C>
Returns (value: B) => Validation<A, C>
-
Type parameters
Parameters
Returns { <B, C>(match: Match<B, C>, value: B): Validation<A, C>; <B, C>(match: Match<B, C>): (value: B) => Validation<A, C> }
-
- <B, C>(match: Match<B, C>, value: B): Validation<A, C>
- <B, C>(match: Match<B, C>): (value: B) => Validation<A, C>
-
Type parameters
Parameters
-
match: Match<B, C>
-
value: B
-
Type parameters
Parameters
Returns (value: B) => Validation<A, C>
Functions
concat
-
Type parameters
Parameters
-
Rest ...validations: ReadonlyArray<Validation<A, B>>
@typed/validation
A data structure, built atop @typed/either for capturing more than one error.