From a067356625105f50978443d3b0a0a5d8f6391184 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Fri, 24 Apr 2015 14:35:17 +0200 Subject: rare shit --- fp2/week2/mart/oldold/old/Map.icl | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 fp2/week2/mart/oldold/old/Map.icl (limited to 'fp2/week2/mart/oldold/old/Map.icl') diff --git a/fp2/week2/mart/oldold/old/Map.icl b/fp2/week2/mart/oldold/old/Map.icl new file mode 100644 index 0000000..d248c66 --- /dev/null +++ b/fp2/week2/mart/oldold/old/Map.icl @@ -0,0 +1,19 @@ +implementation module Map + +//import BinTree +import StdMaybe +import StdList + +class Map c :: (a -> b) (c a) -> c b + +instance Map [] where + Map f [] = [] + Map f [x:xs] = [f x: Map f xs] + +instance Map Maybe where + Map f Nothing = Nothing + Map f (Just x) = Just (f x) + +//instance Map Tree where +// Map f Leaf = Leaf +// Map f (Node x l r) = Node (f x) (mapTree f l) (mapTree f r) -- cgit v1.2.3