summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'src/map-editor/src/Util/List.elm')
-rw-r--r--src/map-editor/src/Util/List.elm36
1 files changed, 0 insertions, 36 deletions
diff --git a/src/map-editor/src/Util/List.elm b/src/map-editor/src/Util/List.elm
deleted file mode 100644
index 1f914b1..0000000
--- a/src/map-editor/src/Util/List.elm
+++ /dev/null
@@ -1,36 +0,0 @@
-module Util.List exposing (..)
-
-import List
-
-pop : List a -> (Maybe (a, List a))
-pop l =
- case
- ((List.head l), (List.tail l))
- of
- (Nothing, _) -> Nothing
- (_ , Nothing) -> Nothing
- ((Just head), (Just tail)) -> (Just (head, tail))
-
-get_first : (a -> Bool) -> (List a) -> (Maybe a)
-get_first fun list =
- (List.head (List.filter fun list))
-
-product_map : (a -> b -> c) -> (List a) -> (List b) -> (List c)
-product_map product_fun list_a list_b =
- (product_map_rec (product_fun) list_a list_b [])
-
-product_map_rec : (a -> b -> c) -> (List a) -> (List b) -> (List c) -> (List c)
-product_map_rec product_fun list_a list_b result =
- case (pop list_a) of
- Nothing -> result
- (Just (head, tail)) ->
- (product_map_rec
- (product_fun)
- tail
- list_b
- (List.append
- (List.map (product_fun head) list_b)
- result
- )
- )
-