|
|
create a new unsuccessful value
-
x
:
Error
-
Returns:
SocketOp<'a>
|
|
|
Bind the result successful result of the SocketOp to fCont
-
fCont
:
'a -> SocketOp<'b>
-
value
:
SocketOp<'a>
-
Returns:
SocketOp<'b>
|
|
|
Bind the error result of the SocketOp to fCont
-
fCont
:
Error -> SocketOp<'a>
-
value
:
SocketOp<'a>
-
Returns:
SocketOp<'a>
|
|
|
Map f over the contained successful value in SocketOp
-
f
:
'a -> 'b
-
value
:
SocketOp<'a>
-
Returns:
SocketOp<'b>
|
|
|
Map f over the error value in SocketOp
-
f
:
Error -> Error
-
value
:
SocketOp<'a>
-
Returns:
SocketOp<'a>
|
|
|
create a new successful value
-
x
:
'T
-
Returns:
SocketOp<'T>
|
|
|
lift a Async<'a> type to the SocketOp
-
a
:
Async<'a>
-
Returns:
SocketOp<'a>
|
|
|
Convert Task-based to ValueTask-based SocketOp
-
value
:
Task<Result<'a, Error>>
-
Returns:
SocketOp<'a>
|
|
|
says that something is wrong with the input on a protocol level and that
it's therefore a bad request (user input error) -- the error already present
is overwritten with the errorMsg parameter.
-
arg0
:
int option
-
arg1
:
string
-
_arg1
:
Choice<'a, 'b>
-
Returns:
SocketOp<'a>
|
|
|
same as the above, but let's you do something with the existing error message
through the callback function passed
-
fErrorMsg
:
string -> int option * string
-
_arg1
:
Result<'a, string>
-
Returns:
SocketOp<'a>
|
|
|
Convert ValueTask-based SocketOp to Task-based for compatibility
-
value
:
SocketOp<'a>
-
Returns:
Task<Result<'a, Error>>
|