diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/trace.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/data/trace.lux b/stdlib/source/library/lux/data/trace.lux index cc92f72ac..87032785f 100644 --- a/stdlib/source/library/lux/data/trace.lux +++ b/stdlib/source/library/lux/data/trace.lux @@ -12,22 +12,22 @@ [#monoid (Monoid t) #trace (-> t a)])) -(def: .public functor +(def .public functor (All (_ t) (Functor (Trace t))) (implementation - (def: (each f fa) + (def (each f fa) (revised #trace (composite f) fa)))) -(def: .public comonad +(def .public comonad (All (_ t) (CoMonad (Trace t))) (implementation - (def: functor ..functor) + (def functor ..functor) - (def: (out wa) + (def (out wa) ((the #trace wa) (the [#monoid monoid.#identity] wa))) - (def: (disjoint wa) + (def (disjoint wa) (let [monoid (the #monoid wa)] [#monoid monoid #trace (function (_ t1) @@ -36,6 +36,6 @@ ((the #trace wa) (at monoid composite t1 t2)))])])))) -(def: .public (result context tracer) +(def .public (result context tracer) (All (_ t a) (-> t (Trace t a) a)) (at tracer trace context)) |