git.iko.soy/rowtype-yoga/purescript-unique
on master help sign in
Update Unique implementation to use BigInt.
a06a911Nick Saunders
LICENSE+1
compare with master
unifiedsplit
@@ -1,6 +1,7 @@
1MIT License
1MIT License
2
2
3Copyright (c) 2015-2017 mechairoi
3Copyright (c) 2015-2017 mechairoi
4+Copyright (c) The University of Glasgow (Documentation)
4
5
5Permission is hereby granted, free of charge, to any person obtaining a copy
6Permission is hereby granted, free of charge, to any person obtaining a copy
6of this software and associated documentation files (the "Software"), to deal
7of this software and associated documentation files (the "Software"), to deal
bower.json+2−1
@@ -18,7 +18,8 @@
18 ],
18 ],
19 "dependencies": {
19 "dependencies": {
20 "purescript-prelude": "^6.0.0",
20 "purescript-prelude": "^6.0.0",
21− "purescript-effect": "^4.0.0"
21+ "purescript-effect": "^4.0.0",
22+ "purescript-refs": "^6.0.0"
22 },
23 },
23 "devDependencies": {
24 "devDependencies": {
24 "purescript-console": "^6.0.0",
25 "purescript-console": "^6.0.0",
purs.json+2−1
@@ -16,6 +16,7 @@
16 "description": "Data.Unique for PureScript",
16 "description": "Data.Unique for PureScript",
17 "dependencies": {
17 "dependencies": {
18 "prelude": ">=6.0.0 <7.0.0",
18 "prelude": ">=6.0.0 <7.0.0",
19− "effect": ">=4.0.0 <5.0.0"
19+ "effect": ">=4.0.0 <5.0.0",
20+ "refs": ">=6.0.0 <7.0.0"
20 }
21 }
21}
22}
spago.dhall+1−1
@@ -1,5 +1,5 @@
1{ name = "unique"
1{ name = "unique"
2−, dependencies = [ "effect", "prelude" ]
2+, dependencies = [ "effect", "prelude", "refs" ]
3, packages = ./packages.dhall
3, packages = ./packages.dhall
4, sources = [ "src/**/*.purs" ]
4, sources = [ "src/**/*.purs" ]
5}
5}
src/Data/Unique.js+23−21
@@ -1,27 +1,29 @@
1−/* global exports */
1+export var zero = BigInt("0");
2−"use strict";
3
2
4−// module Data.Unique
3+var one = BigInt("1");
5
4
6−var MAX_SAFE_INTEGER = 9007199254740991;
5+export function eqImpl(a) {
7−var uniqueSource = [];
6+ return function(b) {
7+ return a === b;
8+ };
9+}
8
10
9−function iter(i) {
11+export function ordImpl(lt) {
10− if (uniqueSource.length === i) {
12+ return function (eq) {
11− for (var j = 0; j < i; ++j) uniqueSource[j] = 0;
13+ return function (gt) {
12− uniqueSource[i] = 1;
14+ return function (x) {
13− } else {
15+ return function (y) {
14− if (uniqueSource[i] === MAX_SAFE_INTEGER) {
16+ return x < y ? lt : x === y ? eq : gt;
15− uniqueSource[i] = 0;
17+ };
16− iter(i + 1);
18+ };
17− } else {
18− uniqueSource[i]++;
19− }
19+ };
20− }
20+ };
21}
21}
22
22
23−export function newUnique() {
23+export function addOne(x) {
24− iter(0);
24+ return x + one;
25− return uniqueSource.length === 1 ? uniqueSource[0] + "" : uniqueSource.join(",");
26−};
25+}
27
26
27+export function hashUnique(x) {
28+ return parseInt(BigInt.asIntN(32, x));
29+}
src/Data/Unique.purs+34−13
@@ -1,20 +1,41 @@
1−module Data.Unique
1+module Data.Unique (Unique, hashUnique, newUnique) where
2− ( newUnique
2+
3− , Unique
3+import Prelude hiding (zero)
4− ) where
5
4
6import Effect (Effect)
5import Effect (Effect)
7−import Prelude (class Ord, class Eq, class Show, compare, (==))
6+import Effect.Ref (Ref)
7+import Effect.Ref as Ref
8+import Effect.Unsafe (unsafePerformEffect)
9+
10+-- | An abstract unique object. Objects of type `Unique` may be compared for
11+-- | equality and ordering and hashed into `Int`.
12+foreign import data Unique :: Type
13+
14+foreign import eqImpl :: Unique -> Unique -> Boolean
15+
16+instance Eq Unique where
17+ eq = eqImpl
18+
19+foreign import ordImpl :: Ordering -> Ordering -> Ordering -> Unique -> Unique -> Ordering
20+
21+instance Ord Unique where
22+ compare = ordImpl LT EQ GT
8
23
9−newtype Unique = Unique String
24+foreign import addOne :: Unique -> Unique
10
25
11−foreign import newUnique :: Effect Unique
26+foreign import zero :: Unique
12
27
13−instance showUnique :: Show Unique where
28+-- | Hashes a `Unique` into an `Int`. Two `Unique`s may hash to the same value,
14− show (Unique a) = a
29+-- | although in practice this is unlikely. The `Int` returned makes a good hash
30+-- | key.
31+foreign import hashUnique :: Unique -> Int
15
32
16−instance eqUnique :: Eq Unique where
33+uniqSource :: Ref Unique
17− eq (Unique a) (Unique b) = a == b
34+uniqSource = unsafePerformEffect (Ref.new zero)
18
35
19−instance ordUnique :: Ord Unique where
36+-- | Creates a new object of type `Unique`. The value returned will not compare
20− compare (Unique a) (Unique b) = compare a b
37+-- | equal to any other value of type `Unique` returned by previous calls to
38+-- | `newUnique`. There is no limit on the number of times `newUnique` may be
39+-- | called.
40+newUnique :: Effect Unique
41+newUnique = Ref.modify addOne uniqSource
test/Main.purs+5−3
@@ -1,7 +1,7 @@
1module Test.Main where
1module Test.Main where
2
2
3−import Prelude ((==), ($), (/=), discard, bind, Unit)
3+import Prelude
4−import Data.Unique (newUnique)
4+import Data.Unique (hashUnique, newUnique)
5import Test.Assert (assert)
5import Test.Assert (assert)
6import Effect (Effect)
6import Effect (Effect)
7import Effect.Console (log)
7import Effect.Console (log)
@@ -11,5 +11,7 @@ main = do
11 log "Test Data.Unique"
11 log "Test Data.Unique"
12 a <- newUnique
12 a <- newUnique
13 b <- newUnique
13 b <- newUnique
14− assert $ a /= b
15 assert $ a == a
14 assert $ a == a
15+ assert $ a < b
16+ assert $ hashUnique a == hashUnique a
17+ assert $ hashUnique a /= hashUnique b