regex-genex 0.6.2 → 0.7.0
raw patch · 2 files changed
+10/−10 lines, 2 filesdep ~sbvPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: sbv
API changes (from Hackage documentation)
- Regex.Genex: instance Eq Model
- Regex.Genex: instance Mergeable Status
- Regex.Genex: instance Ord Model
- Regex.Genex: instance Show Model
- Regex.Genex: modelChars :: Model -> [Word8]
- Regex.Genex: modelRank :: Model -> Word64
+ Regex.Genex: [modelChars] :: Model -> [Word8]
+ Regex.Genex: [modelRank] :: Model -> Word64
+ Regex.Genex: instance Data.SBV.BitVectors.Model.Mergeable Regex.Genex.Status
+ Regex.Genex: instance GHC.Classes.Eq Regex.Genex.Model
+ Regex.Genex: instance GHC.Classes.Ord Regex.Genex.Model
+ Regex.Genex: instance GHC.Show.Show Regex.Genex.Model
- Regex.Genex: regexMatch :: ?maxRepeat :: Int => [[Char]] -> Str -> Symbolic SBool
+ Regex.Genex: regexMatch :: (?maxRepeat :: Int) => [[Char]] -> Str -> Symbolic SBool
Files
- regex-genex.cabal +4/−4
- src/Regex/Genex.hs +6/−6
regex-genex.cabal view
@@ -1,5 +1,5 @@ Name : regex-genex-Version : 0.6.2+Version : 0.7.0 license : OtherLicense license-file : LICENSE cabal-version : >= 1.6@@ -12,7 +12,7 @@ synopsis : From a regex, generate all possible strings it can match description : From a regex, generate all possible strings it can match author : Audrey Tang <audreyt@audreyt.org>-Tested-With: GHC==7.0.2 GHC==7.4.1+Tested-With: GHC==7.10.1 library hs-source-dirs: . src@@ -20,14 +20,14 @@ other-modules: Regex.Genex.Pure extensions : ImplicitParams, NamedFieldPuns, ParallelListComp, PatternGuards, RecordWildCards build-depends:- base >= 3 && < 5, mtl, containers, sbv == 2.10, regex-tdfa, stream-monad, text, logict+ base >= 3 && < 5, mtl, containers, sbv >= 5 && < 6, regex-tdfa, stream-monad, text, logict executable genex main-is: Main.hs hs-source-dirs: . src extensions : ImplicitParams, NamedFieldPuns, ParallelListComp, PatternGuards, RecordWildCards build-depends:- base >= 3 && < 5, mtl, containers, sbv == 2.10, regex-tdfa+ base >= 3 && < 5, mtl, containers, sbv >= 5 && < 6, regex-tdfa source-repository head type: git
src/Regex/Genex.hs view
@@ -173,12 +173,12 @@ } instance Mergeable Status where- symbolicMerge t s1 s2 = Status- { ok = symbolicMerge t (ok s1) (ok s2)- , pos = symbolicMerge t (pos s1) (pos s2)- , flips = symbolicMerge t (flips s1) (flips s2)- , captureAt = symbolicMerge t (captureAt s1) (captureAt s2)- , captureLen = symbolicMerge t (captureLen s1) (captureLen s2)+ symbolicMerge f t s1 s2 = Status+ { ok = symbolicMerge f t (ok s1) (ok s2)+ , pos = symbolicMerge f t (pos s1) (pos s2)+ , flips = symbolicMerge f t (flips s1) (flips s2)+ , captureAt = symbolicMerge f t (captureAt s1) (captureAt s2)+ , captureLen = symbolicMerge f t (captureLen s1) (captureLen s2) } choice :: (?str :: Str, ?pat :: Pattern) => Flips -> [Flips -> Status] -> Status