diff options
Diffstat (limited to 'stdlib/source/documentation/lux/tool/compiler/phase.lux')
-rw-r--r-- | stdlib/source/documentation/lux/tool/compiler/phase.lux | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/stdlib/source/documentation/lux/tool/compiler/phase.lux b/stdlib/source/documentation/lux/tool/compiler/phase.lux new file mode 100644 index 000000000..143ccb42f --- /dev/null +++ b/stdlib/source/documentation/lux/tool/compiler/phase.lux @@ -0,0 +1,33 @@ +(.module: + [library + [lux {"-" [char]} + ["$" documentation {"+" [documentation:]}] + [data + [text {"+" [\n]} + ["%" format {"+" [format]}]] + [collection + ["." list]]]]] + [\\library + ["." /]]) + +(.def: .public documentation + (.List $.Module) + ($.module /._ + "" + [($.default /.Operation) + ($.default /.monad) + ($.default /.Phase) + ($.default /.Wrapper) + ($.default /.result') + ($.default /.result) + ($.default /.get_state) + ($.default /.set_state) + ($.default /.sub) + ($.default /.failure) + ($.default /.except) + ($.default /.lifted) + ($.default /.assertion) + ($.default /.identity) + ($.default /.composite) + ($.default /.timed)] + [])) |