( >=> ) s1 s2
Signature: s1:('?8033 -> Either<'?8034,'?8035>) -> s2:('?8034 -> Either<'?8036,'?8035>) -> '?8033 -> Either<'?8036,'?8035>
Type parameters: '?8033, '?8034, '?8035, '?8036
|
compose two switches into another switch
CompiledName: op_GreaterEqualsGreater
|
( >>= ) x f
Signature: x:Either<'?8029,'?8030> -> f:('?8029 -> Either<'?8031,'?8030>) -> Either<'?8031,'?8030>
Type parameters: '?8029, '?8030, '?8031
|
pipe a two-track value into a switch function
CompiledName: op_GreaterGreaterEquals
|
bind f
Signature: f:('a -> Either<'b,'c>) -> Either<'a,'c> -> Either<'b,'c>
Type parameters: 'a, 'b, 'c
|
convert a switch function into a two-track function
|
doubleMap successFunc failureFunc
Signature: successFunc:('?8052 -> '?8053) -> failureFunc:('?8054 -> '?8055) -> Either<'?8052,'?8054> -> Either<'?8053,'?8055>
Type parameters: '?8052, '?8053, '?8054, '?8055
|
convert two one-track functions into a two-track function
|
either (...)
Signature: successFunc:('a -> 'b) -> failureFunc:('c -> 'b) -> twoTrackInput:Either<'a,'c> -> 'b
Type parameters: 'a, 'b, 'c
|
apply either a success function or failure function
|
fail x
Signature: x:'a -> Either<'b,'a>
Type parameters: 'a, 'b
|
convert a single value into a two-track result
|
map f
Signature: f:('?8042 -> '?8043) -> Either<'?8042,'?8044> -> Either<'?8043,'?8044>
Type parameters: '?8042, '?8043, '?8044
|
convert a one-track function into a two-track function
|
plus (...)
Signature: addSuccess:('?8057 -> '?8058 -> '?8059) -> addFailure:('?8060 -> '?8060 -> '?8060) -> switch1:('?8061 -> Either<'?8057,'?8060>) -> switch2:('?8061 -> Either<'?8058,'?8060>) -> x:'?8061 -> Either<'?8059,'?8060>
Type parameters: '?8057, '?8058, '?8059, '?8060, '?8061
|
add two switches in parallel
|
succeed x
Signature: x:'a -> Either<'a,'b>
Type parameters: 'a, 'b
|
convert a single value into a two-track result
|
switch f
Signature: f:('?8038 -> '?8039) -> '?8038 -> Either<'?8039,'?8040>
Type parameters: '?8038, '?8039, '?8040
|
convert a one-track function into a switch
|
tee f x
Signature: f:('?8046 -> unit) -> x:'?8046 -> '?8046
Type parameters: '?8046
|
convert a dead-end function into a one-track function
|
tryCatch f exnHandler x
Signature: f:('a -> 'b) -> exnHandler:(exn -> 'c) -> x:'a -> Either<'b,'c>
Type parameters: 'a, 'b, 'c
|
convert a one-track function into a switch with exception handling
|