diff options
| author | Eduardo Julian | 2017-09-19 21:52:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-09-19 21:52:42 -0400 |
| commit | 70534ffd9c346ac23f9d5574b9c7820dccebc350 (patch) | |
| tree | e2370a43a8bb2bdcb349d5bbbe477312859365f3 /stdlib/source/lux.lux | |
| parent | e717f33e192a5969760c033c47f9c4709485dd76 (diff) | |
- Some refactoring.
- Moved "assume" and "default" to lux/data/maybe.
Diffstat (limited to 'stdlib/source/lux.lux')
| -rw-r--r-- | stdlib/source/lux.lux | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 6b29d7c42..58f8d342a 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -3269,7 +3269,7 @@ (-> Text Bottom) (_lux_proc ["io" "error"] [message])) -(macro: #export (default tokens state) +(macro: (default tokens state) {#;doc "## Allows you to provide a default value that will be used ## if a (Maybe x) value turns out to be #;None. (default 20 (#;Some 10)) => 10 @@ -5743,10 +5743,6 @@ ))))) )) -(def: #export assume - (All [a] (-> (Maybe a) a)) - (|>. (default (undefined)))) - (macro: #export (as-is tokens compiler) (#;Right [compiler tokens])) @@ -5755,7 +5751,7 @@ (^multi (^ (list [_ (#Text input)])) (n.= +1 (_lux_proc ["text" "size"] [input]))) (|> (_lux_proc ["text" "char"] [input +0]) - assume + (default (undefined)) nat$ list [compiler] #;Right) |