X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=parseclass%2Fexpr.icl;h=e61c41b7e3b7bfb3e1b7e411961f4cc760b8c4a3;hb=HEAD;hp=6d5dad529e4e7b2b92277dfd32417d64bae3dc80;hpb=90c1712ad176aff581b04e1e0915acda319226d2;p=clean-tests.git

diff --git a/parseclass/expr.icl b/parseclass/expr.icl
deleted file mode 100644
index 6d5dad5..0000000
--- a/parseclass/expr.icl
+++ /dev/null
@@ -1,76 +0,0 @@
-module expr
-
-import StdEnv
-
-import Control.Applicative
-import Control.Monad
-import Data.Error
-import Data.Func
-import Data.Functor
-import Text.Parsers.Simple.Core
-import Text.Parsers.Simple.Chars
-
-class expr e where
-	lit :: a -> e a | toString a
-	(+.) infixl 6 :: (e a) (e a) -> e a | + a
-class div e where
-	(/.) infixl 7 :: (e a) (e a) -> e a | /, ==, zero a
-class eq e where
-	(==.) infix 4 :: (e a) (e a) -> e Bool | == a
-
-:: Print a = P String
-runPrint :: (Print a) -> String
-runPrint (P a) = a
-instance expr Print where
-	lit a = P (toString a)
-	(+.) (P a) (P b) = P (a +++ "+" +++ b)
-instance div Print where
-	(/.) (P a) (P b) = P (a +++ "/" +++ b)
-instance eq Print where
-	(==.) (P a) (P b) = P (a +++ "==" +++ b)
-
-:: Eval a = E a
-runEval :: (Eval a) -> a
-runEval (E a) = a
-instance expr Eval where
-	lit a = E a
-	(+.) (E a) (E b) = E (a + b)
-instance div Eval where
-	(/.) (E a) (E b)
-		| b == zero = E zero
-		= E (a / b)
-instance eq Eval where
-	(==.) (E a) (E b) = E (a == b)
-
-:: EvalM a :== MaybeError String a
-runEvalM :: (EvalM a) -> MaybeError String a
-runEvalM a = a
-instance expr (MaybeError String) where
-	lit a = pure a
-	(+.) l r = (+) <$> l <*> r
-instance div (MaybeError String) where
-	(/.) l r = (/) <$> l <*> (r >>= \v->if (v == zero) (Error "div0") (pure v))
-instance eq (MaybeError String) where
-	(==.) l r = (==) <$> l <*> r
-
-pToken c = pSatisfy ((==)c)
-class parseExpr a :: Parser Char a
-instance parseExpr a:: parseExpr
-parseExpr :: Parser Char (v a) | expr, div v & parsable, ==, +, /, zero, toString a
-parseExpr = foldr ($) parseBasic
-	[ flip pChainl1 (pToken '+' $> (+.))
-	, flip pChainl1 (pToken '/' $> (/.))
-	]
-where
-	parseBasic = lit <$> parsable
-
-class parsable a :: Parser Char a
-instance parsable Int where parsable = foldl (\a b->10*a+digitToInt b) 0 <$> some pDigit
-
-Start :: Either [Error] (Print Int)
-Start = parse parseExpr ['42+42']
-/*Start = (runPrint e, runEval e, runEvalM e, parse  )
-where
-	e :: v Bool | expr, div, eq v
-	e = lit 39 +. lit 3 /. lit 0 ==. lit 4
-*/