diff options
Diffstat (limited to 'stdlib/source/library/lux/meta.lux')
-rw-r--r-- | stdlib/source/library/lux/meta.lux | 58 |
1 files changed, 32 insertions, 26 deletions
diff --git a/stdlib/source/library/lux/meta.lux b/stdlib/source/library/lux/meta.lux index 4a8658eb1..a32be80ad 100644 --- a/stdlib/source/library/lux/meta.lux +++ b/stdlib/source/library/lux/meta.lux @@ -1,30 +1,30 @@ (.using - [library - [lux {"-" type macro try} - [abstract - [functor {"+" Functor}] - [apply {"+" Apply}] - ["[0]" monad {"+" Monad do}]] - [control - ["[0]" maybe] - ["[0]" try {"+" Try}]] - [data - ["[0]" product] - ["[0]" text ("[1]#[0]" monoid order)] - [collection - ["[0]" list ("[1]#[0]" monoid monad)] - [dictionary - ["[0]" plist]]]] - [macro - ["[0]" code]] - [math - [number - ["n" nat] - ["i" int]]] - [meta - ["[0]" symbol ("[1]#[0]" codec equivalence)]]]] - [/ - ["[0]" location]]) + [library + [lux {"-" type macro try} + [abstract + [functor {"+" Functor}] + [apply {"+" Apply}] + ["[0]" monad {"+" Monad do}]] + [control + ["[0]" maybe] + ["[0]" try {"+" Try}]] + [data + ["[0]" product] + ["[0]" text ("[1]#[0]" monoid order)] + [collection + ["[0]" list ("[1]#[0]" monoid monad)] + [dictionary + ["[0]" plist]]]] + [macro + ["[0]" code]] + [math + [number + ["n" nat] + ["i" int]]] + [meta + ["[0]" symbol ("[1]#[0]" codec equivalence)]]]] + [/ + ["[0]" location]]) ... (type: (Meta a) ... (-> Lux (Try [Lux a]))) @@ -664,3 +664,9 @@ {try.#Failure error} {try.#Success [lux {try.#Failure error}]}))) + +(def: .public target + (Meta Text) + (function (_ lux) + {try.#Success [lux + (value@ [.#info .#target] lux)]})) |