1 files changed, 0 insertions, 41 deletions
diff --git a/fp2/week1/camil/StdMaybe.dcl b/fp2/week1/camil/StdMaybe.dcl
deleted file mode 100644
index 2403683..0000000
--- a/fp2/week1/camil/StdMaybe.dcl
+++ /dev/null
@@ -1,41 +0,0 @@
-definition module StdMaybe
-
-//	********************************************************************************
-//	Clean StdLib library module, version 1.0
-//	********************************************************************************
-
-from StdFunc import :: St;
-from StdOverloaded import class ==(..);
-
-::	Maybe x
-	=	Just x
-	|	Nothing
-
-isJust		:: !(Maybe .x) -> Bool		// case @1 of (Just _) -> True; _ -> False
-isNothing	:: !(Maybe .x) -> Bool		// not o isJust
-fromJust	:: !(Maybe .x) -> .x		// \(Just x) -> x
-
-// for possibly unique elements:
-u_isJust :: !u:(Maybe .x) -> (!Bool, !u:Maybe .x)
-u_isNothing :: !u:(Maybe .x) -> (!Bool, !u:Maybe .x)
-
-accMaybe :: .(St .x .a) !u:(Maybe .x) -> (!Maybe .a,!u:Maybe .x)
-// accMaybe f (Just x) = (Just (fst (f x)),Just (snd (f x)))
-// accMaybe f Nothing  = (Nothing,Nothing)
-
-mapMaybe	:: .(.x -> .y) !(Maybe .x) -> Maybe .y
-// mapMaybe f (Just x) = Just (f x)
-// mapMaybe f Nothing  = Nothing
-
-instance ==       (Maybe x) | == x
-//	Nothing==Nothing
-//	Just a ==Just b <= a==b
-
-maybeToList :: !(Maybe .a) -> [.a];
-//	returns list with no or one element
-
-listToMaybe :: ![.a] -> .Maybe .a;
-//	returns Just head of list if possible
-
-catMaybes :: ![Maybe .a] -> .[.a];
-//	catMaybes ms =  [ m \\ Just m <- ms ]