Gjallarhorn


ValidatedInOut<'a, 'b, 'c>

Namespace: Gjallarhorn.Interaction

Used as an input and output mapping with validation to report and fetch data from a user

Constructors

ConstructorDescription
new(input, conversion, validation)
Signature: (input:ISignal<'a> * conversion:('a -> 'b) * validation:Validation<'b,'c>) -> ValidatedInOut<'a,'b,'c>

CompiledName: .ctor

Instance members

Instance memberDescription
Output
Signature: IValidatedSignal<'b,'c>

The validated output data from the user interaction

CompiledName: get_Output

Fork me on GitHub