InOut
Namespace: Gjallarhorn.Interaction
Parent Module: IO
Creates input/output handles
Functions and values
| Function or value | Description |
converted conversion signal
Signature: conversion:('a -> 'b) -> signal:ISignal<'a> -> InOut<'a,'b>
Type parameters: 'a, 'b |
Create a simple input handle which pipes from the signal to conversion, to user, to output |
convertedValidated (...)
Signature: conversion:('?7659 -> '?7660) -> validation:Validation<'?7660,'?7661> -> signal:ISignal<'?7659> -> ValidatedInOut<'?7659,'?7660,'?7661>
Type parameters: '?7659, '?7660, '?7661 |
Create a simple input handle which pipes from the signal to conversion, to user, validates to output |
create signal
Signature: signal:ISignal<'a> -> InOut<'a,'a>
Type parameters: 'a |
Create a simple input handle which pipes from the signal to user, to output |
validated validation signal
Signature: validation:Validation<'?7656,'?7657> -> signal:ISignal<'?7656> -> ValidatedInOut<'?7656,'?7656,'?7657>
Type parameters: '?7656, '?7657 |
Create a simple input handle which pipes from the signal to user, validates to output |
