diff options
Diffstat (limited to 'Sil/Util/Parser.dcl')
| -rw-r--r-- | Sil/Util/Parser.dcl | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Sil/Util/Parser.dcl b/Sil/Util/Parser.dcl index e0046fa..2c34d83 100644 --- a/Sil/Util/Parser.dcl +++ b/Sil/Util/Parser.dcl @@ -2,7 +2,8 @@ definition module Sil.Util.Parser from StdOverloaded import class ==, class toString -from Control.Applicative import class Applicative, class Alternative +from Control.Applicative import class pure, class <*>, class Applicative, + class *>, class <*, class Alternative from Control.Monad import class Monad from Data.Error import :: MaybeError from Data.Functor import class Functor @@ -29,7 +30,10 @@ makeParseState :: [ParseInput a] -> ParseState a :: Parser a b = Parser (*(ParseState a) -> *(MaybeError Error b, *ParseState a)) instance Functor (Parser a) -instance Applicative (Parser a) +instance pure (Parser a) +instance <*> (Parser a) +instance <* (Parser a) +instance *> (Parser a) instance Monad (Parser a) instance Alternative (Parser a) |