90f1546..main · purescript-literals

git.iko.soy/purescript-literals

14 files changed+144−47

unifiedsplit

LICENSE+21 bower.json+27 packages.dhall+2−3 spago.dhall+15−20 src/Literals.purs−1 src/Literals/Int.purs+5−4 src/Literals/Literal.purs+7 src/Literals/Null.js+1−1 src/Literals/Null.purs+14−2 src/Literals/Number.purs+5−6 src/Literals/String.purs+3−4 src/Literals/Undefined.js+1−1 src/Literals/Undefined.purs+16−2 test/Main.purs+27−3

LICENSEnew file+21

@@ -0,0 +1,21 @@

1+MIT License

5+Permission is hereby granted, free of charge, to any person obtaining a copy

6+of this software and associated documentation files (the "Software"), to deal

7+in the Software without restriction, including without limitation the rights

8+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell

9+copies of the Software, and to permit persons to whom the Software is

10+furnished to do so, subject to the following conditions:

11+

12+The above copyright notice and this permission notice shall be included in all

13+copies or substantial portions of the Software.

14+

15+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR

16+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,

17+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE

18+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER

19+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,

20+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE

21+SOFTWARE.

bower.jsonnew file+27

@@ -0,0 +1,27 @@

1+{

2+ "name": "purescript-literals",

3+ "license": [

4+ "MIT"

5+ ],

6+ "repository": {

7+ "type": "git",

8+ "url": "https://github.com/rowtype-yoga/purescript-literals.git"

9+ },

10+ "ignore": [

11+ "**/.*",

12+ "node_modules",

13+ "bower_components",

14+ "output"

15+ ],

16+ "dependencies": {

17+ "purescript-assert": "^v6.0.0",

18+ "purescript-effect": "^v4.0.0",

19+ "purescript-integers": "^v6.0.0",

20+ "purescript-maybe": "^v6.0.0",

21+ "purescript-numbers": "^v9.0.0",

22+ "purescript-partial": "^v4.0.0",

23+ "purescript-prelude": "^v6.0.0",

24+ "purescript-typelevel-prelude": "^v7.0.0",

25+ "purescript-unsafe-coerce": "^v6.0.0"

26+ }

27+}

packages.dhall+2−3

@@ -116,10 +116,9 @@ let additions =

116116 }

117117-------------------------------

118118-}

119−

120−

121119let upstream =

122− https://github.com/purescript/package-sets/releases/download/psc-0.13.4-20191110/packages.dhall sha256:563a7f694e18e6399f7f6d01f5b7e3c3345781655d99945768f48e458feb93a4

120+ https://github.com/purescript/package-sets/releases/download/psc-0.15.2-20220530/packages.dhall

121+ sha256:15dd8041480502850e4043ea2977ed22d6ab3fc24d565211acde6f8c5152a799

123122

124123let overrides = {=}

125124

spago.dhall+15−20

@@ -1,22 +1,17 @@

1−{-

2−Welcome to a Spago project!

3−You can edit this file as you like.

4−-}

