Module Parsing.String.Replace

Copied from
https://github.com/jamesdbrock/purescript-parsing-replace

Author: jamesdbrock

CHANGELOG.md

@@ -46,6 +46,8 @@ Breaking changes:
 New features:
 
 - Add the `anyTill` primitive `String` combinator. (#186 by @jamesdbrock)
+- Add the `Parsing.String.Replace` module, copied from
+  https://github.com/jamesdbrock/purescript-parsing-replace (#188 by @jamesdbrock)
 
 Bugfixes:
 

spago-dev.dhall

@@ -11,11 +11,13 @@ in conf //
 { sources = [ "src/**/*.purs", "test/**/*.purs", "bench/**/*.purs" ]
 , dependencies = conf.dependencies #
   [ "assert"
+  , "bifunctors"
   , "console"
   , "enums"
   , "effect"
   , "psci-support"
   , "minibench"
+  , "node-process"
   , "exceptions"
   , "string-parsers"
   , "partial"

spago.dhall

@@ -14,6 +14,7 @@
   , "lists"
   , "maybe"
   , "newtype"
+  , "nonempty"
   , "numbers"
   , "partial"
   , "prelude"

src/Parsing/String.purs

@@ -98,7 +98,7 @@ anyChar :: forall m. ParserT String m Char
 anyChar = satisfy (const true)
 
 -- | Match any Unicode character.
--- | Always succeeds.
+-- | Always succeeds when any input remains.
 anyCodePoint :: forall m. ParserT String m CodePoint
 anyCodePoint = satisfyCodePoint (const true)
 
@@ -290,9 +290,19 @@ consumeWith f = ParserT
 -- | Will fail if no section of the input is parseable. To backtrack the input
 -- | stream on failure, combine with `tryRethrow`.
 -- |
+-- | This combinator works like
+-- | [Data.String.takeWhile](https://pursuit.purescript.org/packages/purescript-strings/docs/Data.String#v:takeWhile)
+-- | or
+-- | [Data.String.Regex.search](https://pursuit.purescript.org/packages/purescript-strings/docs/Data.String.Regex#v:search)
+-- | and it allows using a parser for the pattern search.
+-- |
 -- | This combinator is equivalent to `manyTill_ anyCodePoint`, but it will be
 -- | faster because it returns a slice of the input `String` for the
 -- | section preceding the parse instead of a `List CodePoint`.
+-- |
+-- | Be careful not to look too far
+-- | ahead; if the phrase parser looks to the end of the input then `anyTill`
+-- | could be *O(n²)*.
 anyTill
   :: forall m a
    . Monad m