move indexOf to List.Extra

BrianHicks · May 5, 2021 · 56587ad · 56587ad
1 parent 36dfa57
commit 56587ad
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 21 deletions.
diff --git a/src/Datalog.elm b/src/Datalog.elm
@@ -2,7 +2,7 @@ module Datalog exposing (Atom, Problem(..), Rule, Term, atom, headAtom, rule, ru
 
 import Database exposing (Constant)
 import Dict
-import List.Extra exposing (foldrResult)
+import List.Extra exposing (foldrResult, indexOf)
 
 
 type Problem
@@ -91,25 +91,6 @@ bodyAtomToPlan bodyAtom =
             atomToPlan atom_
 
 
-indexOf : a -> List a -> Maybe Int
-indexOf =
-    indexOfHelp 0
-
-
-indexOfHelp : Int -> a -> List a -> Maybe Int
-indexOfHelp idx item items =
-    case items of
-        [] ->
-            Nothing
-
-        first :: rest ->
-            if first == item then
-                Just idx
-
-            else
-                indexOfHelp (idx + 1) item rest
-
-
 type Atom
     = Atom String (List Term)
 

diff --git a/src/List/Extra.elm b/src/List/Extra.elm
@@ -1,4 +1,4 @@
-module List.Extra exposing (foldrResult)
+module List.Extra exposing (foldrResult, indexOf)
 
 
 foldrResult : (a -> b -> Result x b) -> b -> List a -> Result x b
@@ -19,3 +19,22 @@ foldrResultHelp fn soFar items =
 
                 Err problem ->
                     Err problem
+
+
+indexOf : a -> List a -> Maybe Int
+indexOf =
+    indexOfHelp 0
+
+
+indexOfHelp : Int -> a -> List a -> Maybe Int
+indexOfHelp idx item items =
+    case items of
+        [] ->
+            Nothing
+
+        first :: rest ->
+            if first == item then
+                Just idx
+
+            else
+                indexOfHelp (idx + 1) item rest