From d722a77077e89504191728cf42f7d15ddfa209a7 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 19 Jul 2017 11:46:32 +0000
Subject: Reorganise

---
 Sil/Parse/Parser.dcl | 33 ---------------------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 Sil/Parse/Parser.dcl

(limited to 'Sil/Parse/Parser.dcl')

diff --git a/Sil/Parse/Parser.dcl b/Sil/Parse/Parser.dcl
deleted file mode 100644
index cdeaf49..0000000
--- a/Sil/Parse/Parser.dcl
+++ /dev/null
@@ -1,33 +0,0 @@
-definition module Sil.Parse.Parser
-
-from StdOverloaded import class ==
-
-from Control.Applicative import class Applicative, class Alternative
-from Control.Monad import class Monad
-from Data.Error import :: MaybeError
-from Data.Functor import class Functor
-
-from Sil.Parse import :: ParseError
-
-:: Parser a b = Parser ([a] -> (MaybeError ParseError b, [a]))
-
-instance Functor (Parser a)
-instance Applicative (Parser a) 
-instance Monad (Parser a)
-instance Alternative (Parser a)
-
-class name a :: a -> String
-instance name String
-
-runParser :: (Parser a b) [a] -> (MaybeError ParseError b, [a])
-(<?>) :: (Parser a b) ParseError -> Parser a b
-fail :: Parser a b
-top :: Parser a a
-peek :: Parser a a
-satisfy :: (a -> Bool) -> Parser a a
-check :: (a -> Bool) -> Parser a a
-(until) infix 2 :: (Parser a b) (Parser a c) -> Parser a [b]
-item :: a -> Parser a a | ==, name a
-list :: [a] -> Parser a [a] | ==, name a
-seplist :: a (Parser a b) -> Parser a [b] | ==, name a
-eof :: Parser a ()
-- 
cgit v1.2.3