aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/control/state.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/documentation/lux/control/state.lux')
-rw-r--r--stdlib/source/documentation/lux/control/state.lux26
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/documentation/lux/control/state.lux b/stdlib/source/documentation/lux/control/state.lux
index 9f975818e..69059d064 100644
--- a/stdlib/source/documentation/lux/control/state.lux
+++ b/stdlib/source/documentation/lux/control/state.lux
@@ -16,52 +16,52 @@
($.default /.apply)
($.default /.monad)
- ($.documentation (/.State state it)
+ ($.definition (/.State state it)
"Stateful computations.")
- ($.documentation /.get
+ ($.definition /.get
"Read the current state.")
- ($.documentation /.put
+ ($.definition /.put
"Set the new state."
[(put new_state)])
- ($.documentation /.update
+ ($.definition /.update
"Compute the new state."
[(update change)])
- ($.documentation /.use
+ ($.definition /.use
"Run a function on the current state."
[(use user)])
- ($.documentation /.local
+ ($.definition /.local
"Run the computation with a locally-modified state."
[(local change action)])
- ($.documentation /.result
+ ($.definition /.result
"Run a stateful computation."
[(result state action)])
- ($.documentation /.while
+ ($.definition /.while
"A stateful while loop."
[(while condition body)])
- ($.documentation /.do_while
+ ($.definition /.do_while
"A stateful do-while loop."
[(do_while condition body)])
- ($.documentation /.+State
+ ($.definition /.+State
"Stateful computations decorated by a monad.")
- ($.documentation /.result'
+ ($.definition /.result'
"Execute a stateful computation decorated by a monad."
[(result' state action)])
- ($.documentation /.with
+ ($.definition /.with
"A monad transformer to create composite stateful computations."
[(with monad)])
- ($.documentation /.lifted
+ ($.definition /.lifted
"Lift monadic values to the +State wrapper."
[(lifted monad ma)])]
[]))