replace "el" "_" "Hello Bella" == "H_lo B_la" replace "el" "e" "Hello" == "Helo" replace "" "x" "Hello" == "xHxexlxlxox" replace "" "x" "" == "x" \xs ys -> replace xs xs ys == ys
replace "," "." "127,0,0,1" -> "127.0.0.1"This could logically be thought of as:
replace old new l = join new . split old $ l
\(NonEmpty xs) ys -> replace xs xs ys == (ys::String)
\(NonEmpty xs) (NonEmpty ys) -> equating (take 1000) (replace xs ys (cycle xs)) (cycle (ys::String))
>>> replace "foo" "baz" "foobar" "bazbar" >>> replace "some" "thing" "something something" "thingthing thingthing" >>> replace "not" "" "something" "something" >>> replace "" "here" "something" "heresomething"
liftBaseOp_ (bracket_ acquire release)
braces = between (symbol "{") (symbol "}")
braces = between (symbol "{") (symbol "}")