|
|
-
f
:
Writer<'a, Result<('b -> 'c), 'd>>
-
m
:
Writer<'a, Result<'b, 'd>>
-
Returns:
Writer<'a, Result<'c, 'd>>
|
|
|
-
f
:
'a -> Writer<'b, Result<'c, 'd>>
-
m
:
Writer<'b, Result<'a, 'd>>
-
Returns:
Writer<'b, Result<'c, 'd>>
|
|
|
-
f
:
'a -> Result<'b, 'c>
-
Returns:
Writer<'d, Result<'b, 'a>> -> Writer<'d, Result<'b, 'c>>
|
|
|
-
list
:
Writer<'a, Result<'b, 'c>> list
-
Returns:
Writer<'a, Result<'b list, 'c>>
|
|
|
-
fok
:
'a -> 'b
-
ferr
:
'c -> 'd
-
Returns:
Writer<'e, Result<'a, 'c>> -> Writer<'e, Result<'b, 'd>>
|
|
|
-
x
:
Writer<'a, Result<'b, 'c>>
-
Returns:
Writer<'a, Result<unit, 'c>>
|
|
|
-
x
:
'a -> 'b
-
Returns:
Writer<'c, Result<'a, 'd>> -> Writer<'c, Result<'b, 'd>>
|
|
|
-
f
:
'a -> 'b
-
m
:
Writer<'c, Result<'d, 'a>>
-
Returns:
Writer<'c, Result<'d, 'b>>
|
|
|
-
x
:
'a
-
Returns:
Writer<'b, Result<'a, 'c>>
|
|
|
-
e
:
'a
-
Returns:
Writer<'b, Result<'c, 'a>>
|
|
|
-
log
:
'a
-
Returns:
Writer<'a, Result<unit, 'b>>
|
|
|
-
left
:
Writer<'a, Result<'b, 'c>>
-
right
:
Writer<'a, Result<'d, 'c>>
-
Returns:
Writer<'a, Result<('b * 'd), 'c>>
|