aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/type/resource.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/type/resource.lux52
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)