|
Sequence actions, discarding the value of the first argument.
-
x
:
Iteratee<'a, 'b>
-
y
:
Iteratee<'a, 'c>
-
Returns:
Iteratee<'a, 'c>
|
|
Sequence actions, discarding the value of the second argument.
-
x
:
Iteratee<'a, 'b>
-
y
:
Iteratee<'a, 'c>
-
Returns:
Iteratee<'a, 'b>
|
|
-
f
:
'a -> 'b
-
m
:
Iteratee<'c, 'a>
-
Returns:
Iteratee<'c, 'b>
|
|
Sequential application
-
f
:
Iteratee<'a, ('b -> 'c)>
-
m
:
Iteratee<'a, 'b>
-
Returns:
Iteratee<'a, 'c>
|
|
Right-to-left Kleisli composition
-
x
:
'a -> Iteratee<'b, 'c>
-
Returns:
('d -> Iteratee<'b, 'a>) -> 'd -> Iteratee<'b, 'c>
|
|
-
f
:
'a -> Iteratee<'b, 'c>
-
m
:
Iteratee<'b, 'a>
-
Returns:
Iteratee<'b, 'c>
|
|
Left-to-right Kleisli composition
-
f
:
'a -> Iteratee<'b, 'c>
-
g
:
'c -> Iteratee<'b, 'd>
-
x
:
'a
-
Returns:
Iteratee<'b, 'd>
|
|
Sequentially compose two iteratee actions, discarding any value produced by the first
-
m
:
Iteratee<'a, 'b>
-
f
:
Iteratee<'a, 'c>
-
Returns:
Iteratee<'a, 'c>
|
|
-
m
:
Iteratee<'a, 'b>
-
f
:
'b -> Iteratee<'a, 'c>
-
Returns:
Iteratee<'a, 'c>
|
|
Sequential application
-
m
:
Iteratee<'a, 'b>
-
f
:
Iteratee<'a, ('b -> 'c)>
-
Returns:
Iteratee<'a, 'c>
|
|
-
f
:
'a -> Iteratee<'b, 'c>
-
i
:
Iteratee<'b, 'a>
-
Returns:
Iteratee<'b, 'c>
|
|
-
h
:
exn -> Iteratee<'a, 'b>
-
i
:
Iteratee<'a, 'b>
-
Returns:
Iteratee<'a, 'b>
|
|
-
inner
:
(Iteratee<'a, 'b> -> Iteratee<'a, 'b>) -> (Stream<'a> -> Iteratee<'a, 'b>) -> Iteratee<'a, 'b>
-
Returns:
Iteratee<'a, 'b> -> Iteratee<'a, 'b>
|
|
-
f
:
(Stream<'a> -> Iteratee<'a, 'b>) -> Iteratee<'c, Iteratee<'a, 'b>>
-
Returns:
Iteratee<'a, 'b> -> Iteratee<'c, Iteratee<'a, 'b>>
|
|
-
extra
:
Stream<'a>
-
f
:
(Stream<'b> -> Iteratee<'b, 'c>) -> Iteratee<'a, Iteratee<'b, 'c>>
-
_arg1
:
Iteratee<'b, 'c>
-
Returns:
Iteratee<'a, Iteratee<'b, 'c>>
|
|
-
k
:
Stream<'a> -> Iteratee<'a, 'b>
-
Returns:
Iteratee<'a, 'b>
|
|
-
x
:
'a
-
s
:
Stream<'b>
-
Returns:
Iteratee<'b, 'a>
|
|
-
Returns:
Iteratee<'T, unit>
|
|
-
_arg1
:
Iteratee<'a, 'b>
-
Returns:
Iteratee<'c, 'b>
|
|
-
e
:
exn
-
_arg1
:
'a
-
Returns:
Iteratee<'b, 'c>
|
|
-
xs
:
'a list
-
Returns:
Iteratee<'a, 'b> -> Iteratee<'a, 'b>
|
|
-
Returns:
IterateeBuilder
|
|
-
outher
:
Iteratee<'a, Iteratee<'b, 'c>>
-
Returns:
Iteratee<'a, 'c>
|
|
-
f
:
'a -> 'b -> 'c
-
a
:
Iteratee<'d, 'a>
-
b
:
Iteratee<'d, 'b>
-
Returns:
Iteratee<'d, 'c>
|
|
-
f
:
'a -> 'b
-
m
:
Iteratee<'c, 'a>
-
Returns:
Iteratee<'c, 'b>
|
|
-
i
:
Iteratee<'a, 'b>
-
Returns:
Iteratee<'a, 'b option>
|
|
-
x
:
'a
-
Returns:
Iteratee<'b, 'a>
|
|
-
x
:
'a
-
Returns:
Iteratee<'b, 'a>
|
|
-
i
:
Iteratee<'a, 'b>
-
Returns:
'b
|
|
-
i
:
Iteratee<'a, 'b>
-
Returns:
Choice<'b, exn>
|
|
-
e
:
exn
-
Returns:
Iteratee<'a, 'b>
|
|
-
compensation
:
unit -> unit
-
i
:
Iteratee<'a, 'b>
-
Returns:
Iteratee<'a, 'b>
|