diff options
Diffstat (limited to 'stdlib/source/library/lux/abstract/monad')
| -rw-r--r-- | stdlib/source/library/lux/abstract/monad/free.lux | 12 | ||||
| -rw-r--r-- | stdlib/source/library/lux/abstract/monad/indexed.lux | 4 |
2 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 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)} )))) diff --git a/stdlib/source/library/lux/abstract/monad/indexed.lux b/stdlib/source/library/lux/abstract/monad/indexed.lux index c752236c6..5f35ff377 100644 --- a/stdlib/source/library/lux/abstract/monad/indexed.lux +++ b/stdlib/source/library/lux/abstract/monad/indexed.lux @@ -56,10 +56,10 @@ (def named_monad (Parser [(Maybe Text) Code]) - (<>.either (<code>.tuple (<>.and (at <>.monad each (|>> {.#Some}) + (<>.either (<code>.tuple (<>.and (of <>.monad each (|>> {.#Some}) <code>.local) <code>.any)) - (at <>.monad each (|>> [{.#None}]) + (of <>.monad each (|>> [{.#None}]) <code>.any))) (def .public do |