|
-
arg0
:
Reader<'R, ('T -> 'U)>
-
arg1
:
Reader<'R, 'T>
-
Returns:
Reader<'R, 'U>
|
|
Retrieves the monad environment.
-
Returns:
Reader<'R, 'R>
|
|
-
f
:
'T -> Reader<'R, 'U>
-
arg1
:
Reader<'R, 'T>
-
Returns:
Reader<'R, 'U>
|
|
Executes a computation in a modified environment.
-
f
:
'R1 -> 'R2
-
The function to modify the environment.
-
m
:
Reader<'R2, 'T>
-
Reader to run in the modified environment.
-
Returns:
Reader<'R1, 'T>
|
|
-
f
:
'T -> 'U
-
arg1
:
Reader<'R, 'T>
-
Returns:
Reader<'R, 'U>
|
|
Combines two Readers into one by applying a mapping function.
-
mapping
:
'T -> 'U -> 'V
-
arg1
:
Reader<'R, 'T>
-
arg2
:
Reader<'R, 'U>
-
Returns:
Reader<'R, 'V>
|
|
Combines three Readers into one by applying a mapping function.
-
mapping
:
'T -> 'U -> 'V -> 'W
-
arg1
:
Reader<'R, 'T>
-
arg2
:
Reader<'R, 'U>
-
arg3
:
Reader<'R, 'V>
-
Returns:
Reader<'R, 'W>
|
|
-
arg0
:
Reader<'R, 'T>
-
Returns:
'R -> 'T
|
|
Zips two Readers into one.
-
x
:
Reader<'R, 'T>
-
y
:
Reader<'R, 'U>
-
Returns:
Reader<'R, ('T * 'U)>
|