X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=src%2Fyard.dcl;h=a029c4b9b8617b7dc0b4d9c53032d733c3098d71;hb=3275e6545ebf0901e962065416cf95f5b35fa828;hp=cedf0dfc497155405c8119d6a974ce3e82f9a3f0;hpb=f63b1c16836bebf6eef2baa5f20d4d6ebc73e4dd;p=cc1516.git diff --git a/src/yard.dcl b/src/yard.dcl index cedf0df..a029c4b 100644 --- a/src/yard.dcl +++ b/src/yard.dcl @@ -6,6 +6,7 @@ from StdClass import class Eq from Data.Functor import class Functor from Control.Monad import class Monad from Control.Applicative import class Applicative, class Alternative +import Data.Void :: Error = ParseError | LexError String | Unexpected String Int :: Parser a b = Parser ([a] -> (Either Error b, [a])) @@ -26,3 +27,4 @@ satisfy :: (a -> Bool) -> Parser a a check :: (a -> Bool) -> Parser a a item :: a -> Parser a a | Eq a list :: [a] -> Parser a [a] | Eq a +eof :: Parser a Void