From bde9dfef3a80a155c83fd2e8570e782192aa8402 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 20 Dec 2018 21:46:34 +0100 Subject: Bring up to date --- Sil/Util/Parser.icl | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'Sil/Util/Parser.icl') diff --git a/Sil/Util/Parser.icl b/Sil/Util/Parser.icl index eb90408..95b0813 100644 --- a/Sil/Util/Parser.icl +++ b/Sil/Util/Parser.icl @@ -62,11 +62,17 @@ instance Functor (Parser a) where fmap f m = liftM f m -instance Applicative (Parser a) +instance pure (Parser a) +where + pure a = Parser \st -> (Ok a, st) + +instance <*> (Parser a) where - pure a = Parser \st -> (Ok a, st) (<*>) sf p = ap sf p +instance <* (Parser a) +instance *> (Parser a) + instance Monad (Parser a) where bind p f = Parser \st -> case runParser p (commit st) of -- cgit v1.2.3