Unify error types

Author: lpil

gen/src/[email protected]

@@ -24,7 +24,7 @@ contains(List, Elem) ->
 head(List) ->
     case List of
         [] ->
-            {error, empty};
+            {error, {}};
 
         [X | _] ->
             {ok, X}
@@ -33,7 +33,7 @@ head(List) ->
 tail(List) ->
     case List of
         [] ->
-            {error, empty};
+            {error, {}};
 
         [_ | Xs] ->
             {ok, Xs}
@@ -172,7 +172,7 @@ fold_right(List, Acc, Fun) ->
 find(Haystack, F) ->
     case Haystack of
         [] ->
-            {error, not_found};
+            {error, {}};
 
         [X | Rest] ->
             case F(X) of
@@ -232,7 +232,7 @@ strict_zip(L1, L2) ->
             {ok, zip(L1, L2)};
 
         false ->
-            {error, length_mismatch}
+            {error, {}}
     end.
 
 intersperse(List, Elem) ->
@@ -250,12 +250,12 @@ intersperse(List, Elem) ->
 at(List, I) ->
     case I < 0 of
         true ->
-            {error, not_found};
+            {error, {}};
 
         false ->
             case List of
                 [] ->
-                    {error, not_found};
+                    {error, {}};
 
                 [X | Rest] ->
                     case I =:= 0 of

gen/src/[email protected]

@@ -72,7 +72,7 @@ update(Dict, Key, F) ->
             put(Dict, Key, F({ok, Value}));
 
         {error, _} ->
-            put(Dict, Key, F({error, not_found}))
+            put(Dict, Key, F({error, nil}))
     end.
 
 do_fold(List, Acc, F) ->

src/gleam/int.gleam

@@ -1,9 +1,6 @@
 import gleam/order
 
-pub enum NotAnInt =
-  | NotAnInt
-
-pub external fn parse(String) -> Result(Int, NotAnInt) = "gleam__stdlib" "parse_int";
+pub external fn parse(String) -> Result(Int, Nil) = "gleam__stdlib" "parse_int";
 
 pub external fn to_string(Int) -> String = "erlang" "integer_to_binary"
 

src/gleam/list.gleam

@@ -2,14 +2,7 @@ import gleam/int
 import gleam/order
 import gleam/pair
 
-pub enum Empty =
-  | Empty
-
-pub enum NotFound =
-  | NotFound
-
-pub enum LengthMismatch =
-  | LengthMismatch
+pub struct LengthMismatch {}
 
 // Using the Erlang C BIF implementation.
 //
@@ -32,14 +25,14 @@ pub fn contains(list, elem) {
 
 pub fn head(list) {
   case list {
-  | [] -> Error(Empty)
+  | [] -> Error(Nil)
   | [x | _] -> Ok(x)
   }
 }
 
 pub fn tail(list) {
   case list {
-  | [] -> Error(Empty)
+  | [] -> Error(Nil)
   | [_ | xs] -> Ok(xs)
   }
 }
@@ -157,7 +150,7 @@ pub fn fold_right(list, acc, fun) {
 
 pub fn find(haystack, f) {
   case haystack {
-  | [] -> Error(NotFound)
+  | [] -> Error(Nil)
   | [x | rest] ->
       case f(x) {
       | Ok(x) -> Ok(x)
@@ -213,10 +206,10 @@ pub fn intersperse(list, elem) {
 
 pub fn at(list, i) {
   case i < 0 {
-    | True -> Error(NotFound)
+    | True -> Error(Nil)
     | False ->
       case list {
-        | [] -> Error(NotFound)
+        | [] -> Error(Nil)
         | [x | rest] ->
           case i == 0 {
           | True -> Ok(x)

src/gleam/map.gleam

@@ -5,9 +5,6 @@ import gleam/pair
 
 pub external type MapDict(key, value);
 
-pub enum NotFound =
-  | NotFound
-
 pub external fn size(MapDict(k, v)) -> Int
   = "maps" "size"
 
@@ -27,7 +24,7 @@ pub fn has_key(map, key) {
 pub external fn new() -> MapDict(key, value)
   = "maps" "new"
 
-pub external fn fetch(MapDict(key, value), key) -> Result(value, NotFound)
+pub external fn fetch(MapDict(key, value), key) -> Result(value, Nil)
   = "gleam__stdlib" "map_fetch";
 
 external fn erl_put(key, value, MapDict(key, value)) -> MapDict(key, value)
@@ -79,12 +76,10 @@ pub fn drop(map, keys) {
   })
 }
 
-pub external type NotFound;
-
 pub fn update(dict, key, f) {
   case fetch(dict, key) {
   | Ok(value) -> put(dict, key, f(Ok(value)))
-  | Error(_) -> put(dict, key, f(Error(NotFound)))
+  | Error(_) -> put(dict, key, f(Error(Nil)))
   }
 }
 

src/gleam__stdlib.erl

@@ -17,7 +17,7 @@ expect_is_error(A) -> ?assertMatch({error, _}, A).
 
 map_fetch(Map, Key) ->
   case maps:find(Key, Map) of
-    error -> {error, not_found};
+    error -> {error, nil};
     OkFound -> OkFound
   end.
 
@@ -79,7 +79,7 @@ parse_int(String) ->
       {ok, Integer};
 
     _ ->
-      {error, parse_error}
+      {error, nil}
   end.
 
 parse_float(String) ->