MutableInOut
Namespace: Gjallarhorn.Interaction
Parent Module: IO
Creates input/output handles that directly mutate an input IMutatable
Functions and values
| Function or value | Description |
convertedValidated (...)
Signature: conversion:('?7666 -> '?7667) -> validation:Validation<'?7667,'?7666> -> mutatable:IMutatable<'?7666> -> MutatableInOut<'?7666,'?7667>
Type parameters: '?7666, '?7667 |
Create a simple input handle which pipes from the signal to conversion, user, validates to output, writes back to mutable |
validated validation mutatable
Signature: validation:Validation<'a,'a> -> mutatable:IMutatable<'a> -> MutatableInOut<'a,'a>
Type parameters: 'a |
Create a simple input handle which pipes from the signal to user, validates to output, writes back to mutable |
