diff options
Diffstat (limited to 'stdlib/source/lux/type/abstract.lux')
-rw-r--r-- | stdlib/source/lux/type/abstract.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/type/abstract.lux b/stdlib/source/lux/type/abstract.lux index d293c4083..7c5804e04 100644 --- a/stdlib/source/lux/type/abstract.lux +++ b/stdlib/source/lux/type/abstract.lux @@ -3,8 +3,9 @@ [abstract [monad (#+ Monad do)]] [control - ["p" parser ("#;." monad)] - ["ex" exception (#+ exception:)]] + ["ex" exception (#+ exception:)] + ["p" parser ("#;." monad) + ["s" code (#+ Parser)]]] [data ["." name ("#;." codec)] ["." text ("#;." equivalence monoid)] @@ -13,8 +14,7 @@ ["." stack (#+ Stack)]]] ["." macro ("#;." monad) ["." code] - ["s" syntax (#+ Syntax syntax:)] - [syntax + [syntax (#+ syntax:) ["cs" common ["csr" reader] ["csw" writer]]]] @@ -135,7 +135,7 @@ (list)]))) (def: cast - (Syntax [(Maybe Text) Code]) + (Parser [(Maybe Text) Code]) (p.either (p.and (p.maybe s.local-identifier) s.any) (p.and (p;wrap #.None) s.any))) @@ -164,7 +164,7 @@ " "))) (def: declaration - (Syntax [Text (List Text)]) + (Parser [Text (List Text)]) (p.either (s.form (p.and s.local-identifier (p.some s.local-identifier))) (p.and s.local-identifier (:: p.monad wrap (list))))) |