Update for PureScript 0.10

Author: garyb

.travis.yml

@@ -1,7 +1,7 @@
 language: node_js
 dist: trusty
 sudo: required
-node_js: 6
+node_js: stable
 install:
   - npm install -g bower
   - npm install

README.md

@@ -1,8 +1,7 @@
 # purescript-markdown
 
-[![Latest release](http://img.shields.io/bower/v/purescript-markdown.svg)](https://github.com/slamdata/purescript-markdown/releases)
-[![Build Status](https://travis-ci.org/slamdata/purescript-markdown.svg?branch=master)](https://travis-ci.org/slamdata/purescript-markdown)
-[![Dependency Status](https://www.versioneye.com/user/projects/578f7ce40ca92d004c89e13e/badge.svg?style=flat)](https://www.versioneye.com/user/projects/578f7ce40ca92d004c89e13e)
+[![Latest release](http://img.shields.io/github/release/slamdata/purescript-markdown.svg)](https://github.com/slamdata/purescript-markdown/releases)
+[![Build status](https://travis-ci.org/slamdata/purescript-markdown.svg?branch=master)](https://travis-ci.org/slamdata/purescript-markdown)
 
 A Purescript library for parsing SlamData's dialect of Markdown, called *SlamDown*, which is mostly a safe, clean subset of CommonMark.
 

bower.json

@@ -22,16 +22,16 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-const": "^1.0.0",
-    "purescript-functor-compose": "^0.1.0",
-    "purescript-hugenums": "^2.0.1",
-    "purescript-lists": "^1.0.1",
-    "purescript-parsing": "^1.0.0",
+    "purescript-const": "^2.0.0",
+    "purescript-functors": "^1.0.0",
+    "purescript-lists": "^3.2.0",
+    "purescript-parsing": "^3.0.0",
     "purescript-partial": "^1.1.2",
-    "purescript-prelude": "^1.0.1",
-    "purescript-sets": "^1.0.0",
-    "purescript-strings": "^1.1.0",
-    "purescript-strongcheck": "^1.1.1",
-    "purescript-validation": "^1.0.0"
+    "purescript-precise": "^1.0.0",
+    "purescript-prelude": "^2.1.0",
+    "purescript-sets": "^2.0.0",
+    "purescript-strings": "^2.0.2",
+    "purescript-strongcheck": "^2.0.0",
+    "purescript-validation": "^2.0.0"
   }
 }

package.json

@@ -7,7 +7,7 @@
   },
   "devDependencies": {
     "pulp": "^9.0.1",
-    "purescript": "^0.9.2",
+    "purescript": "^0.10.1",
     "purescript-psa": "^0.3.9",
     "rimraf": "^2.5.4"
   }

src/Text/Markdown/SlamDown/Eval.purs

@@ -9,10 +9,11 @@ import Control.Alt ((<|>))
 
 import Data.Array as A
 import Data.Const (Const(..))
-import Data.Functor.Compose (Compose(..), decompose)
-import Data.Identity (Identity(..), runIdentity)
+import Data.Functor.Compose (Compose(..))
+import Data.Identity (Identity(..))
 import Data.List as L
 import Data.Maybe as M
+import Data.Newtype (unwrap)
 import Data.String as S
 import Data.Traversable as T
 
@@ -56,11 +57,11 @@ eval fs = everywhereM b i
       evalTextBox ∷ SD.TextBox (Compose M.Maybe SD.Expr) → m (M.Maybe (SD.TextBox Identity))
       evalTextBox tb = T.sequence $ fs.textBox <$> asCode tb <|> pure <$> asLit tb
         where
-          asLit = SD.traverseTextBox (decompose >>> (_ >>= SD.getLiteral) >>> map Identity)
-          asCode = SD.traverseTextBox (decompose >>> (_ >>= SD.getUnevaluated) >>> map Const)
+          asLit = SD.traverseTextBox (unwrap >>> (_ >>= SD.getLiteral) >>> map Identity)
+          asCode = SD.traverseTextBox (unwrap >>> (_ >>= SD.getUnevaluated) >>> map Const)
 
       quoteTextBox ∷ SD.TextBox Identity → SD.TextBox (Compose M.Maybe SD.Expr)
-      quoteTextBox = SD.transTextBox (runIdentity >>> SD.Literal >>> M.Just >>> Compose)
+      quoteTextBox = SD.transTextBox (unwrap >>> SD.Literal >>> M.Just >>> Compose)
 
   f (SD.RadioButtons sel opts) = do
     sel' ← evalExpr fs.value sel

src/Text/Markdown/SlamDown/Parser.purs

@@ -52,7 +52,7 @@ isDigit "9" = true
 isDigit _ = false
 
 allChars ∷ (String → Boolean) → String → Boolean
-allChars p = all p <<< S.split ""
+allChars p = all p <<< S.split (S.Pattern "")
 
 removeNonIndentingSpaces ∷ String → String
 removeNonIndentingSpaces s
@@ -367,11 +367,11 @@ validateSlamDown ∷ ∀ a. SD.SlamDownP a → V.V (Array String) (SD.SlamDownP
 validateSlamDown (SD.SlamDown bls) = SD.SlamDown <$> traverse validateBlock bls
 
 tabsToSpaces ∷ String → String
-tabsToSpaces = S.replace "\t" "    "
+tabsToSpaces = S.replace (S.Pattern "\t") (S.Replacement "    ")
 
 parseMd ∷ ∀ a. (SD.Value a) ⇒ String → Either String (SD.SlamDownP a)
 parseMd s = map SD.SlamDown bs
   where
-    lines = L.fromFoldable $ S.split "\n" $ S.replace "\r" "" $ tabsToSpaces s
+    lines = L.fromFoldable $ S.split (S.Pattern "\n") $ S.replace (S.Pattern "\r") (S.Replacement "") $ tabsToSpaces s
     ctrs = parseContainers mempty lines
     bs = parseBlocks ctrs

src/Text/Markdown/SlamDown/Parser/Inline.purs

@@ -39,7 +39,7 @@ parseInlines
   → Either String (L.List (SD.Inline a))
 parseInlines s =
   map consolidate
-    $ lmap (\(P.ParseError {message}) → message)
+    $ lmap P.parseErrorMessage
     $ P.runParser (S.joinWith "\n" $ A.fromFoldable s) inlines
 
 consolidate

src/Text/Markdown/SlamDown/Parser/Utils.purs

@@ -12,6 +12,7 @@ import Prelude
 import Data.Either (fromRight)
 import Data.String (singleton)
 import Data.String.Regex as R
+import Data.String.Regex.Flags as RF
 
 import Partial.Unsafe (unsafePartial)
 
@@ -24,23 +25,14 @@ isWhitespace = R.test wsRegex <<< singleton
   where
   wsRegex ∷ R.Regex
   wsRegex = unsafePartial fromRight $
-    R.regex "^\\s$" flags
+    R.regex "^\\s$" RF.noFlags
 
 isEmailAddress ∷ String → Boolean
 isEmailAddress = R.test wsEmail
   where
   wsEmail ∷ R.Regex
   wsEmail = unsafePartial fromRight $
-    R.regex """^[a-zA-Z0-9.!#$%&'*+/=?^_`{|}~-]+@[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?(?:\.[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?)*$""" flags
-
-flags ∷ R.RegexFlags
-flags =
-  { unicode: false
-  , sticky: false
-  , multiline: false
-  , ignoreCase: false
-  , global: false
-  }
+    R.regex """^[a-zA-Z0-9.!#$%&'*+/=?^_`{|}~-]+@[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?(?:\.[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?)*$""" RF.noFlags
 
 parens ∷ ∀ a. Parser String a → Parser String a
 parens p = string "(" *> skipSpaces *> p <* skipSpaces <* string ")"

src/Text/Markdown/SlamDown/Pretty.purs

@@ -7,13 +7,14 @@ import Prelude
 
 import Data.Array as A
 import Data.Foldable (fold, elem)
-import Data.Functor.Compose (Compose, decompose)
+import Data.Functor.Compose (Compose)
 import Data.HugeNum as HN
 import Data.Identity (Identity(..))
 import Data.List as L
 import Data.Maybe as M
 import Data.Monoid (mempty)
 import Data.String as S
+import Data.Newtype (unwrap)
 import Data.Unfoldable as U
 
 import Text.Markdown.SlamDown.Syntax as SD
@@ -35,7 +36,7 @@ overLines f = map f <<< L.concatMap lines
 
 lines ∷ String → L.List String
 lines "" = mempty
-lines s = L.fromFoldable $ S.split "\n" s
+lines s = L.fromFoldable $ S.split (S.Pattern "\n") s
 
 prettyPrintBlock ∷ ∀ a. (SD.Value a) ⇒ SD.Block a → L.List String
 prettyPrintBlock bl =
@@ -102,7 +103,7 @@ prettyPrintInline il =
         esc l <> star <> " = " <> prettyPrintFormElement e
       where
 
-      esc s = M.maybe s (const $ "[" <> s <> "]") $ S.indexOf " " s
+      esc s = M.maybe s (const $ "[" <> s <> "]") $ S.indexOf (S.Pattern " ") s
 
       printTarget ∷ SD.LinkTarget → String
       printTarget (SD.InlineLink url) = parens url
@@ -115,7 +116,7 @@ prettyPrintTextBoxValue t =
     SD.PlainText (Identity def) → def
     SD.Numeric (Identity def) →
       let s = HN.toString def in
-      M.fromMaybe s $ S.stripSuffix "." $ HN.toString def
+      M.fromMaybe s $ S.stripSuffix (S.Pattern ".") $ HN.toString def
     SD.Date (Identity def) → prettyPrintDate def
     SD.Time prec (Identity def) → prettyPrintTime prec def
     SD.DateTime prec (Identity def) → prettyPrintDateTime prec def
@@ -155,7 +156,7 @@ printIntPadded l i =
 prettyPrintTextBox ∷ SD.TextBox (Compose M.Maybe SD.Expr) → String
 prettyPrintTextBox t =
   prettyPrintTemplate t
-    <> M.maybe "" (\x → " (" <> prettyPrintDefault x <> ")") (SD.traverseTextBox decompose t)
+    <> M.maybe "" (\x → " (" <> prettyPrintDefault x <> ")") (SD.traverseTextBox unwrap t)
   where
     prettyPrintTemplate ∷ ∀ f. SD.TextBox f → String
     prettyPrintTemplate t =

src/Text/Markdown/SlamDown/Syntax/Block.purs

@@ -48,7 +48,7 @@ derive instance ordBlock ∷ (Ord a) ⇒ Ord (Block a)
 -- | Nota bene: this does not generate any recursive structure
 instance arbitraryBlock ∷ (SCA.Arbitrary a, Eq a) ⇒ SCA.Arbitrary (Block a) where
   arbitrary = do
-    k ← Gen.chooseInt 0.0 6.0
+    k ← Gen.chooseInt 0 6
     case k of
       0 → Paragraph <$> listOf SCA.arbitrary
       1 → Header <$> SCA.arbitrary <*> listOf SCA.arbitrary