0d67fe1...main · purescript-literals

LICENSEnew file+21

since splitsnapshots

unifiedsplit

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

1+MIT License

2+

4+

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 =

116 }

117-------------------------------

118-}

119−

120−

121let upstream =

119let 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

123

122

124let overrides = {=}

123let overrides = {=}

125

124

spago.dhall+15−19

@@ -1,21 +1,17 @@

1−{-

2−Welcome to a Spago project!

3−You can edit this file as you like.

4−-}

5−{ name =

1+{ name = "literals"

6− "literal"

2+, license = "MIT"

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

7, dependencies =

4, dependencies =

8− [ "assert"

5+ [ "assert"

9− , "effect"

6+ , "effect"

10− , "console"

7+ , "integers"

8+ , "maybe"

11− , "numbers"

9+ , "numbers"

12− , "partial"

10+ , "partial"

13− , "psci-support"

11+ , "prelude"

12+ , "typelevel-prelude"

14− , "unsafe-coerce"

13+ , "unsafe-coerce"

15− , "typelevel-prelude"

16− ]

14+ ]

17−, packages =

18− ./packages.dhall

15+, packages = ./packages.dhall

19−, sources =

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

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

21}

17}

src/Literals.pursnew file+13

@@ -0,0 +1,13 @@

1+module Literals

2+ ( module Boolean

3+ , module Int

4+ , module Literal

5+ , module Number

6+ , module String

7+ ) where

8+

9+import Literals.Boolean (BooleanLit, false_, true_) as Boolean

