diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract/monad/free.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux index d98fb1cbd..8031bf189 100644 --- a/stdlib/source/test/lux/abstract/monad/free.lux +++ b/stdlib/source/test/lux/abstract/monad/free.lux @@ -18,11 +18,11 @@ [\\library ["[0]" /]]) -(def: injection +(def injection (Injection (/.Free List)) (|>> {/.#Pure})) -(def: (interpret free) +(def (interpret free) (All (_ a) (-> (/.Free List a) (List a))) (case free {/.#Pure value} @@ -33,14 +33,14 @@ (list#each interpret) list.together))) -(def: comparison +(def comparison (Comparison (/.Free List)) (function (_ == left right) (at (list.equivalence ==) = (..interpret left) (..interpret right)))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Free]) |