diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/type/resource.lux | 52 |
1 files changed, 26 insertions, 26 deletions
diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux index 05eb845e5..4ac5a17c0 100644 --- a/stdlib/source/library/lux/type/resource.lux +++ b/stdlib/source/library/lux/type/resource.lux @@ -1,29 +1,29 @@ (.using - [library - [lux "*" - ["[0]" meta] - [abstract - ["[0]" monad {"+" Monad do} - [indexed {"+" IxMonad}]]] - [control - ["[0]" maybe] - ["[0]" exception {"+" exception:}] - ["<>" parser - ["<[0]>" code {"+" Parser}]]] - [data - [text - ["%" format {"+" format}]] - [collection - ["[0]" set] - ["[0]" sequence {"+" Sequence}] - ["[0]" list ("[1]#[0]" functor mix)]]] - ["[0]" macro - [syntax {"+" syntax:}]] - [math - [number - ["n" nat]]] - [type - abstract]]]) + [library + [lux "*" + ["[0]" meta] + [abstract + ["[0]" monad {"+" Monad do} + [indexed {"+" IxMonad}]]] + [control + ["[0]" maybe] + ["[0]" exception {"+" exception:}] + ["<>" parser + ["<[0]>" code {"+" Parser}]]] + [data + [text + ["%" format {"+" format}]] + [collection + ["[0]" set] + ["[0]" sequence {"+" Sequence}] + ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" macro + [syntax {"+" syntax:}]] + [math + [number + ["n" nat]]] + [type + abstract]]]) (type: .public (Procedure monad input output value) (-> input (monad [output value]))) @@ -103,7 +103,7 @@ (exception: .public (index_cannot_be_repeated [index Nat]) (exception.report - ["Index" (%.nat index)])) + "Index" (%.nat index))) (exception: .public amount_cannot_be_zero) |