Type Alias Validator<T>

Validator: (value: T) => Optional<Trace>

Value validator.

Maps a value to the Trace possibly reporting the violations it incurs.

Type Parameters

T
The type of the validated value

Type Declaration

- (value: T): Optional<Trace>
- Parameters
  - value: T
  Returns Optional<Trace>