Merge branch 'ps-0.14'

.github/workflows/verify.yml

@@ -0,0 +1,16 @@
+name: Verify
+
+on:
+  push:
+    branches:
+      - master
+
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: asdf-vm/actions/install@v1
+      - run: spago build --path example/**/*.purs
+      - run: spago test
+      - run: for example in $(ls example); do spago run -m Example.${example%.*} -p example/$example; done

packages.dhall

@@ -1,8 +1,8 @@
 let mkPackage =
-      https://raw.githubusercontent.com/purescript/package-sets/psc-0.13.3-20190831/src/mkPackage.dhall sha256:0b197efa1d397ace6eb46b243ff2d73a3da5638d8d0ac8473e8e4a8fc528cf57
+      https://raw.githubusercontent.com/purescript/package-sets/psc-0.13.0-20190626/src/mkPackage.dhall sha256:0b197efa1d397ace6eb46b243ff2d73a3da5638d8d0ac8473e8e4a8fc528cf57
 
 let upstream =
-      https://raw.githubusercontent.com/purescript/package-sets/psc-0.13.3-20190831/src/packages.dhall sha256:852cd4b9e463258baf4e253e8524bcfe019124769472ca50b316fe93217c3a47
+      https://github.com/purescript/package-sets/releases/download/psc-0.14.0-20210324/packages.dhall sha256:b4564d575da6aed1c042ca7936da97c8b7a29473b63f4515f09bb95fae8dddab
 
 let overrides = {=}
 

spago.dhall

@@ -4,7 +4,6 @@
     [ "console"
     , "effect"
     , "foreign-object"
-    , "generics-rep"
     , "integers"
     , "node-process"
     , "numbers"

src/TypedEnv.purs

@@ -21,7 +21,7 @@ module TypedEnv
 import Prelude
 import Data.Either (Either, note)
 import Data.Generic.Rep (class Generic)
-import Data.Generic.Rep.Show (genericShow)
+import Data.Show.Generic (genericShow)
 import Data.Int (fromString) as Int
 import Data.Maybe (Maybe(..))
 import Data.Number (fromString) as Number
@@ -30,7 +30,7 @@ import Data.String.Common (toLower)
 import Data.Symbol (class IsSymbol, SProxy(..), reflectSymbol)
 import Foreign.Object (Object, lookup)
 import Prim.Row (class Cons, class Lacks) as Row
-import Prim.RowList (class RowToList, kind RowList, Cons, Nil)
+import Prim.RowList (class RowToList, RowList, Cons, Nil)
 import Record (insert) as Record
 import Type.Data.RowList (RLProxy(..))
 import Type.Equality (class TypeEquals, to)
@@ -66,6 +66,7 @@ envErrorMessage = case _ of
   EnvParseError var  -> "The variable \"" <> var <> "\" was formatted incorrectly."
 
 -- | Useful for a type alias representing a resolved environment
+type Resolved :: forall k. Symbol -> k -> k
 type Resolved (name :: Symbol) ty = ty
 
 -- | Parses a `String` value to the specified type.
@@ -110,7 +111,7 @@ else instance readValueRequired :: ParseValue a => ReadValue a where
     >>= (parseValue >>> note (EnvParseError name))
 
 -- | Transforms a row of environment variable specifications to a record.
-class ReadEnv (e :: # Type) (r :: # Type) where
+class ReadEnv (e :: Row Type) (r :: Row Type) where
   readEnv :: forall proxy. proxy e -> Object String -> Either EnvError (Record r)
 
 instance readEnvImpl ::
@@ -123,7 +124,7 @@ instance readEnvImpl ::
     readEnv _ = readEnvFields (RLProxy :: RLProxy el) (RLProxy :: RLProxy rl)
 
 -- | Transforms a list of environment variable specifications to a record.
-class ReadEnvFields (el :: RowList) (rl :: RowList) (r :: # Type) | el -> rl where
+class ReadEnvFields (el :: RowList Type) (rl :: RowList Type) (r :: Row Type) | el -> rl where
   readEnvFields
     :: forall proxy
      . proxy el