diff options
Diffstat (limited to 'stdlib/source/library/lux/abstract/monad/free.lux')
-rw-r--r-- | stdlib/source/library/lux/abstract/monad/free.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/abstract/monad/free.lux b/stdlib/source/library/lux/abstract/monad/free.lux index 081343130..b39bef272 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)} {#Impure value} - {#Impure (at dsl each (each f) value)})))) + {#Impure (of dsl each (each f) value)})))) (def .public (apply dsl) (All (_ F) (-> (Functor F) (Apply (Free F)))) @@ -34,12 +34,12 @@ {#Pure (f a)} [{#Pure f} {#Impure fa}] - {#Impure (at dsl each - (at (..functor dsl) each f) + {#Impure (of dsl each + (of (..functor dsl) each f) fa)} [{#Impure ff} _] - {#Impure (at dsl each (on ea) ff)} + {#Impure (of dsl each (on ea) ff)} )))) (def .public (monad dsl) @@ -61,7 +61,7 @@ {#Impure fa}) {#Impure fefa} - {#Impure (at dsl each - (at (monad dsl) conjoint) + {#Impure (of dsl each + (of (monad dsl) conjoint) fefa)} )))) |