feat: update to purs 0.14, fix warnings, change deprecated memoize package to open-memoize (https://github.com/purescript-open-community/purescript-open-memoize)

Author: Serhii Khoma

packages.dhall

@@ -1,4 +1,24 @@
 let upstream =
-      https://github.com/purescript/package-sets/releases/download/psc-0.14.0-20210311/packages.dhall sha256:3da8be2b7b4a0e7de6186591167b363023695accffb98a8639e9e7d06e2070d6
+      https://github.com/purescript/package-sets/releases/download/psc-0.14.0-20210409/packages.dhall sha256:e81c2f2ce790c0e0d79869d22f7a37d16caeb5bd81cfda71d46c58f6199fd33f
+      with open-memoize =
+          { dependencies =
+              [ "console"
+              , "effect"
+              , "psci-support"
+              , "strings"
+              , "lists"
+              , "either"
+              , "integers"
+              , "lazy"
+              , "maybe"
+              , "partial"
+              , "prelude"
+              , "tuples"
+              ]
+          , repo =
+              "https://github.com/purescript-open-community/purescript-memoize.git"
+          , version =
+              "master"
+          }
 
 in  upstream

spago.dhall

@@ -4,16 +4,34 @@
   , "effect"
   , "exitcodes"
   , "strings"
-  , "ordered-collections"
   , "arrays"
   , "console"
-  , "memoize"
+  , "open-memoize"
   , "transformers"
   , "exists"
   , "node-process"
   , "free"
   , "quickcheck"
   , "spec"
+  , "aff"
+  , "bifunctors"
+  , "control"
+  , "either"
+  , "enums"
+  , "foldable-traversable"
+  , "gen"
+  , "integers"
+  , "lazy"
+  , "lists"
+  , "maybe"
+  , "newtype"
+  , "node-buffer"
+  , "node-streams"
+  , "nonempty"
+  , "numbers"
+  , "partial"
+  , "tailrec"
+  , "tuples"
   ]
 , packages = ./packages.dhall
 , sources = [ "src/**/*.purs", "test/**/*.purs" ]

src/Options/Applicative.purs

@@ -1,4 +1,4 @@
-module Options.Applicative 
+module Options.Applicative
   ( module Options.Applicative.Builder
   , module Options.Applicative.Builder.Completer
   , module Options.Applicative.Extra

src/Options/Applicative/Builder.purs

@@ -60,7 +60,7 @@ module Options.Applicative.Builder
   , disabled
 
   -- * Builder for 'ParserInfo'
-  , InfoMod
+  , InfoMod(..)
   , fullDesc
   , briefDesc
   , header
@@ -75,7 +75,7 @@ module Options.Applicative.Builder
   , info
 
   -- * Builder for 'ParserPrefs'
-  , PrefsMod
+  , PrefsMod(..)
   , multiSuffix
   , disambiguate
   , showHelpOnError

src/Options/Applicative/Builder/Completer.js

@@ -5,4 +5,4 @@ exports.execSyncCommand = function(command) {
   return function() {
     return execSync(command);
   };
-};
+};

src/Options/Applicative/Builder/Internal.purs

@@ -33,6 +33,7 @@ import Data.Tuple (Tuple, fst)
 import Data.Foldable (lookup)
 import Data.Tuple.Nested (Tuple3, (/\))
 
+newtype OptionFields :: forall k. k -> Type
 newtype OptionFields a = OptionFields
   { optNames :: Array OptName
   , optCompleter :: Completer
@@ -49,10 +50,12 @@ newtype CommandFields a = CommandFields
   , cmdGroup :: Maybe String }
 derive instance newtypeCommandFields :: Newtype (CommandFields a) _
 
+newtype ArgumentFields :: forall k. k -> Type
 newtype ArgumentFields a = ArgumentFields
   { argCompleter :: Completer }
 derive instance newtypeArgumentFields :: Newtype (ArgumentFields a) _
 
+class HasName :: forall k. (k -> Type) -> Constraint
 class HasName f where
   name :: forall a. OptName -> f a -> f a
 
@@ -63,6 +66,7 @@ instance optionFieldsHasName :: HasName OptionFields where
 instance flagFieldsHasName :: HasName FlagFields where
   name n = over FlagFields \fields -> fields{ flagNames = [n] <> fields.flagNames }
 
+class HasCompleter :: forall k. (k -> Type) -> Constraint
 class HasCompleter f where
   modCompleter :: forall a. (Completer -> Completer) -> f a -> f a
 
@@ -72,6 +76,7 @@ instance optionFieldsHasCompleter :: HasCompleter OptionFields where
 instance argumentFieldsHasCompleter :: HasCompleter ArgumentFields where
   modCompleter f = over ArgumentFields \p -> p{ argCompleter = f p.argCompleter }
 
+class HasValue :: forall k. (k -> Type) -> Constraint
 class HasValue f where
   -- this is just so that it is not necessary to specify the kind of f
   hasValueDummy :: forall a. f a -> Unit
@@ -80,6 +85,7 @@ instance optionFieldsHasValue :: HasValue OptionFields where
 instance argumentFieldsHasValue :: HasValue ArgumentFields where
   hasValueDummy _ = unit
 
+class HasMetavar :: forall k. (k -> Type) -> Constraint
 class HasMetavar f where
   hasMetavarDummy :: forall a. f a -> Unit
 instance optionFieldsHasMetavar :: HasMetavar OptionFields where

src/Options/Applicative/Help/Core.purs

@@ -174,7 +174,7 @@ parserHelp pprefs p = bodyHelp <<< vsepChunks $
     cs :: Array (NonEmptyArray (Tuple (Maybe String) (Chunk Doc)))
     cs = Array.groupBy ((==) `on` fst) $ cmdDesc p
 
-    group_title arr = 
+    group_title arr =
       let {head, tail} = (NEA.uncons arr)
       in with_title (fromMaybe def $ fst head) $ vcatChunks ([snd head] <> (snd <$> tail))
 

src/Options/Applicative/Help/Levenshtein.purs

@@ -33,7 +33,7 @@ editDistance xs ys = dist' (Array.length xs) (Array.length ys)
 
     dist 0 j = j
     dist i 0 = i
-    dist i j = minimum $ 
+    dist i j = minimum $
       (dist' (i-1) j + 1) `NonEmpty`
       [ dist' i (j-1) + 1
       , unsafePartial $ if xs `unsafeIndex` (i - 1) == ys `unsafeIndex` (j - 1)

src/Options/Applicative/Internal.purs

@@ -288,4 +288,4 @@ disamb allow_amb xs = do
        <<< runNondetT $ xs
   pure $ case xs' of
     List.Cons x List.Nil -> Just x
-    _   -> Nothing
+    _   -> Nothing

src/Options/Applicative/Internal/Utils.purs

@@ -1,4 +1,4 @@
-module Options.Applicative.Internal.Utils 
+module Options.Applicative.Internal.Utils
   ( unLines
   , unWords
   , lines
@@ -47,4 +47,4 @@ startsWith p s = String.indexOf p s == Just 0
 infixl 4 apApplyFlipped as <**>
 
 apApplyFlipped :: forall f b a. Apply f => f a -> f (a -> b) -> f b
-apApplyFlipped = lift2 (#)
+apApplyFlipped = lift2 (#)