aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLouis Pilfold <louis@lpil.uk>2018-02-28 21:36:45 +0000
committerLouis Pilfold <louis@lpil.uk>2018-02-28 21:36:45 +0000
commit089e8498907739c198166d7d7f473784e4d48bc3 (patch)
tree0865a96d836d5fa9a4abc394cc0842194d2799dc
parent7db6bf594f59a17ded97e2df5bb8c599943e553e (diff)
downloadgleam_stdlib-089e8498907739c198166d7d7f473784e4d48bc3.tar.gz
gleam_stdlib-089e8498907739c198166d7d7f473784e4d48bc3.zip
Restrict export syntax
-rw-r--r--src/Bool.gleam4
-rw-r--r--src/Foreign.gleam8
-rw-r--r--src/List.gleam9
-rw-r--r--src/Maybe.gleam5
-rw-r--r--src/Order.gleam4
-rw-r--r--src/Result.gleam5
6 files changed, 13 insertions, 22 deletions
diff --git a/src/Bool.gleam b/src/Bool.gleam
index 7bf6fb1..563b03e 100644
--- a/src/Bool.gleam
+++ b/src/Bool.gleam
@@ -1,6 +1,4 @@
-module Bool
-
-export Bool(..), not/1, compare/2, max/2, min/2
+module Bool exposing Bool(..), not/1, compare/2, max/2, min/2
import Order exposing Order(_)
diff --git a/src/Foreign.gleam b/src/Foreign.gleam
index 66cbd9f..f364bcf 100644
--- a/src/Foreign.gleam
+++ b/src/Foreign.gleam
@@ -1,15 +1,13 @@
-module Foreign
-
-export Foreign, new/1
+module Foreign exposing Foreign, new/1
doc """
Foreign data is data that we don't know the type of yet.
We likely get data like this from interop with Erlang, or from
IO with the outside world.
"""
-foreign type Foreign
+external type Foreign
doc """
Convert any Gleam data into Foreign data.
"""
-foreign new :gleam_native :identity :: a -> Foreign
+external new : |a| -> Foreign = :gleam_native.identity
diff --git a/src/List.gleam b/src/List.gleam
index 67b713e..4505a74 100644
--- a/src/List.gleam
+++ b/src/List.gleam
@@ -1,13 +1,12 @@
module List
-
-export length/1, reverse/1, empty/1, member/2, head/1, tail/1, filter/2,
- foldl/3, foldr/3, map/2, flatten/1, drop/2, take/2, of/1, new/0
+ exposing length/1, reverse/1, empty/1, member/2, head/1, tail/1, filter/2,
+ foldl/3, foldr/3, map/2, flatten/1, drop/2, take/2, of/1, new/0
import Maybe exposing Maybe(..)
// Using the Erlang C BIF implementation.
//
-foreign length :erlang :length :: |List(a)| -> Int
+external length : |List(a)| -> Int = :erlang.length
test length =
length([]) |> Assert.equal(_, 0)
@@ -17,7 +16,7 @@ test length =
// Using the Erlang C BIF implementation.
//
-foreign reverse :erlang :reverse :: |List(a)| -> List(a)
+external reverse : |List(a)| -> List(a) = :erlang.reverse
test reverse =
length([]) |> Assert.equal(_, [])
diff --git a/src/Maybe.gleam b/src/Maybe.gleam
index 2805a4d..a1790e1 100644
--- a/src/Maybe.gleam
+++ b/src/Maybe.gleam
@@ -1,7 +1,6 @@
module Maybe
-
-export Maybe(..), is_just/1, is_nothing/1, map/2, flatten/1, flat_map/2,
- unwrap/2
+ exposing Maybe(..), is_just/1, is_nothing/1, map/2, flatten/1, flat_map/2,
+ unwrap/2
type Maybe(x)
= Just(x)
diff --git a/src/Order.gleam b/src/Order.gleam
index 76ed92b..24b1a3b 100644
--- a/src/Order.gleam
+++ b/src/Order.gleam
@@ -1,6 +1,4 @@
-module Order
-
-export Order(..), reverse/1, to_int/1, compare/2, max/2, min/2
+module Order exposing Order(..), reverse/1, to_int/1, compare/2, max/2, min/2
type Order
= LT
diff --git a/src/Result.gleam b/src/Result.gleam
index ff916e8..b5b4185 100644
--- a/src/Result.gleam
+++ b/src/Result.gleam
@@ -1,7 +1,6 @@
module Result
-
-export Result(..), is_ok/1, is_none/1, map/2, map_error/2, flatten/1, flat_map/2,
- unwrap/2, to_maybe/1, from_maybe/1
+ exposing Result(..), is_ok/1, is_none/1, map/2, map_error/2, flatten/1,
+ flat_map/2, unwrap/2, to_maybe/1, from_maybe/1
import Maybe exposing Maybe(..)