diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/abstract/monad/indexed.lux | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/source/lux/abstract/monad/indexed.lux b/stdlib/source/lux/abstract/monad/indexed.lux index 57a18c109..348a11024 100644 --- a/stdlib/source/lux/abstract/monad/indexed.lux +++ b/stdlib/source/lux/abstract/monad/indexed.lux @@ -2,12 +2,13 @@ [lux #* [control [monad] - ["p" parser]] + ["p" parser + ["s" code (#+ Parser)]]] [data [collection ["." list ("#;." functor fold)]]] ["." macro - ["s" syntax (#+ Syntax syntax:)]]]) + [syntax (#+ syntax:)]]]) (signature: #export (IxMonad m) (: (All [p a] @@ -23,7 +24,7 @@ (type: Binding [Code Code]) (def: binding - (Syntax Binding) + (Parser Binding) (p.and s.any s.any)) (type: Context @@ -31,7 +32,7 @@ (#Bind Binding)) (def: context - (Syntax Context) + (Parser Context) (p.or (p.after (s.this (' #let)) (s.tuple (p.some binding))) binding)) |