5−{ name =

6− "literal"

1+{ name = "literals"

2+, license = "MIT"

3+, repository = "https://github.com/rowtype-yoga/purescript-literals.git"

74, dependencies =

8− [ "assert"

9− , "effect"

10− , "console"

11− , "integers"

12− , "numbers"

13− , "partial"

14− , "psci-support"

15− , "unsafe-coerce"

16− , "typelevel-prelude"

17− ]

18−, packages =

19− ./packages.dhall

20−, sources =

21− [ "src/**/*.purs", "test/**/*.purs" ]

5+ [ "assert"

6+ , "effect"

7+ , "integers"

8+ , "maybe"

9+ , "numbers"

10+ , "partial"

11+ , "prelude"

12+ , "typelevel-prelude"

13+ , "unsafe-coerce"

14+ ]

15+, packages = ./packages.dhall

16+, sources = [ "src/**/*.purs", "test/**/*.purs" ]

2217}

src/Literals.purs−1

@@ -11,4 +11,3 @@ import Literals.Int (class Digit, class Int, class Int', IntLit, intLit) as Int

1111import Literals.Literal (Literal, toValue) as Literal

1212import Literals.Number (class Number, class Number', NumberLit, numberLit) as Number

1313import Literals.String (StringLit, stringLit) as String

14−

src/Literals/Int.purs+5−4

@@ -6,7 +6,7 @@ module Literals.Int

66 , class Int

77 , class Int'

88 , intLit

9− , kind IntPart

9+ , IntPart

1010 ) where

1111

1212import Prelude

@@ -17,7 +17,8 @@ import Data.Symbol (class IsSymbol)

1717import Literals.Literal (Literal)

1818import Partial.Unsafe (unsafePartial)

1919import Prim.Symbol (class Cons)

20−import Type.Prelude (SProxy(..), reflectSymbol)

20+import Type.Prelude (reflectSymbol)

21+import Type.Proxy (Proxy(..))

2122import Unsafe.Coerce (unsafeCoerce)

2223

2324class Digit (s :: Symbol)

@@ -33,7 +34,7 @@ else instance digit7 :: Digit "7"

3334else instance digit8 :: Digit "8"

3435else instance digit9 :: Digit "9"

3536

36−foreign import kind IntPart

37+data IntPart

3738foreign import data Sign :: IntPart

3839foreign import data IntegerPart :: IntPart

3940

@@ -50,4 +51,4 @@ else instance digitIntegerPart :: (Digit h, Cons h' t' t, Int' h' t' IntegerPart

5051type IntLit sym = Literal Int sym

5152

5253intLit :: forall sym. IsSymbol sym => Int sym => IntLit sym

53−intLit = unsafeCoerce $ unsafePartial $ fromJust $ fromString $ reflectSymbol (SProxy :: SProxy sym)

54+intLit = unsafeCoerce $ unsafePartial $ fromJust $ fromString $ reflectSymbol (Proxy :: Proxy sym)

src/Literals/Literal.purs+7

@@ -1,8 +1,15 @@

11module Literals.Literal where

3+import Prelude

35import Unsafe.Coerce (unsafeCoerce)

57foreign import data Literal :: Type -> Symbol -> Type

9+instance literalEq :: Eq (Literal typ sym) where

10+ eq _ _ = true

11+instance literalShow :: Show typ => Show (Literal typ sym) where

12+ show a = "(Literal " <> (show $ toValue a) <> ")"

13+

714toValue :: ∀ s a. Literal a s -> a

815toValue = unsafeCoerce

src/Literals/Null.js+1−1

@@ -1 +1 @@

1−exports.null = null;

1+export _null = null;

src/Literals/Null.purs+14−2

@@ -1,5 +1,17 @@

1−module Literals.Null where

1+module Literals.Null

2+ ( Null

3+ , null

4+ )

5+where

7+import Prelude

39foreign import data Null :: Type

410

5−foreign import null :: Null

11+foreign import _null :: Null

12+

13+null :: Null

14+null = _null

15+

16+instance showNull :: Show Null where

17+ show _ = "null"

src/Literals/Number.purs+5−6

@@ -5,7 +5,7 @@ module Literals.Number

55 , Sign

66 , class Number

77 , class Number'

8− , kind NumberPart

8+ , NumberPart

99 , numberLit

1010 ) where

1111

@@ -13,19 +13,19 @@ import Prelude

1313

1414import Data.Maybe (fromJust)

1515import Data.Number (fromString)

16−import Data.Symbol (class IsSymbol, SProxy(..))

16+import Data.Symbol (class IsSymbol)

1717import Literals.Int (class Digit)

1818import Literals.Literal (Literal)

1919import Partial.Unsafe (unsafePartial)

2020import Prim.Symbol (class Cons)

21−import Type.Prelude (reflectSymbol)

21+import Type.Prelude (reflectSymbol, Proxy(..))

2222import Unsafe.Coerce (unsafeCoerce)

2323

2424class Number (sym :: Symbol)

2525

2626instance numberInstance :: (Number' h t Sign, Cons h t s) => Number s

2727

28−foreign import kind NumberPart

28+data NumberPart

2929foreign import data Sign :: NumberPart

3030foreign import data IntegerPart :: NumberPart

3131foreign import data FractionalPart :: NumberPart

@@ -42,5 +42,4 @@ else instance digitFractionalPart :: (Digit h, Cons h' t' t, Number' h' t' Fract

4242type NumberLit sym = Literal Number sym

4343

4444numberLit :: forall sym. IsSymbol sym => Number sym => NumberLit sym

45−numberLit = unsafeCoerce $ unsafePartial $ fromJust $ fromString $ reflectSymbol (SProxy :: SProxy sym)

46−

45+numberLit = unsafeCoerce $ unsafePartial $ fromJust $ fromString $ reflectSymbol (Proxy :: Proxy sym)

src/Literals/String.purs+3−4

@@ -3,13 +3,12 @@ module Literals.String

33 , StringLit

44 ) where

6−import Data.Symbol (class IsSymbol, SProxy(..), reflectSymbol)

6+import Data.Symbol (class IsSymbol, reflectSymbol)

7+import Type.Proxy (Proxy(..))

78import Literals.Literal (Literal)

89import Unsafe.Coerce (unsafeCoerce)

910

1011type StringLit sym = Literal String sym

1112

1213stringLit :: forall sym. IsSymbol sym => StringLit sym

13−stringLit = unsafeCoerce (reflectSymbol (SProxy :: SProxy sym))

14−

15−

14+stringLit = unsafeCoerce (reflectSymbol (Proxy :: Proxy sym))

src/Literals/Undefined.js+1−1

@@ -1 +1 @@

1−exports.undefined = undefined;

1+export const _undefined = undefined;

src/Literals/Undefined.purs+16−2

@@ -1,5 +1,19 @@

1−module Literals.Undefined where

1+module Literals.Undefined

2+ ( Undefined

3+ , undefined

4+ )

5+where

7+import Prelude

39foreign import data Undefined :: Type

410

5−foreign import undefined :: Undefined

11+foreign import _undefined :: Undefined

12+

13+undefined :: Undefined

14+undefined = _undefined

15+

16+instance undefinedEq :: Eq Undefined where

17+ eq _ _ = true

18+instance undefinedShow :: Show Undefined where

19+ show _ = "Undefined"

test/Main.purs+27−3

@@ -4,7 +4,8 @@ import Prelude

55import Effect (Effect)

66import Literals (NumberLit, StringLit, IntLit, intLit, numberLit, stringLit)

7−import Test.Assert (assertEqual)

7+import Literals.Undefined (undefined)

8+import Test.Assert (assertEqual, assertTrue)

89import Unsafe.Coerce (unsafeCoerce)

910

1011

@@ -18,14 +19,37 @@ main = do

1819 { actual: unsafeCoerce (numberLit :: NumberLit "8.0")

1920 , expected: 8.0

2021 }

21− assertEqual { actual: unsafeCoerce (numberLit :: NumberLit "-8.0")

22+ assertEqual

23+ { actual: unsafeCoerce (numberLit :: NumberLit "-8.0")

2224 , expected: -8.0

2325 }

2426 assertEqual

2527 { actual: unsafeCoerce (intLit :: IntLit "8")

2628 , expected: 8

2729 }

28− assertEqual { actual: unsafeCoerce (intLit :: IntLit "-8")

30+ assertEqual

31+ { actual: unsafeCoerce (intLit :: IntLit "-8")

2932 , expected: -8

3033 }

3134

35+ -- Eq instance

36+ assertTrue $ undefined == undefined

37+ assertTrue $ (stringLit :: StringLit "foo") == (stringLit :: StringLit "foo")

38+

39+ -- Show instance

40+ assertEqual

41+ { actual: show (stringLit :: StringLit "foo")

42+ , expected: "(Literal \"foo\")"

43+ }

44+ assertEqual

45+ { actual: show (numberLit :: NumberLit "8.0")

46+ , expected: "(Literal 8.0)"

47+ }

48+ assertEqual

49+ { actual: show (intLit :: IntLit "8")

50+ , expected: "(Literal 8)"

51+ }

52+ assertEqual

53+ { actual: show undefined

54+ , expected: "Undefined"

55+ }