diff options
Diffstat (limited to 'stdlib/source/library/lux/abstract/monad/free.lux')
-rw-r--r-- | stdlib/source/library/lux/abstract/monad/free.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/abstract/monad/free.lux b/stdlib/source/library/lux/abstract/monad/free.lux index 70cbeb72d..f7ca07159 100644 --- a/stdlib/source/library/lux/abstract/monad/free.lux +++ b/stdlib/source/library/lux/abstract/monad/free.lux @@ -20,7 +20,7 @@ {#Pure (f a)} {#Effect value} - {#Effect (# dsl each (each f) value)}))) + {#Effect (at dsl each (each f) value)}))) (implementation: .public (apply dsl) (All (_ F) (-> (Functor F) (Apply (Free F)))) @@ -34,12 +34,12 @@ {#Pure (f a)} [{#Pure f} {#Effect fa}] - {#Effect (# dsl each - (# (..functor dsl) each f) - fa)} + {#Effect (at dsl each + (at (..functor dsl) each f) + fa)} [{#Effect ff} _] - {#Effect (# dsl each (on ea) ff)} + {#Effect (at dsl each (on ea) ff)} ))) (implementation: .public (monad dsl) @@ -61,7 +61,7 @@ {#Effect fa}) {#Effect fefa} - {#Effect (# dsl each - (# (monad dsl) conjoint) - fefa)} + {#Effect (at dsl each + (at (monad dsl) conjoint) + fefa)} ))) |