Merge pull request #161 from fosskers/add-fuzzy

Add fuzzy
This commit is contained in:
Justin Woo 2018-03-28 09:09:03 +03:00 committed by GitHub
commit fa89c040a7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -712,6 +712,23 @@
"repo": "https://github.com/purescript/purescript-functors.git",
"version": "v2.2.0"
},
"fuzzy": {
"dependencies": [
"newtype",
"maps",
"console",
"foldable-traversable",
"rationals",
"prelude",
"stringutils",
"generics-rep",
"tuples",
"quickcheck",
"strings"
],
"repo": "https://github.com/citizennet/purescript-fuzzy.git",
"version": "v0.1.2"
},
"gen": {
"dependencies": [
"nonempty",
@ -1999,6 +2016,19 @@
"repo": "https://github.com/purescript/purescript-strings.git",
"version": "v3.5.0"
},
"stringutils": {
"dependencies": [
"either",
"arrays",
"maybe",
"prelude",
"integers",
"partial",
"strings"
],
"repo": "https://github.com/menelaos/purescript-stringutils.git",
"version": "v0.0.7"
},
"strongcheck": {
"dependencies": [
"console",