type

[cc1516.git] / yard.dcl

diff --git a/yard.dcl b/yard.dcl
deleted file mode 100644 (file)
index 9f40539..0000000
--- a/yard.dcl
+++ /dev/null
@@ -1,23 +0,0 @@
-definition module yard
-
-from Data.Either import :: Either
-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
-
-:: Parser a b = Parser ([a] -> (Either Error b, [a]))
-:: Error = ParseException
-
-runParser :: (Parser a b) [a] -> (Either Error b, [a])
-
-instance Functor (Parser a)
-instance Applicative (Parser a) 
-instance Monad (Parser a)
-instance Alternative (Parser a)
-
-fail :: Parser a b
-top :: Parser a a
-satisfy :: (a -> Bool) -> Parser a a
-item :: a -> Parser a a | Eq a
-list :: [a] -> Parser a [a] | Eq a
\ No newline at end of file