2c40dca · purescript-literals

git.iko.soy/purescript-literals

Merge pull request #12 from klntsky/klntsky/updates-for-v0.15

Updates for purs v0.15

commit2c40dca3e3ff5854ba883a35c5a9b0f81b157332 authorJan Vincent Liwanag <jvliwanag@gmail.com> dateMon 16 May 2022, 07:18 (4 years ago) parent006646a 560e83f

9 files changed+34−19

compare with main

unifiedsplit

packages.dhall+2−1 spago.dhall+3−3 src/Literals/Int.purs+3−2 src/Literals/Null.js+1−1 src/Literals/Null.purs+9−2 src/Literals/Number.purs+3−3 src/Literals/String.purs+3−4 src/Literals/Undefined.js+1−1 src/Literals/Undefined.purs+9−2

packages.dhall+2−1

@@ -117,7 +117,8 @@ let additions =

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

118118-}

119119let upstream =

120− https://github.com/purescript/package-sets/releases/download/psc-0.14.0-20210309/packages.dhall sha256:585332a8a11c6420d7287943f81bc2121746cdd352f2cf3f5ecf65053f2afcd3

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

121+ sha256:1ed784f37ae6131d99acd542d058d5ce39954ccaacc3adba5cc7cf1549d2bffa

121122

122123let overrides = {=}

123124

spago.dhall+3−3

@@ -4,13 +4,13 @@

44, dependencies =

55 [ "assert"

66 , "effect"

7− , "console"

87 , "integers"

8+ , "maybe"

99 , "numbers"

1010 , "partial"

11− , "psci-support"

12− , "unsafe-coerce"

11+ , "prelude"

1312 , "typelevel-prelude"

13+ , "unsafe-coerce"

1414 ]

1515, packages = ./packages.dhall

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

src/Literals/Int.purs+3−2

@@ -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)

@@ -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/Null.js+1−1

@@ -1 +1 @@

1−exports.null = null;

1+export _null = null;

src/Literals/Null.purs+9−2

@@ -1,10 +1,17 @@

1−module Literals.Null where

1+module Literals.Null

2+ ( Null

3+ , null

4+ )

5+where

37import Prelude

59foreign import data Null :: Type

610

7−foreign import null :: Null

11+foreign import _null :: Null

12+

13+null :: Null

14+null = _null

815

916instance showNull :: Show Null where

1017 show _ = "null"

src/Literals/Number.purs+3−3

@@ -13,12 +13,12 @@ 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)

@@ -42,4 +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)

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+9−2

@@ -1,10 +1,17 @@

1−module Literals.Undefined where

1+module Literals.Undefined

2+ ( Undefined

3+ , undefined

4+ )

5+where

37import Prelude

59foreign import data Undefined :: Type

610

7−foreign import undefined :: Undefined

11+foreign import _undefined :: Undefined

12+

13+undefined :: Undefined

14+undefined = _undefined

815

916instance undefinedEq :: Eq Undefined where

1017 eq _ _ = true