ChoiceJob
Namespace: Hopac.Plus.Extensions
Functions and values
| Function or value | Description |
bind x2ayCJ xyCJ
Signature: x2ayCJ:('x -> '?7314) -> xyCJ:Job<Choice<'x,'y>> -> Job<Choice<'a,'y>>
Type parameters: 'x, '?7314, 'a, 'y |
|
bindChoice x2ayC xyCJ
Signature: x2ayC:('x -> Choice<'a,'y>) -> xyCJ:Job<Choice<'x,'y>> -> Job<Choice<'a,'y>>
Type parameters: 'x, 'a, 'y |
|
bindJob x2aJ xyCJ
Signature: x2aJ:('x -> '?7319) -> xyCJ:Job<Choice<'x,'y>> -> Job<Choice<'a,'y>>
Type parameters: 'x, '?7319, 'a, 'y |
|
bindLeft y2xbCJ xyCJ
Signature: y2xbCJ:('y -> '?7332) -> xyCJ:Job<Choice<'x,'y>> -> Job<Choice<'x,'b>>
Type parameters: 'y, '?7332, 'x, 'b |
|
bindLeftChoice y2xbC xyCJ
Signature: y2xbC:('y -> Choice<'x,'b>) -> xyCJ:Job<Choice<'x,'y>> -> Job<Choice<'x,'b>>
Type parameters: 'y, 'x, 'b |
|
bindLeftJob y2bJ xyCJ
Signature: y2bJ:('y -> '?7337) -> xyCJ:Job<Choice<'x,'y>> -> Job<Choice<'x,'b>>
Type parameters: 'y, '?7337, 'b, 'x |
|
create x
Signature: x:'x -> Job<Choice<'x,'y>>
Type parameters: 'x, 'y |
|
createLeft y
Signature: y:'y -> Job<Choice<'x,'y>>
Type parameters: 'y, 'x |
|
fold x2t y2t xyCJ
Signature: x2t:('x -> 't) -> y2t:('y -> 't) -> xyCJ:Job<Choice<'x,'y>> -> Job<'t>
Type parameters: 'x, 't, 'y |
|
foldJob x2tJ y2t xyCJ
Signature: x2tJ:('x -> '?7354) -> y2t:('y -> '?7357) -> xyCJ:Job<Choice<'x,'y>> -> Job<'t>
Type parameters: 'x, '?7354, 't, 'y, '?7357 |
|
map x2a xyCJ
Signature: x2a:('x -> 'a) -> xyCJ:Job<Choice<'x,'y>> -> Job<Choice<'a,'y>>
Type parameters: 'x, 'a, 'y |
|
mapLeft y2b xyCJ
Signature: y2b:('y -> 'b) -> xyCJ:Job<Choice<'x,'y>> -> Job<Choice<'x,'b>>
Type parameters: 'y, 'b, 'x |
|
ofChoice xyC
Signature: xyC:Choice<'x,'y> -> Job<Choice<'x,'y>>
Type parameters: 'x, 'y |
|
ofJob xJ
Signature: xJ:Job<'x> -> Job<Choice<'x,'y>>
Type parameters: 'x, 'y |
|
ofLeftJob yJ
Signature: yJ:Job<'y> -> Job<Choice<'x,'y>>
Type parameters: 'y, 'x |
|
sequence xJyC
Signature: xJyC:Choice<Job<'x>,'y> -> Job<Choice<'x,'y>>
Type parameters: 'x, 'y |
|
sequenceBoth xyJC
Signature: xyJC:Choice<Job<'x>,Job<'y>> -> Job<Choice<'x,'y>>
Type parameters: 'x, 'y |
|
sequenceLeft xyJC
Signature: xyJC:Choice<'x,Job<'y>> -> Job<Choice<'x,'y>>
Type parameters: 'x, 'y |
|
traverse xJ2aJ xJyC
Signature: xJ2aJ:(Job<'x> -> '?7360) -> xJyC:Choice<Job<'x>,'y> -> Job<Choice<'a,'y>>
Type parameters: 'x, '?7360, 'a, 'y |
|
traverseBoth xJ2aJ yJ2bJ xyJC
Signature: xJ2aJ:(Job<'x> -> '?7376) -> yJ2bJ:(Job<'y> -> '?7379) -> xyJC:Choice<Job<'x>,Job<'y>> -> Job<Choice<'a,'b>>
Type parameters: 'x, '?7376, 'a, 'y, '?7379, 'b |
|
traverseLeft yJ2bJ xyJC
Signature: yJ2bJ:(Job<'y> -> '?7368) -> xyJC:Choice<'x,Job<'y>> -> Job<Choice<'x,'b>>
Type parameters: 'y, '?7368, 'b, 'x |
|