10+import Literals.Int (class Digit, class Int, class Int', IntLit, intLit) as Int

11+import Literals.Literal (Literal, toValue) as Literal

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

13+import Literals.String (StringLit, stringLit) as String

src/Literals/Boolean.pursnew file+17

@@ -0,0 +1,17 @@

1+module Literals.Boolean

2+ ( BooleanLit

3+ , false_

4+ , true_

5+ ) where

6+

7+import Literals.Literal (Literal)

8+import Unsafe.Coerce (unsafeCoerce)

9+

10+type BooleanLit sym = Literal Boolean sym

11+

12+true_ :: BooleanLit "true"

13+true_ = unsafeCoerce true

14+

15+false_ :: BooleanLit "false"

16+false_ = unsafeCoerce false

17+

src/Literals/Int.pursnew file+54

@@ -0,0 +1,54 @@

1+module Literals.Int

2+ ( IntLit

3+ , IntegerPart

4+ , Sign

5+ , class Digit

6+ , class Int

7+ , class Int'

8+ , intLit

9+ , IntPart

10+ ) where

11+

12+import Prelude

13+

14+import Data.Int (fromString)

15+import Data.Maybe (fromJust)

16+import Data.Symbol (class IsSymbol)

17+import Literals.Literal (Literal)

18+import Partial.Unsafe (unsafePartial)

19+import Prim.Symbol (class Cons)

20+import Type.Prelude (reflectSymbol)

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

22+import Unsafe.Coerce (unsafeCoerce)

23+

24+class Digit (s :: Symbol)

25+

26+instance digit0 :: Digit "0"

27+else instance digit1 :: Digit "1"

28+else instance digit2 :: Digit "2"

29+else instance digit3 :: Digit "3"

30+else instance digit4 :: Digit "4"

31+else instance digit5 :: Digit "5"

32+else instance digit6 :: Digit "6"

33+else instance digit7 :: Digit "7"

34+else instance digit8 :: Digit "8"

35+else instance digit9 :: Digit "9"

36+

37+data IntPart

38+foreign import data Sign :: IntPart

39+foreign import data IntegerPart :: IntPart

40+

41+class Int (sym :: Symbol)

42+instance intInstance :: (Int' h t Sign, Cons h t s) => Int s

43+

44+class Int' (head :: Symbol) (tail :: Symbol) (part :: IntPart)

45+

46+instance signPart :: (Cons h' t' t, Int' h' t' IntegerPart) => Int' "-" t Sign

47+else instance signPartEmpty :: (Int' h t IntegerPart) => Int' h t Sign

48+else instance lastIntegerPart :: (Digit h) => Int' h "" IntegerPart

49+else instance digitIntegerPart :: (Digit h, Cons h' t' t, Int' h' t' IntegerPart) => Int' h t IntegerPart

50+

51+type IntLit sym = Literal Int sym

52+

53+intLit :: forall sym. IsSymbol sym => Int sym => IntLit sym

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

src/Literals/Literal.pursnew file+15

@@ -0,0 +1,15 @@

1+module Literals.Literal where

2+

3+import Prelude

4+

5+import Unsafe.Coerce (unsafeCoerce)

6+

7+foreign import data Literal :: Type -> Symbol -> Type

8+

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+

14+toValue :: ∀ s a. Literal a s -> a

15+toValue = unsafeCoerce

src/Literals/Null.jsnew file+1

@@ -0,0 +1 @@

1+export _null = null;

src/Literals/Null.pursnew file+17

@@ -0,0 +1,17 @@

1+module Literals.Null

2+ ( Null

3+ , null

4+ )

5+where

6+

7+import Prelude

8+

9+foreign import data Null :: Type

10+

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+23−30

@@ -1,52 +1,45 @@

1−module Literals.Number where

1+module Literals.Number

2+ ( FractionalPart

3+ , IntegerPart

4+ , NumberLit

5+ , Sign

6+ , class Number

7+ , class Number'

8+ , NumberPart

9+ , numberLit

10+ ) where

11+

12+import Prelude

2

13

3import Data.Maybe (fromJust)

14import Data.Maybe (fromJust)

4import Data.Number (fromString)

15import Data.Number (fromString)

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

16+import Data.Symbol (class IsSymbol)

17+import Literals.Int (class Digit)

18+import Literals.Literal (Literal)

6import Partial.Unsafe (unsafePartial)

19import Partial.Unsafe (unsafePartial)

7import Prim.Symbol (class Cons)

20import Prim.Symbol (class Cons)

8−import Type.Prelude (reflectSymbol)

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

9import Unsafe.Coerce (unsafeCoerce)

22import Unsafe.Coerce (unsafeCoerce)

10

23

11−class Digit (s :: Symbol)

12−

13−instance digit0 :: Digit "0"

14−else instance digit1 :: Digit "1"

15−else instance digit2 :: Digit "2"

16−else instance digit3 :: Digit "3"

17−else instance digit4 :: Digit "4"

18−else instance digit5 :: Digit "5"

19−else instance digit6 :: Digit "6"

20−else instance digit7 :: Digit "7"

21−else instance digit8 :: Digit "8"

22−else instance digit9 :: Digit "9"

23−

24class Number (sym :: Symbol)

25

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

27

28−foreign import kind NumberPart

28+data NumberPart

29foreign import data Sign :: NumberPart

30−foreign import data FirstDigit :: NumberPart

31foreign import data IntegerPart :: NumberPart

30foreign import data IntegerPart :: NumberPart

32foreign import data FractionalPart :: NumberPart

31foreign import data FractionalPart :: NumberPart

33

32

34class Number' (head :: Symbol) (tail :: Symbol) (part :: NumberPart)

33class Number' (head :: Symbol) (tail :: Symbol) (part :: NumberPart)

35

34

36−instance signPart :: (Cons h' t' t, Number' h' t' FirstDigit) => Number' "-" t Sign

35+instance signPart :: (Cons h' t' t, Number' h' t' IntegerPart) => Number' "-" t Sign

37−else instance signPartEmpty :: (Number' h t FirstDigit) => Number' h t Sign

36+else instance signPartEmpty :: (Number' h t IntegerPart) => Number' h t Sign

38−else instance firstDigit :: (Digit h, Number' h t IntegerPart) => Number' h t FirstDigit

39else instance pointIntegerPart :: (Cons h' t' t, Number' h' t' FractionalPart) => Number' "." t IntegerPart

37else instance pointIntegerPart :: (Cons h' t' t, Number' h' t' FractionalPart) => Number' "." t IntegerPart

40−else instance lastIntegerPart :: (Digit h) ⇒ Number' h "" IntegerPart

38+else instance lastFractionalPart :: (Digit h) => Number' h "" FractionalPart

41else instance digitIntegerPart :: (Digit h, Cons h' t' t, Number' h' t' IntegerPart) => Number' h t IntegerPart

39else instance digitIntegerPart :: (Digit h, Cons h' t' t, Number' h' t' IntegerPart) => Number' h t IntegerPart

42−else instance lastFractionalPart :: Number' h "" FractionalPart

43else instance digitFractionalPart :: (Digit h, Cons h' t' t, Number' h' t' FractionalPart) => Number' h t FractionalPart

40else instance digitFractionalPart :: (Digit h, Cons h' t' t, Number' h' t' FractionalPart) => Number' h t FractionalPart

44

41

45−foreign import data Literal ∷ Symbol → Type

46−

47−literal :: ∀ s. IsSymbol s ⇒ Number s => Literal s

48−literal = (unsafeCoerce (unsafePartial (fromJust (fromString (reflectSymbol (SProxy :: SProxy s))))))

49−

50−toNumber ∷ ∀ s. Literal s → Number

42+type NumberLit sym = Literal Number sym

51−toNumber = unsafeCoerce

52

43

44+numberLit :: forall sym. IsSymbol sym => Number sym => NumberLit sym

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

src/Literals/String.purs+8−11

@@ -1,17 +1,14 @@

1module Literals.String

2− ( Literal

2+ ( stringLit

3− , literal

3+ , StringLit

4− , toString

5 ) where

4 ) where

6

5

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

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

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

8+import Literals.Literal (Literal)

8import Unsafe.Coerce (unsafeCoerce)

9import Unsafe.Coerce (unsafeCoerce)

9

10

10−foreign import data Literal :: Symbol -> Type

11−

12−literal :: forall sym. IsSymbol sym => Literal sym

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

14−

15−toString :: forall sym. Literal sym -> String

11+type StringLit sym = Literal String sym

16−toString = unsafeCoerce

17

12

13+stringLit :: forall sym. IsSymbol sym => StringLit sym

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

src/Literals/Undefined.jsnew file+1

@@ -0,0 +1 @@

1+export const _undefined = undefined;

src/Literals/Undefined.pursnew file+19

@@ -0,0 +1,19 @@

1+module Literals.Undefined

2+ ( Undefined

3+ , undefined

4+ )

5+where

6+

7+import Prelude

8+

9+foreign import data Undefined :: Type

10+

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+30−14

@@ -3,37 +3,53 @@ module Test.Main where

3import Prelude

4

5import Effect (Effect)

6−import Literals.Number (Literal, literal) as Number

6+import Literals (NumberLit, StringLit, IntLit, intLit, numberLit, stringLit)

7−import Literals.String (Literal, literal) as String

7+import Literals.Undefined (undefined)

8−import Test.Assert (assertEqual)

8+import Test.Assert (assertEqual, assertTrue)

9import Unsafe.Coerce (unsafeCoerce)

10

11

12main :: Effect Unit

13main = do

14 assertEqual

15− { actual: unsafeCoerce (String.literal :: String.Literal "foo")

15+ { actual: unsafeCoerce (stringLit :: StringLit "foo")

16 , expected: "foo"

17 }

18 assertEqual

19− { actual: unsafeCoerce (Number.literal :: Number.Literal "8")

19+ { actual: unsafeCoerce (numberLit :: NumberLit "8.0")

20 , expected: 8.0

21 }

22 assertEqual

23− { actual: unsafeCoerce (Number.literal :: Number.Literal "-8")

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

24 , expected: -8.0

25 }

26 assertEqual

27− { actual: unsafeCoerce (Number.literal :: Number.Literal "100.0")

27+ { actual: unsafeCoerce (intLit :: IntLit "8")

28− , expected: 100.0

28+ , expected: 8

29 }

30 assertEqual

31− { actual: unsafeCoerce (Number.literal :: Number.Literal "-100.0")

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

32− , expected: -100.0

32+ , expected: -8

33− }

34− assertEqual

35− { actual: unsafeCoerce (Number.literal :: Number.Literal "0.0")

36− , expected: 0.0

37 }

33 }

38

34

35+ -- Eq instance

36+ assertTrue $ undefined == undefined

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

39

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+ }