aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/try.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/control/try.lux')
-rw-r--r--stdlib/source/library/lux/control/try.lux72
1 files changed, 36 insertions, 36 deletions
diff --git a/stdlib/source/library/lux/control/try.lux b/stdlib/source/library/lux/control/try.lux
index 16d58007c..b18a38dd8 100644
--- a/stdlib/source/library/lux/control/try.lux
+++ b/stdlib/source/library/lux/control/try.lux
@@ -11,19 +11,19 @@
(type: .public (Try a)
(Variant
- (#Failure Text)
- (#Success a)))
+ {#Failure Text}
+ {#Success a}))
(implementation: .public functor
(Functor Try)
(def: (each f ma)
(case ma
- (#Failure msg)
- (#Failure msg)
+ {#Failure msg}
+ {#Failure msg}
- (#Success datum)
- (#Success (f datum)))))
+ {#Success datum}
+ {#Success (f datum)})))
(implementation: .public apply
(Apply Try)
@@ -32,16 +32,16 @@
(def: (on fa ff)
(case ff
- (#Success f)
+ {#Success f}
(case fa
- (#Success a)
- (#Success (f a))
+ {#Success a}
+ {#Success (f a)}
- (#Failure msg)
- (#Failure msg))
+ {#Failure msg}
+ {#Failure msg})
- (#Failure msg)
- (#Failure msg))))
+ {#Failure msg}
+ {#Failure msg})))
(implementation: .public monad
(Monad Try)
@@ -49,14 +49,14 @@
(def: &functor ..functor)
(def: (in a)
- (#Success a))
+ {#Success a})
(def: (conjoint mma)
(case mma
- (#Failure msg)
- (#Failure msg)
+ {#Failure msg}
+ {#Failure msg}
- (#Success ma)
+ {#Success ma}
ma)))
(implementation: .public (with monad)
@@ -74,10 +74,10 @@
(do monad
[eMea MeMea]
(case eMea
- (#Failure try)
- (in (#Failure try))
+ {#Failure try}
+ (in {#Failure try})
- (#Success Mea)
+ {#Success Mea}
Mea))))
(def: .public (lifted monad)
@@ -89,10 +89,10 @@
(def: (= reference sample)
(case [reference sample]
- [(#Success reference) (#Success sample)]
+ [{#Success reference} {#Success sample}]
(_\= reference sample)
- [(#Failure reference) (#Failure sample)]
+ [{#Failure reference} {#Failure sample}]
("lux text =" reference sample)
_
@@ -103,42 +103,42 @@
(All (_ a)
(-> (Try a) a))
(case try
- (#Success value)
+ {#Success value}
value
- (#Failure message)
+ {#Failure message}
(panic! message)))
(def: .public (maybe try)
(All (_ a)
(-> (Try a) (Maybe a)))
(case try
- (#Success value)
- (#.Some value)
+ {#Success value}
+ {#.Some value}
- (#Failure message)
+ {#Failure message}
#.None))
(def: .public (of_maybe maybe)
(All (_ a)
(-> (Maybe a) (Try a)))
(case maybe
- (#.Some value)
- (#Success value)
+ {#.Some value}
+ {#Success value}
#.None
- (#Failure (`` (("lux in-module" (~~ (static .prelude_module)) .name\encoded)
- (name_of ..of_maybe))))))
+ {#Failure (`` (("lux in-module" (~~ (static .prelude_module)) .name\encoded)
+ (name_of ..of_maybe)))}))
(macro: .public (else tokens compiler)
(case tokens
(^ (list else try))
- (#Success [compiler (list (` (case (~ try)
- (#..Success (~' g!temp))
+ {#Success [compiler (list (` (case (~ try)
+ {#..Success (~' g!temp)}
(~' g!temp)
- (#..Failure (~ [location.dummy (#.Identifier ["" ""])]))
- (~ else))))])
+ {#..Failure (~ [location.dummy {#.Identifier ["" ""]}])}
+ (~ else))))]}
_
- (#Failure "Wrong syntax for else")))
+ {#Failure "Wrong syntax for else"}))